Trace number 4290969

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
OscaR - Parallel with EPS 2018-07-02SAT (TO)6 16967.6 2520.21

General information on the benchmark

NameGraphColoring/
GraphColoring-2-fullins-5_c18.xml
MD5SUM7175cc64c8263572fa1d1d1459976d33
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark356.811
Satisfiable
(Un)Satisfiability was proved
Number of variables852
Number of constraints12201
Number of domains1
Minimum domain size852
Maximum domain size852
Distribution of domain sizes[{"size":852,"count":852}]
Minimum variable degree9
Maximum variable degree216
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":12201}]
Number of extensional constraints0
Number of intensional constraints12201
Distribution of constraint types[{"type":"intension","count":12201}]
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.68/0.55	c version: 2018-07-02
0.68/0.55	c seed: 207429786
0.68/0.55	c timeout: 20160
0.68/0.55	c memlimit: 22000
0.68/0.55	c nbcore: 8
0.68/0.58	c Parsing instance...
4.49/1.73	c Parsing done, starting search...
89.89/27.38	o 851
123.92/31.65	o 850
156.49/35.75	o 849
188.13/39.79	o 848
221.46/43.93	o 847
253.25/48.01	o 846
284.96/51.95	o 845
315.89/55.81	o 844
346.82/59.72	o 843
379.40/63.83	o 842
411.89/67.94	o 841
443.68/71.94	o 840
475.44/75.92	o 839
507.17/79.93	o 838
538.99/83.92	o 837
570.72/87.94	o 836
602.62/91.99	o 835
634.32/96.03	o 834
666.14/99.97	o 833
696.92/103.90	o 832
728.72/107.80	o 831
758.93/111.69	o 830
790.75/115.62	o 829
821.78/119.50	o 828
852.66/123.43	o 827
883.64/127.35	o 826
914.61/131.21	o 825
944.85/135.02	o 824
974.86/138.82	o 823
1004.27/142.58	o 822
1034.49/146.39	o 821
1065.44/150.25	o 820
1096.64/154.20	o 819
1127.51/158.05	o 818
1157.54/161.87	o 817
1187.70/165.62	o 816
1216.25/169.22	o 815
1245.63/172.98	o 814
1275.03/176.63	o 813
1304.38/180.40	o 812
1333.91/184.11	o 811
1363.91/187.84	o 810
1392.36/191.48	o 809
1421.07/195.04	o 808
1449.66/198.69	o 807
1478.20/202.25	o 806
1505.14/205.66	o 805
1533.57/209.24	o 804
1562.79/213.00	o 803
1590.57/216.46	o 802
1618.27/219.93	o 801
1645.13/223.35	o 800
1672.15/226.79	o 799
1699.94/230.28	o 798
1726.96/233.60	o 797
1754.00/237.11	o 796
1780.89/240.50	o 795
1808.72/243.96	o 794
1834.93/247.27	o 793
1861.79/250.66	o 792
1887.85/253.98	o 791
1914.03/257.29	o 790
1940.23/260.57	o 789
1967.23/263.96	o 788
1993.32/267.23	o 787
2020.30/270.62	o 786
2046.55/273.97	o 785
2072.79/277.22	o 784
2098.28/280.50	o 783
2123.58/283.69	o 782
2149.77/286.92	o 781
2174.46/290.11	o 780
2200.54/293.32	o 779
2225.05/296.42	o 778
2250.47/299.63	o 777
2274.15/302.67	o 776
2298.80/305.70	o 775
2321.87/308.68	o 774
2347.22/311.81	o 773
2371.85/314.97	o 772
2396.70/318.11	o 771
2421.92/321.27	o 770
2446.53/324.32	o 769
2471.15/327.48	o 768
2495.81/330.51	o 767
2519.62/333.53	o 766
2543.46/336.57	o 765
2567.32/339.60	o 764
2591.95/342.67	o 763
2615.81/345.68	o 762
2639.61/348.68	o 761
2664.26/351.70	o 760
2687.29/354.62	o 759
2710.36/357.53	o 758
2733.43/360.43	o 757
2757.92/363.60	o 756
2781.79/366.54	o 755
2805.64/369.53	o 754
2828.67/372.47	o 753
2851.71/375.37	o 752
2875.52/378.37	o 751
2898.55/381.26	o 750
2921.65/384.16	o 749
2945.66/387.16	o 748
2968.57/390.06	o 747
2991.43/392.96	o 746
3013.66/395.80	o 745
3035.13/398.49	o 744
3058.94/401.43	o 743
3081.12/404.22	o 742
3102.63/407.01	o 741
3125.63/409.87	o 740
3148.70/412.75	o 739
3171.68/415.61	o 738
3193.14/418.34	o 737
3214.58/421.07	o 736
3235.99/423.71	o 735
3257.40/426.40	o 734
3278.21/429.12	o 733
3301.03/431.94	o 732
3323.29/434.77	o 731
3344.76/437.47	o 730
3366.38/440.15	o 729
3387.65/442.86	o 728
3409.06/445.51	o 727
3429.80/448.13	o 726
3450.25/450.79	o 725
3472.50/453.51	o 724
3493.37/456.14	o 723
3513.78/458.78	o 722
3536.05/461.53	o 721
3556.03/464.07	o 720
3577.41/466.76	o 719
3598.01/469.37	o 718
3617.82/471.90	o 717
3639.19/474.58	o 716
3660.63/477.26	o 715
3681.32/479.82	o 714
3701.99/482.46	o 713
3721.89/484.94	o 712
3743.32/487.61	o 711
3763.26/490.13	o 710
3782.26/492.53	o 709
3802.21/495.12	o 708
3822.82/497.64	o 707
3843.27/500.21	o 706
3862.22/502.60	o 705
3882.19/505.19	o 704
3901.96/507.64	o 703
3922.03/510.14	o 702
3940.93/512.54	o 701
3960.00/515.01	o 700
3979.11/517.39	o 699
3998.99/519.89	o 698
4018.09/522.23	o 697
4036.40/524.51	o 696
4055.44/526.95	o 695
4073.13/529.15	o 694
4091.23/531.44	o 693
4110.36/533.83	o 692
4128.71/536.15	o 691
4146.92/538.48	o 690
4166.82/540.91	o 689
4184.59/543.17	o 688
4202.61/545.47	o 687
4221.64/547.83	o 686
4239.18/550.04	o 685
4257.40/552.30	o 684
4275.69/554.60	o 683
4293.97/556.94	o 682
4312.26/559.22	o 681
4329.75/561.42	o 680
4347.23/563.62	o 679
4365.54/565.93	o 678
4382.37/568.09	o 677
4399.74/570.22	o 676
4417.25/572.40	o 675
4433.91/574.54	o 674
4450.61/576.69	o 673
4468.86/578.93	o 672
4485.64/581.11	o 671
4503.06/583.25	o 670
4519.77/585.36	o 669
4536.47/587.44	o 668
4553.18/589.59	o 667
4570.69/591.75	o 666
4588.19/593.94	o 665
4604.97/596.05	o 664
4621.83/598.18	o 663
4637.59/600.19	o 662
4653.42/602.16	o 661
4670.03/604.21	o 660
4685.22/606.17	o 659
4701.86/608.20	o 658
4717.73/610.21	o 657
4733.64/612.26	o 656
4749.54/614.29	o 655
4766.24/616.33	o 654
4782.18/618.32	o 653
4798.01/620.35	o 652
4813.12/622.25	o 651
4828.99/624.20	o 650
4844.84/626.27	o 649
4860.71/628.24	o 648
4876.62/630.26	o 647
4892.51/632.22	o 646
4906.91/634.10	o 645
4922.80/636.03	o 644
4937.82/637.97	o 643
4953.75/639.92	o 642
4968.80/641.87	o 641
4983.93/643.74	o 640
4999.01/645.60	o 639
5013.33/647.49	o 638
5029.25/649.42	o 637
5044.36/651.38	o 636
5060.26/653.31	o 635
5074.79/655.19	o 634
5088.86/657.02	o 633
5104.02/658.87	o 632
5118.31/660.65	o 631
5133.42/662.57	o 630
5148.54/664.43	o 629
5163.61/666.31	o 628
5177.21/668.11	o 627
5192.28/669.99	o 626
5205.73/671.68	o 625
5220.03/673.49	o 624
5235.13/675.30	o 623
5248.72/677.13	o 622
5263.76/678.91	o 621
5276.50/680.57	o 620
5290.82/682.35	o 619
5305.93/684.22	o 618
5319.38/685.94	o 617
5332.92/687.66	o 616
5347.11/689.41	o 615
5360.89/691.20	o 614
5374.12/692.87	o 613
5388.44/694.65	o 612
5401.97/696.37	o 611
5416.36/698.11	o 610
5429.04/699.77	o 609
5443.36/701.55	o 608
5456.85/703.28	o 607
5469.60/704.88	o 606
5483.10/706.57	o 605
5496.60/708.25	o 604
5509.34/709.84	o 603
5522.93/711.53	o 602
5534.91/713.10	o 601
5548.27/714.79	o 600
5561.78/716.45	o 599
5573.73/718.00	o 598
5588.03/719.72	o 597
5599.97/721.26	o 596
5613.47/722.90	o 595
5626.23/724.58	o 594
5638.17/726.09	o 593
5651.58/727.70	o 592
5663.53/729.20	o 591
5675.47/730.76	o 590
5688.20/732.32	o 589
5700.93/733.93	o 588
5712.88/735.41	o 587
5724.76/736.99	o 586
5736.70/738.49	o 585
5749.50/740.10	o 584
5762.17/741.61	o 583
5774.88/743.22	o 582
5786.02/744.64	o 581
5797.24/746.12	o 580
5809.88/747.62	o 579
5821.10/749.03	o 578
5832.94/750.59	o 577
5844.96/752.05	o 576
5857.59/753.61	o 575
5867.94/755.02	o 574
5879.87/756.44	o 573
5891.80/757.98	o 572
5903.75/759.46	o 571
5915.66/761.00	o 570
5927.56/762.41	o 569
5937.79/763.76	o 568
5948.94/765.20	o 567
5959.92/766.55	o 566
5971.07/767.90	o 565
5982.19/769.35	o 564
5993.33/770.73	o 563
6003.75/772.07	o 562
6015.56/773.55	o 561
6025.90/774.85	o 560
6036.23/776.18	o 559
6047.27/777.55	o 558
6058.22/778.97	o 557
6068.54/780.25	o 556
6078.90/781.51	o 555
6089.20/782.88	o 554
6100.31/784.22	o 553
6110.66/785.56	o 552
6120.90/786.84	o 551
6132.79/788.30	o 550
6143.15/789.61	o 549
6152.70/790.84	o 548
6162.32/792.09	o 547
6173.37/793.50	o 546
6183.71/794.73	o 545
6193.27/795.97	o 544
6203.10/797.18	o 543
6213.16/798.42	o 542
6222.69/799.64	o 541
6232.96/800.94	o 540
6242.69/802.14	o 539
6252.05/803.39	o 538
6261.61/804.60	o 537
6271.16/805.79	o 536
6280.63/806.96	o 535
6290.96/808.23	o 534
6300.51/809.42	o 533
6310.07/810.61	o 532
6318.82/811.76	o 531
6328.38/812.93	o 530
6337.19/814.10	o 529
6346.64/815.28	o 528
6356.19/816.45	o 527
6364.95/817.57	o 526
6375.29/818.88	o 525
6384.91/820.04	o 524
6393.67/821.15	o 523
6402.34/822.28	o 522
6411.88/823.41	o 521
6420.62/824.50	o 520
6428.57/825.54	o 519
6437.33/826.65	o 518
6446.07/827.74	o 517
6454.82/828.85	o 516
6463.58/829.97	o 515
6472.43/831.04	o 514
6480.39/832.10	o 513
6489.83/833.22	o 512
6497.77/834.28	o 511
6506.48/835.35	o 510
6515.25/836.42	o 509
6523.24/837.50	o 508
6531.94/838.55	o 507
6539.90/839.59	o 506
6548.65/840.67	o 505
6557.40/841.72	o 504
6565.36/842.76	o 503
6574.04/843.81	o 502
6581.99/844.81	o 501
6590.00/845.82	o 500
6597.85/846.83	o 499
6606.58/847.91	o 498
6614.53/848.94	o 497
6622.49/849.94	o 496
6630.45/851.00	o 495
6637.62/851.89	o 494
6646.34/852.92	o 493
6654.29/853.92	o 492
6662.23/854.92	o 491
6670.19/855.93	o 490
6677.36/856.87	o 489
6685.29/857.85	o 488
6693.23/858.82	o 487
6701.19/859.84	o 486
6708.36/860.70	o 485
6716.32/861.73	o 484
6723.47/862.68	o 483
6730.65/863.60	o 482
6738.53/864.58	o 481
6746.56/865.56	o 480
6752.84/866.38	o 479
6760.79/867.33	o 478
6767.93/868.29	o 477
6775.90/869.23	o 476
6783.13/870.13	o 475
6789.46/870.93	o 474
6796.58/871.82	o 473
6803.79/872.76	o 472
6810.87/873.68	o 471
6818.82/874.61	o 470
6825.20/875.41	o 469
6831.56/876.26	o 468
6838.00/877.09	o 467
6845.06/877.96	o 466
6851.40/878.71	o 465
6857.77/879.57	o 464
6864.93/880.46	o 463
6872.09/881.34	o 462
6877.75/882.09	o 461
6884.82/882.99	o 460
6891.94/883.89	o 459
6897.56/884.60	o 458
6904.68/885.44	o 457
6911.82/886.32	o 456
6918.96/887.21	o 455
6924.55/887.93	o 454
6931.63/888.83	o 453
6938.79/889.70	o 452
6944.37/890.41	o 451
6950.72/891.20	o 450
6957.18/892.04	o 449
6963.45/892.82	o 448
6969.02/893.51	o 447
6975.39/894.32	o 446
6980.17/894.98	o 445
6986.51/895.78	o 444
6992.87/896.51	o 443
6997.73/897.15	o 442
7003.00/897.89	o 441
7009.34/898.68	o 440
7014.92/899.34	o 439
7021.47/900.13	o 438
7026.06/900.76	o 437
7031.60/901.50	o 436
7037.96/902.26	o 435
7042.74/902.87	o 434
7049.07/903.60	o 433
7053.84/904.21	o 432
7059.39/904.99	o 431
7066.55/905.82	o 430
7071.32/906.43	o 429
7077.08/907.19	o 428
7081.67/907.79	o 427
7088.00/908.53	o 426
7093.55/909.27	o 425
7098.30/909.89	o 424
7104.58/910.61	o 423
7108.84/911.19	o 422
7114.91/911.94	o 421
7119.69/912.53	o 420
7125.25/913.22	o 419
7130.03/913.82	o 418
7135.61/914.53	o 417
7141.15/915.26	o 416
7145.87/915.84	o 415
7151.51/916.58	o 414
7156.41/917.15	o 413
7161.76/917.85	o 412
7166.54/918.40	o 411
7171.34/919.07	o 410
7176.04/919.63	o 409
7181.60/920.32	o 408
7185.65/920.87	o 407
7191.15/921.56	o 406
7195.26/922.08	o 405
7200.68/922.75	o 404
7204.65/923.28	o 403
7210.25/923.97	o 402
7214.17/924.49	o 401
7219.79/925.14	o 400
7223.71/925.68	o 399
7229.25/926.40	o 398
7234.06/926.93	o 397
7239.61/927.62	o 396
7243.69/928.15	o 395
7248.37/928.77	o 394
7252.35/929.26	o 393
7257.90/929.90	o 392
7261.88/930.42	o 391
7265.85/930.92	o 390
7269.82/931.50	o 389
7273.81/931.98	o 388
7279.36/932.62	o 387
7282.63/933.10	o 386
7287.31/933.70	o 385
7291.46/934.18	o 384
7296.08/934.78	o 383
7300.05/935.26	o 382
7304.09/935.75	o 381
7308.81/936.33	o 380
7312.80/936.80	o 379
7316.77/937.35	o 378
7320.76/937.81	o 377
7325.52/938.41	o 376
7328.70/938.85	o 375
7332.67/939.30	o 374
7336.64/939.85	o 373
7340.61/940.32	o 372
7343.79/940.74	o 371
7347.71/941.28	o 370
7351.70/941.71	o 369
7355.73/942.26	o 368
7358.83/942.69	o 367
7363.00/943.13	o 366
7366.71/943.65	o 365
7369.99/944.08	o 364
7373.87/944.51	o 363
7377.91/945.04	o 362
7381.02/945.45	o 361
7385.00/945.98	o 360
7388.18/946.40	o 359
7392.17/946.80	o 358
7396.18/947.37	o 357
7399.34/947.78	o 356
7402.71/948.18	o 355
7406.43/948.65	o 354
7409.71/949.06	o 353
7412.81/949.47	o 352
7416.77/949.94	o 351
7419.95/950.34	o 350
7423.15/950.72	o 349
7426.43/951.19	o 348
7429.51/951.59	o 347
7432.70/951.98	o 346
7436.66/952.47	o 345
7439.86/952.84	o 344
7443.04/953.21	o 343
7445.43/953.58	o 342
7449.44/954.04	o 341
7451.75/954.40	o 340
7454.94/954.76	o 339
7458.91/955.27	o 338
7462.14/955.62	o 337
7464.55/955.95	o 336
7466.88/956.30	o 335
7470.86/956.80	o 334
7474.26/957.14	o 333
7476.42/957.48	o 332
7479.67/957.83	o 331
7483.56/958.35	o 330
7485.96/958.70	o 329
7488.36/959.01	o 328
7491.54/959.36	o 327
7494.69/959.79	o 326
7498.18/960.14	o 325
7500.28/960.45	o 324
7502.68/960.78	o 323
7506.63/961.22	o 322
7509.03/961.52	o 321
7511.47/961.81	o 320
7513.10/962.10	o 319
7516.21/962.41	o 318
7519.39/962.81	o 317
7521.05/963.12	o 316
7523.36/963.40	o 315
7525.77/963.69	o 314
7529.01/964.09	o 313
7531.24/964.38	o 312
7533.64/964.68	o 311
7536.03/964.98	o 310
7538.42/965.28	o 309
7542.37/965.72	o 308
7543.97/966.00	o 307
7546.36/966.29	o 306
7548.75/966.58	o 305
7551.15/966.87	o 304
7554.31/967.24	o 303
7556.71/967.53	o 302
7558.31/967.78	o 301
7560.76/968.06	o 300
7563.07/968.32	o 299
7566.32/968.74	o 298
7567.82/969.00	o 297
7570.22/969.27	o 296
7572.61/969.52	o 295
7574.19/969.79	o 294
7576.68/970.04	o 293
7578.94/970.38	o 292
7581.33/970.64	o 291
7583.73/970.90	o 290
7585.59/971.17	o 289
7587.70/971.42	o 288
7589.29/971.66	o 287
7592.56/972.04	o 286
7594.87/972.30	o 285
7596.45/972.56	o 284
7598.86/972.83	o 283
7600.51/973.08	o 282
7602.83/973.33	o 281
7605.21/973.69	o 280
7607.60/973.94	o 279
7609.98/974.20	o 278
7611.56/974.43	o 277
7613.14/974.68	o 276
7615.55/974.91	o 275
7617.21/975.15	o 274
7620.31/975.53	o 273
7621.90/975.77	o 272
7623.49/976.00	o 271
7625.88/976.24	o 270
7627.46/976.49	o 269
7629.06/976.69	o 268
7632.32/977.10	o 267
7634.63/977.34	o 266
7636.22/977.56	o 265
7637.81/977.79	o 264
7639.41/977.99	o 263
7641.80/978.22	o 262
7643.39/978.45	o 261
7645.02/978.67	o 260
7648.23/979.02	o 259
7649.76/979.23	o 258
7651.34/979.45	o 257
7652.94/979.67	o 256
7654.53/979.89	o 255
7656.20/980.10	o 254
7658.52/980.32	o 253
7660.11/980.54	o 252
7662.48/980.83	o 251
7664.13/981.05	o 250
7665.65/981.26	o 249
7667.25/981.47	o 248
7668.84/981.68	o 247
7670.44/981.88	o 246
7672.09/982.09	o 245
7673.65/982.30	o 244
7676.01/982.51	o 243
7678.35/982.81	o 242
7680.02/983.01	o 241
7681.52/983.21	o 240
7683.12/983.42	o 239
7684.72/983.61	o 238
7686.33/983.81	o 237
7687.11/984.00	o 236
7688.78/984.19	o 235
7690.31/984.38	o 234
7691.88/984.58	o 233
7693.49/984.77	o 232
7695.94/985.02	o 231
7697.46/985.22	o 230
7698.30/985.40	o 229
7699.86/985.58	o 228
7701.44/985.76	o 227
7703.04/985.94	o 226
7704.76/986.12	o 225
7706.22/986.30	o 224
7707.03/986.48	o 223
7708.62/986.65	o 222
7710.21/986.82	o 221
7711.02/987.00	o 220
7713.39/987.27	o 219
7714.99/987.45	o 218
7716.59/987.62	o 217
7717.39/987.78	o 216
7718.98/987.95	o 215
7720.65/988.12	o 214
7721.36/988.29	o 213
7722.96/988.46	o 212
7724.56/988.62	o 211
7725.41/988.78	o 210
7726.95/988.94	o 209
7727.81/989.10	o 208
7729.33/989.26	o 207
7730.93/989.41	o 206
7731.74/989.57	o 205
7733.33/989.72	o 204
7734.91/989.97	o 203
7736.58/990.12	o 202
7737.29/990.27	o 201
7738.89/990.41	o 200
7739.69/990.56	o 199
7741.32/990.71	o 198
7742.09/990.86	o 197
7742.88/991.00	o 196
7744.55/991.14	o 195
7745.27/991.29	o 194
7746.86/991.42	o 193
7747.67/991.56	o 192
7749.25/991.71	o 191
7750.05/991.86	o 190
7750.86/992.00	o 189
7752.51/992.14	o 188
7753.23/992.27	o 187
7754.83/992.41	o 186
7755.61/992.54	o 185
7756.41/992.67	o 184
7758.04/992.81	o 183
7758.80/992.95	o 182
7759.72/993.08	o 181
7762.07/993.31	o 180
7762.77/993.43	o 179
7763.57/993.56	o 178
7764.37/993.68	o 177
7765.96/993.80	o 176
7766.76/993.93	o 175
7767.70/994.05	o 174
7768.51/994.17	o 173
7769.15/994.29	o 172
7770.74/994.42	o 171
7771.54/994.54	o 170
7772.33/994.66	o 169
7773.93/994.80	o 168
7774.79/994.92	o 167
7775.60/995.05	o 166
7776.44/995.18	o 165
7777.10/995.28	o 164
7778.60/995.40	o 163
7779.39/995.52	o 162
7780.19/995.64	o 161
7780.99/995.76	o 160
7781.79/995.89	o 159
7783.44/996.01	o 158
7784.25/996.12	o 157
7784.97/996.23	o 156
7785.76/996.35	o 155
7786.56/996.46	o 154
7787.36/996.58	o 153
7788.96/996.70	o 152
7789.75/996.82	o 151
7790.57/996.94	o 150
7791.42/997.05	o 149
7792.23/997.17	o 148
7793.03/997.28	o 147
7793.74/997.39	o 146
7795.34/997.51	o 145
7796.14/997.62	o 144
7796.94/997.74	o 143
7797.74/997.86	o 142
7798.56/997.96	o 141
7799.46/998.07	o 140
7800.28/998.18	o 139
7800.92/998.30	o 138
7802.51/998.41	o 137
7803.31/998.52	o 136
7804.11/998.63	o 135
7804.91/998.74	o 134
7805.71/998.86	o 133
7806.53/998.97	o 132
7807.37/999.08	o 131
7808.21/999.19	o 130
7808.89/999.30	o 129
7810.49/999.41	o 128
7811.28/999.51	o 127
7812.08/999.62	o 126
7812.95/999.73	o 125
7813.67/999.84	o 124
7814.53/999.95	o 123
7815.33/1000.06	o 122
7816.84/1000.29	o 121
7817.63/1000.40	o 120
7819.23/1000.51	o 119
7820.03/1000.62	o 118
7820.83/1000.72	o 117
7821.63/1000.83	o 116
7822.50/1000.94	o 115
7823.29/1001.04	o 114
7824.08/1001.15	o 113
7824.80/1001.26	o 112
7825.60/1001.36	o 111
7826.48/1001.46	o 110
7827.20/1001.58	o 109
7827.99/1001.68	o 108
7828.81/1001.79	o 107
7829.60/1001.89	o 106
7830.40/1002.00	o 105
7831.25/1002.10	o 104
7832.08/1002.19	o 103
7832.85/1002.29	o 102
7833.64/1002.38	o 101
7834.37/1002.48	o 100
7835.16/1002.57	o 99
7835.96/1002.68	o 98
7836.76/1002.78	o 97
7837.56/1002.87	o 96
7838.36/1002.97	o 95
7839.22/1003.06	o 94
7840.01/1003.14	o 93
7840.73/1003.23	o 92
7841.52/1003.33	o 91
7842.35/1003.42	o 90
7843.12/1003.51	o 89
7843.91/1003.60	o 88
7843.91/1003.70	o 87
7844.79/1003.78	o 86
7845.51/1003.87	o 85
7846.32/1003.96	o 84
7847.18/1004.05	o 83
7848.03/1004.14	o 82
7848.70/1004.22	o 81
7849.51/1004.32	o 80
7850.35/1004.41	o 79
7850.35/1004.50	o 78
7851.05/1004.58	o 77
7851.85/1004.68	o 76
7852.66/1004.77	o 75
7853.45/1004.86	o 74
7854.25/1004.95	o 73
7855.11/1005.04	o 72
7855.91/1005.13	o 71
7856.63/1005.22	o 70
7857.43/1005.30	o 69
7857.43/1005.39	o 68
7858.31/1005.48	o 67
7859.02/1005.57	o 66
7859.82/1005.65	o 65
7860.62/1005.74	o 64
7861.41/1005.84	o 63
7862.21/1005.92	o 62
7862.21/1006.00	o 61
7863.07/1006.09	o 60
7863.88/1006.18	o 59
7864.60/1006.27	o 58
7865.40/1006.36	o 57
7866.20/1006.45	o 56
7866.99/1006.54	o 55
7867.79/1006.62	o 54
7868.59/1006.70	o 53
7868.59/1006.79	o 52
7869.47/1006.89	o 51
7870.16/1006.97	o 50
7871.06/1007.05	o 49
7871.81/1007.14	o 48
7872.53/1007.24	o 47
7873.31/1007.31	o 46
7873.31/1007.39	o 45
7874.07/1007.48	o 44
7874.85/1007.57	o 43
7875.65/1007.65	o 42
7876.44/1007.74	o 41
7877.24/1007.82	o 40
7878.04/1007.91	o 39
7878.04/1007.99	o 38
7878.98/1008.08	o 37
7879.71/1008.17	o 36
7880.43/1008.25	o 35
7881.22/1008.34	o 34
7882.06/1008.42	o 33
7882.83/1008.51	o 32
7882.83/1008.60	o 31
7883.62/1008.68	o 30
7884.42/1008.77	o 29
7885.25/1008.86	o 28
7886.02/1008.94	o 27
7886.88/1009.02	o 26
7886.88/1009.10	o 25
7887.68/1009.19	o 24
7888.47/1009.28	o 23
7889.20/1009.36	o 22
7890.00/1009.45	o 21
7890.80/1009.53	o 20
7891.59/1009.62	o 19
7892.39/1009.70	o 18
7892.39/1009.78	o 17
7893.22/1009.87	o 16
7893.99/1009.95	o 15
7894.84/1010.03	o 14
7895.71/1010.12	o 13
7895.71/1010.20	o 12
7896.37/1010.29	o 11
7897.19/1010.37	o 10
7897.95/1010.46	o 9
7899.56/1010.64	o 8
7900.29/1010.72	o 7
7900.29/1010.80	o 6
16966.48/2520.02	s SATISFIABLE
16966.48/2520.02	v <instantiation>
16966.48/2520.02	v 	<list>
16966.48/2520.02	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]
16966.48/2520.02	v 	</list>
16966.48/2520.02	v 	<values>
16966.48/2520.02	v 		6 4 6 0 6 2 0 2 5 2 0 6 1 4 1 1 4 1 1 1 1 1 1 1 2 6 2 6 6 5 2 2 5 2 2 2 4 6 4 4 4 6 6 4 6 4 4 6 5 6 4 2 6 2 3 0 3 5 3 3 3 3 3 3 3 5 3 5 1 5 3 3 5 3 3 1 5 3 3 6 6 5 3 3 3 3 3 5 3 3 3 3 1 3 3 3 1 3 3 1 3 3 1 3 6 2 6 2 6 6 6 6 6 6 6 6 1 2 6 2 2 6 6 2 6 2 2 6 6 6 6 6 6 6 6 6 6 6 6 6 4 6 6 1 4 6 6 1 6 1 1 6 6 6 1 6 4 4 4 4 4 4 4 4 4 4 4 4 3 3 3 3 3 3 3 3 3 3 3 3 4 3 4 3 4 4 4 3 4 4 3 4 4 3 4 3 4 4 4 4 4 4 4 4 3 4 3 3 2 4 3 6 3 5 0 5 6 5 4 0 4 4 0 6 5 4 0 4 5 4 4 4 4 4 4 4 0 6 2 5 6 5 2 3 2 0 2 2 4 6 4 4 4 4 4 4 4 4 4 4 5 0 4 2 5 5 5 5 5 5 3 3 3 3 3 3 5 3 0 3 5 3 0 3 3 3 0 3 5 5 5 5 6 5 3 3 0 0 3 0 3 3 0 3 3 3 0 3 3 3 0 3 5 3 0 2 6 5 6 5 6 5 6 6 5 6 6 2 5 2 0 2 5 5 2 2 2 2 2 5 4 5 2 5 2 5 2 2 5 2 2 2 5 2 2 2 5 5 2 2 2 2 2 5 5 4 2 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 4 5 5 6 6 2 2 2 6 2 2 5 2 2 5 2 6 2 2 1 6 1 1 5 1 1 5 5 6 5 6 5 5 6 6 5 5 6 5 3 6 3 3 6 6 6 3 6 6 3 6 5 1 1 2 6 2 3 1 3 5 3 3 3 3 3 3 3 5 3 5 1 5 3 3 5 3 3 1 5 6 3 6 5 6 6 6 6 3 6 6 3 6 3 3 6 6 6 3 6 6 3 6 3 6 1 3 6 6 6 6 2 6 6 6 2 6 6 2 6 6 6 2 6 6 6 2 6 6 2 6 2 6 2 6 2 3 6 6 2 2 6 2 6 6 6 3 6 6 6 3 6 6 3 6 1 1 1 2 6 3 3 3 3 3 6 3 3 3 3 3 6 3 3 3 3 3 6 3 3 3 3 3 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 1 3 6 4 4 4 4 6 6 4 6 6 6 4 6 4 4 4 4 4 4 4 4 4 4 4 4 4 6 4 4 6 4 4 4 4 4 4 4 4 6 4 6 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 6 4 4 4 4 4 4 4 4 6 4 4 4 4 4 4 4 4 6 4 6 4 4 6 6 4 4 6 4 4 4 4 4 6 4 6 4 6 4 6 6 4 6 6 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 1 4 5 
16966.48/2520.02	v 	</values>
16966.48/2520.02	v </instantiation>

