Trace number 4308738

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-08-14SAT (TO)6 17031.8 2520.18

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.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 1751993585
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
4.57/1.71	c Parsing done, starting search...
90.23/22.40	o 851
123.54/26.68	o 850
156.77/30.84	o 849
188.44/34.82	o 848
221.02/39.02	o 847
253.83/43.08	o 846
286.32/47.18	o 845
317.32/51.13	o 844
349.25/55.07	o 843
380.92/59.06	o 842
413.41/63.13	o 841
445.89/67.20	o 840
477.71/71.27	o 839
509.52/75.29	o 838
542.12/79.32	o 837
573.91/83.33	o 836
604.94/87.25	o 835
636.04/91.16	o 834
666.02/95.00	o 833
697.84/98.93	o 832
728.84/102.86	o 831
759.85/106.75	o 830
790.02/110.60	o 829
821.71/114.51	o 828
852.51/118.41	o 827
882.67/122.22	o 826
912.98/126.06	o 825
943.12/129.87	o 824
973.33/133.66	o 823
1003.57/137.50	o 822
1034.58/141.33	o 821
1064.87/145.11	o 820
1094.14/148.83	o 819
1122.68/152.48	o 818
1151.48/156.09	o 817
1180.70/159.77	o 816
1210.90/163.50	o 815
1239.60/167.17	o 814
1268.14/170.71	o 813
1296.64/174.32	o 812
1325.11/177.95	o 811
1353.73/181.53	o 810
1381.51/185.05	o 809
1408.45/188.48	o 808
1436.25/192.00	o 807
1464.81/195.51	o 806
1491.86/198.93	o 805
1519.69/202.47	o 804
1547.55/205.95	o 803
1574.41/209.35	o 802
1601.38/212.78	o 801
1629.17/216.21	o 800
1655.42/219.57	o 799
1683.31/223.06	o 798
1709.48/226.39	o 797
1737.17/229.85	o 796
1764.11/233.28	o 795
1791.08/236.62	o 794
1817.33/240.02	o 793
1844.35/243.33	o 792
1872.18/246.80	o 791
1898.54/250.14	o 790
1925.36/253.56	o 789
1951.61/256.85	o 788
1977.85/260.18	o 787
2003.95/263.42	o 786
2030.19/266.76	o 785
2055.61/269.97	o 784
2082.64/273.31	o 783
2108.10/276.57	o 782
2135.03/279.92	o 781
2159.72/283.12	o 780
2185.10/286.30	o 779
2211.34/289.56	o 778
2237.21/292.98	o 777
2262.06/296.10	o 776
2287.24/299.27	o 775
2312.66/302.42	o 774
2337.11/305.54	o 773
2362.57/308.76	o 772
2387.96/311.97	o 771
2413.53/315.14	o 770
2438.08/318.27	o 769
2464.30/321.56	o 768
2490.58/324.84	o 767
2515.20/327.97	o 766
2539.07/330.96	o 765
2563.83/334.04	o 764
2586.67/337.00	o 763
2612.14/340.15	o 762
2636.66/343.25	o 761
2661.33/346.30	o 760
2684.40/349.24	o 759
2708.27/352.29	o 758
2731.45/355.20	o 757
2754.49/358.12	o 756
2778.40/361.05	o 755
2802.19/364.04	o 754
2826.05/367.07	o 753
2851.38/370.29	o 752
2875.17/373.24	o 751
2898.34/376.20	o 750
2921.42/379.13	o 749
2945.29/382.04	o 748
2968.27/384.95	o 747
2991.30/387.87	o 746
3015.17/390.84	o 745
3037.44/393.68	o 744
3060.51/396.52	o 743
3082.79/399.37	o 742
3106.59/402.30	o 741
3130.31/405.39	o 740
3154.17/408.40	o 739
3179.58/411.55	o 738
3205.05/414.73	o 737
3228.93/417.79	o 736
3254.25/420.98	o 735
3279.16/424.04	o 734
3301.94/427.02	o 733
3327.45/430.13	o 732
3350.55/433.13	o 731
3376.66/436.31	o 730
3398.21/439.06	o 729
3421.20/441.98	o 728
3442.69/444.64	o 727
3464.18/447.40	o 726
3485.86/450.12	o 725
3507.92/452.83	o 724
3529.42/455.50	o 723
3550.85/458.26	o 722
3573.16/461.09	o 721
3595.37/463.83	o 720
3617.57/466.68	o 719
3638.99/469.34	o 718
3660.57/472.02	o 717
3681.15/474.69	o 716
3702.55/477.36	o 715
3723.26/479.90	o 714
3743.92/482.58	o 713
3766.15/485.36	o 712
3786.93/487.97	o 711
3808.32/490.62	o 710
3827.50/493.12	o 709
3848.88/495.73	o 708
3869.53/498.32	o 707
3889.41/500.83	o 706
3909.23/503.39	o 705
3929.14/505.85	o 704
3949.78/508.44	o 703
3968.88/510.89	o 702
3988.75/513.40	o 701
4008.64/515.80	o 700
4028.51/518.33	o 699
4047.50/520.79	o 698
4068.07/523.31	o 697
4087.09/525.77	o 696
4106.97/528.24	o 695
4126.81/530.77	o 694
4146.12/533.16	o 693
4165.70/535.70	o 692
4185.77/538.14	o 691
4205.45/540.66	o 690
4224.61/543.06	o 689
4244.42/545.52	o 688
4263.49/548.02	o 687
4282.58/550.40	o 686
4302.48/552.84	o 685
4322.37/555.32	o 684
4341.45/557.71	o 683
4360.69/560.17	o 682
4378.80/562.41	o 681
4396.32/564.69	o 680
4415.49/567.03	o 679
4434.47/569.43	o 678
4452.00/571.70	o 677
4470.19/573.99	o 676
4488.43/576.22	o 675
4505.84/578.49	o 674
4524.15/580.77	o 673
4541.62/583.00	o 672
4559.90/585.25	o 671
4577.40/587.44	o 670
4595.59/589.78	o 669
4613.11/591.97	o 668
4630.66/594.17	o 667
4647.98/596.32	o 666
4664.69/598.46	o 665
4682.17/600.65	o 664
4698.78/602.76	o 663
4716.24/604.98	o 662
4733.73/607.15	o 661
4751.14/609.30	o 660
4767.81/611.41	o 659
4784.54/613.56	o 658
4803.62/616.01	o 657
4822.73/618.32	o 656
4841.00/620.62	o 655
4859.21/622.91	o 654
4877.54/625.29	o 653
4895.80/627.57	o 652
4913.97/629.87	o 651
4932.27/632.13	o 650
4948.91/634.29	o 649
4968.00/636.69	o 648
4987.28/639.03	o 647
5005.40/641.34	o 646
5022.86/643.59	o 645
5041.96/645.90	o 644
5059.45/648.19	o 643
5075.29/650.17	o 642
5091.44/652.19	o 641
5107.84/654.24	o 640
5122.24/656.09	o 639
5138.24/658.09	o 638
5154.11/660.07	o 637
5170.06/662.06	o 636
5184.89/663.96	o 635
5200.01/665.85	o 634
5215.04/667.74	o 633
5230.18/669.64	o 632
5245.28/671.57	o 631
5261.23/673.54	o 630
5276.30/675.47	o 629
5291.40/677.31	o 628
5305.75/679.19	o 627
5319.99/681.02	o 626
5335.83/682.92	o 625
5350.93/684.80	o 624
5365.24/686.64	o 623
5379.50/688.49	o 622
5393.82/690.21	o 621
5408.24/692.05	o 620
5422.49/693.86	o 619
5436.81/695.67	o 618
5450.28/697.34	o 617
5463.90/699.08	o 616
5478.11/700.87	o 615
5491.65/702.57	o 614
5505.16/704.27	o 613
5519.55/706.06	o 612
5533.02/707.75	o 611
5547.26/709.54	o 610
5560.69/711.27	o 609
5574.19/712.95	o 608
5588.47/714.71	o 607
5601.94/716.42	o 606
5613.87/718.00	o 605
5627.42/719.66	o 604
5640.12/721.23	o 603
5652.86/722.85	o 602
5665.60/724.42	o 601
5678.41/726.10	o 600
5691.82/727.76	o 599
5704.56/729.37	o 598
5717.28/730.98	o 597
5730.00/732.58	o 596
5742.94/734.18	o 595
5755.49/735.73	o 594
5768.20/737.35	o 593
5780.93/738.91	o 592
5792.86/740.48	o 591
5806.46/742.11	o 590
5818.42/743.62	o 589
5831.14/745.24	o 588
5843.00/746.78	o 587
5856.55/748.45	o 586
5868.44/749.92	o 585
5880.36/751.47	o 584
5892.27/752.91	o 583
5903.40/754.37	o 582
5916.13/755.93	o 581
5927.28/757.38	o 580
5940.00/758.95	o 579
5951.91/760.41	o 578
5963.00/761.86	o 577
5974.12/763.24	o 576
5985.12/764.67	o 575
5997.12/766.19	o 574
6008.95/767.63	o 573
6020.89/769.15	o 572
6031.95/770.59	o 571
6043.09/771.95	o 570
6055.00/773.42	o 569
6066.16/774.81	o 568
6076.65/776.17	o 567
6087.63/777.59	o 566
6098.77/778.96	o 565
6109.90/780.32	o 564
6120.21/781.65	o 563
6131.48/783.06	o 562
6141.67/784.37	o 561
6152.03/785.67	o 560
6164.00/787.13	o 559
6174.29/788.45	o 558
6184.62/789.72	o 557
6195.10/791.03	o 556
6206.10/792.48	o 555
6216.49/793.74	o 554
6226.86/795.03	o 553
6236.31/796.28	o 552
6248.25/797.70	o 551
6258.69/799.10	o 550
6269.74/800.48	o 549
6280.88/801.88	o 548
6292.04/803.28	o 547
6303.91/804.76	o 546
6314.33/806.09	o 545
6325.37/807.45	o 544
6336.52/808.83	o 543
6346.97/810.20	o 542
6358.76/811.61	o 541
6369.08/813.02	o 540
6380.22/814.36	o 539
6392.07/815.84	o 538
6402.48/817.20	o 537
6414.33/818.61	o 536
6424.68/819.97	o 535
6435.78/821.33	o 534
6446.91/822.71	o 533
6457.33/824.09	o 532
6468.38/825.41	o 531
6478.72/826.74	o 530
6489.15/828.06	o 529
6499.42/829.36	o 528
6509.76/830.69	o 527
6520.10/832.03	o 526
6530.43/833.30	o 525
6541.57/834.62	o 524
6551.11/835.81	o 523
6559.86/836.92	o 522
6567.82/837.94	o 521
6575.79/838.99	o 520
6583.74/840.03	o 519
6592.56/841.08	o 518
6601.39/842.16	o 517
6609.99/843.26	o 516
6618.74/844.32	o 515
6627.46/845.44	o 514
6636.22/846.53	o 513
6644.95/847.60	o 512
6652.90/848.66	o 511
6661.66/849.73	o 510
6669.61/850.79	o 509
6678.37/851.85	o 508
6687.11/852.94	o 507
6695.07/853.98	o 506
6703.03/854.97	o 505
6710.20/855.89	o 504
6718.95/856.93	o 503
6726.85/857.96	o 502
6735.69/859.03	o 501
6742.77/860.01	o 500
6750.72/861.01	o 499
6759.54/862.08	o 498
6767.56/863.10	o 497
6776.18/864.14	o 496
6784.18/865.19	o 495
6791.33/866.08	o 494
6799.28/867.08	o 493
6808.15/868.13	o 492
6816.07/869.15	o 491
6823.92/870.18	o 490
6832.01/871.17	o 489
6839.06/872.10	o 488
6847.00/873.10	o 487
6854.09/873.95	o 486
6862.05/874.91	o 485
6868.38/875.79	o 484
6876.28/876.71	o 483
6883.43/877.66	o 482
6890.61/878.52	o 481
6898.56/879.51	o 480
6905.70/880.49	o 479
6913.63/881.42	o 478
6920.80/882.37	o 477
6928.74/883.33	o 476
6935.40/884.14	o 475
6942.38/885.06	o 474
6949.45/885.95	o 473
6956.61/886.83	o 472
6962.99/887.65	o 471
6969.35/888.47	o 470
6976.52/889.33	o 469
6983.16/890.18	o 468
6989.26/890.97	o 467
6996.35/891.85	o 466
7002.70/892.69	o 465
7009.85/893.54	o 464
7015.42/894.29	o 463
7022.79/895.16	o 462
7028.96/896.02	o 461
7036.11/896.86	o 460
7042.47/897.61	o 459
7048.82/898.41	o 458
7055.15/899.28	o 457
7060.74/899.99	o 456
7067.91/900.83	o 455
7074.27/901.70	o 454
7080.65/902.42	o 453
7087.01/903.22	o 452
7093.46/904.06	o 451
7098.96/904.76	o 450
7105.24/905.57	o 449
7111.61/906.36	o 448
7117.28/907.04	o 447
7123.50/907.83	o 446
7129.86/908.62	o 445
7135.44/909.30	o 444
7141.09/910.10	o 443
7148.16/910.90	o 442
7152.94/911.56	o 441
7159.28/912.33	o 440
7164.93/913.10	o 439
7170.44/913.76	o 438
7176.79/914.52	o 437
7181.77/915.16	o 436
7187.14/915.89	o 435
7193.49/916.67	o 434
7199.08/917.32	o 433
7204.74/918.04	o 432
7209.33/918.66	o 431
7214.90/919.39	o 430
7221.35/920.17	o 429
7225.96/920.79	o 428
7232.30/921.54	o 427
7237.19/922.14	o 426
7242.66/922.85	o 425
7247.43/923.45	o 424
7253.20/924.17	o 423
7257.78/924.76	o 422
7263.33/925.45	o 421
7267.32/926.03	o 420
7273.51/926.72	o 419
7279.08/927.41	o 418
7283.08/927.98	o 417
7288.63/928.69	o 416
7293.41/929.28	o 415
7298.97/929.98	o 414
7303.75/930.56	o 413
7309.30/931.21	o 412
7313.29/931.76	o 411
7318.85/932.45	o 410
7322.83/933.00	o 409
7328.39/933.67	o 408
7333.18/934.23	o 407
7338.01/934.90	o 406
7342.80/935.47	o 405
7347.60/936.10	o 404
7352.30/936.63	o 403
7357.05/937.27	o 402
7361.05/937.78	o 401
7366.59/938.42	o 400
7370.57/938.95	o 399
7375.32/939.58	o 398
7379.38/940.09	o 397
7384.08/940.61	o 396
7388.25/941.17	o 395
7392.04/941.66	o 394
7396.82/942.29	o 393
7401.60/942.81	o 392
7405.57/943.40	o 391
7410.36/943.91	o 390
7414.32/944.49	o 389
7418.32/944.97	o 388
7423.93/945.62	o 387
7427.13/946.10	o 386
7431.06/946.57	o 385
7435.83/947.12	o 384
7438.92/947.60	o 383
7444.49/948.20	o 382
7447.68/948.70	o 381
7451.86/949.15	o 380
7455.63/949.69	o 379
7459.72/950.16	o 378
7463.62/950.68	o 377
7467.80/951.14	o 376
7470.76/951.57	o 375
7474.80/952.12	o 374
7478.70/952.59	o 373
7482.75/953.10	o 372
7486.58/953.54	o 371
7489.77/953.97	o 370
7494.51/954.54	o 369
7497.70/954.99	o 368
7501.68/955.49	o 367
7505.66/955.92	o 366
7508.84/956.36	o 365
7512.82/956.86	o 364
7515.99/957.29	o 363
7519.19/957.70	o 362
7523.91/958.24	o 361
7527.11/958.66	o 360
7530.37/959.07	o 359
7534.26/959.59	o 358
7538.31/960.02	o 357
7541.41/960.43	o 356
7545.38/960.94	o 355
7548.56/961.36	o 354
7551.76/961.75	o 353
7555.74/962.29	o 352
7558.92/962.69	o 351
7562.21/963.06	o 350
7566.08/963.58	o 349
7569.27/963.96	o 348
7572.45/964.31	o 347
7575.62/964.77	o 346
7578.89/965.14	o 345
7581.99/965.53	o 344
7585.18/966.00	o 343
7588.36/966.38	o 342
7591.55/966.73	o 341
7594.02/967.08	o 340
7597.90/967.55	o 339
7600.30/967.90	o 338
7603.48/968.26	o 337
7606.66/968.61	o 336
7609.91/969.05	o 335
7612.22/969.38	o 334
7615.42/969.73	o 333
7618.68/970.14	o 332
7620.97/970.46	o 331
7624.17/970.81	o 330
7626.87/971.15	o 329
7628.94/971.46	o 328
7632.12/971.90	o 327
7635.30/972.20	o 326
7637.70/972.54	o 325
7640.09/972.86	o 324
7643.33/973.26	o 323
7645.67/973.58	o 322
7648.05/973.89	o 321
7650.67/974.19	o 320
7653.62/974.57	o 319
7655.99/974.88	o 318
7658.46/975.18	o 317
7660.78/975.50	o 316
7663.17/975.79	o 315
7666.37/976.18	o 314
7668.68/976.49	o 313
7671.08/976.79	o 312
7673.56/977.10	o 311
7675.86/977.38	o 310
7679.04/977.79	o 309
7681.51/978.10	o 308
7683.83/978.40	o 307
7686.22/978.68	o 306
7688.61/978.96	o 305
7691.76/979.32	o 304
7694.17/979.61	o 303
7695.75/979.90	o 302
7698.23/980.19	o 301
7700.55/980.47	o 300
7703.64/980.83	o 299
7705.31/981.10	o 298
7707.61/981.37	o 297
7710.01/981.64	o 296
7711.60/981.89	o 295
7714.77/982.27	o 294
7717.17/982.53	o 293
7718.76/982.80	o 292
7721.22/983.05	o 291
7723.54/983.32	o 290
7725.12/983.56	o 289
7728.32/983.91	o 288
7729.96/984.15	o 287
7731.48/984.38	o 286
7733.88/984.64	o 285
7735.47/984.89	o 284
7737.87/985.11	o 283
7739.36/985.35	o 282
7741.71/985.68	o 281
7744.10/985.92	o 280
7745.76/986.18	o 279
7748.08/986.42	o 278
7749.67/986.67	o 277
7752.07/986.91	o 276
7753.74/987.13	o 275
7756.04/987.45	o 274
7757.64/987.67	o 273
7760.04/987.92	o 272
7761.70/988.16	o 271
7763.21/988.38	o 270
7765.62/988.61	o 269
7767.21/988.84	o 268
7769.72/989.16	o 267
7771.18/989.39	o 266
7773.58/989.61	o 265
7775.17/989.83	o 264
7776.85/990.06	o 263
7778.35/990.29	o 262
7780.74/990.51	o 261
7782.33/990.73	o 260
7785.59/991.11	o 259
7787.11/991.32	o 258
7788.70/991.55	o 257
7790.28/991.75	o 256
7791.79/991.96	o 255
7793.45/992.18	o 254
7794.97/992.40	o 253
7797.37/992.61	o 252
7799.74/992.92	o 251
7801.41/993.13	o 250
7802.92/993.34	o 249
7804.52/993.55	o 248
7806.12/993.76	o 247
7807.73/993.96	o 246
7809.38/994.17	o 245
7810.90/994.37	o 244
7812.49/994.57	o 243
7814.09/994.77	o 242
7817.34/995.12	o 241
7818.86/995.32	o 240
7820.45/995.51	o 239
7821.25/995.70	o 238
7822.84/995.89	o 237
7824.49/996.08	o 236
7826.01/996.28	o 235
7827.61/996.47	o 234
7829.21/996.66	o 233
7830.87/996.85	o 232
7832.48/997.04	o 231
7834.78/997.39	o 230
7836.37/997.57	o 229
7837.97/997.75	o 228
7839.57/997.94	o 227
7841.23/998.11	o 226
7841.95/998.29	o 225
7843.55/998.47	o 224
7845.14/998.64	o 223
7846.72/998.82	o 222
7847.53/998.99	o 221
7849.20/999.15	o 220
7850.69/999.32	o 219
7851.50/999.50	o 218
7854.65/999.81	o 217
7855.45/999.98	o 216
7857.11/1000.15	o 215
7858.63/1000.31	o 214
7859.42/1000.48	o 213
7861.02/1000.64	o 212
7862.61/1000.81	o 211
7863.41/1000.96	o 210
7865.10/1001.13	o 209
7865.80/1001.28	o 208
7867.39/1001.45	o 207
7868.99/1001.60	o 206
7869.80/1001.76	o 205
7871.46/1001.91	o 204
7872.25/1002.07	o 203
7873.77/1002.22	o 202
7875.37/1002.46	o 201
7876.94/1002.61	o 200
7877.74/1002.77	o 199
7879.34/1002.91	o 198
7880.20/1003.06	o 197
7881.74/1003.21	o 196
7882.55/1003.37	o 195
7884.12/1003.52	o 194
7884.91/1003.67	o 193
7886.51/1003.82	o 192
7887.31/1003.96	o 191
7888.19/1004.11	o 190
7889.70/1004.25	o 189
7891.30/1004.40	o 188
7892.11/1004.54	o 187
7892.93/1004.69	o 186
7894.54/1004.83	o 185
7895.29/1004.98	o 184
7896.95/1005.11	o 183
7897.67/1005.25	o 182
7898.47/1005.39	o 181
7900.07/1005.52	o 180
7900.87/1005.66	o 179
7902.46/1005.80	o 178
7904.10/1006.02	o 177
7904.94/1006.15	o 176
7905.62/1006.29	o 175
7907.21/1006.43	o 174
7908.01/1006.55	o 173
7908.81/1006.68	o 172
7910.41/1006.81	o 171
7911.21/1006.94	o 170
7912.07/1007.06	o 169
7912.87/1007.20	o 168
7914.39/1007.33	o 167
7915.19/1007.45	o 166
7915.98/1007.58	o 165
7916.85/1007.69	o 164
7918.38/1007.83	o 163
7919.18/1007.94	o 162
7920.04/1008.07	o 161
7920.84/1008.19	o 160
7922.37/1008.32	o 159
7923.17/1008.44	o 158
7923.97/1008.56	o 157
7924.76/1008.67	o 156
7926.36/1008.80	o 155
7927.16/1008.92	o 154
7928.05/1009.05	o 153
7928.83/1009.17	o 152
7929.60/1009.29	o 151
7931.19/1009.42	o 150
7931.98/1009.53	o 149
7932.74/1009.64	o 148
7933.58/1009.77	o 147
7934.37/1009.90	o 146
7935.99/1010.01	o 145
7936.79/1010.13	o 144
7937.51/1010.25	o 143
7938.31/1010.38	o 142
7939.90/1010.50	o 141
7940.70/1010.60	o 140
7941.50/1010.73	o 139
7942.30/1010.84	o 138
7943.10/1010.96	o 137
7943.96/1011.08	o 136
7945.48/1011.20	o 135
7946.28/1011.32	o 134
7947.07/1011.43	o 133
7947.87/1011.55	o 132
7948.67/1011.67	o 131
7949.47/1011.78	o 130
7950.30/1011.89	o 129
7951.14/1012.01	o 128
7952.76/1012.12	o 127
7953.49/1012.22	o 126
7954.30/1012.33	o 125
7955.10/1012.44	o 124
7955.85/1012.54	o 123
7956.68/1012.66	o 122
7957.44/1012.77	o 121
7958.24/1012.88	o 120
7959.04/1012.98	o 119
7959.90/1013.08	o 118
7960.76/1013.20	o 117
7961.42/1013.29	o 116
7963.01/1013.40	o 115
7963.81/1013.51	o 114
7964.68/1013.61	o 113
7965.41/1013.72	o 112
7966.21/1013.82	o 111
7967.01/1013.92	o 110
7967.87/1014.03	o 109
7968.67/1014.13	o 108
7969.39/1014.23	o 107
7970.96/1014.41	o 106
7971.75/1014.51	o 105
7972.55/1014.61	o 104
7973.35/1014.71	o 103
7974.15/1014.81	o 102
7974.94/1014.91	o 101
7974.94/1015.01	o 100
7975.81/1015.10	o 99
7977.33/1015.21	o 98
7978.12/1015.30	o 97
7978.92/1015.40	o 96
7979.72/1015.50	o 95
7980.52/1015.60	o 94
7981.32/1015.70	o 93
7982.12/1015.80	o 92
7982.91/1015.90	o 91
7982.91/1015.99	o 90
7983.84/1016.08	o 89
7984.58/1016.18	o 88
7985.29/1016.28	o 87
7986.10/1016.38	o 86
7986.89/1016.47	o 85
7987.69/1016.55	o 84
7988.49/1016.63	o 83
7989.28/1016.72	o 82
7990.08/1016.81	o 81
7990.88/1016.91	o 80
7990.88/1017.00	o 79
7991.74/1017.10	o 78
7992.62/1017.19	o 77
7993.27/1017.28	o 76
7994.07/1017.37	o 75
7994.87/1017.47	o 74
7995.65/1017.56	o 73
7996.44/1017.66	o 72
7997.23/1017.74	o 71
7998.03/1017.83	o 70
7998.85/1017.93	o 69
7999.73/1018.02	o 68
8000.51/1018.11	o 67
8001.22/1018.20	o 66
8001.22/1018.30	o 65
8002.09/1018.39	o 64
8002.81/1018.48	o 63
8003.68/1018.57	o 62
8004.41/1018.67	o 61
8005.21/1018.75	o 60
8006.01/1018.85	o 59
8006.80/1018.94	o 58
8007.67/1019.04	o 57
8008.47/1019.13	o 56
8009.19/1019.23	o 55
8009.99/1019.31	o 54
8010.78/1019.40	o 53
8010.78/1019.49	o 52
8011.60/1019.58	o 51
8012.38/1019.68	o 50
8013.18/1019.77	o 49
8013.97/1019.86	o 48
8014.77/1019.95	o 47
8015.63/1020.03	o 46
8016.45/1020.13	o 45
8017.17/1020.22	o 44
8017.96/1020.31	o 43
8018.76/1020.41	o 42
8018.76/1020.49	o 41
8019.56/1020.58	o 40
8020.36/1020.68	o 39
8021.16/1020.76	o 38
8021.96/1020.85	o 37
8022.75/1020.93	o 36
8023.62/1021.01	o 35
8023.62/1021.10	o 34
8024.43/1021.18	o 33
8025.16/1021.27	o 32
8025.94/1021.35	o 31
8026.73/1021.44	o 30
8027.53/1021.53	o 29
8028.33/1021.61	o 28
8028.33/1021.69	o 27
8029.21/1021.77	o 26
8029.98/1021.86	o 25
8030.72/1021.93	o 24
8031.59/1022.02	o 23
8031.59/1022.10	o 22
8032.42/1022.18	o 21
8033.15/1022.26	o 20
8033.90/1022.33	o 19
8034.70/1022.41	o 18
8034.70/1022.49	o 17
8035.53/1022.57	o 16
8036.35/1022.64	o 15
8037.10/1022.72	o 14
8037.10/1022.80	o 13
8037.90/1022.87	o 12
8038.75/1022.94	o 11
8038.75/1023.00	o 10
8041.05/1023.29	o 9
8042.65/1023.46	o 8
8043.44/1023.56	o 7
8045.01/1023.78	o 6
17030.91/2520.02	s SATISFIABLE
17030.91/2520.02	v <instantiation>
17030.91/2520.02	v 	<list>
17030.91/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]
17030.91/2520.02	v 	</list>
17030.91/2520.02	v 	<values>
17030.91/2520.02	v 		6 4 6 5 0 4 6 6 0 4 6 5 0 5 3 5 0 5 3 3 3 4 3 5 6 4 6 5 6 6 6 6 6 6 6 6 6 3 3 3 3 3 3 3 3 3 3 3 4 6 3 0 2 4 6 2 4 4 6 6 2 4 6 2 2 4 2 2 4 4 2 4 2 4 2 2 4 4 2 2 4 4 4 4 2 4 2 5 6 5 5 5 2 5 5 5 5 2 5 5 2 2 2 2 6 4 6 6 5 4 6 6 1 4 6 3 6 5 6 6 3 5 6 6 3 1 6 5 6 4 6 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 1 6 6 1 3 4 2 2 4 4 2 4 2 4 2 2 3 4 3 3 4 4 2 4 2 4 2 3 4 4 4 4 4 4 4 4 4 4 4 4 3 3 3 3 3 3 3 3 3 3 3 3 3 2 3 3 0 3 2 6 3 5 3 3 1 5 6 6 1 4 6 5 3 5 5 1 1 1 1 1 1 1 1 1 6 1 6 5 6 6 6 6 6 6 6 6 3 5 5 5 3 3 1 1 1 1 1 1 1 1 1 1 2 5 2 2 2 5 2 4 2 4 2 5 2 5 5 2 2 5 2 2 2 2 2 5 2 5 2 5 2 5 2 2 2 2 2 5 2 5 5 5 2 5 5 5 5 2 5 5 5 2 2 5 5 5 5 1 5 5 6 6 5 5 6 5 5 5 5 6 3 3 6 6 3 3 6 3 6 1 6 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 4 5 6 4 3 5 3 2 5 5 2 4 2 4 2 5 3 5 5 3 2 5 5 2 5 2 2 5 4 5 4 5 5 5 4 4 4 4 4 5 3 5 5 5 4 5 5 5 5 4 5 5 5 4 2 5 5 1 2 6 6 6 6 0 0 4 4 4 3 4 3 3 6 5 3 0 0 4 4 4 3 4 3 3 6 6 6 5 3 3 6 4 3 3 0 3 4 4 4 4 4 4 4 4 4 4 4 4 6 0 4 0 4 6 0 6 5 4 4 4 0 4 0 0 6 4 3 0 4 4 4 4 3 4 3 3 4 0 4 0 3 3 5 5 5 0 5 5 3 5 3 5 3 5 5 5 5 3 5 5 0 0 3 0 6 6 6 1 6 6 6 4 6 6 3 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 1 6 6 6 3 6 6 3 6 6 6 6 6 6 6 6 6 6 6 6 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 3 3 3 3 3 3 3 3 3 3 3 3 3 1 3 3 0 3 0 0 2 5 2 2 5 5 6 6 6 5 6 6 4 5 5 2 2 2 6 6 2 2 6 2 6 5 6 5 6 6 6 6 6 6 6 6 4 5 5 5 2 2 4 4 2 2 4 2 6 2 2 2 4 5 2 5 5 5 5 5 5 5 5 5 2 5 5 5 6 5 5 5 5 2 5 5 2 5 2 5 5 5 5 5 5 5 5 5 4 5 5 5 2 5 5 5 5 4 5 5 5 2 2 5 5 5 5 2 5 6 6 6 6 5 6 6 5 6 5 6 2 6 6 6 6 2 6 6 6 5 6 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 5 6 6 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 6 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 6 2 5 6 3 0 2 1 
17030.91/2520.02	v 	</values>
17030.91/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 (14422 MiB free)
  memory of node 1: 16384 MiB (13600 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308738-1534360085/watcher-4308738-1534360085 -o /tmp/evaluation-result-4308738-1534360085/solver-4308738-1534360085 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534353957-29558 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1751993585 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308738-1534360085.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
Current StackSize limit: 8192 KiB

solver pid=30404, runsolver pid=30401

[startup+0.100061 s]*
/proc/loadavg: 8.36 8.59 8.66 4/198 30424
/proc/meminfo: memFree=28679600/32770624 swapFree=67108796/67108860
[pid=30404] ppid=30401 vsize=26103420 memory=30604 CPUtime=0.11 cores=0-7
/proc/30404/stat : 30404 (java) S 30401 30404 29531 0 -1 1077944320 7089 0 0 0 10 1 0 0 20 0 20 0 253571673 26729902080 7651 33554432000 4194304 4196468 140728453611184 140728453593728 139994379214583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
/proc/30404/statm: 6525855 7651 3141 1 0 6487932 0
[pid=30404/tid=30406] ppid=30401 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30404/task/30406/stat : 30406 (java) R 30401 30404 29531 0 -1 4202560 5173 0 0 0 8 1 0 0 20 0 20 0 253571673 26729902080 7651 33554432000 4194304 4196468 140728453611184 139994383440272 139994359490290 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30407] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30407/stat : 30407 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 7651 33554432000 4194304 4196468 140728453611184 139994331835024 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30408] ppid=30401 vsize=26103420 memory=139929698911872 CPUtime=0 cores=0-7
/proc/30404/task/30408/stat : 30408 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 7651 33554432000 4194304 4196468 140728453611184 139994330782224 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30409] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30409/stat : 30409 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 7651 33554432000 4194304 4196468 140728453611184 139994329729424 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30410] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30410/stat : 30410 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 7651 33554432000 4194304 4196468 140728453611184 139994328676624 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30411] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30411/stat : 30411 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 7651 33554432000 4194304 4196468 140728453611184 139994327624848 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30412] ppid=30401 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/30404/task/30412/stat : 30412 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 7717 33554432000 4194304 4196468 140728453611184 139994326572048 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30413] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30413/stat : 30413 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 7717 33554432000 4194304 4196468 140728453611184 139993930922896 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30414] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30414/stat : 30414 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 7717 33554432000 4194304 4196468 140728453611184 139993929870096 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30415] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30415/stat : 30415 (java) S 30401 30404 29531 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 253571675 26729902080 7717 33554432000 4194304 4196468 140728453611184 139993572907376 139994379225730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30416] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30416/stat : 30416 (java) S 30401 30404 29531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253571676 26729902080 7717 33554432000 4194304 4196468 140728453611184 139993571853344 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30417] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30417/stat : 30417 (java) S 30401 30404 29531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253571676 26729902080 7717 33554432000 4194304 4196468 140728453611184 139993570800496 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30418] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30418/stat : 30418 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571678 26729902080 7717 33554432000 4194304 4196468 140728453611184 139993569748816 139994379233179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30419] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30419/stat : 30419 (java) S 30401 30404 29531 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 253571678 26729902080 7717 33554432000 4194304 4196468 140728453611184 139993568697200 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30420] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30420/stat : 30420 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571678 26729902080 7717 33554432000 4194304 4196468 140728453611184 139993567644400 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30421] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30421/stat : 30421 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571679 26729902080 7717 33554432000 4194304 4196468 140728453611184 139993566591600 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30422] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30422/stat : 30422 (java) S 30401 30404 29531 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 20 0 253571679 26729902080 7717 33554432000 4194304 4196468 140728453611184 139993565538800 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30423] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30423/stat : 30423 (java) S 30401 30404 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253571679 26729902080 7783 33554432000 4194304 4196468 140728453611184 139993564486240 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30424] ppid=30401 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/30404/task/30424/stat : 30424 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571679 26729902080 7783 33554432000 4194304 4196468 140728453611184 139993563433520 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 30604 KiB

