Trace number 4259694

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)369 252.11301 225.05299

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-34.xml
MD5SUM778dc3cd7adf307db423468d07378e38
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark240.326
Satisfiable
(Un)Satisfiability was proved
Number of variables1156
Number of constraints5984
Number of domains1
Minimum domain size561
Maximum domain size561
Distribution of domain sizes[{"size":561,"count":561}]
Minimum variable degree0
Maximum variable degree33
Distribution of variable degrees[{"degree":0,"count":595},{"degree":33,"count":561}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":5984}]
Number of extensional constraints0
Number of intensional constraints5984
Distribution of constraint types[{"type":"intension","count":5984}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data

3.51/2.31	c Concrete v3.4 running
41.04/17.43	o 560
43.76/18.78	o 559
45.09/19.92	o 558
46.32/21.08	o 557
47.83/22.27	o 556
49.10/23.46	o 555
50.39/24.64	o 554
51.41/25.65	o 553
52.54/26.80	o 552
53.75/27.81	o 551
54.78/28.84	o 550
55.97/29.98	o 549
56.99/30.97	o 548
58.12/32.09	o 547
59.32/33.20	o 546
60.45/34.33	o 545
61.55/35.49	o 544
62.78/36.61	o 543
63.89/37.76	o 542
65.03/38.88	o 541
66.03/39.89	o 540
67.24/41.04	o 539
68.24/42.02	o 538
69.38/43.16	o 537
70.38/44.14	o 536
71.48/45.26	o 535
72.48/46.24	o 534
73.59/47.35	o 533
74.69/48.46	o 532
75.79/49.59	o 531
76.99/50.72	o 530
78.12/51.88	o 529
79.33/53.02	o 528
80.43/54.14	o 527
81.44/55.13	o 526
82.53/56.27	o 525
83.53/57.27	o 524
84.53/58.26	o 523
85.54/59.25	o 522
86.64/60.37	o 521
87.77/61.49	o 520
88.77/62.47	o 519
89.88/63.59	o 518
91.08/64.70	o 517
92.09/65.71	o 516
93.19/66.83	o 515
94.21/67.81	o 514
95.31/68.93	o 513
96.45/70.06	o 512
97.68/71.22	o 511
98.78/72.34	o 510
99.89/73.46	o 509
100.89/74.45	o 508
101.89/75.44	o 507
103.00/76.56	o 506
104.00/77.55	o 505
105.10/78.68	o 504
106.10/79.68	o 503
107.30/80.81	o 502
108.42/81.96	o 501
109.44/82.94	o 500
110.56/84.07	o 499
111.75/85.20	o 498
112.66/86.19	o 497
113.66/87.17	o 496
114.86/88.30	o 495
115.96/89.44	o 494
116.96/90.42	o 493
118.06/91.54	o 492
119.16/92.66	o 491
120.39/93.81	o 490
121.29/94.79	o 489
122.49/95.90	o 488
123.60/97.01	o 487
124.49/97.98	o 486
125.60/99.09	o 485
126.79/100.22	o 484
127.89/101.35	o 483
128.89/102.34	o 482
129.99/103.46	o 481
130.99/104.46	o 480
132.14/105.57	o 479
133.24/106.68	o 478
134.24/107.65	o 477
135.34/108.76	o 476
136.44/109.87	o 475
137.45/110.86	o 474
138.55/111.98	o 473
139.55/112.95	o 472
140.55/113.92	o 471
141.66/115.02	o 470
142.77/116.18	o 469
143.98/117.32	o 468
145.09/118.46	o 467
146.09/119.46	o 466
147.19/120.59	o 465
148.39/121.71	o 464
149.49/122.83	o 463
150.49/123.82	o 462
151.59/124.95	o 461
152.59/125.94	o 460
153.70/127.04	o 459
154.80/128.17	o 458
155.93/129.29	o 457
157.13/130.41	o 456
158.13/131.40	o 455
159.23/132.53	o 454
160.23/133.53	o 453
161.23/134.51	o 452
162.33/135.65	o 451
163.33/136.64	o 450
164.43/137.76	o 449
165.53/138.89	o 448
166.54/139.87	o 447
167.64/141.00	o 446
168.66/141.99	o 445
169.88/143.11	o 444
170.78/144.10	o 443
171.78/145.09	o 442
172.78/146.08	o 441
173.88/147.18	o 440
174.97/148.30	o 439
176.17/149.41	o 438
177.27/150.51	o 437
178.37/151.63	o 436
179.47/152.75	o 435
180.60/153.87	o 434
181.62/154.86	o 433
182.72/155.98	o 432
183.94/157.12	o 431
184.84/158.10	o 430
186.04/159.23	o 429
187.04/160.21	o 428
187.95/161.20	o 427
189.14/162.31	o 426
190.04/163.29	o 425
191.24/164.42	o 424
192.36/165.55	o 423
193.36/166.55	o 422
194.46/167.67	o 421
195.66/168.80	o 420
196.76/169.93	o 419
197.76/170.92	o 418
198.87/172.04	o 417
199.97/173.15	o 416
200.97/174.13	o 415
201.97/175.12	o 414
203.00/176.12	o 413
204.09/177.24	o 412
205.19/178.38	o 411
206.39/179.52	o 410
207.39/180.53	o 409
208.39/181.53	o 408
209.49/182.64	o 407
210.59/183.77	o 406
211.80/184.91	o 405
212.80/185.91	o 404
213.82/186.91	o 403
214.93/188.02	o 402
216.02/189.15	o 401
217.12/190.27	o 400
218.22/191.39	o 399
219.22/192.39	o 398
220.42/193.52	o 397
221.52/194.64	o 396
222.63/195.76	o 395
223.64/196.75	o 394
224.75/197.86	o 393
225.85/198.98	o 392
226.96/200.10	o 391
228.15/201.22	o 390
229.25/202.34	o 389
230.35/203.46	o 388
231.45/204.58	o 387
232.65/205.70	o 386
233.77/206.84	o 385
234.77/207.84	o 384
235.88/208.96	o 383
236.99/210.09	o 382
238.18/211.20	o 381
239.09/212.18	o 380
240.28/213.30	o 379
241.18/214.27	o 378
242.28/215.40	o 377
243.51/216.51	o 376
244.61/217.63	o 375
245.71/218.73	o 374
246.81/219.86	o 373
247.81/220.84	o 372
248.91/221.96	o 371
249.91/222.94	o 370
251.02/224.07	o 369
252.04/225.01	java.util.concurrent.TimeoutException
252.04/225.01		at concrete.MAC.mac(MAC.scala:74)
252.04/225.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.04/225.01		at scala.util.Try$.apply(Try.scala:209)
252.04/225.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.04/225.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.04/225.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.04/225.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.04/225.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.04/225.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.04/225.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.04/225.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.04/225.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.04/225.01		at concrete.MAC.oneRun(MAC.scala:146)
252.04/225.01		at concrete.MAC.nextSolution(MAC.scala:166)
252.04/225.01		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.04/225.01		at concrete.ProblemState.map(ProblemState.scala:203)
252.04/225.01		at concrete.ProblemState.map(ProblemState.scala:188)
252.04/225.01		at concrete.MAC.nextSolution(MAC.scala:195)
252.04/225.01		at concrete.Solver.hasNext(Solver.scala:202)
252.04/225.01		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.04/225.01		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.04/225.01		at concrete.Solver.toStream(Solver.scala:73)
252.04/225.01		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.04/225.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.04/225.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.04/225.01		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.04/225.01		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.04/225.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.04/225.01		at scala.util.Success.map(Try.scala:209)
252.04/225.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.04/225.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.04/225.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.04/225.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.04/225.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.04/225.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.04/225.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.04/225.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.04/225.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.04/225.01		at scala.collection.immutable.List.foreach(List.scala:389)
252.04/225.01		at scala.App.main(App.scala:76)
252.04/225.01		at scala.App.main$(App.scala:74)
252.04/225.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.04/225.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.04/225.02	v <instantiation cost="369">
252.04/225.02	v       <list>
252.04/225.02	v         x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][30] x[29][31] x[29][32] x[29][33] x[30][31] x[30][32] x[30][33] x[31][32] x[31][33] x[32][33]
252.04/225.02	v       </list>
252.04/225.02	v       <values>
252.04/225.02	v         366 368 368 369 366 366 369 368 369 368 368 369 367 367 367 368 369 367 369 365 365 366 369 366 368 367 367 368 369 369 367 368 366 369 366 367 368 368 365 368 364 369 369 369 366 366 368 367 365 368 366 367 366 367 368 367 366 369 367 368 368 369 366 368 369 369 367 369 365 369 369 366 367 366 368 366 367 367 369 368 366 368 366 369 368 369 369 367 368 365 367 364 366 368 365 367 367 368 368 368 367 369 366 367 365 368 369 367 367 366 369 369 367 368 367 368 366 365 366 366 367 368 368 365 369 367 369 368 367 368 367 365 369 367 367 369 368 369 367 368 366 365 367 365 368 366 368 369 368 368 365 366 369 369 369 369 367 367 369 365 366 369 365 368 369 368 369 366 367 368 367 368 365 368 368 367 367 367 369 369 367 366 368 367 369 368 369 369 368 367 367 367 368 366 366 367 369 367 365 369 369 369 368 367 366 365 366 367 364 368 368 368 369 368 368 369 369 368 366 366 368 366 369 366 367 367 367 368 369 368 369 367 367 365 367 367 369 367 365 369 367 367 365 366 369 367 366 366 365 368 367 368 367 369 366 366 369 369 368 369 369 369 369 366 369 367 367 365 365 367 367 369 366 368 368 369 369 367 367 367 368 368 368 368 366 366 368 366 368 368 369 369 368 366 368 367 367 366 368 366 367 368 365 369 367 369 367 368 366 367 368 366 366 367 365 369 368 368 368 367 366 367 365 366 369 367 368 367 367 368 368 366 367 369 366 369 367 367 368 369 368 369 367 367 367 367 368 368 367 368 365 368 365 369 366 368 365 368 369 368 364 368 368 365 368 367 369 367 369 366 369 369 367 369 365 365 367 369 367 369 367 369 368 366 368 369 369 368 368 366 368 366 366 368 366 368 368 367 367 365 369 369 366 367 367 369 369 369 367 366 369 369 365 366 368 365 369 366 368 369 367 368 367 367 366 368 367 369 368 369 368 369 366 367 367 368 368 367 366 368 368 366 369 367 367 366 367 369 369 366 369 369 368 369 367 367 368 369 367 367 367 368 369 369 365 367 368 369 368 368 367 366 368 366 366 366 369 368 368 367 368 369 369 365 367 368 367 368 366 369 367 366 368 369 365 366 365 367 369 366 369 369 366 369 369 369 368 365 368 367 367 366 365 369 366 369 367 369 369 368 368 365 367 368 369 368 369 366 368 367 368 366 369 368 365 367 368 366 366 367 369 368 369 368 368 367 367 368 366 367 366 366 366 365 364 369 366 366 365 368 365
252.04/225.02	v       </values>
252.04/225.02	v     </instantiation>
252.04/225.02	s SATISFIABLE

Verifier Data

OK	369

Watcher Data

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

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

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

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

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

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

solver pid=5166, runsolver pid=5163

[startup+0.100086 s]*
/proc/loadavg: 1.59 1.67 1.86 3/208 5171
/proc/meminfo: memFree=29515948/32770624 swapFree=67108860/67108860
[pid=5166] ppid=5163 vsize=9508 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/5166/stat : 5166 (bash) S 5163 5166 8289 0 -1 4202496 722 3541 0 0 0 0 0 0 20 0 1 0 113042893 9736192 355 18446744073709551615 4194304 5098028 140721705804656 140721705802296 139793797032960 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 9 0 0 7196144 7232144 29106176 140721705812468 140721705812553 140721705812553 140721705816042 0
/proc/5166/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9508 KiB
Current children cumulated memory: 1420 KiB

[startup+0.21027 s]*
/proc/loadavg: 1.59 1.67 1.86 2/220 5211
/proc/meminfo: memFree=29502428/32770624 swapFree=67108860/67108860
[pid=5166] ppid=5163 vsize=9636 memory=1468 CPUtime=0.01 cores=0,2,4,6
/proc/5166/stat : 5166 (bash) S 5163 5166 8289 0 -1 4202496 900 6477 0 0 0 0 0 1 20 0 1 0 113042893 9867264 367 18446744073709551615 4194304 5098028 140721705804656 140721705798664 139793797032960 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 9 0 0 7196144 7232144 29106176 140721705812468 140721705812553 140721705812553 140721705816042 0
/proc/5166/statm: 2409 367 288 221 0 118 0
[pid=5196] ppid=5166 vsize=9636 memory=708 CPUtime=0 cores=0,2,4,6
/proc/5196/stat : 5196 (bash) S 5166 5166 8289 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 1 0 113042904 9867264 177 18446744073709551615 4194304 5098028 140721705804656 140721705797336 139793796858492 0 65536 1 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29106176 140721705812468 140721705812553 140721705812553 140721705816042 0
/proc/5196/statm: 2409 177 96 221 0 118 0
[pid=5197] ppid=5196 vsize=10485312 memory=22328 CPUtime=0.05 cores=0,2,4,6
/proc/5197/stat : 5197 (java) S 5196 5166 8289 0 -1 1077944320 4532 0 0 0 5 0 0 0 20 0 14 0 113042904 10736959488 5582 18446744073709551615 4194304 4196468 140726832134864 140726832117408 140309022052087 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29917184 140726832136792 140726832136806 140726832136806 140726832140239 0
/proc/5197/statm: 2621328 5582 2574 1 0 2610825 0
[pid=5197/tid=5199] ppid=5196 vsize=10485312 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/5197/task/5199/stat : 5199 (java) D 5196 5166 8289 0 -1 4202560 2665 0 0 0 4 0 0 0 20 0 14 0 113042905 10736959488 5582 18446744073709551615 4194304 4196468 140726832134864 140309026289568 140309022074109 0 4 1 16800974 18446744071580418449 0 0 -1 6 0 0 0 0 0 6293624 6294260 29917184 140726832136792 140726832136806 140726832136806 140726832140239 0
[pid=5197/tid=5200] ppid=5196 vsize=10485312 memory=7964 CPUtime=0 cores=0,2,4,6
/proc/5197/task/5200/stat : 5200 (java) S 5196 5166 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113042905 10736959488 5582 18446744073709551615 4194304 4196468 140726832134864 140308952472080 140309022062293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140726832136792 140726832136806 140726832136806 140726832140239 0
[pid=5197/tid=5201] ppid=5196 vsize=10485312 memory=140377110981360 CPUtime=0 cores=0,2,4,6
/proc/5197/task/5201/stat : 5201 (java) S 5196 5166 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113042905 10736959488 5582 18446744073709551615 4194304 4196468 140726832134864 140308951419536 140309022062293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140726832136792 140726832136806 140726832136806 140726832140239 0
[pid=5197/tid=5202] ppid=5196 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5197/task/5202/stat : 5202 (java) S 5196 5166 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113042905 10736959488 5582 18446744073709551615 4194304 4196468 140726832134864 140308950366480 140309022062293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140726832136792 140726832136806 140726832136806 140726832140239 0
[pid=5197/tid=5203] ppid=5196 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5197/task/5203/stat : 5203 (java) S 5196 5166 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113042905 10736959488 5582 18446744073709551615 4194304 4196468 140726832134864 140308949313936 140309022062293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140726832136792 140726832136806 140726832136806 140726832140239 0
[pid=5197/tid=5204] ppid=5196 vsize=10485312 memory=140377110075008 CPUtime=0 cores=0,2,4,6
/proc/5197/task/5204/stat : 5204 (java) S 5196 5166 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113042907 10736959488 5582 18446744073709551615 4194304 4196468 140726832134864 140308518476528 140309022063234 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140726832136792 140726832136806 140726832136806 140726832140239 0
[pid=5197/tid=5205] ppid=5196 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5197/task/5205/stat : 5205 (java) S 5196 5166 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 113042907 10736959488 5582 18446744073709551615 4194304 4196468 140726832134864 140308517422752 140309022062293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140726832136792 140726832136806 140726832136806 140726832140239 0
[pid=5197/tid=5206] ppid=5196 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5197/task/5206/stat : 5206 (java) S 5196 5166 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 113042907 10736959488 5582 18446744073709551615 4194304 4196468 140726832134864 140308516369648 140309022062293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140726832136792 140726832136806 140726832136806 140726832140239 0
[pid=5197/tid=5207] ppid=5196 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5197/task/5207/stat : 5207 (java) S 5196 5166 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113042910 10736959488 5582 18446744073709551615 4194304 4196468 140726832134864 140308515318224 140309022070683 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140726832136792 140726832136806 140726832136806 140726832140239 0
[pid=5197/tid=5208] ppid=5196 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5197/task/5208/stat : 5208 (java) S 5196 5166 8289 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 14 0 113042910 10736959488 5582 18446744073709551615 4194304 4196468 140726832134864 140308514265328 140309022063234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29917184 140726832136792 140726832136806 140726832136806 140726832140239 0
[pid=5197/tid=5209] ppid=5196 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5197/task/5209/stat : 5209 (java) S 5196 5166 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113042910 10736959488 5582 18446744073709551615 4194304 4196468 140726832134864 140308513212784 140309022063234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140726832136792 140726832136806 140726832136806 140726832140239 0
[pid=5197/tid=5210] ppid=5196 vsize=10485312 memory=140377110075008 CPUtime=0 cores=0,2,4,6
/proc/5197/task/5210/stat : 5210 (java) S 5196 5166 8289 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 14 0 113042910 10736959488 5582 18446744073709551615 4194304 4196468 140726832134864 140308512159728 140309022063234 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29917184 140726832136792 140726832136806 140726832136806 140726832140239 0
[pid=5197/tid=5211] ppid=5196 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5197/task/5211/stat : 5211 (java) S 5196 5166 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113042910 10736959488 5582 18446744073709551615 4194304 4196468 140726832134864 140308511107424 140309022062293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29917184 140726832136792 140726832136806 140726832136806 140726832140239 0
[pid=5198] ppid=5196 vsize=9872 memory=972 CPUtime=0 cores=0,2,4,6
/proc/5198/stat : 5198 (awk) S 5196 5166 8289 0 -1 4202496 391 0 0 0 0 0 0 0 20 0 1 0 113042904 10108928 243 18446744073709551615 4194304 4609284 140731842664144 140731842663320 140614846434304 0 0 1 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 13893632 140731842667136 140731842667166 140731842667166 140731842670571 0
/proc/5198/statm: 2468 243 203 102 0 88 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10514456 KiB
Current children cumulated memory: 25476 KiB

[startup+0.31094 s]*
/proc/loadavg: 1.59 1.67 1.86 3/212 5223
/proc/meminfo: memFree=29503524/32770624 swapFree=67108860/67108860
[pid=5166] ppid=5163 vsize=13907308 memory=24568 CPUtime=0.13 cores=0,2,4,6
/proc/5166/stat : 5166 (java) S 5163 5166 8289 0 -1 1077944320 5942 12344 0 0 5 1 5 2 20 0 14 0 113042893 14241083392 6142 18446744073709551615 4194304 4196468 140723181445424 140723181427968 140661374869239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
/proc/5166/statm: 3476827 6142 2655 1 0 3466324 0
[pid=5166/tid=5216] ppid=5163 vsize=13907308 memory=4278483708103473607 CPUtime=0.12 cores=0,2,4,6
/proc/5166/task/5216/stat : 5216 (java) D 5163 5166 8289 0 -1 4202560 3079 12344 0 0 4 1 5 2 20 0 14 0 113042918 14241083392 6142 18446744073709551615 4194304 4196468 140723181445424 140661379106720 140661374891261 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5217] ppid=5163 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5217/stat : 5217 (java) S 5163 5166 8289 0 -1 1077944384 1 12344 0 0 0 0 5 2 20 0 14 0 113042919 14241083392 6142 18446744073709551615 4194304 4196468 140723181445424 140661331835280 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5218] ppid=5163 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5218/stat : 5218 (java) S 5163 5166 8289 0 -1 1077944384 1 12344 0 0 0 0 5 2 20 0 14 0 113042919 14241083392 6142 18446744073709551615 4194304 4196468 140723181445424 140661330782480 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5219] ppid=5163 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5219/stat : 5219 (java) S 5163 5166 8289 0 -1 1077944384 1 12344 0 0 0 0 5 2 20 0 14 0 113042919 14241083392 6142 18446744073709551615 4194304 4196468 140723181445424 140661329730192 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5220] ppid=5163 vsize=13907308 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5220/stat : 5220 (java) S 5163 5166 8289 0 -1 1077944384 2 12344 0 0 0 0 5 2 20 0 14 0 113042919 14241083392 6142 18446744073709551615 4194304 4196468 140723181445424 140661328677392 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5221] ppid=5163 vsize=13907308 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5221/stat : 5221 (java) S 5163 5166 8289 0 -1 1077944384 2 12344 0 0 0 0 5 2 20 0 14 0 113042920 14241083392 6142 18446744073709551615 4194304 4196468 140723181445424 140660920568432 140661374880386 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5222] ppid=5163 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5222/stat : 5222 (java) S 5163 5166 8289 0 -1 1077944384 33 12344 0 0 0 0 5 2 20 0 14 0 113042921 14241083392 6142 18446744073709551615 4194304 4196468 140723181445424 140660919514400 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5223] ppid=5163 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5223/stat : 5223 (java) S 5163 5166 8289 0 -1 1077944384 21 12344 0 0 0 0 5 2 20 0 14 0 113042921 14241083392 6142 18446744073709551615 4194304 4196468 140723181445424 140660918462064 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5224] ppid=5163 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5224/stat : 5224 (java) S 5163 5166 8289 0 -1 1077944384 2 12344 0 0 0 0 5 2 20 0 14 0 113042924 14241083392 6142 18446744073709551615 4194304 4196468 140723181445424 140660355361360 140661374887835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5225] ppid=5163 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5225/stat : 5225 (java) S 5163 5166 8289 0 -1 1077944384 28 12344 0 0 0 0 5 2 20 0 14 0 113042924 14241083392 6142 18446744073709551615 4194304 4196468 140723181445424 140660354308208 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5226] ppid=5163 vsize=13907308 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5226/stat : 5226 (java) S 5163 5166 8289 0 -1 1077944384 405 12344 0 0 0 0 5 2 20 0 14 0 113042924 14241083392 6142 18446744073709551615 4194304 4196468 140723181445424 140660353255408 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5227] ppid=5163 vsize=13907308 memory=140377110075008 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5227/stat : 5227 (java) S 5163 5166 8289 0 -1 1077944384 215 12344 0 0 0 0 5 2 20 0 14 0 113042924 14241083392 6142 18446744073709551615 4194304 4196468 140723181445424 140660352203120 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5228] ppid=5163 vsize=13907308 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5228/stat : 5228 (java) S 5163 5166 8289 0 -1 1077944384 3 12344 0 0 0 0 5 2 20 0 14 0 113042924 14241083392 6142 18446744073709551615 4194304 4196468 140723181445424 140660351150560 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13907308 KiB
Current children cumulated memory: 24568 KiB