Verifier Data 

OK	6

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290969-1532633935/watcher-4290969-1532633935 -o /tmp/evaluation-result-4290969-1532633935/solver-4290969-1532633935 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532633895-8968 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 207429786 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4290969-1532633935.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9087, runsolver pid=9084
Current StackSize limit: 8192 KiB


[startup+0.100169 s]*
/proc/loadavg: 4.56 2.68 2.18 2/205 9107
/proc/meminfo: memFree=20751212/32770624 swapFree=67108860/67108860
[pid=9087] ppid=9084 vsize=26103424 memory=29236 CPUtime=0.11 cores=0-7
/proc/9087/stat : 9087 (java) S 9084 9087 8941 0 -1 1077944320 6766 0 0 0 9 2 0 0 20 0 20 0 80956803 26729906176 7309 33554432000 4194304 4196468 140737306734800 140737306717344 139940182720247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
/proc/9087/statm: 6525856 7309 3132 1 0 6487932 0
[pid=9087/tid=9089] ppid=9084 vsize=26103424 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/9087/task/9089/stat : 9089 (java) R 9084 9087 8941 0 -1 4202560 5046 0 0 0 7 1 0 0 20 0 20 0 80956804 26729906176 7507 33554432000 4194304 4196468 140737306734800 139940186919240 139940162995996 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9090] ppid=9084 vsize=26103424 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9087/task/9090/stat : 9090 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 7507 33554432000 4194304 4196468 140737306734800 139940105300240 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9091] ppid=9084 vsize=26103424 memory=139708593612416 CPUtime=0 cores=0-7
/proc/9087/task/9091/stat : 9091 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 7507 33554432000 4194304 4196468 140737306734800 139940104247696 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9092] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9092/stat : 9092 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 7573 33554432000 4194304 4196468 140737306734800 139940103195152 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9093] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9093/stat : 9093 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 7573 33554432000 4194304 4196468 140737306734800 139940102142608 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9094] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9094/stat : 9094 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 7573 33554432000 4194304 4196468 140737306734800 139939737000720 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9095] ppid=9084 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9087/task/9095/stat : 9095 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 7573 33554432000 4194304 4196468 140737306734800 139939735948176 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9096] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9096/stat : 9096 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 7573 33554432000 4194304 4196468 140737306734800 139939734895632 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9097] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9097/stat : 9097 (java) S 9084 9087 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 7573 33554432000 4194304 4196468 140737306734800 139939733843088 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9098] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9098/stat : 9098 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956806 26729906176 7573 33554432000 4194304 4196468 140737306734800 139939579693040 139940182731394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9099] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9099/stat : 9099 (java) S 9084 9087 8941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80956807 26729906176 7573 33554432000 4194304 4196468 140737306734800 139939578639264 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9100] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9100/stat : 9100 (java) S 9084 9087 8941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80956807 26729906176 7573 33554432000 4194304 4196468 140737306734800 139939577586672 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9101] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9101/stat : 9101 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956809 26729906176 7573 33554432000 4194304 4196468 140737306734800 139939576535248 139940182738843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9102] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9102/stat : 9102 (java) S 9084 9087 8941 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 80956809 26729906176 7573 33554432000 4194304 4196468 140737306734800 139939575482864 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9103] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9103/stat : 9103 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956809 26729906176 7639 33554432000 4194304 4196468 140737306734800 139939574430320 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9104] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9104/stat : 9104 (java) S 9084 9087 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956809 26729906176 7639 33554432000 4194304 4196468 140737306734800 139939573377776 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9105] ppid=9084 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/9087/task/9105/stat : 9105 (java) S 9084 9087 8941 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 80956809 26729906176 7639 33554432000 4194304 4196468 140737306734800 139939572325232 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9106] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9106/stat : 9106 (java) S 9084 9087 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956809 26729906176 7639 33554432000 4194304 4196468 140737306734800 139939571271904 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9107] ppid=9084 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9087/task/9107/stat : 9107 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956810 26729906176 7639 33554432000 4194304 4196468 140737306734800 139939570219440 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 29236 KiB