[startup+0.210149 s]*
/proc/loadavg: 8.36 8.59 8.66 3/198 30424
/proc/meminfo: memFree=28666268/32770624 swapFree=67108796/67108860
[pid=30404] ppid=30401 vsize=26103420 memory=43256 CPUtime=0.29 cores=0-7
/proc/30404/stat : 30404 (java) S 30401 30404 29531 0 -1 1077944320 10421 0 0 0 27 2 0 0 20 0 20 0 253571673 26729902080 10814 33554432000 4194304 4196468 140728453611184 140728453593728 139994379214583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
/proc/30404/statm: 6525855 10814 3363 1 0 6487932 0
[pid=30404/tid=30406] ppid=30401 vsize=26103420 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/30404/task/30406/stat : 30406 (java) R 30401 30404 29531 0 -1 4202560 8179 0 0 0 18 1 0 0 20 0 20 0 253571673 26729902080 10814 33554432000 4194304 4196468 140728453611184 139994383432160 139994379236509 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30407] ppid=30401 vsize=26103420 memory=9298 CPUtime=0 cores=0-7
/proc/30404/task/30407/stat : 30407 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 10814 33554432000 4194304 4196468 140728453611184 139994331835024 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30408] ppid=30401 vsize=26103420 memory=139929698938132 CPUtime=0 cores=0-7
/proc/30404/task/30408/stat : 30408 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 10814 33554432000 4194304 4196468 140728453611184 139994330782224 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30409] ppid=30401 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/30404/task/30409/stat : 30409 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 10814 33554432000 4194304 4196468 140728453611184 139994329729424 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30410] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30410/stat : 30410 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 10814 33554432000 4194304 4196468 140728453611184 139994328676624 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30411] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30411/stat : 30411 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 10814 33554432000 4194304 4196468 140728453611184 139994327624848 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30412] ppid=30401 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/30404/task/30412/stat : 30412 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 10814 33554432000 4194304 4196468 140728453611184 139994326572048 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30413] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30413/stat : 30413 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 10814 33554432000 4194304 4196468 140728453611184 139993930922896 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30414] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30414/stat : 30414 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 10814 33554432000 4194304 4196468 140728453611184 139993929870096 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30415] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30415/stat : 30415 (java) S 30401 30404 29531 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 253571675 26729902080 10814 33554432000 4194304 4196468 140728453611184 139993572907376 139994379225730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30416] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30416/stat : 30416 (java) S 30401 30404 29531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253571676 26729902080 10814 33554432000 4194304 4196468 140728453611184 139993571853344 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30417] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30417/stat : 30417 (java) S 30401 30404 29531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253571676 26729902080 10814 33554432000 4194304 4196468 140728453611184 139993570800496 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30418] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30418/stat : 30418 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571678 26729902080 10814 33554432000 4194304 4196468 140728453611184 139993569748816 139994379233179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30419] ppid=30401 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/30404/task/30419/stat : 30419 (java) S 30401 30404 29531 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 20 0 253571678 26729902080 10814 33554432000 4194304 4196468 140728453611184 139993568697200 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30420] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30420/stat : 30420 (java) S 30401 30404 29531 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 253571678 26729902080 10814 33554432000 4194304 4196468 140728453611184 139993567644400 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30421] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30421/stat : 30421 (java) S 30401 30404 29531 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 253571679 26729902080 10814 33554432000 4194304 4196468 140728453611184 139993566591600 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30422] ppid=30401 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/30404/task/30422/stat : 30422 (java) R 30401 30404 29531 0 -1 4202560 297 0 0 0 6 0 0 0 20 0 20 0 253571679 26729902080 10814 33554432000 4194304 4196468 140728453611184 139993565533872 139994358175896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30423] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30423/stat : 30423 (java) S 30401 30404 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253571679 26729902080 10814 33554432000 4194304 4196468 140728453611184 139993564486240 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30424] ppid=30401 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/30404/task/30424/stat : 30424 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571679 26729902080 10814 33554432000 4194304 4196468 140728453611184 139993563433520 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43256 KiB