[startup+0.701031 s]
/proc/loadavg: 1.59 1.67 1.86 3/218 5229
/proc/meminfo: memFree=29476516/32770624 swapFree=67108860/67108860
[pid=5166] ppid=5163 vsize=13974784 memory=55528 CPUtime=0.51 cores=0,2,4,6
/proc/5166/stat : 5166 (java) S 5163 5166 8289 0 -1 1077944320 13129 12344 0 0 40 4 5 2 20 0 15 0 113042893 14310178816 13882 18446744073709551615 4194304 4196468 140723181445424 140723181427968 140661374869239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
/proc/5166/statm: 3493696 13882 3056 1 0 3482965 0
[pid=5166/tid=5216] ppid=5163 vsize=13974784 memory=164 CPUtime=0.4 cores=0,2,4,6
/proc/5166/task/5216/stat : 5216 (java) R 5163 5166 8289 0 -1 4202560 9605 12344 0 0 30 3 5 2 20 0 15 0 113042918 14310178816 13882 18446744073709551615 4194304 4196468 140723181445424 140661379081840 140661360564248 0 4 1 16800974 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5217] ppid=5163 vsize=13974784 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5217/stat : 5217 (java) S 5163 5166 8289 0 -1 1077944384 1 12344 0 0 0 0 5 2 20 0 15 0 113042919 14310178816 13882 18446744073709551615 4194304 4196468 140723181445424 140661331835280 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5218] ppid=5163 vsize=13974784 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5218/stat : 5218 (java) S 5163 5166 8289 0 -1 1077944384 1 12344 0 0 0 0 5 2 20 0 15 0 113042919 14310178816 13882 18446744073709551615 4194304 4196468 140723181445424 140661330782480 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5219] ppid=5163 vsize=13974784 memory=1 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5219/stat : 5219 (java) S 5163 5166 8289 0 -1 1077944384 1 12344 0 0 0 0 5 2 20 0 15 0 113042919 14310178816 13882 18446744073709551615 4194304 4196468 140723181445424 140661329730192 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5220] ppid=5163 vsize=13974784 memory=2 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5220/stat : 5220 (java) S 5163 5166 8289 0 -1 1077944384 2 12344 0 0 0 0 5 2 20 0 15 0 113042919 14310178816 13882 18446744073709551615 4194304 4196468 140723181445424 140661328677392 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5221] ppid=5163 vsize=13974784 memory=545 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5221/stat : 5221 (java) S 5163 5166 8289 0 -1 1077944384 2 12344 0 0 0 0 5 2 20 0 15 0 113042920 14310178816 13882 18446744073709551615 4194304 4196468 140723181445424 140660920568432 140661374880386 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5222] ppid=5163 vsize=13974784 memory=2743 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5222/stat : 5222 (java) S 5163 5166 8289 0 -1 1077944384 33 12344 0 0 0 0 5 2 20 0 15 0 113042921 14310178816 13882 18446744073709551615 4194304 4196468 140723181445424 140660919514400 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5223] ppid=5163 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5223/stat : 5223 (java) S 5163 5166 8289 0 -1 1077944384 21 12344 0 0 0 0 5 2 20 0 15 0 113042921 14310178816 13882 18446744073709551615 4194304 4196468 140723181445424 140660918462064 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5224] ppid=5163 vsize=13974784 memory=1 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5224/stat : 5224 (java) S 5163 5166 8289 0 -1 1077944384 2 12344 0 0 0 0 5 2 20 0 15 0 113042924 14310178816 13882 18446744073709551615 4194304 4196468 140723181445424 140660355361360 140661374887835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5225] ppid=5163 vsize=13974784 memory=140376979824004 CPUtime=0.08 cores=0,2,4,6
/proc/5166/task/5225/stat : 5225 (java) S 5163 5166 8289 0 -1 1077944384 239 12344 0 0 1 0 5 2 20 0 15 0 113042924 14310178816 13882 18446744073709551615 4194304 4196468 140723181445424 140660354308208 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5226] ppid=5163 vsize=13974784 memory=280753959344768 CPUtime=0.09 cores=0,2,4,6
/proc/5166/task/5226/stat : 5226 (java) S 5163 5166 8289 0 -1 1077944384 543 12344 0 0 2 0 5 2 20 0 15 0 113042924 14310178816 13882 18446744073709551615 4194304 4196468 140723181445424 140660353255408 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5227] ppid=5163 vsize=13974784 memory=6944656592455097440 CPUtime=0.12 cores=0,2,4,6
/proc/5166/task/5227/stat : 5227 (java) S 5163 5166 8289 0 -1 1077944384 527 12344 0 0 5 0 5 2 20 0 15 0 113042924 14310178816 13882 18446744073709551615 4194304 4196468 140723181445424 140660352203120 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5228] ppid=5163 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5228/stat : 5228 (java) S 5163 5166 8289 0 -1 1077944384 3 12344 0 0 0 0 5 2 20 0 15 0 113042924 14310178816 13882 18446744073709551615 4194304 4196468 140723181445424 140660351150560 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5229] ppid=5163 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5229/stat : 5229 (java) S 5163 5166 8289 0 -1 1077944384 1 12344 0 0 0 0 5 2 20 0 15 0 113042934 14310178816 13882 18446744073709551615 4194304 4196468 140723181445424 140660350098352 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 55528 KiB

