Trace number 4304264

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.9.2-SuperNGOPT29 1902.07 1861.99

General information on the benchmark

NameGraphColoring/
GraphColoring-qg-order30_c18.xml
MD5SUM2f5cbdca11052f8d5a6d32bd8b795ba4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark303.273
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints26100
Number of domains1
Minimum domain size900
Maximum domain size900
Distribution of domain sizes[{"size":900,"count":900}]
Minimum variable degree59
Maximum variable degree59
Distribution of variable degrees[{"degree":59,"count":900}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":26100}]
Number of extensional constraints0
Number of intensional constraints26100
Distribution of constraint types[{"type":"intension","count":26100}]
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 

0.99/0.74	c Concrete v3.9.2.1532736233296 running
27.46/12.60	o 899
28.99/13.10	o 898
29.75/13.43	o 897
30.28/13.76	o 896
30.85/14.09	o 895
31.49/14.44	o 894
32.03/14.73	o 893
32.72/15.04	o 892
33.17/15.33	o 891
33.54/15.62	o 890
33.80/15.89	o 889
34.39/16.16	o 888
34.78/16.48	o 887
35.28/16.78	o 886
35.71/17.07	o 885
36.08/17.36	o 884
36.49/17.66	o 883
36.82/17.95	o 882
37.16/18.23	o 881
37.51/18.56	o 880
37.81/18.84	o 879
38.13/19.12	o 878
38.42/19.42	o 877
38.78/19.75	o 876
39.09/20.04	o 875
39.49/20.40	o 874
39.80/20.71	o 873
40.11/21.01	o 872
40.43/21.37	o 871
40.73/21.69	o 870
41.14/22.02	o 869
41.42/22.37	o 868
41.83/22.77	o 867
42.14/23.10	o 866
42.73/23.50	o 865
43.05/23.82	o 864
43.36/24.16	o 863
43.75/24.56	o 862
44.15/24.93	o 861
44.49/25.25	o 860
44.79/25.58	o 859
45.19/25.91	o 858
45.51/26.25	o 857
46.02/26.79	o 856
46.65/27.26	o 855
47.05/27.66	o 854
47.46/28.04	o 853
47.85/28.42	o 852
48.25/28.80	o 851
48.65/29.21	o 850
49.15/29.72	o 849
49.46/30.10	o 848
49.96/30.53	o 847
50.36/30.93	o 846
50.76/31.33	o 845
51.16/31.76	o 844
51.67/32.20	o 843
52.26/32.65	o 842
52.87/33.11	o 841
53.26/33.54	o 840
53.67/34.00	o 839
54.17/34.42	o 838
54.69/34.88	o 837
55.19/35.32	o 836
55.60/35.75	o 835
56.01/36.19	o 834
56.50/36.62	o 833
56.91/37.10	o 832
57.40/37.56	o 831
57.80/37.96	o 830
58.21/38.37	o 829
58.80/38.84	o 828
59.20/39.24	o 827
59.60/39.64	o 826
60.01/40.06	o 825
60.40/40.47	o 824
60.90/40.94	o 823
61.30/41.34	o 822
61.80/41.87	o 821
62.30/42.30	o 820
62.70/42.76	o 819
63.11/43.18	o 818
63.61/43.65	o 817
64.02/44.08	o 816
64.51/44.55	o 815
64.91/45.00	o 814
65.41/45.48	o 813
65.91/45.98	o 812
66.50/46.44	o 811
66.90/46.88	o 810
67.40/47.39	o 809
67.91/47.84	o 808
68.41/48.31	o 807
68.81/48.73	o 806
69.22/49.18	o 805
69.71/49.63	o 804
70.23/50.11	o 803
70.62/50.56	o 802
71.02/50.99	o 801
71.52/51.46	o 800
72.02/51.91	o 799
72.42/52.38	o 798
72.92/52.81	o 797
73.32/53.27	o 796
73.92/53.76	o 795
74.43/54.21	o 794
74.83/54.64	o 793
75.43/55.22	o 792
75.93/55.72	o 791
76.34/56.18	o 790
76.83/56.64	o 789
77.34/57.15	o 788
77.83/57.67	o 787
78.35/58.14	o 786
78.84/58.62	o 785
79.25/59.10	o 784
79.84/59.60	o 783
80.35/60.11	o 782
80.84/60.60	o 781
81.25/61.10	o 780
81.84/61.60	o 779
82.26/62.10	o 778
82.95/62.66	o 777
83.46/63.15	o 776
83.96/63.63	o 775
84.47/64.12	o 774
85.06/64.72	o 773
85.56/65.22	o 772
85.96/65.70	o 771
86.57/66.22	o 770
87.07/66.72	o 769
87.57/67.22	o 768
87.97/67.68	o 767
88.48/68.19	o 766
89.07/68.70	o 765
89.48/69.16	o 764
89.97/69.65	o 763
90.54/70.15	o 762
91.03/70.63	o 761
91.54/71.19	o 760
92.11/71.63	o 759
92.62/72.12	o 758
93.11/72.62	o 757
93.51/73.10	o 756
94.01/73.59	o 755
94.52/74.08	o 754
95.01/74.59	o 753
95.52/75.07	o 752
96.01/75.54	o 751
96.62/76.16	o 750
97.21/76.70	o 749
97.71/77.25	o 748
98.31/77.80	o 747
98.82/78.34	o 746
99.42/78.92	o 745
99.92/79.43	o 744
100.49/80.00	o 743
101.09/80.53	o 742
101.60/81.07	o 741
102.10/81.58	o 740
102.71/82.12	o 739
103.20/82.61	o 738
103.71/83.17	o 737
104.20/83.68	o 736
104.71/84.19	o 735
105.30/84.74	o 734
105.80/85.26	o 733
106.30/85.79	o 732
106.90/86.35	o 731
107.40/86.88	o 730
108.00/87.41	o 729
108.52/87.92	o 728
109.02/88.45	o 727
109.59/88.98	o 726
110.19/89.50	o 725
110.59/90.00	o 724
111.19/90.59	o 723
111.80/91.13	o 722
112.29/91.68	o 721
112.89/92.23	o 720
113.49/92.81	o 719
113.99/93.33	o 718
114.49/93.90	o 717
115.09/94.47	o 716
115.70/95.04	o 715
116.19/95.59	o 714
116.80/96.13	o 713
117.29/96.69	o 712
117.89/97.23	o 711
118.46/97.74	o 710
118.96/98.28	o 709
119.57/98.83	o 708
120.17/99.41	o 707
120.68/99.94	o 706
121.28/100.53	o 705
121.79/101.04	o 704
122.28/101.59	o 703
122.79/102.09	o 702
123.38/102.67	o 701
123.98/103.22	o 700
124.48/103.78	o 699
125.08/104.36	o 698
125.68/104.93	o 697
126.18/105.48	o 696
126.79/106.02	o 695
127.28/106.54	o 694
127.96/107.15	o 693
128.45/107.67	o 692
129.15/108.31	o 691
129.65/108.88	o 690
130.25/109.49	o 689
130.86/110.08	o 688
131.55/110.70	o 687
132.05/111.27	o 686
132.65/111.86	o 685
133.25/112.42	o 684
133.75/113.00	o 683
134.35/113.55	o 682
134.86/114.10	o 681
135.45/114.68	o 680
136.05/115.27	o 679
136.83/115.92	o 678
137.33/116.45	o 677
137.95/117.04	o 676
138.44/117.58	o 675
139.05/118.16	o 674
139.54/118.69	o 673
140.14/119.27	o 672
140.74/119.87	o 671
141.35/120.47	o 670
141.96/121.06	o 669
142.55/121.64	o 668
143.15/122.26	o 667
143.75/122.86	o 666
144.35/123.45	o 665
144.96/124.02	o 664
145.55/124.61	o 663
146.23/125.20	o 662
146.83/125.80	o 661
147.33/126.39	o 660
147.93/126.94	o 659
148.43/127.49	o 658
149.04/128.09	o 657
149.64/128.68	o 656
150.24/129.24	o 655
150.74/129.80	o 654
151.34/130.36	o 653
152.05/131.01	o 652
152.64/131.61	o 651
153.24/132.21	o 650
153.84/132.83	o 649
154.44/133.44	o 648
155.05/134.04	o 647
155.72/134.63	o 646
156.32/135.24	o 645
156.92/135.86	o 644
157.53/136.44	o 643
158.03/136.98	o 642
158.63/137.58	o 641
159.24/138.11	o 640
159.83/138.70	o 639
160.33/139.26	o 638
160.93/139.88	o 637
161.53/140.48	o 636
162.14/141.07	o 635
162.73/141.65	o 634
163.33/142.22	o 633
163.94/142.83	o 632
164.61/143.45	o 631
165.11/144.00	o 630
165.71/144.59	o 629
166.32/145.16	o 628
166.92/145.74	o 627
167.42/146.28	o 626
168.02/146.85	o 625
168.62/147.44	o 624
169.23/148.08	o 623
169.83/148.69	o 622
170.43/149.26	o 621
171.02/149.85	o 620
171.63/150.43	o 619
172.23/151.02	o 618
172.73/151.53	o 617
173.34/152.11	o 616
173.89/152.69	o 615
174.49/153.25	o 614
175.09/153.84	o 613
175.69/154.43	o 612
176.19/155.00	o 611
176.79/155.58	o 610
177.40/156.15	o 609
177.99/156.73	o 608
178.50/157.26	o 607
179.47/158.17	o 606
180.17/158.83	o 605
180.87/159.52	o 604
181.57/160.21	o 603
182.35/160.94	o 602
183.05/161.69	o 601
183.75/162.37	o 600
184.46/163.05	o 599
185.15/163.76	o 598
185.85/164.47	o 597
186.56/165.17	o 596
187.25/165.84	o 595
187.95/166.52	o 594
188.65/167.22	o 593
189.35/167.94	o 592
190.05/168.65	o 591
190.83/169.33	o 590
191.54/170.06	o 589
192.23/170.74	o 588
192.83/171.39	o 587
193.53/172.05	o 586
194.23/172.76	o 585
194.93/173.43	o 584
195.73/174.20	o 583
196.33/174.86	o 582
197.03/175.55	o 581
197.73/176.24	o 580
198.43/176.96	o 579
199.30/177.70	o 578
199.90/178.33	o 577
200.50/178.99	o 576
201.21/179.66	o 575
201.91/180.35	o 574
202.62/181.04	o 573
203.31/181.71	o 572
203.91/182.31	o 571
204.51/182.96	o 570
205.21/183.69	o 569
205.91/184.37	o 568
206.62/185.05	o 567
207.37/185.71	o 566
207.97/186.38	o 565
208.68/187.03	o 564
209.27/187.69	o 563
209.97/188.37	o 562
210.68/189.06	o 561
211.37/189.72	o 560
211.97/190.38	o 559
212.68/191.03	o 558
213.37/191.73	o 557
214.08/192.42	o 556
214.85/193.12	o 555
215.54/193.80	o 554
216.14/194.47	o 553
216.85/195.13	o 552
217.55/195.81	o 551
218.56/196.81	o 550
219.36/197.67	o 549
220.16/198.45	o 548
220.96/199.27	o 547
221.86/200.07	o 546
222.65/200.86	o 545
223.45/201.65	o 544
224.25/202.43	o 543
225.05/203.20	o 542
225.75/203.95	o 541
226.55/204.71	o 540
227.35/205.55	o 539
228.15/206.39	o 538
229.15/207.21	o 537
229.85/207.94	o 536
230.65/208.70	o 535
231.35/209.49	o 534
232.06/210.19	o 533
232.85/210.96	o 532
233.65/211.77	o 531
234.45/212.53	o 530
235.15/213.30	o 529
236.13/214.15	o 528
236.92/214.95	o 527
237.72/215.78	o 526
238.62/216.61	o 525
239.42/217.46	o 524
240.22/218.23	o 523
240.92/218.98	o 522
241.72/219.76	o 521
242.70/220.61	o 520
243.40/221.35	o 519
244.21/222.14	o 518
245.00/223.00	o 517
245.83/223.79	o 516
246.64/224.59	o 515
247.44/225.37	o 514
248.34/226.25	o 513
249.22/227.10	o 512
250.11/227.90	o 511
250.81/228.69	o 510
251.61/229.46	o 509
252.41/230.26	o 508
253.22/231.04	o 507
254.01/231.87	o 506
254.81/232.69	o 505
255.77/233.54	o 504
256.57/234.38	o 503
257.38/235.19	o 502
258.18/235.90	o 501
258.98/236.72	o 500
259.78/237.54	o 499
260.48/238.28	o 498
261.37/239.09	o 497
262.26/239.95	o 496
262.96/240.67	o 495
263.86/241.52	o 494
264.66/242.31	o 493
265.37/243.10	o 492
266.16/243.82	o 491
267.03/244.63	o 490
267.73/245.37	o 489
268.54/246.16	o 488
269.33/246.91	o 487
270.13/247.72	o 486
270.91/248.44	o 485
271.62/249.17	o 484
272.71/250.19	o 483
273.72/251.12	o 482
274.51/251.96	o 481
275.31/252.78	o 480
276.21/253.63	o 479
277.11/254.52	o 478
278.01/255.39	o 477
278.91/256.30	o 476
279.82/257.15	o 475
280.61/258.00	o 474
281.51/258.88	o 473
282.41/259.77	o 472
283.39/260.64	o 471
284.19/261.42	o 470
284.99/262.29	o 469
285.90/263.19	o 468
286.80/264.01	o 467
287.59/264.80	o 466
288.44/265.70	o 465
289.44/266.66	o 464
290.34/267.54	o 463
291.14/268.35	o 462
291.95/269.15	o 461
292.80/269.99	o 460
293.71/270.81	o 459
294.51/271.63	o 458
295.31/272.40	o 457
296.02/273.17	o 456
296.92/274.02	o 455
297.76/274.85	o 454
298.66/275.70	o 453
299.46/276.55	o 452
300.26/277.32	o 451
301.07/278.19	o 450
302.01/279.03	o 449
302.91/279.94	o 448
303.71/280.74	o 447
304.61/281.61	o 446
305.58/282.53	o 445
306.48/283.42	o 444
307.28/284.20	o 443
308.09/285.09	o 442
308.98/285.90	o 441
309.82/286.74	o 440
310.62/287.59	o 439
311.52/288.48	o 438
312.42/289.33	o 437
313.23/290.19	o 436
314.18/291.04	o 435
314.98/291.88	o 434
315.88/292.73	o 433
316.68/293.58	o 432
317.63/294.45	o 431
318.53/295.33	o 430
319.34/296.17	o 429
320.25/297.05	o 428
321.04/297.87	o 427
321.97/298.70	o 426
322.87/299.61	o 425
323.67/300.44	o 424
324.47/301.25	o 423
325.42/302.18	o 422
326.32/303.06	o 421
327.11/303.89	o 420
328.16/304.82	o 419
328.96/305.67	o 418
329.86/306.51	o 417
330.65/307.38	o 416
331.59/308.29	o 415
332.50/309.12	o 414
333.40/310.02	o 413
334.25/310.83	o 412
335.15/311.70	o 411
335.85/312.46	o 410
336.66/313.26	o 409
337.50/314.06	o 408
338.29/314.83	o 407
339.09/315.60	o 406
339.89/316.41	o 405
340.72/317.29	o 404
341.93/318.40	o 403
342.77/319.23	o 402
343.58/320.04	o 401
344.47/320.91	o 400
345.37/321.87	o 399
346.31/322.74	o 398
347.21/323.62	o 397
348.15/324.53	o 396
349.05/325.40	o 395
349.85/326.25	o 394
350.80/327.15	o 393
351.70/328.02	o 392
352.59/328.90	o 391
353.43/329.79	o 390
354.33/330.68	o 389
355.34/331.60	o 388
356.27/332.52	o 387
357.07/333.39	o 386
358.01/334.27	o 385
358.92/335.18	o 384
359.82/336.08	o 383
360.85/337.02	o 382
361.74/337.97	o 381
362.67/338.88	o 380
363.67/339.87	o 379
364.71/340.85	o 378
365.61/341.79	o 377
366.51/342.68	o 376
367.45/343.56	o 375
368.49/344.50	o 374
369.28/345.37	o 373
370.18/346.22	o 372
371.13/347.12	o 371
371.92/348.00	o 370
372.95/348.96	o 369
373.85/349.87	o 368
374.77/350.72	o 367
375.72/351.67	o 366
376.61/352.59	o 365
377.54/353.49	o 364
378.44/354.32	o 363
379.36/355.29	o 362
380.27/356.15	o 361
381.20/357.05	o 360
382.11/357.98	o 359
383.01/358.86	o 358
383.93/359.73	o 357
384.86/360.62	o 356
385.76/361.55	o 355
386.58/362.39	o 354
387.50/363.25	o 353
388.41/364.14	o 352
389.33/365.05	o 351
390.24/365.95	o 350
391.04/366.77	o 349
392.07/367.70	o 348
392.89/368.57	o 347
393.81/369.46	o 346
394.71/370.32	o 345
395.54/371.18	o 344
396.45/372.10	o 343
397.36/372.99	o 342
398.28/373.84	o 341
399.11/374.69	o 340
400.01/375.56	o 339
400.93/376.48	o 338
401.85/377.35	o 337
402.78/378.22	o 336
403.60/379.05	o 335
404.41/379.89	o 334
405.33/380.74	o 333
406.14/381.58	o 332
407.06/382.41	o 331
407.98/383.30	o 330
408.80/384.15	o 329
409.62/385.00	o 328
410.54/385.90	o 327
411.46/386.79	o 326
412.27/387.59	o 325
413.19/388.49	o 324
414.11/389.33	o 323
415.03/390.20	o 322
415.86/391.05	o 321
416.78/392.00	o 320
417.78/392.90	o 319
418.59/393.75	o 318
419.51/394.65	o 317
420.35/395.49	o 316
421.25/396.36	o 315
422.17/397.28	o 314
423.10/398.12	o 313
424.02/399.07	o 312
424.93/399.99	o 311
425.95/400.94	o 310
426.77/401.79	o 309
427.79/402.74	o 308
428.61/403.57	o 307
430.01/404.87	o 306
431.14/405.92	o 305
432.29/407.04	o 304
433.39/408.15	o 303
434.32/409.09	o 302
435.48/410.18	o 301
436.57/411.21	o 300
437.60/412.21	o 299
438.74/413.30	o 298
439.74/414.36	o 297
440.88/415.47	o 296
441.88/416.46	o 295
442.93/417.44	o 294
444.03/418.52	o 293
445.06/419.51	o 292
446.06/420.56	o 291
447.11/421.51	o 290
448.11/422.55	o 289
449.01/423.49	o 288
450.14/424.53	o 287
451.14/425.52	o 286
452.19/426.54	o 285
453.19/427.53	o 284
454.23/428.50	o 283
455.23/429.50	o 282
456.17/430.48	o 281
457.27/431.50	o 280
458.22/432.49	o 279
459.22/433.47	o 278
460.25/434.45	o 277
461.15/435.34	o 276
462.18/436.33	o 275
463.18/437.31	o 274
464.11/438.25	o 273
465.11/439.22	o 272
466.04/440.12	o 271
466.94/441.10	o 270
467.96/442.03	o 269
468.88/442.96	o 268
469.79/443.84	o 267
470.71/444.76	o 266
471.71/445.77	o 265
472.74/446.74	o 264
473.76/447.72	o 263
474.76/448.74	o 262
475.68/449.62	o 261
476.71/450.60	o 260
477.62/451.57	o 259
478.66/452.54	o 258
479.58/453.49	o 257
480.60/454.41	o 256
481.50/455.37	o 255
482.43/456.22	o 254
483.36/457.12	o 253
484.28/458.08	o 252
485.28/459.08	o 251
486.31/460.07	o 250
487.22/460.94	o 249
488.14/461.87	o 248
489.16/462.83	o 247
490.08/463.78	o 246
491.10/464.74	o 245
492.02/465.66	o 244
492.96/466.56	o 243
493.88/467.48	o 242
494.88/468.47	o 241
495.81/469.36	o 240
496.72/470.26	o 239
497.75/471.20	o 238
498.69/472.13	o 237
499.61/473.07	o 236
500.53/473.92	o 235
501.32/474.77	o 234
502.27/475.64	o 233
503.09/476.43	o 232
504.02/477.32	o 231
504.83/478.18	o 230
505.85/479.11	o 229
506.78/480.02	o 228
507.57/480.87	o 227
508.49/481.79	o 226
509.51/482.72	o 225
510.43/483.60	o 224
511.33/484.52	o 223
512.16/485.34	o 222
512.99/486.19	o 221
514.02/487.12	o 220
514.94/488.07	o 219
515.86/488.93	o 218
516.67/489.75	o 217
517.73/490.63	o 216
518.55/491.42	o 215
519.37/492.27	o 214
520.39/493.21	o 213
521.32/494.11	o 212
522.14/494.98	o 211
523.06/495.86	o 210
524.09/496.84	o 209
525.02/497.70	o 208
525.91/498.62	o 207
526.84/499.51	o 206
527.66/500.36	o 205
528.59/501.28	o 204
529.50/502.16	o 203
530.52/503.13	o 202
531.44/504.01	o 201
532.26/504.85	o 200
533.18/505.74	o 199
534.01/506.59	o 198
534.95/507.49	o 197
535.84/508.37	o 196
536.76/509.29	o 195
537.78/510.24	o 194
538.73/511.12	o 193
539.52/512.00	o 192
540.45/512.88	o 191
541.38/513.72	o 190
543.12/515.38	o 189
546.19/517.05	o 188
547.29/518.20	o 187
548.60/519.42	o 186
549.70/520.58	o 185
550.92/521.71	o 184
552.02/522.81	o 183
553.14/523.97	o 182
554.38/525.12	o 181
555.47/526.24	o 180
556.71/527.48	o 179
558.01/528.71	o 178
559.14/529.89	o 177
560.35/531.05	o 176
561.56/532.21	o 175
562.76/533.40	o 174
564.00/534.63	o 173
565.11/535.77	o 172
566.34/537.00	o 171
567.64/538.23	o 170
568.87/539.41	o 169
569.97/540.58	o 168
571.21/541.74	o 167
572.31/542.80	o 166
573.41/543.94	o 165
574.55/545.05	o 164
575.65/546.19	o 163
576.87/547.31	o 162
578.07/548.50	o 161
579.17/549.60	o 160
580.40/550.80	o 159
581.61/552.01	o 158
582.65/553.09	o 157
583.94/554.37	o 156
585.24/555.68	o 155
586.37/556.78	o 154
587.68/558.03	o 153
589.01/559.31	o 152
590.11/560.41	o 151
591.21/561.58	o 150
592.45/562.78	o 149
593.76/564.02	o 148
594.86/565.16	o 147
596.08/566.38	o 146
597.29/567.52	o 145
598.39/568.61	o 144
599.51/569.76	o 143
600.61/570.86	o 142
601.71/571.96	o 141
602.86/573.06	o 140
603.97/574.17	o 139
605.16/575.34	o 138
606.40/576.56	o 137
607.60/577.71	o 136
608.71/578.85	o 135
609.92/580.07	o 134
611.21/581.30	o 133
612.64/582.60	o 132
613.95/583.92	o 131
616.78/586.71	o 130
620.12/590.04	o 129
623.81/593.70	o 128
629.84/599.76	o 127
637.08/606.97	o 126
645.53/615.37	o 125
654.07/623.87	o 124
664.91/634.65	o 123
676.36/646.02	o 122
691.29/660.97	o 121
704.23/673.85	o 120
718.71/688.14	o 119
731.23/700.69	o 118
746.27/715.70	o 117
762.43/731.73	o 116
778.77/748.01	o 115
793.51/762.75	o 114
812.75/781.97	o 113
825.99/795.16	o 112
841.32/810.48	o 111
858.76/827.81	o 110
873.78/842.80	o 109
889.53/858.55	o 108
903.98/872.95	o 107
918.41/887.32	o 106
932.34/901.28	o 105
946.30/915.14	o 104
960.23/929.05	o 103
975.56/944.40	o 102
988.20/956.90	o 101
1002.94/971.60	o 100
1016.96/985.62	o 99
1028.59/997.26	o 98
1040.52/1009.14	o 97
1053.11/1021.68	o 96
1065.84/1034.37	o 95
1078.18/1046.62	o 94
1091.33/1059.70	o 93
1102.68/1071.07	o 92
1114.41/1082.70	o 91
1128.25/1096.59	o 90
1141.58/1109.82	o 89
1154.83/1122.98	o 88
1167.23/1135.25	o 87
1180.05/1148.08	o 86
1190.18/1158.16	o 85
1200.92/1168.80	o 84
1211.76/1179.68	o 83
1221.17/1189.09	o 82
1232.13/1199.91	o 81
1244.05/1211.78	o 80
1254.97/1222.52	o 79
1264.18/1231.75	o 78
1274.81/1242.33	o 77
1283.34/1250.81	o 76
1292.45/1259.93	o 75
1299.79/1267.26	o 74
1309.31/1276.70	o 73
1317.55/1284.95	o 72
1325.90/1293.22	o 71
1334.40/1301.70	o 70
1343.03/1310.36	o 69
1351.85/1319.13	o 68
1360.08/1327.36	o 67
1367.90/1335.17	o 66
1374.22/1341.47	o 65
1381.02/1348.26	o 64
1386.66/1353.89	o 63
1394.26/1361.45	o 62
1401.27/1368.45	o 61
1406.90/1374.04	o 60
1413.49/1380.60	o 59
1419.22/1386.36	o 58
1424.82/1391.95	o 57
1431.23/1398.40	o 56
1435.64/1402.79	o 55
1441.65/1408.74	o 54
1446.97/1414.04	o 53
1451.68/1418.76	o 52
1456.28/1423.34	o 51
1460.89/1427.91	o 50
1465.41/1432.41	o 49
1471.12/1438.12	o 48
1476.82/1443.75	o 47
1482.62/1449.56	o 46
1487.53/1454.43	o 45
1493.30/1460.19	o 44
1497.99/1464.87	o 43
1501.79/1468.63	o 42
1505.97/1472.79	o 41
1510.38/1477.12	o 40
1513.77/1480.59	o 39
1517.67/1484.41	o 38
1521.94/1488.64	o 37
1525.35/1492.04	o 36
1528.74/1495.48	o 35
1531.77/1498.47	o 34
1534.60/1501.28	o 33
1537.47/1504.10	o 32
1540.65/1507.16	o 31
1898.75/1858.76	o 30
1901.95/1861.94	o 29
1901.95/1861.96	v <instantiation cost="29">
1901.95/1861.96	v       <list>
1901.95/1861.96	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] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899]
1901.95/1861.96	v       </list>
1901.95/1861.96	v       <values>
1901.95/1861.96	v         11 19 24 23 26 12 6 10 28 0 29 18 14 5 13 1 22 2 4 3 8 25 20 21 7 16 17 9 27 15 7 4 11 29 18 0 15 12 6 3 21 23 26 27 24 22 16 19 25 20 9 17 1 10 13 5 2 8 14 28 8 13 21 26 22 5 18 16 24 17 7 2 4 0 29 28 11 27 19 15 10 9 14 3 6 12 20 23 25 1 2 23 19 5 12 13 25 14 22 16 28 20 1 11 3 4 15 10 6 17 7 18 29 8 24 0 26 27 21 9 4 18 6 27 9 26 16 1 23 15 17 22 25 12 0 11 21 28 5 14 29 10 2 13 8 3 7 19 24 20 1 8 20 0 21 6 24 25 26 7 19 3 10 9 14 2 12 5 28 13 27 22 15 4 17 23 18 16 11 29 24 20 27 22 6 3 0 19 17 13 9 16 28 26 12 10 18 11 1 7 5 14 25 23 29 2 21 15 8 4 6 14 3 13 19 11 9 28 0 20 24 27 18 15 8 29 26 4 12 1 17 2 5 22 25 21 16 10 7 23 29 3 1 9 16 28 5 11 13 2 23 6 0 25 17 15 7 22 14 10 24 8 21 26 20 4 27 18 19 12 12 17 4 24 0 22 23 5 10 28 8 26 20 1 11 6 2 29 3 16 18 27 7 14 19 15 13 25 9 21 5 28 18 4 10 9 1 27 8 26 11 15 17 23 6 19 14 7 22 29 12 21 16 20 3 24 25 2 0 13 0 5 14 17 15 29 13 8 18 6 25 12 7 21 9 20 24 16 2 22 23 28 4 1 11 27 3 26 10 19 19 29 28 1 20 2 8 18 14 4 13 5 15 24 7 9 17 25 27 21 0 16 11 6 12 26 23 3 22 10 22 1 2 18 13 14 21 24 15 10 20 4 9 19 16 8 3 0 17 28 11 7 23 27 26 29 12 5 6 25 9 0 26 11 8 25 10 6 12 23 27 7 19 22 20 18 1 15 13 2 16 5 17 28 4 14 29 21 3 24 17 24 23 2 29 20 14 21 3 8 1 19 22 16 10 25 6 26 0 9 13 4 28 11 18 7 5 12 15 27 20 6 7 8 28 16 3 9 2 1 18 21 12 14 25 17 4 23 24 27 15 0 19 5 10 13 11 29 26 22 3 9 8 16 5 21 4 26 29 12 2 11 24 13 19 27 28 20 15 25 6 23 22 18 1 10 14 0 17 7 18 21 13 14 27 24 19 29 20 25 0 28 8 7 15 23 5 3 26 12 22 11 10 16 2 9 6 1 4 17 23 15 16 21 1 19 29 0 4 27 10 8 6 18 26 24 25 13 7 5 14 12 3 17 28 20 9 22 2 11 26 10 17 6 11 7 28 23 25 18 22 29 13 4 27 3 20 1 21 19 2 24 9 15 16 8 0 14 12 5 13 11 25 12 2 4 27 3 5 19 15 24 23 17 22 26 29 14 10 0 21 6 8 7 9 18 28 20 1 16 28 7 0 10 23 17 11 20 27 22 4 14 2 6 1 12 9 8 16 18 26 15 13 29 21 25 19 24 5 3 15 22 29 28 14 18 12 7 16 24 3 25 27 2 21 5 10 6 8 11 1 13 26 9 23 19 4 17 20 0 14 27 22 19 3 15 26 13 7 29 12 9 21 8 2 16 0 17 20 4 28 1 24 25 5 11 10 6 23 18 27 12 10 7 24 1 20 17 19 9 6 0 5 29 4 14 23 21 11 26 25 3 18 2 15 28 22 13 16 8 21 26 15 20 25 10 2 22 1 11 5 17 16 3 18 7 27 9 23 24 4 29 12 19 0 6 8 28 13 14 10 2 12 25 17 27 7 4 21 5 16 1 3 28 23 0 13 18 9 8 19 20 6 24 14 22 15 11 29 26 25 16 5 3 4 23 17 15 9 14 26 13 11 10 28 21 8 12 29 6 20 19 27 0 22 1 24 7 18 2 16 25 9 15 7 8 22 2 11 21 14 10 29 20 5 13 19 24 18 23 3 26 0 12 27 17 1 4 28 6
1901.95/1861.96	v       </values>
1901.95/1861.96	v     </instantiation>
1901.95/1861.96	s OPTIMUM FOUND