[startup+0.310366 s]*
/proc/loadavg: 8.36 8.59 8.66 2/198 30424
/proc/meminfo: memFree=28662608/32770624 swapFree=67108796/67108860
[pid=30404] ppid=30401 vsize=26103420 memory=46788 CPUtime=0.43 cores=0-7
/proc/30404/stat : 30404 (java) S 30401 30404 29531 0 -1 1077944320 10882 0 0 0 40 3 0 0 20 0 20 0 253571673 26729902080 11697 33554432000 4194304 4196468 140728453611184 140728453593728 139994379214583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
/proc/30404/statm: 6525855 11697 3397 1 0 6487932 0
[pid=30404/tid=30406] ppid=30401 vsize=26103420 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/30404/task/30406/stat : 30406 (java) R 30401 30404 29531 0 -1 4202560 8533 0 0 0 28 2 0 0 20 0 20 0 253571673 26729902080 11697 33554432000 4194304 4196468 140728453611184 139994383376320 139994363295070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30407] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30407/stat : 30407 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 11697 33554432000 4194304 4196468 140728453611184 139994331835024 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30408] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30408/stat : 30408 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 11697 33554432000 4194304 4196468 140728453611184 139994330782224 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30409] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30409/stat : 30409 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 11697 33554432000 4194304 4196468 140728453611184 139994329729424 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30410] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30410/stat : 30410 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 11697 33554432000 4194304 4196468 140728453611184 139994328676624 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30411] ppid=30401 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/30404/task/30411/stat : 30411 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 11697 33554432000 4194304 4196468 140728453611184 139994327624848 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30412] ppid=30401 vsize=26103420 memory=139929564836783 CPUtime=0 cores=0-7
/proc/30404/task/30412/stat : 30412 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 11697 33554432000 4194304 4196468 140728453611184 139994326572048 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30413] ppid=30401 vsize=26103420 memory=139929564839088 CPUtime=0 cores=0-7
/proc/30404/task/30413/stat : 30413 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 11697 33554432000 4194304 4196468 140728453611184 139993930922896 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30414] ppid=30401 vsize=26103420 memory=139929564841392 CPUtime=0 cores=0-7
/proc/30404/task/30414/stat : 30414 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26729902080 11697 33554432000 4194304 4196468 140728453611184 139993929870096 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30415] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30415/stat : 30415 (java) S 30401 30404 29531 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 253571675 26729902080 11697 33554432000 4194304 4196468 140728453611184 139993572907376 139994379225730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30416] ppid=30401 vsize=26103420 memory=279859129689744 CPUtime=0 cores=0-7
/proc/30404/task/30416/stat : 30416 (java) S 30401 30404 29531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253571676 26729902080 11697 33554432000 4194304 4196468 140728453611184 139993571853344 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30417] ppid=30401 vsize=26103420 memory=279859129696656 CPUtime=0 cores=0-7
/proc/30404/task/30417/stat : 30417 (java) S 30401 30404 29531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253571676 26729902080 11697 33554432000 4194304 4196468 140728453611184 139993570800496 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30418] ppid=30401 vsize=26103420 memory=279859129637936 CPUtime=0 cores=0-7
/proc/30404/task/30418/stat : 30418 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571678 26729902080 11697 33554432000 4194304 4196468 140728453611184 139993569748816 139994379233179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30419] ppid=30401 vsize=26103420 memory=279859129710480 CPUtime=0.01 cores=0-7
/proc/30404/task/30419/stat : 30419 (java) S 30401 30404 29531 0 -1 1077944384 409 0 0 0 1 0 0 0 20 0 20 0 253571678 26729902080 11697 33554432000 4194304 4196468 140728453611184 139993568697200 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30420] ppid=30401 vsize=26103420 memory=279859129717392 CPUtime=0 cores=0-7
/proc/30404/task/30420/stat : 30420 (java) S 30401 30404 29531 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 253571678 26729902080 11697 33554432000 4194304 4196468 140728453611184 139993567644400 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30421] ppid=30401 vsize=26103420 memory=279859129715088 CPUtime=0.01 cores=0-7
/proc/30404/task/30421/stat : 30421 (java) S 30401 30404 29531 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 253571679 26729902080 11697 33554432000 4194304 4196468 140728453611184 139993566591600 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30422] ppid=30401 vsize=26103420 memory=279859129731696 CPUtime=0.07 cores=0-7
/proc/30404/task/30422/stat : 30422 (java) S 30401 30404 29531 0 -1 1077944384 314 0 0 0 7 0 0 0 20 0 20 0 253571679 26729902080 11697 33554432000 4194304 4196468 140728453611184 139993565538800 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30423] ppid=30401 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30423/stat : 30423 (java) S 30401 30404 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253571679 26729902080 11697 33554432000 4194304 4196468 140728453611184 139993564486240 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30424] ppid=30401 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/30404/task/30424/stat : 30424 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571679 26729902080 11697 33554432000 4194304 4196468 140728453611184 139993563433520 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46788 KiB