[startup+1.50703 s]
/proc/loadavg: 1.59 1.67 1.86 4/218 5229
/proc/meminfo: memFree=29442760/32770624 swapFree=67108860/67108860
[pid=5166] ppid=5163 vsize=13985408 memory=134368 CPUtime=1.71 cores=0,2,4,6
/proc/5166/stat : 5166 (java) S 5163 5166 8289 0 -1 1077944320 24899 12344 0 0 155 9 5 2 20 0 15 0 113042893 14321057792 33592 18446744073709551615 4194304 4196468 140723181445424 140723181427968 140661374869239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
/proc/5166/statm: 3496352 33592 3335 1 0 3485525 0
[pid=5166/tid=5216] ppid=5163 vsize=13985408 memory=54764 CPUtime=1.2 cores=0,2,4,6
/proc/5166/task/5216/stat : 5216 (java) R 5163 5166 8289 0 -1 4202560 19970 12344 0 0 106 7 5 2 20 0 15 0 113042918 14321057792 33635 18446744073709551615 4194304 4196468 140723181445424 140661379093440 140661358912913 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5217] ppid=5163 vsize=13985408 memory=119828 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5217/stat : 5217 (java) S 5163 5166 8289 0 -1 1077944384 1 12344 0 0 0 0 5 2 20 0 15 0 113042919 14321057792 33635 18446744073709551615 4194304 4196468 140723181445424 140661331835280 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5218] ppid=5163 vsize=13985408 memory=96132 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5218/stat : 5218 (java) S 5163 5166 8289 0 -1 1077944384 1 12344 0 0 0 0 5 2 20 0 15 0 113042919 14321057792 33635 18446744073709551615 4194304 4196468 140723181445424 140661330782480 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5219] ppid=5163 vsize=13985408 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5219/stat : 5219 (java) S 5163 5166 8289 0 -1 1077944384 1 12344 0 0 0 0 5 2 20 0 15 0 113042919 14321057792 33635 18446744073709551615 4194304 4196468 140723181445424 140661329730192 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5220] ppid=5163 vsize=13985408 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5220/stat : 5220 (java) S 5163 5166 8289 0 -1 1077944384 2 12344 0 0 0 0 5 2 20 0 15 0 113042919 14321057792 33635 18446744073709551615 4194304 4196468 140723181445424 140661328677392 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5221] ppid=5163 vsize=13985408 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5221/stat : 5221 (java) S 5163 5166 8289 0 -1 1077944384 5 12344 0 0 0 0 5 2 20 0 15 0 113042920 14321057792 33635 18446744073709551615 4194304 4196468 140723181445424 140660920568432 140661374880386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5222] ppid=5163 vsize=13985408 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5222/stat : 5222 (java) S 5163 5166 8289 0 -1 1077944384 33 12344 0 0 0 0 5 2 20 0 15 0 113042921 14321057792 33635 18446744073709551615 4194304 4196468 140723181445424 140660919514400 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5223] ppid=5163 vsize=13985408 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5223/stat : 5223 (java) S 5163 5166 8289 0 -1 1077944384 21 12344 0 0 0 0 5 2 20 0 15 0 113042921 14321057792 33635 18446744073709551615 4194304 4196468 140723181445424 140660918462064 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5224] ppid=5163 vsize=13985408 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5224/stat : 5224 (java) S 5163 5166 8289 0 -1 1077944384 2 12344 0 0 0 0 5 2 20 0 15 0 113042924 14321057792 33635 18446744073709551615 4194304 4196468 140723181445424 140660355361360 140661374887835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5225] ppid=5163 vsize=13985408 memory=7 CPUtime=0.19 cores=0,2,4,6
/proc/5166/task/5225/stat : 5225 (java) R 5163 5166 8289 0 -1 4202560 648 12344 0 0 12 0 5 2 20 0 15 0 113042924 14321057792 33635 18446744073709551615 4194304 4196468 140723181445424 140660354294304 140661358256140 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5226] ppid=5163 vsize=13985408 memory=7 CPUtime=0.22 cores=0,2,4,6
/proc/5166/task/5226/stat : 5226 (java) S 5163 5166 8289 0 -1 1077944384 910 12344 0 0 15 0 5 2 20 0 15 0 113042924 14321057792 33635 18446744073709551615 4194304 4196468 140723181445424 140660353255408 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5227] ppid=5163 vsize=13985408 memory=7 CPUtime=0.27 cores=0,2,4,6
/proc/5166/task/5227/stat : 5227 (java) S 5163 5166 8289 0 -1 1077944384 1148 12344 0 0 20 0 5 2 20 0 15 0 113042924 14321057792 33635 18446744073709551615 4194304 4196468 140723181445424 140660352203120 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5228] ppid=5163 vsize=13985408 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5228/stat : 5228 (java) S 5163 5166 8289 0 -1 1077944384 3 12344 0 0 0 0 5 2 20 0 15 0 113042924 14321057792 33635 18446744073709551615 4194304 4196468 140723181445424 140660351150560 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5229] ppid=5163 vsize=13985408 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5229/stat : 5229 (java) S 5163 5166 8289 0 -1 1077944384 3 12344 0 0 0 0 5 2 20 0 15 0 113042934 14321057792 33635 18446744073709551615 4194304 4196468 140723181445424 140660350098352 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 134368 KiB