Verifier Data 

OK	29

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304264-1534052031/watcher-4304264-1534052031 -o /tmp/evaluation-result-4304264-1534052031/solver-4304264-1534052031 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534039308-11488 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=261802257 -superng HOME/instance-4304264-1534052031.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=14349, runsolver pid=14346

[startup+0.100091 s]*
/proc/loadavg: 1.67 1.62 1.55 3/207 14406
/proc/meminfo: memFree=21612284/32770624 swapFree=67108860/67108860
[pid=14349] ppid=14346 vsize=10005480 memory=18328 CPUtime=0.08 cores=0,2,4,6
/proc/14349/stat : 14349 (java) S 14346 14349 10336 0 -1 1077944320 4241 13163 0 0 0 1 5 2 20 0 6 0 222766295 10245611520 4582 33554432000 4194304 4196468 140729426513712 140729426496256 140053396979447 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
/proc/14349/statm: 2501370 4582 1930 1 0 2489808 0
[pid=14349/tid=14402] ppid=14346 vsize=10005480 memory=4279135704047190159 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14402/stat : 14402 (java) R 14346 14349 10336 0 -1 4202560 2046 13163 0 0 0 0 5 2 20 0 6 0 222766304 10245611520 4582 33554432000 4194304 4196468 140729426513712 140053368816208 140053376570551 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14403] ppid=14346 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14403/stat : 14403 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 6 0 222766305 10245611520 4582 33554432000 4194304 4196468 140729426513712 140053401221648 140053396989653 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14404] ppid=14346 vsize=10005480 memory=139891872114304 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14404/stat : 14404 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 6 0 222766305 10245611520 4582 33554432000 4194304 4196468 140729426513712 140053255940752 140053396989653 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14405] ppid=14346 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14405/stat : 14405 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 6 0 222766305 10245611520 4582 33554432000 4194304 4196468 140729426513712 140053254887696 140053396989653 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14406] ppid=14346 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14406/stat : 14406 (java) S 14346 14349 10336 0 -1 1077944384 2 13163 0 0 0 0 5 2 20 0 6 0 222766305 10245611520 4582 33554432000 4194304 4196468 140729426513712 140053253835152 140053396989653 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB

[startup+0.210164 s]*
/proc/loadavg: 1.67 1.62 1.55 3/216 14415
/proc/meminfo: memFree=21587660/32770624 swapFree=67108860/67108860
[pid=14349] ppid=14346 vsize=10982744 memory=45484 CPUtime=0.26 cores=0,2,4,6
/proc/14349/stat : 14349 (java) S 14346 14349 10336 0 -1 1077944320 7589 13163 0 0 16 3 5 2 20 0 15 0 222766295 11246329856 11371 33554432000 4194304 4196468 140729426513712 140729426496256 140053396979447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
/proc/14349/statm: 2745686 11371 2955 1 0 2708109 0
[pid=14349/tid=14402] ppid=14346 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/14349/task/14402/stat : 14402 (java) R 14346 14349 10336 0 -1 4202560 4192 13163 0 0 10 1 5 2 20 0 15 0 222766304 11246329856 11437 33554432000 4194304 4196468 140729426513712 140053368803232 140053377255168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14403] ppid=14346 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14403/stat : 14403 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766305 11246329856 11437 33554432000 4194304 4196468 140729426513712 140053401221648 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14404] ppid=14346 vsize=10982744 memory=139891872114304 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14404/stat : 14404 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766305 11246329856 11437 33554432000 4194304 4196468 140729426513712 140053255940752 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14405] ppid=14346 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14405/stat : 14405 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766305 11246329856 11437 33554432000 4194304 4196468 140729426513712 140053254887696 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14406] ppid=14346 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14406/stat : 14406 (java) S 14346 14349 10336 0 -1 1077944384 2 13163 0 0 0 0 5 2 20 0 15 0 222766305 11246329856 11437 33554432000 4194304 4196468 140729426513712 140053253835152 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14407] ppid=14346 vsize=10982744 memory=139891872114304 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14407/stat : 14407 (java) S 14346 14349 10336 0 -1 1077944384 2 13163 0 0 0 0 5 2 20 0 15 0 222766306 11246329856 11437 33554432000 4194304 4196468 140729426513712 140052822698736 140053396990594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14408] ppid=14346 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14408/stat : 14408 (java) S 14346 14349 10336 0 -1 1077944384 13 13163 0 0 0 0 5 2 20 0 15 0 222766306 11246329856 11437 33554432000 4194304 4196468 140729426513712 140052239738528 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14409] ppid=14346 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14409/stat : 14409 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766307 11246329856 11503 33554432000 4194304 4196468 140729426513712 140052038411504 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14410] ppid=14346 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14410/stat : 14410 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766309 11246329856 11503 33554432000 4194304 4196468 140729426513712 140051731012048 140053396998043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14411] ppid=14346 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14349/task/14411/stat : 14411 (java) S 14346 14349 10336 0 -1 1077944384 552 13163 0 0 1 0 5 2 20 0 15 0 222766309 11246329856 11503 33554432000 4194304 4196468 140729426513712 140052821645552 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14412] ppid=14346 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14349/task/14412/stat : 14412 (java) S 14346 14349 10336 0 -1 1077944384 64 13163 0 0 1 0 5 2 20 0 15 0 222766309 11246329856 11503 33554432000 4194304 4196468 140729426513712 140052820593008 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14413] ppid=14346 vsize=10982744 memory=139891872114304 CPUtime=0.09 cores=0,2,4,6
/proc/14349/task/14413/stat : 14413 (java) S 14346 14349 10336 0 -1 1077944384 608 13163 0 0 2 0 5 2 20 0 15 0 222766309 11246329856 11503 33554432000 4194304 4196468 140729426513712 140052819539952 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14414] ppid=14346 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14414/stat : 14414 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766310 11246329856 11503 33554432000 4194304 4196468 140729426513712 140051300215136 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14415] ppid=14346 vsize=10982744 memory=139891872114304 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14415/stat : 14415 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766310 11246329856 11503 33554432000 4194304 4196468 140729426513712 140052818488368 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45484 KiB