[startup+0.700918 s]
/proc/loadavg: 7.85 8.48 8.62 2/198 30424
/proc/meminfo: memFree=28638672/32770624 swapFree=67108796/67108860
[pid=30404] ppid=30401 vsize=26105488 memory=87980 CPUtime=0.99 cores=0-7
/proc/30404/stat : 30404 (java) S 30401 30404 29531 0 -1 1077944320 17884 0 0 0 93 6 0 0 20 0 20 0 253571673 26732019712 21995 33554432000 4194304 4196468 140728453611184 140728453593728 139994379214583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
/proc/30404/statm: 6526372 21995 3491 1 0 6488444 0
[pid=30404/tid=30406] ppid=30401 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/30404/task/30406/stat : 30406 (java) R 30401 30404 29531 0 -1 4202560 15024 0 0 0 63 4 0 0 20 0 20 0 253571673 26732019712 21995 33554432000 4194304 4196468 140728453611184 139994383437904 139994363295100 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30407] ppid=30401 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30407/stat : 30407 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26732019712 21995 33554432000 4194304 4196468 140728453611184 139994331835024 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30408] ppid=30401 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30408/stat : 30408 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26732019712 21995 33554432000 4194304 4196468 140728453611184 139994330782224 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30409] ppid=30401 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/30404/task/30409/stat : 30409 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26732019712 21995 33554432000 4194304 4196468 140728453611184 139994329729424 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30410] ppid=30401 vsize=26105488 memory=1244 CPUtime=0 cores=0-7
/proc/30404/task/30410/stat : 30410 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26732019712 21995 33554432000 4194304 4196468 140728453611184 139994328676624 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30411] ppid=30401 vsize=26105488 memory=1036 CPUtime=0 cores=0-7
/proc/30404/task/30411/stat : 30411 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26732019712 21995 33554432000 4194304 4196468 140728453611184 139994327624848 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30412] ppid=30401 vsize=26105488 memory=1776 CPUtime=0 cores=0-7
/proc/30404/task/30412/stat : 30412 (java) S 30401 30404 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253571674 26732019712 21995 33554432000 4194304 4196468 140728453611184 139994326572048 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30413] ppid=30401 vsize=26105488 memory=5724 CPUtime=0 cores=0-7
/proc/30404/task/30413/stat : 30413 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26732019712 21995 33554432000 4194304 4196468 140728453611184 139993930922896 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30414] ppid=30401 vsize=26105488 memory=14768 CPUtime=0 cores=0-7
/proc/30404/task/30414/stat : 30414 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253571674 26732019712 21995 33554432000 4194304 4196468 140728453611184 139993929870096 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30415] ppid=30401 vsize=26105488 memory=42804 CPUtime=0 cores=0-7
/proc/30404/task/30415/stat : 30415 (java) S 30401 30404 29531 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 253571675 26732019712 21995 33554432000 4194304 4196468 140728453611184 139993572907376 139994379225730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0

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