[startup+3.11107 s]
/proc/loadavg: 1.70 1.70 1.86 6/218 5229
/proc/meminfo: memFree=29286348/32770624 swapFree=67108860/67108860

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

/proc/5166/task/5216/stat : 5216 (java) R 5163 5166 8289 0 -1 4202560 52243 12344 0 0 9993 45 5 2 20 0 15 0 113042918 14407233536 723928 18446744073709551615 4194304 4196468 140723181445424 140661379097808 140661002721826 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5217] ppid=5163 vsize=14069564 memory=55 CPUtime=1.27 cores=0,2,4,6
/proc/5166/task/5217/stat : 5217 (java) S 5163 5166 8289 0 -1 1077944384 1636 12344 0 0 112 8 5 2 20 0 15 0 113042919 14407233536 723928 18446744073709551615 4194304 4196468 140723181445424 140661331835280 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5218] ppid=5163 vsize=14069564 memory=792 CPUtime=1.31 cores=0,2,4,6
/proc/5166/task/5218/stat : 5218 (java) S 5163 5166 8289 0 -1 1077944384 564 12344 0 0 116 8 5 2 20 0 15 0 113042919 14407233536 723928 18446744073709551615 4194304 4196468 140723181445424 140661330782480 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5219] ppid=5163 vsize=14069564 memory=1716 CPUtime=1.24 cores=0,2,4,6
/proc/5166/task/5219/stat : 5219 (java) S 5163 5166 8289 0 -1 1077944384 1571 12344 0 0 109 8 5 2 20 0 15 0 113042919 14407233536 723928 18446744073709551615 4194304 4196468 140723181445424 140661329730192 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5220] ppid=5163 vsize=14069564 memory=1436 CPUtime=1.31 cores=0,2,4,6
/proc/5166/task/5220/stat : 5220 (java) S 5163 5166 8289 0 -1 1077944384 1090 12344 0 0 115 9 5 2 20 0 15 0 113042919 14407233536 723928 18446744073709551615 4194304 4196468 140723181445424 140661328677392 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5221] ppid=5163 vsize=14069564 memory=1200 CPUtime=0.27 cores=0,2,4,6
/proc/5166/task/5221/stat : 5221 (java) S 5163 5166 8289 0 -1 1077944384 7359 12344 0 0 19 1 5 2 20 0 15 0 113042920 14407233536 723928 18446744073709551615 4194304 4196468 140723181445424 140660920568432 140661374880386 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5222] ppid=5163 vsize=14069564 memory=280753959475008 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5222/stat : 5222 (java) S 5163 5166 8289 0 -1 1077944384 47 12344 0 0 0 0 5 2 20 0 15 0 113042921 14407233536 723928 18446744073709551615 4194304 4196468 140723181445424 140660919514464 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5223] ppid=5163 vsize=14069564 memory=26530281425652 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5223/stat : 5223 (java) S 5163 5166 8289 0 -1 1077944384 31 12344 0 0 0 0 5 2 20 0 15 0 113042921 14407233536 723928 18446744073709551615 4194304 4196468 140723181445424 140660918462080 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5224] ppid=5163 vsize=14069564 memory=68 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5224/stat : 5224 (java) S 5163 5166 8289 0 -1 1077944384 2 12344 0 0 0 0 5 2 20 0 15 0 113042924 14407233536 723928 18446744073709551615 4194304 4196468 140723181445424 140660355361360 140661374887835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5225] ppid=5163 vsize=14069564 memory=-2892745056951965031 CPUtime=10.3 cores=0,2,4,6
/proc/5166/task/5225/stat : 5225 (java) S 5163 5166 8289 0 -1 1077944384 18104 12344 0 0 1020 3 5 2 20 0 15 0 113042924 14407233536 723928 18446744073709551615 4194304 4196468 140723181445424 140660354308208 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5226] ppid=5163 vsize=14069564 memory=2895712 CPUtime=10.26 cores=0,2,4,6
/proc/5166/task/5226/stat : 5226 (java) S 5163 5166 8289 0 -1 1077944384 15334 12344 0 0 1017 2 5 2 20 0 15 0 113042924 14407233536 723928 18446744073709551615 4194304 4196468 140723181445424 140660353255408 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5227] ppid=5163 vsize=14069564 memory=2804832 CPUtime=2.88 cores=0,2,4,6
/proc/5166/task/5227/stat : 5227 (java) S 5163 5166 8289 0 -1 1077944384 15401 12344 0 0 276 5 5 2 20 0 15 0 113042924 14407233536 723928 18446744073709551615 4194304 4196468 140723181445424 140660352203120 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5228] ppid=5163 vsize=14069564 memory=303204625899855605 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5228/stat : 5228 (java) S 5163 5166 8289 0 -1 1077944384 3 12344 0 0 0 0 5 2 20 0 15 0 113042924 14407233536 723928 18446744073709551615 4194304 4196468 140723181445424 140660351150560 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5229] ppid=5163 vsize=14069564 memory=1296 CPUtime=0.12 cores=0,2,4,6
/proc/5166/task/5229/stat : 5229 (java) S 5163 5166 8289 0 -1 1077944384 535 12344 0 0 3 2 5 2 20 0 15 0 113042934 14407233536 723928 18446744073709551615 4194304 4196468 140723181445424 140660350098352 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
Current children cumulated CPU time: 128.89 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 2895712 KiB