[startup+0.31027 s]*
/proc/loadavg: 1.67 1.62 1.55 3/216 14415
/proc/meminfo: memFree=21575876/32770624 swapFree=67108860/67108860
[pid=14349] ppid=14346 vsize=10983192 memory=56952 CPUtime=0.37 cores=0,2,4,6
/proc/14349/stat : 14349 (java) S 14346 14349 10336 0 -1 1077944320 10284 13163 0 0 27 3 5 2 20 0 15 0 222766295 11246788608 14238 33554432000 4194304 4196468 140729426513712 140729426496256 140053396979447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
/proc/14349/statm: 2745798 14238 3074 1 0 2708109 0
[pid=14349/tid=14402] ppid=14346 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/14349/task/14402/stat : 14402 (java) R 14346 14349 10336 0 -1 4202560 6830 13163 0 0 19 2 5 2 20 0 15 0 222766304 11246788608 14238 33554432000 4194304 4196468 140729426513712 140053368791456 140053397001373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14403] ppid=14346 vsize=10983192 memory=7084813469699035216 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14403/stat : 14403 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766305 11246788608 14238 33554432000 4194304 4196468 140729426513712 140053401221648 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14404] ppid=14346 vsize=10983192 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14404/stat : 14404 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766305 11246788608 14238 33554432000 4194304 4196468 140729426513712 140053255940752 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14405] ppid=14346 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14405/stat : 14405 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766305 11246788608 14238 33554432000 4194304 4196468 140729426513712 140053254887696 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14406] ppid=14346 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14406/stat : 14406 (java) S 14346 14349 10336 0 -1 1077944384 2 13163 0 0 0 0 5 2 20 0 15 0 222766305 11246788608 14238 33554432000 4194304 4196468 140729426513712 140053253835152 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14407] ppid=14346 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14407/stat : 14407 (java) S 14346 14349 10336 0 -1 1077944384 2 13163 0 0 0 0 5 2 20 0 15 0 222766306 11246788608 14238 33554432000 4194304 4196468 140729426513712 140052822698736 140053396990594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14408] ppid=14346 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14408/stat : 14408 (java) S 14346 14349 10336 0 -1 1077944384 13 13163 0 0 0 0 5 2 20 0 15 0 222766306 11246788608 14238 33554432000 4194304 4196468 140729426513712 140052239738528 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14409] ppid=14346 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14409/stat : 14409 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766307 11246788608 14238 33554432000 4194304 4196468 140729426513712 140052038411504 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14410] ppid=14346 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14410/stat : 14410 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766309 11246788608 14238 33554432000 4194304 4196468 140729426513712 140051731012048 140053396998043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14411] ppid=14346 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14349/task/14411/stat : 14411 (java) S 14346 14349 10336 0 -1 1077944384 552 13163 0 0 1 0 5 2 20 0 15 0 222766309 11246788608 14238 33554432000 4194304 4196468 140729426513712 140052821645552 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14412] ppid=14346 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14349/task/14412/stat : 14412 (java) S 14346 14349 10336 0 -1 1077944384 65 13163 0 0 1 0 5 2 20 0 15 0 222766309 11246788608 14238 33554432000 4194304 4196468 140729426513712 140052820593008 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14413] ppid=14346 vsize=10983192 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/14349/task/14413/stat : 14413 (java) S 14346 14349 10336 0 -1 1077944384 618 13163 0 0 4 0 5 2 20 0 15 0 222766309 11246788608 14238 33554432000 4194304 4196468 140729426513712 140052819539952 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14414] ppid=14346 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14414/stat : 14414 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766310 11246788608 14238 33554432000 4194304 4196468 140729426513712 140051300215136 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14415] ppid=14346 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14415/stat : 14415 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766310 11246788608 14238 33554432000 4194304 4196468 140729426513712 140052818488368 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56952 KiB