/proc/30404/task/30417/stat : 30417 (java) S 30401 30404 29531 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 41 0 253571676 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993570800512 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30418] ppid=30401 vsize=27517704 memory=42828 CPUtime=0 cores=0-7
/proc/30404/task/30418/stat : 30418 (java) S 30401 30404 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 253571678 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993569748816 139994379233179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30419] ppid=30401 vsize=27517704 memory=15108 CPUtime=3.66 cores=0-7
/proc/30404/task/30419/stat : 30419 (java) S 30401 30404 29531 0 -1 1077944384 29220 0 0 0 357 9 0 0 20 0 41 0 253571678 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993568697200 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30420] ppid=30401 vsize=27517704 memory=3152 CPUtime=3.96 cores=0-7
/proc/30404/task/30420/stat : 30420 (java) S 30401 30404 29531 0 -1 1077944384 35045 0 0 0 387 9 0 0 20 0 41 0 253571678 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993567644400 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30421] ppid=30401 vsize=27517704 memory=496 CPUtime=3.98 cores=0-7
/proc/30404/task/30421/stat : 30421 (java) S 30401 30404 29531 0 -1 1077944384 23567 0 0 0 394 4 0 0 20 0 41 0 253571679 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993566591600 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30422] ppid=30401 vsize=27517704 memory=1600 CPUtime=1.92 cores=0-7
/proc/30404/task/30422/stat : 30422 (java) S 30401 30404 29531 0 -1 1077944384 93317 0 0 0 174 18 0 0 20 0 41 0 253571679 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993565538800 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30423] ppid=30401 vsize=27517704 memory=932 CPUtime=0 cores=0-7
/proc/30404/task/30423/stat : 30423 (java) S 30401 30404 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 253571679 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993564486240 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30424] ppid=30401 vsize=27517704 memory=290763849282617370 CPUtime=1.77 cores=0-7
/proc/30404/task/30424/stat : 30424 (java) S 30401 30404 29531 0 -1 1077944384 5367 0 0 0 71 106 0 0 20 0 41 0 253571679 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993563433520 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30425] ppid=30401 vsize=27517704 memory=288230596050944315 CPUtime=0.22 cores=0-7
/proc/30404/task/30425/stat : 30425 (java) S 30401 30404 29531 0 -1 1077944384 8537 0 0 0 17 5 0 0 20 0 41 0 253572982 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993552089680 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30426] ppid=30401 vsize=27517704 memory=13566015871133490 CPUtime=9.72 cores=0-7
/proc/30404/task/30426/stat : 30426 (java) S 30401 30404 29531 0 -1 1077944384 12850 0 0 0 393 579 0 0 20 0 41 0 253572998 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993548940064 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30427] ppid=30401 vsize=27517704 memory=1600 CPUtime=307.2 cores=0-7
/proc/30404/task/30427/stat : 30427 (java) S 30401 30404 29531 0 -1 1077944384 44559 0 0 0 30591 129 0 0 20 0 41 0 253573029 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993545791248 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30428] ppid=30401 vsize=27517704 memory=932 CPUtime=649.56 cores=0-7
/proc/30404/task/30428/stat : 30428 (java) S 30401 30404 29531 0 -1 1077944384 77513 0 0 0 64579 377 0 0 20 0 41 0 253573030 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993544738448 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30429] ppid=30401 vsize=27517704 memory=1168 CPUtime=126.69 cores=0-7
/proc/30404/task/30429/stat : 30429 (java) S 30401 30404 29531 0 -1 1077944384 19097 0 0 0 12619 50 0 0 20 0 41 0 253573030 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993543685648 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30430] ppid=30401 vsize=27517704 memory=3860 CPUtime=2232.32 cores=0-7
/proc/30404/task/30430/stat : 30430 (java) R 30401 30404 29531 0 -1 4202560 173862 0 0 0 222725 507 0 0 20 0 41 0 253573037 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993540527392 139994017445489 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30431] ppid=30401 vsize=27517704 memory=2180 CPUtime=534.86 cores=0-7
/proc/30404/task/30431/stat : 30431 (java) S 30401 30404 29531 0 -1 1077944384 202449 0 0 0 53157 329 0 0 20 0 41 0 253573038 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993539482896 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30432] ppid=30401 vsize=27517704 memory=9682904 CPUtime=410.04 cores=0-7
/proc/30404/task/30432/stat : 30432 (java) S 30401 30404 29531 0 -1 1077944384 53087 0 0 0 40825 179 0 0 20 0 41 0 253573038 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993538430096 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30433] ppid=30401 vsize=27517704 memory=4126316290023845779 CPUtime=1895.29 cores=0-7
/proc/30404/task/30433/stat : 30433 (java) R 30401 30404 29531 0 -1 4202560 102854 0 0 0 189171 358 0 0 20 0 41 0 253573038 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993537368888 139994017332322 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30434] ppid=30401 vsize=27517704 memory=2056 CPUtime=695.23 cores=0-7
/proc/30404/task/30434/stat : 30434 (java) S 30401 30404 29531 0 -1 1077944384 85133 0 0 0 69119 404 0 0 20 0 41 0 253573038 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993536324496 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30435] ppid=30401 vsize=27517704 memory=932 CPUtime=1891.57 cores=0-7
/proc/30404/task/30435/stat : 30435 (java) R 30401 30404 29531 0 -1 4202560 154387 0 0 0 188800 357 0 0 20 0 41 0 253573038 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993535267328 139994016900917 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30436] ppid=30401 vsize=27517704 memory=1728 CPUtime=282.31 cores=0-7
/proc/30404/task/30436/stat : 30436 (java) S 30401 30404 29531 0 -1 1077944384 43065 0 0 0 28035 196 0 0 20 0 41 0 253573038 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993534219920 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30437] ppid=30401 vsize=27517704 memory=8628 CPUtime=483.54 cores=0-7
/proc/30404/task/30437/stat : 30437 (java) S 30401 30404 29531 0 -1 1077944384 66354 0 0 0 48139 215 0 0 20 0 41 0 253573038 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993533167120 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30438] ppid=30401 vsize=27517704 memory=4296 CPUtime=1861.05 cores=0-7
/proc/30404/task/30438/stat : 30438 (java) R 30401 30404 29531 0 -1 4202560 115695 0 0 0 185733 372 0 0 20 0 41 0 253573441 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993532106312 139994016901119 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30439] ppid=30401 vsize=27517704 memory=9682904 CPUtime=1530.75 cores=0-7
/proc/30404/task/30439/stat : 30439 (java) R 30401 30404 29531 0 -1 4202560 62534 0 0 0 152891 184 0 0 20 0 41 0 253573441 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993531053112 139994017326479 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30440] ppid=30401 vsize=27517704 memory=3140 CPUtime=496.55 cores=0-7
/proc/30404/task/30440/stat : 30440 (java) S 30401 30404 29531 0 -1 1077944384 95341 0 0 0 49395 260 0 0 20 0 41 0 253573441 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993530008720 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30441] ppid=30401 vsize=27517704 memory=1244 CPUtime=177.2 cores=0-7
/proc/30404/task/30441/stat : 30441 (java) S 30401 30404 29531 0 -1 1077944384 21931 0 0 0 17636 84 0 0 20 0 41 0 253573441 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993528955920 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30442] ppid=30401 vsize=27517704 memory=1036 CPUtime=242.13 cores=0-7
/proc/30404/task/30442/stat : 30442 (java) S 30401 30404 29531 0 -1 1077944384 41847 0 0 0 24108 105 0 0 20 0 41 0 253573914 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993525769104 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30443] ppid=30401 vsize=27517704 memory=1776 CPUtime=1916.92 cores=0-7
/proc/30404/task/30443/stat : 30443 (java) R 30401 30404 29531 0 -1 4202560 119863 0 0 0 191414 278 0 0 20 0 41 0 253573914 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993524709320 139994013341676 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30444] ppid=30401 vsize=27517704 memory=5724 CPUtime=383.05 cores=0-7
/proc/30404/task/30444/stat : 30444 (java) S 30401 30404 29531 0 -1 1077944384 52724 0 0 0 38102 203 0 0 20 0 41 0 253573914 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993523664528 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30445] ppid=30401 vsize=27517704 memory=14768 CPUtime=204.97 cores=0-7
/proc/30404/task/30445/stat : 30445 (java) S 30401 30404 29531 0 -1 1077944384 27915 0 0 0 20365 132 0 0 20 0 41 0 253575575 28178128896 2420726 33554432000 4194304 4196468 140728453611184 139993522611728 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
Current children cumulated CPU time: 17030.9 s
Current children cumulated vsize: 27517704 KiB
Current children cumulated memory: 9682904 KiB

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