[startup+162.301 s]
/proc/loadavg: 1.56 1.68 1.84 3/216 5237
/proc/meminfo: memFree=26745864/32770624 swapFree=67108860/67108860
[pid=5166] ppid=5163 vsize=14069564 memory=3206268 CPUtime=189.14 cores=0,2,4,6
/proc/5166/stat : 5166 (java) S 5163 5166 8289 0 -1 1077944320 131686 12344 0 0 18799 108 5 2 20 0 15 0 113042893 14407233536 801567 18446744073709551615 4194304 4196468 140723181445424 140723181427968 140661374869239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
/proc/5166/statm: 3517391 801567 3491 1 0 3506005 0
[pid=5166/tid=5216] ppid=5163 vsize=14069564 memory=3206268 CPUtime=160.38 cores=0,2,4,6
/proc/5166/task/5216/stat : 5216 (java) R 5163 5166 8289 0 -1 4202560 59877 12344 0 0 15981 50 5 2 20 0 15 0 113042918 14407233536 801567 18446744073709551615 4194304 4196468 140723181445424 140661379097856 140661016384114 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5217] ppid=5163 vsize=14069564 memory=3206268 CPUtime=1.32 cores=0,2,4,6
/proc/5166/task/5217/stat : 5217 (java) S 5163 5166 8289 0 -1 1077944384 2988 12344 0 0 116 9 5 2 20 0 15 0 113042919 14407233536 801567 18446744073709551615 4194304 4196468 140723181445424 140661331835280 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5218] ppid=5163 vsize=14069564 memory=3206268 CPUtime=1.37 cores=0,2,4,6
/proc/5166/task/5218/stat : 5218 (java) S 5163 5166 8289 0 -1 1077944384 612 12344 0 0 120 10 5 2 20 0 15 0 113042919 14407233536 801567 18446744073709551615 4194304 4196468 140723181445424 140661330782480 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5219] ppid=5163 vsize=14069564 memory=3198104 CPUtime=1.3 cores=0,2,4,6
/proc/5166/task/5219/stat : 5219 (java) S 5163 5166 8289 0 -1 1077944384 1665 12344 0 0 113 10 5 2 20 0 15 0 113042919 14407233536 801567 18446744073709551615 4194304 4196468 140723181445424 140661329730192 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5220] ppid=5163 vsize=14069564 memory=3198104 CPUtime=1.36 cores=0,2,4,6
/proc/5166/task/5220/stat : 5220 (java) S 5163 5166 8289 0 -1 1077944384 1244 12344 0 0 119 10 5 2 20 0 15 0 113042919 14407233536 801567 18446744073709551615 4194304 4196468 140723181445424 140661328677392 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5221] ppid=5163 vsize=14069564 memory=3206264 CPUtime=0.27 cores=0,2,4,6
/proc/5166/task/5221/stat : 5221 (java) S 5163 5166 8289 0 -1 1077944384 7749 12344 0 0 19 1 5 2 20 0 15 0 113042920 14407233536 801567 18446744073709551615 4194304 4196468 140723181445424 140660920568432 140661374880386 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5222] ppid=5163 vsize=14069564 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5222/stat : 5222 (java) S 5163 5166 8289 0 -1 1077944384 53 12344 0 0 0 0 5 2 20 0 15 0 113042921 14407233536 801567 18446744073709551615 4194304 4196468 140723181445424 140660919514464 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5223] ppid=5163 vsize=14069564 memory=3206268 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5223/stat : 5223 (java) S 5163 5166 8289 0 -1 1077944384 31 12344 0 0 0 0 5 2 20 0 15 0 113042921 14407233536 801567 18446744073709551615 4194304 4196468 140723181445424 140660918462080 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5224] ppid=5163 vsize=14069564 memory=280753959666960 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5224/stat : 5224 (java) S 5163 5166 8289 0 -1 1077944384 2 12344 0 0 0 0 5 2 20 0 15 0 113042924 14407233536 801567 18446744073709551615 4194304 4196468 140723181445424 140660355361360 140661374887835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5225] ppid=5163 vsize=14069564 memory=3206268 CPUtime=10.31 cores=0,2,4,6
/proc/5166/task/5225/stat : 5225 (java) S 5163 5166 8289 0 -1 1077944384 18756 12344 0 0 1021 3 5 2 20 0 15 0 113042924 14407233536 801567 18446744073709551615 4194304 4196468 140723181445424 140660354308208 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5226] ppid=5163 vsize=14069564 memory=4064 CPUtime=10.3 cores=0,2,4,6
/proc/5166/task/5226/stat : 5226 (java) S 5163 5166 8289 0 -1 1077944384 16548 12344 0 0 1020 3 5 2 20 0 15 0 113042924 14407233536 801567 18446744073709551615 4194304 4196468 140723181445424 140660353255408 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5227] ppid=5163 vsize=14069564 memory=3206268 CPUtime=2.9 cores=0,2,4,6
/proc/5166/task/5227/stat : 5227 (java) S 5163 5166 8289 0 -1 1077944384 19421 12344 0 0 278 5 5 2 20 0 15 0 113042924 14407233536 801567 18446744073709551615 4194304 4196468 140723181445424 140660352203120 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5228] ppid=5163 vsize=14069564 memory=3206268 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5228/stat : 5228 (java) S 5163 5166 8289 0 -1 1077944384 3 12344 0 0 0 0 5 2 20 0 15 0 113042924 14407233536 801567 18446744073709551615 4194304 4196468 140723181445424 140660351150560 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5229] ppid=5163 vsize=14069564 memory=2012 CPUtime=0.15 cores=0,2,4,6
/proc/5166/task/5229/stat : 5229 (java) S 5163 5166 8289 0 -1 1077944384 581 12344 0 0 5 3 5 2 20 0 15 0 113042934 14407233536 801567 18446744073709551615 4194304 4196468 140723181445424 140660350098352 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
Current children cumulated CPU time: 189.14 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 3206268 KiB