[startup+0.700784 s]
/proc/loadavg: 1.67 1.62 1.55 4/216 14415
/proc/meminfo: memFree=21564712/32770624 swapFree=67108860/67108860
[pid=14349] ppid=14346 vsize=10983192 memory=89468 CPUtime=0.99 cores=0,2,4,6
/proc/14349/stat : 14349 (java) S 14346 14349 10336 0 -1 1077944320 16382 13163 0 0 87 5 5 2 20 0 15 0 222766295 11246788608 22367 33554432000 4194304 4196468 140729426513712 140729426496256 140053396979447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
/proc/14349/statm: 2745798 22367 3247 1 0 2708109 0
[pid=14349/tid=14402] ppid=14346 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/14349/task/14402/stat : 14402 (java) R 14346 14349 10336 0 -1 4202560 11887 13163 0 0 56 3 5 2 20 0 15 0 222766304 11246788608 22367 33554432000 4194304 4196468 140729426513712 140053368800272 140053377255207 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14403] ppid=14346 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14403/stat : 14403 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766305 11246788608 22367 33554432000 4194304 4196468 140729426513712 140053401221648 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14404] ppid=14346 vsize=10983192 memory=3712 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14404/stat : 14404 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766305 11246788608 22367 33554432000 4194304 4196468 140729426513712 140053255940752 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14405] ppid=14346 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14405/stat : 14405 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766305 11246788608 22367 33554432000 4194304 4196468 140729426513712 140053254887696 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14406] ppid=14346 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14406/stat : 14406 (java) S 14346 14349 10336 0 -1 1077944384 2 13163 0 0 0 0 5 2 20 0 15 0 222766305 11246788608 22367 33554432000 4194304 4196468 140729426513712 140053253835152 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14407] ppid=14346 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14407/stat : 14407 (java) S 14346 14349 10336 0 -1 1077944384 5 13163 0 0 0 0 5 2 20 0 15 0 222766306 11246788608 22367 33554432000 4194304 4196468 140729426513712 140052822698736 140053396990594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14408] ppid=14346 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14408/stat : 14408 (java) S 14346 14349 10336 0 -1 1077944384 13 13163 0 0 0 0 5 2 20 0 15 0 222766306 11246788608 22367 33554432000 4194304 4196468 140729426513712 140052239738528 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14409] ppid=14346 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14409/stat : 14409 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766307 11246788608 22367 33554432000 4194304 4196468 140729426513712 140052038411504 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14410] ppid=14346 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14410/stat : 14410 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766309 11246788608 22367 33554432000 4194304 4196468 140729426513712 140051731012048 140053396998043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14411] ppid=14346 vsize=10983192 memory=13252 CPUtime=0.14 cores=0,2,4,6
/proc/14349/task/14411/stat : 14411 (java) S 14346 14349 10336 0 -1 1077944384 935 13163 0 0 7 0 5 2 20 0 15 0 222766309 11246788608 22367 33554432000 4194304 4196468 140729426513712 140052821645552 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14412] ppid=14346 vsize=10983192 memory=15460 CPUtime=0.17 cores=0,2,4,6
/proc/14349/task/14412/stat : 14412 (java) S 14346 14349 10336 0 -1 1077944384 671 13163 0 0 10 0 5 2 20 0 15 0 222766309 11246788608 22367 33554432000 4194304 4196468 140729426513712 140052820593008 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14413] ppid=14346 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/14349/task/14413/stat : 14413 (java) S 14346 14349 10336 0 -1 1077944384 667 13163 0 0 13 0 5 2 20 0 15 0 222766309 11246788608 22367 33554432000 4194304 4196468 140729426513712 140052819539952 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14414] ppid=14346 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14414/stat : 14414 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766310 11246788608 22367 33554432000 4194304 4196468 140729426513712 140051300215136 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14415] ppid=14346 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14415/stat : 14415 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766310 11246788608 22367 33554432000 4194304 4196468 140729426513712 140052818488368 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89468 KiB