[startup+0.210607 s]*
/proc/loadavg: 4.56 2.68 2.18 3/205 9107
/proc/meminfo: memFree=20737260/32770624 swapFree=67108860/67108860
[pid=9087] ppid=9084 vsize=26103424 memory=42752 CPUtime=0.3 cores=0-7
/proc/9087/stat : 9087 (java) S 9084 9087 8941 0 -1 1077944320 10423 0 0 0 27 3 0 0 20 0 20 0 80956803 26729906176 10688 33554432000 4194304 4196468 140737306734800 140737306717344 139940182720247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
/proc/9087/statm: 6525856 10688 3300 1 0 6487932 0
[pid=9087/tid=9089] ppid=9084 vsize=26103424 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/9087/task/9089/stat : 9089 (java) R 9084 9087 8941 0 -1 4202560 8174 0 0 0 17 2 0 0 20 0 20 0 80956804 26729906176 10688 33554432000 4194304 4196468 140737306734800 139940186937824 139940166800734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9090] ppid=9084 vsize=26103424 memory=13976 CPUtime=0 cores=0-7
/proc/9087/task/9090/stat : 9090 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 10688 33554432000 4194304 4196468 140737306734800 139940105300240 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9091] ppid=9084 vsize=26103424 memory=139708593621509 CPUtime=0 cores=0-7
/proc/9087/task/9091/stat : 9091 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 10688 33554432000 4194304 4196468 140737306734800 139940104247696 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9092] ppid=9084 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9087/task/9092/stat : 9092 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 10688 33554432000 4194304 4196468 140737306734800 139940103195152 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9093] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9093/stat : 9093 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 10688 33554432000 4194304 4196468 140737306734800 139940102142608 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9094] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9094/stat : 9094 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 10688 33554432000 4194304 4196468 140737306734800 139939737000720 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9095] ppid=9084 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9087/task/9095/stat : 9095 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 10688 33554432000 4194304 4196468 140737306734800 139939735948176 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9096] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9096/stat : 9096 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 10688 33554432000 4194304 4196468 140737306734800 139939734895632 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9097] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9097/stat : 9097 (java) S 9084 9087 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 10688 33554432000 4194304 4196468 140737306734800 139939733843088 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9098] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9098/stat : 9098 (java) S 9084 9087 8941 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 80956806 26729906176 10688 33554432000 4194304 4196468 140737306734800 139939579693040 139940182731394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9099] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9099/stat : 9099 (java) S 9084 9087 8941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80956807 26729906176 10688 33554432000 4194304 4196468 140737306734800 139939578639264 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9100] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9100/stat : 9100 (java) S 9084 9087 8941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80956807 26729906176 10688 33554432000 4194304 4196468 140737306734800 139939577586672 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9101] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9101/stat : 9101 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956809 26729906176 10688 33554432000 4194304 4196468 140737306734800 139939576535248 139940182738843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9102] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9102/stat : 9102 (java) S 9084 9087 8941 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 80956809 26729906176 10688 33554432000 4194304 4196468 140737306734800 139939575482864 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9103] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9103/stat : 9103 (java) S 9084 9087 8941 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 80956809 26729906176 10688 33554432000 4194304 4196468 140737306734800 139939574430320 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9104] ppid=9084 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/9087/task/9104/stat : 9104 (java) S 9084 9087 8941 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 20 0 80956809 26729906176 10688 33554432000 4194304 4196468 140737306734800 139939573377776 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9105] ppid=9084 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/9087/task/9105/stat : 9105 (java) R 9084 9087 8941 0 -1 4202560 326 0 0 0 6 0 0 0 20 0 20 0 80956809 26729906176 10688 33554432000 4194304 4196468 140737306734800 139939572325232 139940162956336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9106] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9106/stat : 9106 (java) S 9084 9087 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956809 26729906176 10688 33554432000 4194304 4196468 140737306734800 139939571271904 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9107] ppid=9084 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9087/task/9107/stat : 9107 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956810 26729906176 10688 33554432000 4194304 4196468 140737306734800 139939570219440 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 42752 KiB