[startup+2520.18 s]
# the end of solver process 30404 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=16967.2 s, system=64.5424 s

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

[startup+2520.12 s]
/proc/loadavg: 6.08 6.07 6.56 7/220 30487
/proc/meminfo: memFree=19006832/32770624 swapFree=67108796/67108860
[pid=30404] ppid=30401 vsize=27717396 memory=9684640 CPUtime=17031.7 cores=0-7
/proc/30404/stat : 30404 (java) S 30401 30404 29531 0 -1 1077944320 3086716 0 0 0 1696721 6448 0 0 20 0 42 0 253571673 28382613504 2421160 33554432000 4194304 4196468 140728453611184 140728453593728 139994379214583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
/proc/30404/statm: 6929349 2421160 3628 1 0 6890900 0
[pid=30404/tid=30406] ppid=30401 vsize=27717396 memory=9682904 CPUtime=13.27 cores=0-7
/proc/30404/task/30406/stat : 30406 (java) S 30401 30404 29531 0 -1 1077944384 28283 0 0 0 1307 20 0 0 20 0 42 0 253571673 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139994383453264 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30407] ppid=30401 vsize=27717396 memory=9682904 CPUtime=83.63 cores=0-7
/proc/30404/task/30407/stat : 30407 (java) S 30401 30404 29531 0 -1 1077944384 143266 0 0 0 8196 167 0 0 20 0 42 0 253571674 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139994331835024 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30408] ppid=30401 vsize=27717396 memory=9682904 CPUtime=83.61 cores=0-7
/proc/30404/task/30408/stat : 30408 (java) S 30401 30404 29531 0 -1 1077944384 155350 0 0 0 8201 160 0 0 20 0 42 0 253571674 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139994330782224 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30409] ppid=30401 vsize=27717396 memory=9682904 CPUtime=83.7 cores=0-7
/proc/30404/task/30409/stat : 30409 (java) S 30401 30404 29531 0 -1 1077944384 154783 0 0 0 8209 161 0 0 20 0 42 0 253571674 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139994329729424 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30410] ppid=30401 vsize=27717396 memory=6791534058613427641 CPUtime=83.78 cores=0-7
/proc/30404/task/30410/stat : 30410 (java) S 30401 30404 29531 0 -1 1077944384 148914 0 0 0 8212 166 0 0 20 0 42 0 253571674 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139994328676624 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30411] ppid=30401 vsize=27717396 memory=9682904 CPUtime=83.65 cores=0-7
/proc/30404/task/30411/stat : 30411 (java) S 30401 30404 29531 0 -1 1077944384 156157 0 0 0 8209 156 0 0 20 0 42 0 253571674 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139994327624848 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30412] ppid=30401 vsize=27717396 memory=366 CPUtime=83.59 cores=0-7
/proc/30404/task/30412/stat : 30412 (java) S 30401 30404 29531 0 -1 1077944384 153944 0 0 0 8193 166 0 0 20 0 42 0 253571674 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139994326572048 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30413] ppid=30401 vsize=27717396 memory=396 CPUtime=83.69 cores=0-7
/proc/30404/task/30413/stat : 30413 (java) S 30401 30404 29531 0 -1 1077944384 149608 0 0 0 8214 155 0 0 20 0 42 0 253571674 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993930922896 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30414] ppid=30401 vsize=27717396 memory=14768 CPUtime=83.67 cores=0-7
/proc/30404/task/30414/stat : 30414 (java) S 30401 30404 29531 0 -1 1077944384 156316 0 0 0 8212 155 0 0 20 0 42 0 253571674 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993929870096 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30415] ppid=30401 vsize=27717396 memory=4126316290023845779 CPUtime=1.51 cores=0-7
/proc/30404/task/30415/stat : 30415 (java) S 30401 30404 29531 0 -1 1077944384 62265 0 0 0 128 23 0 0 20 0 42 0 253571675 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993572907376 139994379225730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30416] ppid=30401 vsize=27717396 memory=9682904 CPUtime=0 cores=0-7
/proc/30404/task/30416/stat : 30416 (java) S 30401 30404 29531 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 42 0 253571676 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993571853408 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30417] ppid=30401 vsize=27717396 memory=1036 CPUtime=0 cores=0-7
/proc/30404/task/30417/stat : 30417 (java) S 30401 30404 29531 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 42 0 253571676 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993570800512 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30418] ppid=30401 vsize=27717396 memory=9682904 CPUtime=0 cores=0-7
/proc/30404/task/30418/stat : 30418 (java) S 30401 30404 29531 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 42 0 253571678 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993569748816 139994379233179 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30419] ppid=30401 vsize=27717396 memory=3632 CPUtime=3.71 cores=0-7
/proc/30404/task/30419/stat : 30419 (java) R 30401 30404 29531 0 -1 4202560 30486 0 0 0 362 9 0 0 20 0 42 0 253571678 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993568683744 139994364138930 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30420] ppid=30401 vsize=27717396 memory=3860 CPUtime=3.97 cores=0-7
/proc/30404/task/30420/stat : 30420 (java) S 30401 30404 29531 0 -1 1077944384 35546 0 0 0 388 9 0 0 20 0 42 0 253571678 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993567644400 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30421] ppid=30401 vsize=27717396 memory=2180 CPUtime=3.99 cores=0-7
/proc/30404/task/30421/stat : 30421 (java) S 30401 30404 29531 0 -1 1077944384 23815 0 0 0 395 4 0 0 20 0 42 0 253571679 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993566591600 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30422] ppid=30401 vsize=27717396 memory=0 CPUtime=1.94 cores=0-7
/proc/30404/task/30422/stat : 30422 (java) S 30401 30404 29531 0 -1 1077944384 94734 0 0 0 176 18 0 0 20 0 42 0 253571679 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993565538800 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30423] ppid=30401 vsize=27717396 memory=279859132366528 CPUtime=0 cores=0-7
/proc/30404/task/30423/stat : 30423 (java) S 30401 30404 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 253571679 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993564486240 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30424] ppid=30401 vsize=27717396 memory=9682904 CPUtime=1.77 cores=0-7
/proc/30404/task/30424/stat : 30424 (java) S 30401 30404 29531 0 -1 1077944384 5367 0 0 0 71 106 0 0 20 0 42 0 253571679 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993563433520 139994379225730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30425] ppid=30401 vsize=27717396 memory=4096 CPUtime=0.22 cores=0-7
/proc/30404/task/30425/stat : 30425 (java) S 30401 30404 29531 0 -1 1077944384 8537 0 0 0 17 5 0 0 20 0 42 0 253572982 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993552089680 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30427] ppid=30401 vsize=27717396 memory=9682904 CPUtime=307.2 cores=0-7
/proc/30404/task/30427/stat : 30427 (java) S 30401 30404 29531 0 -1 1077944384 44583 0 0 0 30591 129 0 0 20 0 42 0 253573029 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993545791248 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30428] ppid=30401 vsize=27717396 memory=3632 CPUtime=649.56 cores=0-7
/proc/30404/task/30428/stat : 30428 (java) S 30401 30404 29531 0 -1 1077944384 77538 0 0 0 64579 377 0 0 20 0 42 0 253573030 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993544738448 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30429] ppid=30401 vsize=27717396 memory=68936 CPUtime=126.69 cores=0-7
/proc/30404/task/30429/stat : 30429 (java) S 30401 30404 29531 0 -1 1077944384 19121 0 0 0 12619 50 0 0 20 0 42 0 253573030 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993543685648 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30430] ppid=30401 vsize=27717396 memory=56 CPUtime=2232.42 cores=0-7
/proc/30404/task/30430/stat : 30430 (java) R 30401 30404 29531 0 -1 4202560 173866 0 0 0 222735 507 0 0 20 0 42 0 253573037 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993540527552 139994017326425 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30431] ppid=30401 vsize=27717396 memory=288230596050944315 CPUtime=534.86 cores=0-7
/proc/30404/task/30431/stat : 30431 (java) S 30401 30404 29531 0 -1 1077944384 202511 0 0 0 53157 329 0 0 20 0 42 0 253573038 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993539482896 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30432] ppid=30401 vsize=27717396 memory=13566015871133490 CPUtime=410.04 cores=0-7
/proc/30404/task/30432/stat : 30432 (java) S 30401 30404 29531 0 -1 1077944384 53110 0 0 0 40825 179 0 0 20 0 42 0 253573038 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993538430096 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30433] ppid=30401 vsize=27717396 memory=9682904 CPUtime=1895.39 cores=0-7
/proc/30404/task/30433/stat : 30433 (java) R 30401 30404 29531 0 -1 4202560 102857 0 0 0 189181 358 0 0 20 0 42 0 253573038 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993537369152 139994017331259 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30434] ppid=30401 vsize=27717396 memory=9682904 CPUtime=695.23 cores=0-7
/proc/30404/task/30434/stat : 30434 (java) S 30401 30404 29531 0 -1 1077944384 85187 0 0 0 69119 404 0 0 20 0 42 0 253573038 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993536324496 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30435] ppid=30401 vsize=27717396 memory=9682904 CPUtime=1891.67 cores=0-7
/proc/30404/task/30435/stat : 30435 (java) R 30401 30404 29531 0 -1 4202560 154390 0 0 0 188810 357 0 0 20 0 42 0 253573038 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993535264176 139994013341715 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30436] ppid=30401 vsize=27717396 memory=0 CPUtime=282.31 cores=0-7
/proc/30404/task/30436/stat : 30436 (java) S 30401 30404 29531 0 -1 1077944384 43089 0 0 0 28035 196 0 0 20 0 42 0 253573038 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993534219920 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30437] ppid=30401 vsize=27717396 memory=-7521736447810188379 CPUtime=483.54 cores=0-7
/proc/30404/task/30437/stat : 30437 (java) S 30401 30404 29531 0 -1 1077944384 66468 0 0 0 48139 215 0 0 20 0 42 0 253573038 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993533167120 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30438] ppid=30401 vsize=27717396 memory=8328453600958622283 CPUtime=1861.15 cores=0-7
/proc/30404/task/30438/stat : 30438 (java) R 30401 30404 29531 0 -1 4202560 115699 0 0 0 185743 372 0 0 20 0 42 0 253573441 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993532106176 139994013341715 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30439] ppid=30401 vsize=27717396 memory=1408 CPUtime=1530.85 cores=0-7
/proc/30404/task/30439/stat : 30439 (java) R 30401 30404 29531 0 -1 4202560 62539 0 0 0 152901 184 0 0 20 0 42 0 253573441 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993531052976 139994017331146 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30440] ppid=30401 vsize=27717396 memory=4296 CPUtime=496.55 cores=0-7
/proc/30404/task/30440/stat : 30440 (java) S 30401 30404 29531 0 -1 1077944384 95365 0 0 0 49395 260 0 0 20 0 42 0 253573441 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993530008720 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30441] ppid=30401 vsize=27717396 memory=9682904 CPUtime=177.22 cores=0-7
/proc/30404/task/30441/stat : 30441 (java) S 30401 30404 29531 0 -1 1077944384 22619 0 0 0 17638 84 0 0 20 0 42 0 253573441 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993528955920 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30442] ppid=30401 vsize=27717396 memory=3632 CPUtime=242.13 cores=0-7
/proc/30404/task/30442/stat : 30442 (java) S 30401 30404 29531 0 -1 1077944384 41870 0 0 0 24108 105 0 0 20 0 42 0 253573914 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993525769104 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30443] ppid=30401 vsize=27717396 memory=68936 CPUtime=1917.02 cores=0-7
/proc/30404/task/30443/stat : 30443 (java) R 30401 30404 29531 0 -1 4202560 119867 0 0 0 191424 278 0 0 20 0 42 0 253573914 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993524709184 139994017331141 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30444] ppid=30401 vsize=27717396 memory=9682904 CPUtime=383.06 cores=0-7
/proc/30404/task/30444/stat : 30444 (java) S 30401 30404 29531 0 -1 1077944384 53436 0 0 0 38103 203 0 0 20 0 42 0 253573914 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993523664528 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
[pid=30404/tid=30445] ppid=30401 vsize=27717396 memory=932 CPUtime=204.99 cores=0-7
/proc/30404/task/30445/stat : 30445 (java) S 30401 30404 29531 0 -1 1077944384 28270 0 0 0 20367 132 0 0 20 0 42 0 253575575 28382613504 2421160 33554432000 4194304 4196468 140728453611184 139993522611728 139994379224789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 26574848 140728453616717 140728453616901 140728453616901 140728453619663 0
Current children cumulated CPU time: 17031.7 s
Current children cumulated vsize: 27717396 KiB
Current children cumulated memory: 9684640 KiB