[startup+1.50164 s]
/proc/loadavg: 1.67 1.62 1.55 4/216 14415
/proc/meminfo: memFree=21520112/32770624 swapFree=67108860/67108860
[pid=14349] ppid=14346 vsize=10991948 memory=209172 CPUtime=3.02 cores=0,2,4,6
/proc/14349/stat : 14349 (java) S 14346 14349 10336 0 -1 1077944320 21952 13163 0 0 285 10 5 2 20 0 15 0 222766295 11255754752 52293 33554432000 4194304 4196468 140729426513712 140729426496256 140053396979447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
/proc/14349/statm: 2747987 52293 3452 1 0 2709645 0
[pid=14349/tid=14402] ppid=14346 vsize=10991948 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/14349/task/14402/stat : 14402 (java) R 14346 14349 10336 0 -1 4202560 14717 13163 0 0 131 7 5 2 20 0 15 0 222766304 11255754752 52293 33554432000 4194304 4196468 140729426513712 140053368809216 140052932106399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14403] ppid=14346 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14403/stat : 14403 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766305 11255754752 52293 33554432000 4194304 4196468 140729426513712 140053401221648 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14404] ppid=14346 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14404/stat : 14404 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766305 11255754752 52293 33554432000 4194304 4196468 140729426513712 140053255940752 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14405] ppid=14346 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14405/stat : 14405 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766305 11255754752 52293 33554432000 4194304 4196468 140729426513712 140053254887696 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14406] ppid=14346 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14406/stat : 14406 (java) S 14346 14349 10336 0 -1 1077944384 2 13163 0 0 0 0 5 2 20 0 15 0 222766305 11255754752 52293 33554432000 4194304 4196468 140729426513712 140053253835152 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14407] ppid=14346 vsize=10991948 memory=-7965959130280075168 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14407/stat : 14407 (java) S 14346 14349 10336 0 -1 1077944384 14 13163 0 0 0 0 5 2 20 0 15 0 222766306 11255754752 52293 33554432000 4194304 4196468 140729426513712 140052822698736 140053396990594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14408] ppid=14346 vsize=10991948 memory=279783430760704 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14408/stat : 14408 (java) S 14346 14349 10336 0 -1 1077944384 13 13163 0 0 0 0 5 2 20 0 15 0 222766306 11255754752 52293 33554432000 4194304 4196468 140729426513712 140052239738528 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14409] ppid=14346 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14409/stat : 14409 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766307 11255754752 52293 33554432000 4194304 4196468 140729426513712 140052038411504 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14410] ppid=14346 vsize=10991948 memory=1828 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14410/stat : 14410 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766309 11255754752 52293 33554432000 4194304 4196468 140729426513712 140051731012048 140053396998043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14411] ppid=14346 vsize=10991948 memory=1120 CPUtime=0.61 cores=0,2,4,6
/proc/14349/task/14411/stat : 14411 (java) R 14346 14349 10336 0 -1 4202560 1762 13163 0 0 54 0 5 2 20 0 15 0 222766309 11255754752 52293 33554432000 4194304 4196468 140729426513712 140052821635952 140053375395584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14412] ppid=14346 vsize=10991948 memory=6116 CPUtime=0.65 cores=0,2,4,6
/proc/14349/task/14412/stat : 14412 (java) R 14346 14349 10336 0 -1 4202560 1892 13163 0 0 58 0 5 2 20 0 15 0 222766309 11255754752 52293 33554432000 4194304 4196468 140729426513712 140052820585664 140053376235728 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14413] ppid=14346 vsize=10991948 memory=1724 CPUtime=0.47 cores=0,2,4,6
/proc/14349/task/14413/stat : 14413 (java) S 14346 14349 10336 0 -1 1077944384 1350 13163 0 0 40 0 5 2 20 0 15 0 222766309 11255754752 52293 33554432000 4194304 4196468 140729426513712 140052819539952 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14414] ppid=14346 vsize=10991948 memory=4004 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14414/stat : 14414 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766310 11255754752 52293 33554432000 4194304 4196468 140729426513712 140051300215136 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14415] ppid=14346 vsize=10991948 memory=3516 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14415/stat : 14415 (java) S 14346 14349 10336 0 -1 1077944384 1 13163 0 0 0 0 5 2 20 0 15 0 222766310 11255754752 52293 33554432000 4194304 4196468 140729426513712 140052818488368 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10991948 KiB

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

[pid=14349/tid=14414] ppid=14346 vsize=11077984 memory=752 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14414/stat : 14414 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766310 11343855616 810989 33554432000 4194304 4196468 140729426513712 140051300215136 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14415] ppid=14346 vsize=11077984 memory=2072 CPUtime=0.97 cores=0,2,4,6
/proc/14349/task/14415/stat : 14415 (java) S 14346 14349 10336 0 -1 1077944384 1861 13163 0 0 46 44 5 2 20 0 15 0 222766310 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052818488368 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 57 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
Current children cumulated CPU time: 1899.25 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3243956 KiB

[startup+1860.8 s]
/proc/loadavg: 1.89 1.96 1.93 3/216 14621
/proc/meminfo: memFree=17395824/32770624 swapFree=67108860/67108860
[pid=14349] ppid=14346 vsize=11077984 memory=3243956 CPUtime=1900.85 cores=0,2,4,6
/proc/14349/stat : 14349 (java) S 14346 14349 10336 0 -1 1077944320 403632 13163 0 0 189637 441 5 2 20 0 15 0 222766295 11343855616 810989 33554432000 4194304 4196468 140729426513712 140729426496256 140053396979447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
/proc/14349/statm: 2769496 810989 3540 1 0 2731149 0
[pid=14349/tid=14402] ppid=14346 vsize=11077984 memory=3243956 CPUtime=1854.1 cores=0,2,4,6
/proc/14349/task/14402/stat : 14402 (java) R 14346 14349 10336 0 -1 4202560 160238 13163 0 0 185333 70 5 2 20 0 15 0 222766304 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053368811424 140052947662771 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14403] ppid=14346 vsize=11077984 memory=6944656592455360604 CPUtime=5.48 cores=0,2,4,6
/proc/14349/task/14403/stat : 14403 (java) S 14346 14349 10336 0 -1 1077944384 16963 13163 0 0 462 79 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053401221648 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14404] ppid=14346 vsize=11077984 memory=1828 CPUtime=5.46 cores=0,2,4,6
/proc/14349/task/14404/stat : 14404 (java) S 14346 14349 10336 0 -1 1077944384 15987 13163 0 0 463 76 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053255940752 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14405] ppid=14346 vsize=11077984 memory=1120 CPUtime=5.48 cores=0,2,4,6
/proc/14349/task/14405/stat : 14405 (java) S 14346 14349 10336 0 -1 1077944384 16641 13163 0 0 465 76 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053254887696 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14406] ppid=14346 vsize=11077984 memory=3243956 CPUtime=5.48 cores=0,2,4,6
/proc/14349/task/14406/stat : 14406 (java) S 14346 14349 10336 0 -1 1077944384 16857 13163 0 0 465 76 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053253835152 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14407] ppid=14346 vsize=11077984 memory=1828 CPUtime=0.54 cores=0,2,4,6
/proc/14349/task/14407/stat : 14407 (java) S 14346 14349 10336 0 -1 1077944384 19961 13163 0 0 38 9 5 2 20 0 15 0 222766306 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052822698736 140053396990594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14408] ppid=14346 vsize=11077984 memory=1120 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14408/stat : 14408 (java) S 14346 14349 10336 0 -1 1077944384 20 13163 0 0 0 0 5 2 20 0 15 0 222766306 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052239738592 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14409] ppid=14346 vsize=11077984 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14409/stat : 14409 (java) S 14346 14349 10336 0 -1 1077944384 5 13163 0 0 0 0 5 2 20 0 15 0 222766307 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052038411520 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14410] ppid=14346 vsize=11077984 memory=288230596050944315 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14410/stat : 14410 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140051731012048 140053396998043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14411] ppid=14346 vsize=11077984 memory=13850759267617157 CPUtime=10.43 cores=0,2,4,6
/proc/14349/task/14411/stat : 14411 (java) S 14346 14349 10336 0 -1 1077944384 45580 13163 0 0 1030 6 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052821645552 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14412] ppid=14346 vsize=11077984 memory=11192 CPUtime=10.51 cores=0,2,4,6
/proc/14349/task/14412/stat : 14412 (java) S 14346 14349 10336 0 -1 1077944384 50494 13163 0 0 1040 4 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052820593008 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14413] ppid=14346 vsize=11077984 memory=752 CPUtime=2.9 cores=0,2,4,6
/proc/14349/task/14413/stat : 14413 (java) S 14346 14349 10336 0 -1 1077944384 56828 13163 0 0 275 8 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052819539952 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14414] ppid=14346 vsize=11077984 memory=1828 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14414/stat : 14414 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766310 11343855616 810989 33554432000 4194304 4196468 140729426513712 140051300215136 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14415] ppid=14346 vsize=11077984 memory=2592 CPUtime=0.97 cores=0,2,4,6
/proc/14349/task/14415/stat : 14415 (java) S 14346 14349 10336 0 -1 1077944384 1861 13163 0 0 46 44 5 2 20 0 15 0 222766310 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052818488368 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 57 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
Current children cumulated CPU time: 1900.85 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3243956 KiB