[startup+0.310738 s]*
/proc/loadavg: 4.56 2.68 2.18 3/205 9107
/proc/meminfo: memFree=20733600/32770624 swapFree=67108860/67108860
[pid=9087] ppid=9084 vsize=26103424 memory=46536 CPUtime=0.43 cores=0-7
/proc/9087/stat : 9087 (java) S 9084 9087 8941 0 -1 1077944320 10859 0 0 0 40 3 0 0 20 0 20 0 80956803 26729906176 11634 33554432000 4194304 4196468 140737306734800 140737306717344 139940182720247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
/proc/9087/statm: 6525856 11634 3340 1 0 6487932 0
[pid=9087/tid=9089] ppid=9084 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9087/task/9089/stat : 9089 (java) R 9084 9087 8941 0 -1 4202560 8524 0 0 0 27 2 0 0 20 0 20 0 80956804 26729906176 11634 33554432000 4194304 4196468 140737306734800 139940186881984 139940182742173 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9090] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9090/stat : 9090 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 11634 33554432000 4194304 4196468 140737306734800 139940105300240 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9091] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9091/stat : 9091 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 11634 33554432000 4194304 4196468 140737306734800 139940104247696 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9092] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9092/stat : 9092 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 11634 33554432000 4194304 4196468 140737306734800 139940103195152 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9093] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9093/stat : 9093 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 11634 33554432000 4194304 4196468 140737306734800 139940102142608 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9094] ppid=9084 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/9087/task/9094/stat : 9094 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 11634 33554432000 4194304 4196468 140737306734800 139939737000720 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9095] ppid=9084 vsize=26103424 memory=139708441129903 CPUtime=0 cores=0-7
/proc/9087/task/9095/stat : 9095 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 11634 33554432000 4194304 4196468 140737306734800 139939735948176 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9096] ppid=9084 vsize=26103424 memory=139708441132208 CPUtime=0 cores=0-7
/proc/9087/task/9096/stat : 9096 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 11634 33554432000 4194304 4196468 140737306734800 139939734895632 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9097] ppid=9084 vsize=26103424 memory=139708441134512 CPUtime=0 cores=0-7
/proc/9087/task/9097/stat : 9097 (java) S 9084 9087 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956805 26729906176 11634 33554432000 4194304 4196468 140737306734800 139939733843088 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9098] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9098/stat : 9098 (java) S 9084 9087 8941 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 80956806 26729906176 11634 33554432000 4194304 4196468 140737306734800 139939579693040 139940182731394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9099] ppid=9084 vsize=26103424 memory=279416882275984 CPUtime=0 cores=0-7
/proc/9087/task/9099/stat : 9099 (java) S 9084 9087 8941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80956807 26729906176 11634 33554432000 4194304 4196468 140737306734800 139939578639264 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9100] ppid=9084 vsize=26103424 memory=279416882282896 CPUtime=0 cores=0-7
/proc/9087/task/9100/stat : 9100 (java) S 9084 9087 8941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80956807 26729906176 11634 33554432000 4194304 4196468 140737306734800 139939577586672 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9101] ppid=9084 vsize=26103424 memory=279416882224176 CPUtime=0 cores=0-7
/proc/9087/task/9101/stat : 9101 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956809 26729906176 11634 33554432000 4194304 4196468 140737306734800 139939576535248 139940182738843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9102] ppid=9084 vsize=26103424 memory=279416882296720 CPUtime=0.01 cores=0-7
/proc/9087/task/9102/stat : 9102 (java) S 9084 9087 8941 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 20 0 80956809 26729906176 11634 33554432000 4194304 4196468 140737306734800 139939575482864 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9103] ppid=9084 vsize=26103424 memory=279416882303632 CPUtime=0.01 cores=0-7
/proc/9087/task/9103/stat : 9103 (java) S 9084 9087 8941 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 80956809 26729906176 11634 33554432000 4194304 4196468 140737306734800 139939574430320 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9104] ppid=9084 vsize=26103424 memory=279416882301328 CPUtime=0.01 cores=0-7
/proc/9087/task/9104/stat : 9104 (java) S 9084 9087 8941 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 20 0 80956809 26729906176 11634 33554432000 4194304 4196468 140737306734800 139939573377776 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9105] ppid=9084 vsize=26103424 memory=279416882317936 CPUtime=0.08 cores=0-7
/proc/9087/task/9105/stat : 9105 (java) S 9084 9087 8941 0 -1 1077944384 342 0 0 0 8 0 0 0 20 0 20 0 80956809 26729906176 11634 33554432000 4194304 4196468 140737306734800 139939572325232 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9106] ppid=9084 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9106/stat : 9106 (java) S 9084 9087 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956809 26729906176 11634 33554432000 4194304 4196468 140737306734800 139939571271904 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9107] ppid=9084 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/9087/task/9107/stat : 9107 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956810 26729906176 11634 33554432000 4194304 4196468 140737306734800 139939570219440 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46536 KiB