[startup+222.301 s]
/proc/loadavg: 1.93 1.77 1.86 3/216 5366
/proc/meminfo: memFree=25999740/32770624 swapFree=67108860/67108860
[pid=5166] ppid=5163 vsize=14069564 memory=3146252 CPUtime=249.31 cores=0,2,4,6
/proc/5166/stat : 5166 (java) S 5163 5166 8289 0 -1 1077944320 140985 12344 0 0 24811 113 5 2 20 0 15 0 113042893 14407233536 786563 18446744073709551615 4194304 4196468 140723181445424 140723181427968 140661374869239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
/proc/5166/statm: 3517391 786563 3491 1 0 3506005 0
[pid=5166/tid=5216] ppid=5163 vsize=14069564 memory=3146252 CPUtime=220.33 cores=0,2,4,6
/proc/5166/task/5216/stat : 5216 (java) R 5163 5166 8289 0 -1 4202560 65392 12344 0 0 21972 54 5 2 20 0 15 0 113042918 14407233536 786563 18446744073709551615 4194304 4196468 140723181445424 140661379097856 140661013878859 0 4 1 16800974 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5217] ppid=5163 vsize=14069564 memory=3164720 CPUtime=1.36 cores=0,2,4,6
/proc/5166/task/5217/stat : 5217 (java) S 5163 5166 8289 0 -1 1077944384 3025 12344 0 0 120 9 5 2 20 0 15 0 113042919 14407233536 786563 18446744073709551615 4194304 4196468 140723181445424 140661331835280 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5218] ppid=5163 vsize=14069564 memory=3159076 CPUtime=1.41 cores=0,2,4,6
/proc/5166/task/5218/stat : 5218 (java) S 5163 5166 8289 0 -1 1077944384 2099 12344 0 0 124 10 5 2 20 0 15 0 113042919 14407233536 786563 18446744073709551615 4194304 4196468 140723181445424 140661330782480 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5219] ppid=5163 vsize=14069564 memory=3146252 CPUtime=1.34 cores=0,2,4,6
/proc/5166/task/5219/stat : 5219 (java) S 5163 5166 8289 0 -1 1077944384 1730 12344 0 0 117 10 5 2 20 0 15 0 113042919 14407233536 786563 18446744073709551615 4194304 4196468 140723181445424 140661329730192 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5220] ppid=5163 vsize=14069564 memory=3146252 CPUtime=1.4 cores=0,2,4,6
/proc/5166/task/5220/stat : 5220 (java) S 5163 5166 8289 0 -1 1077944384 1278 12344 0 0 123 10 5 2 20 0 15 0 113042919 14407233536 786563 18446744073709551615 4194304 4196468 140723181445424 140661328677392 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5221] ppid=5163 vsize=14069564 memory=3146252 CPUtime=0.28 cores=0,2,4,6
/proc/5166/task/5221/stat : 5221 (java) S 5163 5166 8289 0 -1 1077944384 8058 12344 0 0 20 1 5 2 20 0 15 0 113042920 14407233536 786563 18446744073709551615 4194304 4196468 140723181445424 140660920568432 140661374880386 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5222] ppid=5163 vsize=14069564 memory=3146252 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5222/stat : 5222 (java) S 5163 5166 8289 0 -1 1077944384 60 12344 0 0 0 0 5 2 20 0 15 0 113042921 14407233536 786563 18446744073709551615 4194304 4196468 140723181445424 140660919514464 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5223] ppid=5163 vsize=14069564 memory=18484 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5223/stat : 5223 (java) S 5163 5166 8289 0 -1 1077944384 31 12344 0 0 0 0 5 2 20 0 15 0 113042921 14407233536 786563 18446744073709551615 4194304 4196468 140723181445424 140660918462080 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5224] ppid=5163 vsize=14069564 memory=3146252 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5224/stat : 5224 (java) S 5163 5166 8289 0 -1 1077944384 2 12344 0 0 0 0 5 2 20 0 15 0 113042924 14407233536 786563 18446744073709551615 4194304 4196468 140723181445424 140660355361360 140661374887835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5225] ppid=5163 vsize=14069564 memory=3146252 CPUtime=10.32 cores=0,2,4,6
/proc/5166/task/5225/stat : 5225 (java) S 5163 5166 8289 0 -1 1077944384 19246 12344 0 0 1022 3 5 2 20 0 15 0 113042924 14407233536 786563 18446744073709551615 4194304 4196468 140723181445424 140660354308208 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5226] ppid=5163 vsize=14069564 memory=3146252 CPUtime=10.31 cores=0,2,4,6
/proc/5166/task/5226/stat : 5226 (java) S 5163 5166 8289 0 -1 1077944384 16876 12344 0 0 1021 3 5 2 20 0 15 0 113042924 14407233536 786563 18446744073709551615 4194304 4196468 140723181445424 140660353255408 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5227] ppid=5163 vsize=14069564 memory=1724 CPUtime=2.91 cores=0,2,4,6
/proc/5166/task/5227/stat : 5227 (java) S 5163 5166 8289 0 -1 1077944384 20402 12344 0 0 279 5 5 2 20 0 15 0 113042924 14407233536 786563 18446744073709551615 4194304 4196468 140723181445424 140660352203120 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5228] ppid=5163 vsize=14069564 memory=3146252 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5228/stat : 5228 (java) S 5163 5166 8289 0 -1 1077944384 3 12344 0 0 0 0 5 2 20 0 15 0 113042924 14407233536 786563 18446744073709551615 4194304 4196468 140723181445424 140660351150560 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5229] ppid=5163 vsize=14069564 memory=3146252 CPUtime=0.18 cores=0,2,4,6
/proc/5166/task/5229/stat : 5229 (java) S 5163 5166 8289 0 -1 1077944384 627 12344 0 0 6 5 5 2 20 0 15 0 113042934 14407233536 786563 18446744073709551615 4194304 4196468 140723181445424 140660350098352 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
Current children cumulated CPU time: 249.31 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 3146252 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+225.001 s]*
/proc/loadavg: 1.93 1.77 1.86 3/216 5366
/proc/meminfo: memFree=25592560/32770624 swapFree=67108860/67108860
[pid=5166] ppid=5163 vsize=14069564 memory=3141124 CPUtime=252.04 cores=0,2,4,6
/proc/5166/stat : 5166 (java) S 5163 5166 8289 0 -1 1077944320 142186 12344 0 0 25084 113 5 2 20 0 15 0 113042893 14407233536 785281 18446744073709551615 4194304 4196468 140723181445424 140723181427968 140661374869239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
/proc/5166/statm: 3517391 785281 3491 1 0 3506005 0
[pid=5166/tid=5216] ppid=5163 vsize=14069564 memory=4278483708103473607 CPUtime=223.03 cores=0,2,4,6
/proc/5166/task/5216/stat : 5216 (java) R 5163 5166 8289 0 -1 4202560 66016 12344 0 0 22242 54 5 2 20 0 15 0 113042918 14407233536 785281 18446744073709551615 4194304 4196468 140723181445424 140661379103432 140661007597095 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5217] ppid=5163 vsize=14069564 memory=4872558044660077418 CPUtime=1.37 cores=0,2,4,6
/proc/5166/task/5217/stat : 5217 (java) S 5163 5166 8289 0 -1 1077944384 3170 12344 0 0 121 9 5 2 20 0 15 0 113042919 14407233536 785281 18446744073709551615 4194304 4196468 140723181445424 140661331835280 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5218] ppid=5163 vsize=14069564 memory=7523376918531162212 CPUtime=1.41 cores=0,2,4,6
/proc/5166/task/5218/stat : 5218 (java) S 5163 5166 8289 0 -1 1077944384 2205 12344 0 0 124 10 5 2 20 0 15 0 113042919 14407233536 785281 18446744073709551615 4194304 4196468 140723181445424 140661330782480 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5219] ppid=5163 vsize=14069564 memory=7523376918531162212 CPUtime=1.34 cores=0,2,4,6
/proc/5166/task/5219/stat : 5219 (java) S 5163 5166 8289 0 -1 1077944384 1854 12344 0 0 117 10 5 2 20 0 15 0 113042919 14407233536 785281 18446744073709551615 4194304 4196468 140723181445424 140661329730192 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5220] ppid=5163 vsize=14069564 memory=7523376918531162212 CPUtime=1.41 cores=0,2,4,6
/proc/5166/task/5220/stat : 5220 (java) S 5163 5166 8289 0 -1 1077944384 1424 12344 0 0 124 10 5 2 20 0 15 0 113042919 14407233536 785281 18446744073709551615 4194304 4196468 140723181445424 140661328677392 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5221] ppid=5163 vsize=14069564 memory=4639948313719891052 CPUtime=0.28 cores=0,2,4,6
/proc/5166/task/5221/stat : 5221 (java) S 5163 5166 8289 0 -1 1077944384 8060 12344 0 0 20 1 5 2 20 0 15 0 113042920 14407233536 785281 18446744073709551615 4194304 4196468 140723181445424 140660920568432 140661374880386 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5222] ppid=5163 vsize=14069564 memory=8244240716208302183 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5222/stat : 5222 (java) S 5163 5166 8289 0 -1 1077944384 60 12344 0 0 0 0 5 2 20 0 15 0 113042921 14407233536 785281 18446744073709551615 4194304 4196468 140723181445424 140660919514464 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5223] ppid=5163 vsize=14069564 memory=7680170660397595203 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5223/stat : 5223 (java) S 5163 5166 8289 0 -1 1077944384 31 12344 0 0 0 0 5 2 20 0 15 0 113042921 14407233536 785281 18446744073709551615 4194304 4196468 140723181445424 140660918462080 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5224] ppid=5163 vsize=14069564 memory=288230617509003574 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5224/stat : 5224 (java) S 5163 5166 8289 0 -1 1077944384 2 12344 0 0 0 0 5 2 20 0 15 0 113042924 14407233536 785281 18446744073709551615 4194304 4196468 140723181445424 140660355361360 140661374887835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5225] ppid=5163 vsize=14069564 memory=14689686622832056 CPUtime=10.32 cores=0,2,4,6
/proc/5166/task/5225/stat : 5225 (java) S 5163 5166 8289 0 -1 1077944384 19246 12344 0 0 1022 3 5 2 20 0 15 0 113042924 14407233536 785281 18446744073709551615 4194304 4196468 140723181445424 140660354308208 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5226] ppid=5163 vsize=14069564 memory=1008 CPUtime=10.31 cores=0,2,4,6
/proc/5166/task/5226/stat : 5226 (java) S 5163 5166 8289 0 -1 1077944384 16876 12344 0 0 1021 3 5 2 20 0 15 0 113042924 14407233536 785281 18446744073709551615 4194304 4196468 140723181445424 140660353255408 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5227] ppid=5163 vsize=14069564 memory=2012 CPUtime=2.91 cores=0,2,4,6
/proc/5166/task/5227/stat : 5227 (java) S 5163 5166 8289 0 -1 1077944384 20456 12344 0 0 279 5 5 2 20 0 15 0 113042924 14407233536 785281 18446744073709551615 4194304 4196468 140723181445424 140660352203120 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5228] ppid=5163 vsize=14069564 memory=11136 CPUtime=0.07 cores=0,2,4,6
/proc/5166/task/5228/stat : 5228 (java) S 5163 5166 8289 0 -1 1077944384 3 12344 0 0 0 0 5 2 20 0 15 0 113042924 14407233536 785281 18446744073709551615 4194304 4196468 140723181445424 140660351150560 140661374879445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
[pid=5166/tid=5229] ppid=5163 vsize=14069564 memory=5788 CPUtime=0.18 cores=0,2,4,6
/proc/5166/task/5229/stat : 5229 (java) S 5163 5166 8289 0 -1 1077944384 627 12344 0 0 6 5 5 2 20 0 15 0 113042934 14407233536 785281 18446744073709551615 4194304 4196468 140723181445424 140660350098352 140661374880386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7798784 140723181451184 140723181453969 140723181453969 140723181457359 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 3141124 KiB

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