[startup+1861.6 s]
/proc/loadavg: 1.89 1.96 1.93 6/216 14621
/proc/meminfo: memFree=17395576/32770624 swapFree=67108860/67108860
[pid=14349] ppid=14346 vsize=11077984 memory=3243956 CPUtime=1901.65 cores=0,2,4,6
/proc/14349/stat : 14349 (java) S 14346 14349 10336 0 -1 1077944320 403632 13163 0 0 189717 441 5 2 20 0 15 0 222766295 11343855616 810989 33554432000 4194304 4196468 140729426513712 140729426496256 140053396979447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
/proc/14349/statm: 2769496 810989 3540 1 0 2731149 0
[pid=14349/tid=14402] ppid=14346 vsize=11077984 memory=60624 CPUtime=1854.9 cores=0,2,4,6
/proc/14349/task/14402/stat : 14402 (java) R 14346 14349 10336 0 -1 4202560 160238 13163 0 0 185413 70 5 2 20 0 15 0 222766304 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053368809232 140052947662140 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14403] ppid=14346 vsize=11077984 memory=1064 CPUtime=5.48 cores=0,2,4,6
/proc/14349/task/14403/stat : 14403 (java) S 14346 14349 10336 0 -1 1077944384 16963 13163 0 0 462 79 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053401221648 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14404] ppid=14346 vsize=11077984 memory=2072 CPUtime=5.46 cores=0,2,4,6
/proc/14349/task/14404/stat : 14404 (java) S 14346 14349 10336 0 -1 1077944384 15987 13163 0 0 463 76 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053255940752 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14405] ppid=14346 vsize=11077984 memory=1740 CPUtime=5.48 cores=0,2,4,6
/proc/14349/task/14405/stat : 14405 (java) S 14346 14349 10336 0 -1 1077944384 16641 13163 0 0 465 76 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053254887696 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14406] ppid=14346 vsize=11077984 memory=11192 CPUtime=5.48 cores=0,2,4,6
/proc/14349/task/14406/stat : 14406 (java) S 14346 14349 10336 0 -1 1077944384 16857 13163 0 0 465 76 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053253835152 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14407] ppid=14346 vsize=11077984 memory=752 CPUtime=0.54 cores=0,2,4,6
/proc/14349/task/14407/stat : 14407 (java) S 14346 14349 10336 0 -1 1077944384 19961 13163 0 0 38 9 5 2 20 0 15 0 222766306 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052822698736 140053396990594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14408] ppid=14346 vsize=11077984 memory=11192 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14408/stat : 14408 (java) S 14346 14349 10336 0 -1 1077944384 20 13163 0 0 0 0 5 2 20 0 15 0 222766306 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052239738592 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14409] ppid=14346 vsize=11077984 memory=752 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14409/stat : 14409 (java) S 14346 14349 10336 0 -1 1077944384 5 13163 0 0 0 0 5 2 20 0 15 0 222766307 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052038411520 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14410] ppid=14346 vsize=11077984 memory=1828 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14410/stat : 14410 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140051731012048 140053396998043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14411] ppid=14346 vsize=11077984 memory=1120 CPUtime=10.43 cores=0,2,4,6
/proc/14349/task/14411/stat : 14411 (java) S 14346 14349 10336 0 -1 1077944384 45580 13163 0 0 1030 6 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052821645552 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14412] ppid=14346 vsize=11077984 memory=6116 CPUtime=10.51 cores=0,2,4,6
/proc/14349/task/14412/stat : 14412 (java) S 14346 14349 10336 0 -1 1077944384 50494 13163 0 0 1040 4 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052820593008 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14413] ppid=14346 vsize=11077984 memory=1724 CPUtime=2.9 cores=0,2,4,6
/proc/14349/task/14413/stat : 14413 (java) S 14346 14349 10336 0 -1 1077944384 56828 13163 0 0 275 8 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052819539952 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14414] ppid=14346 vsize=11077984 memory=4004 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14414/stat : 14414 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766310 11343855616 810989 33554432000 4194304 4196468 140729426513712 140051300215136 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14415] ppid=14346 vsize=11077984 memory=3516 CPUtime=0.97 cores=0,2,4,6
/proc/14349/task/14415/stat : 14415 (java) S 14346 14349 10336 0 -1 1077944384 1861 13163 0 0 46 44 5 2 20 0 15 0 222766310 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052818488368 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 57 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
Current children cumulated CPU time: 1901.65 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3243956 KiB

[startup+1861.8 s]
/proc/loadavg: 1.89 1.96 1.93 6/216 14621
/proc/meminfo: memFree=17395576/32770624 swapFree=67108860/67108860
[pid=14349] ppid=14346 vsize=11077984 memory=3243956 CPUtime=1901.85 cores=0,2,4,6
/proc/14349/stat : 14349 (java) S 14346 14349 10336 0 -1 1077944320 403632 13163 0 0 189737 441 5 2 20 0 15 0 222766295 11343855616 810989 33554432000 4194304 4196468 140729426513712 140729426496256 140053396979447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
/proc/14349/statm: 2769496 810989 3540 1 0 2731149 0
[pid=14349/tid=14402] ppid=14346 vsize=11077984 memory=1288 CPUtime=1855.1 cores=0,2,4,6
/proc/14349/task/14402/stat : 14402 (java) R 14346 14349 10336 0 -1 4202560 160238 13163 0 0 185433 70 5 2 20 0 15 0 222766304 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053368809232 140052937502723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14403] ppid=14346 vsize=11077984 memory=1088 CPUtime=5.48 cores=0,2,4,6
/proc/14349/task/14403/stat : 14403 (java) S 14346 14349 10336 0 -1 1077944384 16963 13163 0 0 462 79 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053401221648 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14404] ppid=14346 vsize=11077984 memory=15512 CPUtime=5.46 cores=0,2,4,6
/proc/14349/task/14404/stat : 14404 (java) S 14346 14349 10336 0 -1 1077944384 15987 13163 0 0 463 76 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053255940752 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14405] ppid=14346 vsize=11077984 memory=33596 CPUtime=5.48 cores=0,2,4,6
/proc/14349/task/14405/stat : 14405 (java) S 14346 14349 10336 0 -1 1077944384 16641 13163 0 0 465 76 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053254887696 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14406] ppid=14346 vsize=11077984 memory=3312 CPUtime=5.48 cores=0,2,4,6
/proc/14349/task/14406/stat : 14406 (java) S 14346 14349 10336 0 -1 1077944384 16857 13163 0 0 465 76 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053253835152 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14407] ppid=14346 vsize=11077984 memory=15712 CPUtime=0.54 cores=0,2,4,6
/proc/14349/task/14407/stat : 14407 (java) S 14346 14349 10336 0 -1 1077944384 19961 13163 0 0 38 9 5 2 20 0 15 0 222766306 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052822698736 140053396990594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14408] ppid=14346 vsize=11077984 memory=1620 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14408/stat : 14408 (java) S 14346 14349 10336 0 -1 1077944384 20 13163 0 0 0 0 5 2 20 0 15 0 222766306 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052239738592 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14409] ppid=14346 vsize=11077984 memory=504 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14409/stat : 14409 (java) S 14346 14349 10336 0 -1 1077944384 5 13163 0 0 0 0 5 2 20 0 15 0 222766307 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052038411520 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14410] ppid=14346 vsize=11077984 memory=924 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14410/stat : 14410 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140051731012048 140053396998043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14411] ppid=14346 vsize=11077984 memory=1168 CPUtime=10.43 cores=0,2,4,6
/proc/14349/task/14411/stat : 14411 (java) S 14346 14349 10336 0 -1 1077944384 45580 13163 0 0 1030 6 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052821645552 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14412] ppid=14346 vsize=11077984 memory=2140 CPUtime=10.51 cores=0,2,4,6
/proc/14349/task/14412/stat : 14412 (java) S 14346 14349 10336 0 -1 1077944384 50494 13163 0 0 1040 4 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052820593008 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14413] ppid=14346 vsize=11077984 memory=2180 CPUtime=2.9 cores=0,2,4,6
/proc/14349/task/14413/stat : 14413 (java) S 14346 14349 10336 0 -1 1077944384 56828 13163 0 0 275 8 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052819539952 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14414] ppid=14346 vsize=11077984 memory=924 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14414/stat : 14414 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766310 11343855616 810989 33554432000 4194304 4196468 140729426513712 140051300215136 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14415] ppid=14346 vsize=11077984 memory=1576 CPUtime=0.97 cores=0,2,4,6
/proc/14349/task/14415/stat : 14415 (java) S 14346 14349 10336 0 -1 1077944384 1861 13163 0 0 46 44 5 2 20 0 15 0 222766310 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052818488368 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 57 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
Current children cumulated CPU time: 1901.85 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3243956 KiB