[startup+0.700899 s]
/proc/loadavg: 4.56 2.68 2.18 2/205 9107
/proc/meminfo: memFree=20709292/32770624 swapFree=67108860/67108860
[pid=9087] ppid=9084 vsize=26105492 memory=85416 CPUtime=0.99 cores=0-7
/proc/9087/stat : 9087 (java) S 9084 9087 8941 0 -1 1077944320 17824 0 0 0 93 6 0 0 20 0 20 0 80956803 26732023808 21354 33554432000 4194304 4196468 140737306734800 140737306717344 139940182720247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
/proc/9087/statm: 6526373 21354 3499 1 0 6488444 0
[pid=9087/tid=9089] ppid=9084 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7
/proc/9087/task/9089/stat : 9089 (java) R 9084 9087 8941 0 -1 4202560 15020 0 0 0 63 4 0 0 20 0 20 0 80956804 26732023808 21866 33554432000 4194304 4196468 140737306734800 139940186944416 139939782402846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9090] ppid=9084 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9090/stat : 9090 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956805 26732023808 21866 33554432000 4194304 4196468 140737306734800 139940105300240 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9091] ppid=9084 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9091/stat : 9091 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956805 26732023808 21866 33554432000 4194304 4196468 140737306734800 139940104247696 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9092] ppid=9084 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/9087/task/9092/stat : 9092 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26732023808 21866 33554432000 4194304 4196468 140737306734800 139940103195152 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9093] ppid=9084 vsize=26105492 memory=1228 CPUtime=0 cores=0-7
/proc/9087/task/9093/stat : 9093 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26732023808 21866 33554432000 4194304 4196468 140737306734800 139940102142608 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9094] ppid=9084 vsize=26105492 memory=1704 CPUtime=0 cores=0-7
/proc/9087/task/9094/stat : 9094 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26732023808 21866 33554432000 4194304 4196468 140737306734800 139939737000720 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9095] ppid=9084 vsize=26105492 memory=1952 CPUtime=0 cores=0-7
/proc/9087/task/9095/stat : 9095 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956805 26732023808 21866 33554432000 4194304 4196468 140737306734800 139939735948176 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9096] ppid=9084 vsize=26105492 memory=10592 CPUtime=0 cores=0-7
/proc/9087/task/9096/stat : 9096 (java) S 9084 9087 8941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956805 26732023808 21866 33554432000 4194304 4196468 140737306734800 139939734895632 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9097] ppid=9084 vsize=26105492 memory=15872 CPUtime=0 cores=0-7
/proc/9087/task/9097/stat : 9097 (java) S 9084 9087 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956805 26732023808 21866 33554432000 4194304 4196468 140737306734800 139939733843088 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9098] ppid=9084 vsize=26105492 memory=18476 CPUtime=0 cores=0-7
/proc/9087/task/9098/stat : 9098 (java) S 9084 9087 8941 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 80956806 26732023808 21866 33554432000 4194304 4196468 140737306734800 139939579693040 139940182731394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0

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