Child status: 143
Real time (s): 2520.18
CPU time (s): 17031.8
CPU user time (s): 16967.2
CPU system time (s): 64.5424
CPU usage (%): 675.815
Max. virtual memory (cumulated for all children) (KiB): 27717396
Max. memory (cumulated for all children) (KiB): 9684640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16967.2
system time used= 64.5424
maximum resident set size= 9684872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3086770
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 384079
involuntary context switches= 184065


# summary of solver processes directly reported to runsolver:
#   pid: 30404
#   total CPU time (s): 17031.8
#   total CPU user time (s): 16967.2
#   total CPU system time (s): 64.5424

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 33.9421 second user time and 32.8147 second system time

The end

Launcher Data 

Begin job on node138 at 2018-08-15 21:08:05
IDJOB=4308738
IDBENCH=141143
IDSOLVER=2793
FILE ID=node138/4308738-1534360085
RUNJOBID= node138-1534353957-29558
PBS_JOBID= 21038263
Free space on /tmp= 38064 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
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-4308738-1534360085/watcher-4308738-1534360085 -o /tmp/evaluation-result-4308738-1534360085/solver-4308738-1534360085 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534353957-29558 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1751993585 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308738-1534360085.xml

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

MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33
RANDOM SEED=1751993585

node138.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.71
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.71
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.71
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.71
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:        28697084 kB
MemAvailable:   31890272 kB
Buffers:          103744 kB
Cached:          3347248 kB
SwapCached:           12 kB
Active:          1794484 kB
Inactive:        1716308 kB
Active(anon):       3556 kB
Inactive(anon):   116684 kB
Active(file):    1790928 kB
Inactive(file):  1599624 kB
Unevictable:        7260 kB
Mlocked:            7260 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             35984 kB
Writeback:             0 kB
AnonPages:         53800 kB
Mapped:            54468 kB
Shmem:             57932 kB
Slab:             258832 kB
SReclaimable:     231096 kB
SUnreclaim:        27736 kB
KernelStack:        2800 kB
PageTables:         4980 kB
NFS_Unstable:         36 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     357048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 38028 MiB
End job on node138 at 2018-08-15 21:50:05