[startup+1861.9 s]
/proc/loadavg: 1.89 1.96 1.93 6/216 14621
/proc/meminfo: memFree=17395576/32770624 swapFree=67108860/67108860
[pid=14349] ppid=14346 vsize=11077984 memory=3243956 CPUtime=1901.95 cores=0,2,4,6
/proc/14349/stat : 14349 (java) S 14346 14349 10336 0 -1 1077944320 403632 13163 0 0 189747 441 5 2 20 0 15 0 222766295 11343855616 810989 33554432000 4194304 4196468 140729426513712 140729426496256 140053396979447 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
/proc/14349/statm: 2769496 810989 3540 1 0 2731149 0
[pid=14349/tid=14402] ppid=14346 vsize=11077984 memory=3243956 CPUtime=1855.2 cores=0,2,4,6
/proc/14349/task/14402/stat : 14402 (java) R 14346 14349 10336 0 -1 4202560 160238 13163 0 0 185443 70 5 2 20 0 15 0 222766304 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053368809232 140052946317608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14403] ppid=14346 vsize=11077984 memory=3159872 CPUtime=5.48 cores=0,2,4,6
/proc/14349/task/14403/stat : 14403 (java) S 14346 14349 10336 0 -1 1077944384 16963 13163 0 0 462 79 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053401221648 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14404] ppid=14346 vsize=11077984 memory=3159872 CPUtime=5.46 cores=0,2,4,6
/proc/14349/task/14404/stat : 14404 (java) S 14346 14349 10336 0 -1 1077944384 15987 13163 0 0 463 76 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053255940752 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14405] ppid=14346 vsize=11077984 memory=3712 CPUtime=5.48 cores=0,2,4,6
/proc/14349/task/14405/stat : 14405 (java) S 14346 14349 10336 0 -1 1077944384 16641 13163 0 0 465 76 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053254887696 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14406] ppid=14346 vsize=11077984 memory=3159872 CPUtime=5.48 cores=0,2,4,6
/proc/14349/task/14406/stat : 14406 (java) S 14346 14349 10336 0 -1 1077944384 16857 13163 0 0 465 76 5 2 20 0 15 0 222766305 11343855616 810989 33554432000 4194304 4196468 140729426513712 140053253835152 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14407] ppid=14346 vsize=11077984 memory=3243956 CPUtime=0.54 cores=0,2,4,6
/proc/14349/task/14407/stat : 14407 (java) S 14346 14349 10336 0 -1 1077944384 19961 13163 0 0 38 9 5 2 20 0 15 0 222766306 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052822698736 140053396990594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14408] ppid=14346 vsize=11077984 memory=3243956 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14408/stat : 14408 (java) S 14346 14349 10336 0 -1 1077944384 20 13163 0 0 0 0 5 2 20 0 15 0 222766306 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052239738592 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14409] ppid=14346 vsize=11077984 memory=3159872 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14409/stat : 14409 (java) S 14346 14349 10336 0 -1 1077944384 5 13163 0 0 0 0 5 2 20 0 15 0 222766307 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052038411520 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14410] ppid=14346 vsize=11077984 memory=3243956 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14410/stat : 14410 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140051731012048 140053396998043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14411] ppid=14346 vsize=11077984 memory=3243956 CPUtime=10.43 cores=0,2,4,6
/proc/14349/task/14411/stat : 14411 (java) S 14346 14349 10336 0 -1 1077944384 45580 13163 0 0 1030 6 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052821645552 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14412] ppid=14346 vsize=11077984 memory=15512 CPUtime=10.51 cores=0,2,4,6
/proc/14349/task/14412/stat : 14412 (java) S 14346 14349 10336 0 -1 1077944384 50494 13163 0 0 1040 4 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052820593008 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14413] ppid=14346 vsize=11077984 memory=3159872 CPUtime=2.9 cores=0,2,4,6
/proc/14349/task/14413/stat : 14413 (java) S 14346 14349 10336 0 -1 1077944384 56828 13163 0 0 275 8 5 2 20 0 15 0 222766309 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052819539952 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14414] ppid=14346 vsize=11077984 memory=3243956 CPUtime=0.07 cores=0,2,4,6
/proc/14349/task/14414/stat : 14414 (java) S 14346 14349 10336 0 -1 1077944384 3 13163 0 0 0 0 5 2 20 0 15 0 222766310 11343855616 810989 33554432000 4194304 4196468 140729426513712 140051300215136 140053396989653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
[pid=14349/tid=14415] ppid=14346 vsize=11077984 memory=3243956 CPUtime=0.97 cores=0,2,4,6
/proc/14349/task/14415/stat : 14415 (java) S 14346 14349 10336 0 -1 1077944384 1861 13163 0 0 46 44 5 2 20 0 15 0 222766310 11343855616 810989 33554432000 4194304 4196468 140729426513712 140052818488368 140053396990594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 57 0 0 6293624 6294260 7122944 140729426520676 140729426523484 140729426523484 140729426526159 0
Current children cumulated CPU time: 1901.95 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3243956 KiB

Child status: 0
Real time (s): 1861.99
CPU time (s): 1902.07
CPU user time (s): 1897.6
CPU system time (s): 4.46895
CPU usage (%): 102.152
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 3243956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1897.6
system time used= 4.46895
maximum resident set size= 3246080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55686
involuntary context switches= 3395


# summary of solver processes directly reported to runsolver:
#   pid: 14349
#   total CPU time (s): 1902.07
#   total CPU user time (s): 1897.6
#   total CPU system time (s): 4.46895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4454 second user time and 17.5931 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-12 07:33:51
IDJOB=4304264
IDBENCH=141144
IDSOLVER=2781
FILE ID=node107/4304264-1534052031
RUNJOBID= node107-1534039308-11488
PBS_JOBID= 21036970
Free space on /tmp= 39304 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order30_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304264-1534052031/watcher-4304264-1534052031 -o /tmp/evaluation-result-4304264-1534052031/solver-4304264-1534052031 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534039308-11488 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=261802257 -superng HOME/instance-4304264-1534052031.xml

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

MD5SUM BENCH= 2f5cbdca11052f8d5a6d32bd8b795ba4
RANDOM SEED=261802257

node107.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.40
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.40
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.40
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.40
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:        21619148 kB
MemAvailable:   28743124 kB
Buffers:          189684 kB
Cached:          7126096 kB
SwapCached:            0 kB
Active:          6846984 kB
Inactive:        3679760 kB
Active(anon):    3159908 kB
Inactive(anon):   103432 kB
Active(file):    3687076 kB
Inactive(file):  3576328 kB
Unevictable:        6976 kB
Mlocked:            6976 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27076 kB
Writeback:             8 kB
AnonPages:       3217768 kB
Mapped:            64876 kB
Shmem:             49804 kB
Slab:             318292 kB
SReclaimable:     289032 kB
SUnreclaim:        29260 kB
KernelStack:        3552 kB
PageTables:        12044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4287608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2979840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 39280 MiB
End job on node107 at 2018-08-12 08:04:53