/proc/9087/task/9101/stat : 9101 (java) S 9084 9087 8941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 80956809 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939576535248 139940182738843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9102] ppid=9084 vsize=27517708 memory=4096 CPUtime=3.04 cores=0-7
/proc/9087/task/9102/stat : 9102 (java) S 9084 9087 8941 0 -1 1077944384 26855 0 0 0 297 7 0 0 20 0 41 0 80956809 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939575482864 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9103] ppid=9084 vsize=27517708 memory=-6733704525061579059 CPUtime=3.18 cores=0-7
/proc/9087/task/9103/stat : 9103 (java) S 9084 9087 8941 0 -1 1077944384 23100 0 0 0 313 5 0 0 20 0 41 0 80956809 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939574430320 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9104] ppid=9084 vsize=27517708 memory=4126316290023845779 CPUtime=3.33 cores=0-7
/proc/9087/task/9104/stat : 9104 (java) S 9084 9087 8941 0 -1 1077944384 25568 0 0 0 325 8 0 0 20 0 41 0 80956809 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939573377776 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9105] ppid=9084 vsize=27517708 memory=1952 CPUtime=2.06 cores=0-7
/proc/9087/task/9105/stat : 9105 (java) S 9084 9087 8941 0 -1 1077944384 86066 0 0 0 184 22 0 0 20 0 41 0 80956809 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939572325232 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9106] ppid=9084 vsize=27517708 memory=10592 CPUtime=0 cores=0-7
/proc/9087/task/9106/stat : 9106 (java) S 9084 9087 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 80956809 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939571271904 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9107] ppid=9084 vsize=27517708 memory=15872 CPUtime=1.83 cores=0-7
/proc/9087/task/9107/stat : 9107 (java) S 9084 9087 8941 0 -1 1077944384 4977 0 0 0 86 97 0 0 20 0 41 0 80956810 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939570219440 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9108] ppid=9084 vsize=27517708 memory=18476 CPUtime=0.22 cores=0-7
/proc/9087/task/9108/stat : 9108 (java) S 9084 9087 8941 0 -1 1077944384 8595 0 0 0 16 6 0 0 20 0 41 0 80958674 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939565163216 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9109] ppid=9084 vsize=27517708 memory=1236 CPUtime=10.15 cores=0-7
/proc/9087/task/9109/stat : 9109 (java) S 9084 9087 8941 0 -1 1077944384 13810 0 0 0 431 584 0 0 20 0 41 0 80958705 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939354240160 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9110] ppid=9084 vsize=27517708 memory=14076 CPUtime=181.56 cores=0-7
/proc/9087/task/9110/stat : 9110 (java) S 9084 9087 8941 0 -1 1077944384 106337 0 0 0 18016 140 0 0 20 0 41 0 80958721 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939351090576 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9111] ppid=9084 vsize=27517708 memory=4052 CPUtime=567.07 cores=0-7
/proc/9087/task/9111/stat : 9111 (java) S 9084 9087 8941 0 -1 1077944384 162794 0 0 0 56465 242 0 0 20 0 41 0 80958722 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939350038032 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9112] ppid=9084 vsize=27517708 memory=1844 CPUtime=2014.4 cores=0-7
/proc/9087/task/9112/stat : 9112 (java) R 9084 9087 8941 0 -1 4202560 173082 0 0 0 200974 466 0 0 20 0 41 0 80958722 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939348977608 139939793193442 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9113] ppid=9084 vsize=27517708 memory=1008 CPUtime=310.28 cores=0-7
/proc/9087/task/9113/stat : 9113 (java) S 9084 9087 8941 0 -1 1077944384 253056 0 0 0 30830 198 0 0 20 0 41 0 80958729 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939345835792 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9114] ppid=9084 vsize=27517708 memory=5404 CPUtime=230.59 cores=0-7
/proc/9087/task/9114/stat : 9114 (java) S 9084 9087 8941 0 -1 1077944384 169986 0 0 0 22915 144 0 0 20 0 41 0 80958729 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939344782224 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9115] ppid=9084 vsize=27517708 memory=796 CPUtime=143.91 cores=0-7
/proc/9087/task/9115/stat : 9115 (java) S 9084 9087 8941 0 -1 1077944384 18124 0 0 0 14354 37 0 0 20 0 41 0 80958729 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939343729680 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9116] ppid=9084 vsize=27517708 memory=4616 CPUtime=2049.87 cores=0-7
/proc/9087/task/9116/stat : 9116 (java) R 9084 9087 8941 0 -1 4202560 456208 0 0 0 204521 466 0 0 20 0 41 0 80958729 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939342669832 139939793215249 0 4 0 16800975 0 0 0 -1 6 0 0 36 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9117] ppid=9084 vsize=27517708 memory=1424 CPUtime=1830.63 cores=0-7
/proc/9087/task/9117/stat : 9117 (java) R 9084 9087 8941 0 -1 4202560 154399 0 0 0 182696 367 0 0 20 0 41 0 80958729 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939341619328 139939791274106 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9118] ppid=9084 vsize=27517708 memory=11116 CPUtime=515.92 cores=0-7
/proc/9087/task/9118/stat : 9118 (java) S 9084 9087 8941 0 -1 1077944384 137055 0 0 0 51345 247 0 0 20 0 41 0 80958729 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939340572048 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9119] ppid=9084 vsize=27517708 memory=1200 CPUtime=252.31 cores=0-7
/proc/9087/task/9119/stat : 9119 (java) S 9084 9087 8941 0 -1 1077944384 182160 0 0 0 25048 183 0 0 20 0 41 0 80958729 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939339519504 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9120] ppid=9084 vsize=27517708 memory=1228 CPUtime=605.49 cores=0-7
/proc/9087/task/9120/stat : 9120 (java) S 9084 9087 8941 0 -1 1077944384 471499 0 0 0 60168 381 0 0 20 0 41 0 80958730 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939338466960 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9122] ppid=9084 vsize=27517708 memory=1704 CPUtime=315.25 cores=0-7
/proc/9087/task/9122/stat : 9122 (java) S 9084 9087 8941 0 -1 1077944384 228046 0 0 0 31296 229 0 0 20 0 41 0 80958999 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939337414416 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9123] ppid=9084 vsize=27517708 memory=1952 CPUtime=385.78 cores=0-7
/proc/9087/task/9123/stat : 9123 (java) S 9084 9087 8941 0 -1 1077944384 196200 0 0 0 38404 174 0 0 20 0 41 0 80959000 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939336360848 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9124] ppid=9084 vsize=27517708 memory=4616 CPUtime=268.28 cores=0-7
/proc/9087/task/9124/stat : 9124 (java) S 9084 9087 8941 0 -1 1077944384 104824 0 0 0 26709 119 0 0 20 0 41 0 80959544 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939333174288 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9125] ppid=9084 vsize=27517708 memory=1424 CPUtime=1854.84 cores=0-7
/proc/9087/task/9125/stat : 9125 (java) R 9084 9087 8941 0 -1 4202560 97812 0 0 0 185185 299 0 0 20 0 41 0 80959547 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939332115792 139939791274106 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9126] ppid=9084 vsize=27517708 memory=11116 CPUtime=1686.12 cores=0-7
/proc/9087/task/9126/stat : 9126 (java) R 9084 9087 8941 0 -1 4202560 104081 0 0 0 168409 203 0 0 20 0 41 0 80959548 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939331061032 139939793231794 0 4 0 16800975 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9127] ppid=9084 vsize=27517708 memory=1200 CPUtime=344.09 cores=0-7
/proc/9087/task/9127/stat : 9127 (java) S 9084 9087 8941 0 -1 1077944384 89376 0 0 0 34285 124 0 0 20 0 41 0 80959549 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939330016656 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9128] ppid=9084 vsize=27517708 memory=1228 CPUtime=659.88 cores=0-7
/proc/9087/task/9128/stat : 9128 (java) S 9084 9087 8941 0 -1 1077944384 278988 0 0 0 65600 388 0 0 20 0 41 0 80959549 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939328964112 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9137] ppid=9084 vsize=27517708 memory=1704 CPUtime=1948.17 cores=0-7
/proc/9087/task/9137/stat : 9137 (java) R 9084 9087 8941 0 -1 4202560 197284 0 0 0 194464 353 0 0 20 0 41 0 80966801 28178132992 2440118 33554432000 4194304 4196468 140737306734800 139939327903688 139939792348056 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
Current children cumulated CPU time: 16966.5 s
Current children cumulated vsize: 27517708 KiB
Current children cumulated memory: 9760472 KiB

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