[startup+225.053 s]
# the end of solver process 5166 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.92 s, system=1.19308 s

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

Child status: 143
Real time (s): 225.053
CPU time (s): 252.113
CPU user time (s): 250.92
CPU system time (s): 1.19308
CPU usage (%): 112.024
Max. virtual memory (cumulated for all children) (KiB): 14069564
Max. memory (cumulated for all children) (KiB): 3206268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.92
system time used= 1.19308
maximum resident set size= 3208344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15361
involuntary context switches= 678


# summary of solver processes directly reported to runsolver:
#   pid: 5166
#   total CPU time (s): 252.113
#   total CPU user time (s): 250.92
#   total CPU system time (s): 1.19308

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42248 second user time and 2.19845 second system time

The end

Launcher Data

Begin job on node133 at 2017-08-13 21:10:29
IDJOB=4259694
IDBENCH=140579
IDSOLVER=2646
FILE ID=node133/4259694-1502652277
RUNJOBID= node133-1502641620-25473
PBS_JOBID= 
Free space on /tmp= 62008 MiB

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

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

MD5SUM BENCH= 778dc3cd7adf307db423468d07378e38
RANDOM SEED=24363001

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29517676 kB
MemAvailable:   30166080 kB
Buffers:          242872 kB
Cached:           700660 kB
SwapCached:            0 kB
Active:          2610492 kB
Inactive:         191632 kB
Active(anon):    1799576 kB
Inactive(anon):   100804 kB
Active(file):     810916 kB
Inactive(file):    90828 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24492 kB
Writeback:             4 kB
AnonPages:       1858400 kB
Mapped:            71016 kB
Shmem:             41660 kB
Slab:             152376 kB
SReclaimable:     124988 kB
SUnreclaim:        27388 kB
KernelStack:        3552 kB
PageTables:         9404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2711572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1619968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

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