[startup+2520.21 s]
# the end of solver process 9087 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=16905 s, system=62.5137 s

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

[startup+2520.12 s]
/proc/loadavg: 6.00 6.01 6.14 7/224 9199
/proc/meminfo: memFree=11001176/32770624 swapFree=67108860/67108860
[pid=9087] ppid=9084 vsize=27719448 memory=9761648 CPUtime=16967.2 cores=0-7
/proc/9087/stat : 9087 (java) S 9084 9087 8941 0 -1 1077944320 5404441 0 0 0 1690478 6246 0 0 20 0 43 0 80956803 28384714752 2440412 33554432000 4194304 4196468 140737306734800 140737306717344 139940182720247 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
/proc/9087/statm: 6929862 2440412 3629 1 0 6891412 0
[pid=9087/tid=9089] ppid=9084 vsize=27719448 memory=9760472 CPUtime=18.73 cores=0-7
/proc/9087/task/9089/stat : 9089 (java) S 9084 9087 8941 0 -1 1077944384 28180 0 0 0 1765 108 0 0 20 0 43 0 80956804 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139940186957712 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9090] ppid=9084 vsize=27719448 memory=9760472 CPUtime=94.51 cores=0-7
/proc/9087/task/9090/stat : 9090 (java) S 9084 9087 8941 0 -1 1077944384 241307 0 0 0 9331 120 0 0 20 0 43 0 80956805 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139940105300240 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9091] ppid=9084 vsize=27719448 memory=9760472 CPUtime=94.75 cores=0-7
/proc/9087/task/9091/stat : 9091 (java) S 9084 9087 8941 0 -1 1077944384 189888 0 0 0 9356 119 0 0 20 0 43 0 80956805 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139940104247696 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9092] ppid=9084 vsize=27719448 memory=9760472 CPUtime=94.35 cores=0-7
/proc/9087/task/9092/stat : 9092 (java) S 9084 9087 8941 0 -1 1077944384 173643 0 0 0 9324 111 0 0 20 0 43 0 80956805 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139940103195152 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9093] ppid=9084 vsize=27719448 memory=9760472 CPUtime=94.65 cores=0-7
/proc/9087/task/9093/stat : 9093 (java) S 9084 9087 8941 0 -1 1077944384 184983 0 0 0 9350 115 0 0 20 0 43 0 80956805 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139940102142608 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9094] ppid=9084 vsize=27719448 memory=9760472 CPUtime=94.86 cores=0-7
/proc/9087/task/9094/stat : 9094 (java) S 9084 9087 8941 0 -1 1077944384 179172 0 0 0 9367 119 0 0 20 0 43 0 80956805 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939737000720 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9095] ppid=9084 vsize=27719448 memory=9760472 CPUtime=94.85 cores=0-7
/proc/9087/task/9095/stat : 9095 (java) S 9084 9087 8941 0 -1 1077944384 188155 0 0 0 9370 115 0 0 20 0 43 0 80956805 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939735948176 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9096] ppid=9084 vsize=27719448 memory=0 CPUtime=94.83 cores=0-7
/proc/9087/task/9096/stat : 9096 (java) S 9084 9087 8941 0 -1 1077944384 184077 0 0 0 9363 120 0 0 20 0 43 0 80956805 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939734895632 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9097] ppid=9084 vsize=27719448 memory=24096 CPUtime=94.88 cores=0-7
/proc/9087/task/9097/stat : 9097 (java) S 9084 9087 8941 0 -1 1077944384 186087 0 0 0 9378 110 0 0 20 0 43 0 80956805 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939733843088 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9098] ppid=9084 vsize=27719448 memory=2396 CPUtime=1.49 cores=0-7
/proc/9087/task/9098/stat : 9098 (java) S 9084 9087 8941 0 -1 1077944384 68708 0 0 0 124 25 0 0 20 0 43 0 80956806 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939579693040 139940182731394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9099] ppid=9084 vsize=27719448 memory=9760472 CPUtime=0 cores=0-7
/proc/9087/task/9099/stat : 9099 (java) S 9084 9087 8941 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 43 0 80956807 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939578639328 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9100] ppid=9084 vsize=27719448 memory=7636 CPUtime=0 cores=0-7
/proc/9087/task/9100/stat : 9100 (java) S 9084 9087 8941 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 43 0 80956807 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939577586688 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9101] ppid=9084 vsize=27719448 memory=9760472 CPUtime=0 cores=0-7
/proc/9087/task/9101/stat : 9101 (java) S 9084 9087 8941 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 43 0 80956809 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939576535248 139940182738843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9102] ppid=9084 vsize=27719448 memory=8112282956445269571 CPUtime=3.1 cores=0-7
/proc/9087/task/9102/stat : 9102 (java) S 9084 9087 8941 0 -1 1077944384 27794 0 0 0 303 7 0 0 20 0 43 0 80956809 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939575475888 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9103] ppid=9084 vsize=27719448 memory=65988 CPUtime=3.18 cores=0-7
/proc/9087/task/9103/stat : 9103 (java) R 9084 9087 8941 0 -1 1077944384 23104 0 0 0 313 5 0 0 20 0 43 0 80956809 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939574430080 139940182730453 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9104] ppid=9084 vsize=27719448 memory=193376 CPUtime=3.33 cores=0-7
/proc/9087/task/9104/stat : 9104 (java) S 9084 9087 8941 0 -1 1077944384 25571 0 0 0 325 8 0 0 20 0 43 0 80956809 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939573377776 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9105] ppid=9084 vsize=27719448 memory=55 CPUtime=2.09 cores=0-7
/proc/9087/task/9105/stat : 9105 (java) S 9084 9087 8941 0 -1 1077944384 89309 0 0 0 186 23 0 0 20 0 43 0 80956809 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939572323024 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9106] ppid=9084 vsize=27719448 memory=7163930044720508013 CPUtime=0 cores=0-7
/proc/9087/task/9106/stat : 9106 (java) S 9084 9087 8941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 43 0 80956809 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939571271904 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9107] ppid=9084 vsize=27719448 memory=1568 CPUtime=1.83 cores=0-7
/proc/9087/task/9107/stat : 9107 (java) S 9084 9087 8941 0 -1 1077944384 4977 0 0 0 86 97 0 0 20 0 43 0 80956810 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939570219440 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9108] ppid=9084 vsize=27719448 memory=2240 CPUtime=0.22 cores=0-7
/proc/9087/task/9108/stat : 9108 (java) S 9084 9087 8941 0 -1 1077944384 8595 0 0 0 16 6 0 0 20 0 43 0 80958674 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939565163216 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9109] ppid=9084 vsize=27719448 memory=4124 CPUtime=10.15 cores=0-7
/proc/9087/task/9109/stat : 9109 (java) S 9084 9087 8941 0 -1 1077944384 13844 0 0 0 431 584 0 0 20 0 43 0 80958705 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939354240048 139940182731394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9110] ppid=9084 vsize=27719448 memory=8112282956445269571 CPUtime=181.56 cores=0-7
/proc/9087/task/9110/stat : 9110 (java) S 9084 9087 8941 0 -1 1077944384 106368 0 0 0 18016 140 0 0 20 0 43 0 80958721 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939351090576 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9111] ppid=9084 vsize=27719448 memory=1844 CPUtime=567.07 cores=0-7
/proc/9087/task/9111/stat : 9111 (java) R 9084 9087 8941 0 -1 4202560 162891 0 0 0 56465 242 0 0 20 0 43 0 80958722 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939350033136 139940182732182 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9112] ppid=9084 vsize=27719448 memory=9760472 CPUtime=2014.49 cores=0-7
/proc/9087/task/9112/stat : 9112 (java) R 9084 9087 8941 0 -1 4202560 173087 0 0 0 200983 466 0 0 20 0 43 0 80958722 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939348977472 139939792348056 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9113] ppid=9084 vsize=27719448 memory=9760472 CPUtime=310.28 cores=0-7
/proc/9087/task/9113/stat : 9113 (java) S 9084 9087 8941 0 -1 1077944384 253078 0 0 0 30830 198 0 0 20 0 43 0 80958729 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939345835792 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9114] ppid=9084 vsize=27719448 memory=6944656592455360604 CPUtime=230.59 cores=0-7
/proc/9087/task/9114/stat : 9114 (java) S 9084 9087 8941 0 -1 1077944384 170011 0 0 0 22915 144 0 0 20 0 43 0 80958729 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939344782224 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9115] ppid=9084 vsize=27719448 memory=9126232286719478932 CPUtime=143.91 cores=0-7
/proc/9087/task/9115/stat : 9115 (java) S 9084 9087 8941 0 -1 1077944384 18178 0 0 0 14354 37 0 0 20 0 43 0 80958729 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939343729680 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9116] ppid=9084 vsize=27719448 memory=9760472 CPUtime=2049.96 cores=0-7
/proc/9087/task/9116/stat : 9116 (java) R 9084 9087 8941 0 -1 4202560 456217 0 0 0 204530 466 0 0 20 0 43 0 80958729 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939342668832 139939782351137 0 4 0 16800975 0 0 0 -1 2 0 0 36 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9117] ppid=9084 vsize=27719448 memory=9760472 CPUtime=1830.73 cores=0-7
/proc/9087/task/9117/stat : 9117 (java) R 9084 9087 8941 0 -1 4202560 154404 0 0 0 182706 367 0 0 20 0 43 0 80958729 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939341616576 139939793232426 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9118] ppid=9084 vsize=27719448 memory=9760472 CPUtime=515.92 cores=0-7
/proc/9087/task/9118/stat : 9118 (java) R 9084 9087 8941 0 -1 1077944384 137098 0 0 0 51345 247 0 0 20 0 43 0 80958729 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939340562816 139940182730453 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9119] ppid=9084 vsize=27719448 memory=4096 CPUtime=252.32 cores=0-7
/proc/9087/task/9119/stat : 9119 (java) S 9084 9087 8941 0 -1 1077944384 182241 0 0 0 25049 183 0 0 20 0 43 0 80958729 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939339519504 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9120] ppid=9084 vsize=27719448 memory=24104 CPUtime=605.5 cores=0-7
/proc/9087/task/9120/stat : 9120 (java) S 9084 9087 8941 0 -1 1077944384 472152 0 0 0 60169 381 0 0 20 0 43 0 80958730 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939338466960 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9122] ppid=9084 vsize=27719448 memory=2396 CPUtime=315.26 cores=0-7
/proc/9087/task/9122/stat : 9122 (java) S 9084 9087 8941 0 -1 1077944384 228626 0 0 0 31297 229 0 0 20 0 43 0 80958999 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939337414416 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9123] ppid=9084 vsize=27719448 memory=8836 CPUtime=385.78 cores=0-7
/proc/9087/task/9123/stat : 9123 (java) S 9084 9087 8941 0 -1 1077944384 196223 0 0 0 38404 174 0 0 20 0 43 0 80959000 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939336360848 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9124] ppid=9084 vsize=27719448 memory=11044 CPUtime=268.28 cores=0-7
/proc/9087/task/9124/stat : 9124 (java) S 9084 9087 8941 0 -1 1077944384 104858 0 0 0 26709 119 0 0 20 0 43 0 80959544 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939333174288 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9125] ppid=9084 vsize=27719448 memory=13252 CPUtime=1854.94 cores=0-7
/proc/9087/task/9125/stat : 9125 (java) R 9084 9087 8941 0 -1 4202560 97823 0 0 0 185195 299 0 0 20 0 43 0 80959547 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939332114440 139939791274161 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9126] ppid=9084 vsize=27719448 memory=4096 CPUtime=1686.21 cores=0-7
/proc/9087/task/9126/stat : 9126 (java) R 9084 9087 8941 0 -1 4202560 104089 0 0 0 168418 203 0 0 20 0 43 0 80959548 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939331060896 139939791912996 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9127] ppid=9084 vsize=27719448 memory=24104 CPUtime=344.09 cores=0-7
/proc/9087/task/9127/stat : 9127 (java) S 9084 9087 8941 0 -1 1077944384 89398 0 0 0 34285 124 0 0 20 0 43 0 80959549 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939330016656 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9128] ppid=9084 vsize=27719448 memory=2396 CPUtime=659.88 cores=0-7
/proc/9087/task/9128/stat : 9128 (java) S 9084 9087 8941 0 -1 1077944384 279033 0 0 0 65600 388 0 0 20 0 43 0 80959549 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939328964112 139940182730453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
[pid=9087/tid=9137] ppid=9084 vsize=27719448 memory=9760472 CPUtime=1948.27 cores=0-7
/proc/9087/task/9137/stat : 9137 (java) R 9084 9087 8941 0 -1 4202560 197290 0 0 0 194474 353 0 0 20 0 43 0 80966801 28384714752 2440412 33554432000 4194304 4196468 140737306734800 139939327903520 139939793215536 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 15351808 140737306743886 140737306744069 140737306744069 140737306746831 0
Current children cumulated CPU time: 16967.2 s
Current children cumulated vsize: 27719448 KiB
Current children cumulated memory: 9761648 KiB

Child status: 143
Real time (s): 2520.21
CPU time (s): 16967.6
CPU user time (s): 16905
CPU system time (s): 62.5137
CPU usage (%): 673.26
Max. virtual memory (cumulated for all children) (KiB): 27719448
Max. memory (cumulated for all children) (KiB): 9924716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16905
system time used= 62.5137
maximum resident set size= 9924716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5404967
page faults= 0
swaps= 0
block input operations= 2472
block output operations= 3504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 400242
involuntary context switches= 190250


# summary of solver processes directly reported to runsolver:
#   pid: 9087
#   total CPU time (s): 16967.6
#   total CPU user time (s): 16905
#   total CPU system time (s): 62.5137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 30.6073 second user time and 37.3065 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-26 21:38:55
IDJOB=4290969
IDBENCH=141143
IDSOLVER=2745
FILE ID=node134/4290969-1532633935
RUNJOBID= node134-1532633895-8968
PBS_JOBID= 21022182
Free space on /tmp= 55560 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/GraphColoring/GraphColoring-2-fullins-5_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290969-1532633935/watcher-4290969-1532633935 -o /tmp/evaluation-result-4290969-1532633935/solver-4290969-1532633935 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532633895-8968 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 207429786 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4290969-1532633935.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33
RANDOM SEED=207429786

node134.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.68
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.68
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.68
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.68
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:        20766136 kB
MemAvailable:   31952576 kB
Buffers:          228424 kB
Cached:         11217668 kB
SwapCached:            0 kB
Active:          2189636 kB
Inactive:        9311676 kB
Active(anon):       6760 kB
Inactive(anon):    76424 kB
Active(file):    2182876 kB
Inactive(file):  9235252 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35912 kB
Writeback:           388 kB
AnonPages:         87268 kB
Mapped:            41148 kB
Shmem:             25248 kB
Slab:             195948 kB
SReclaimable:     168292 kB
SUnreclaim:        27656 kB
KernelStack:        3632 kB
PageTables:         4464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55524 MiB
End job on node134 at 2018-07-26 22:20:56