Trace number 4290976

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-07-02SAT (TO)30 19832.3 2520.47

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 234245167
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...
6.62/2.15	c Parsing done, starting search...
153.15/46.83	o 899
197.42/52.46	o 898
240.18/57.87	o 897
283.95/63.37	o 896
330.83/69.22	o 895
386.48/76.27	o 894
438.99/82.81	o 893
485.11/88.66	o 892
534.41/94.87	o 891
584.55/101.12	o 890
634.76/107.48	o 889
682.48/113.49	o 888
728.54/119.27	o 887
776.21/125.28	o 886
822.38/131.06	o 885
871.72/137.25	o 884
920.31/143.32	o 883
964.00/148.88	o 882
1010.94/154.72	o 881
1055.56/160.42	o 880
1102.39/166.25	o 879
1144.55/171.54	o 878
1186.65/176.88	o 877
1227.25/181.96	o 876
1266.24/186.90	o 875
1308.46/192.15	o 874
1351.40/197.56	o 873
1397.62/203.35	o 872
1438.86/208.57	o 871
1480.22/213.80	o 870
1520.80/218.81	o 869
1558.97/223.68	o 868
1597.93/228.58	o 867
1635.32/233.28	o 866
1675.08/238.26	o 865
1712.46/242.93	o 864
1749.08/247.53	o 863
1786.45/252.20	o 862
1823.82/256.93	o 861
1864.41/262.04	o 860
1903.39/266.96	o 859
1944.00/272.01	o 858
1986.85/277.46	o 857
2038.47/283.97	o 856
2090.96/290.53	o 855
2138.12/296.44	o 854
2183.28/302.19	o 853
2228.64/307.80	o 852
2272.48/313.35	o 851
2313.10/318.42	o 850
2350.41/323.19	o 849
2389.42/328.09	o 848
2430.09/333.18	o 847
2471.44/338.37	o 846
2508.78/343.10	o 845
2546.97/347.81	o 844
2584.34/352.55	o 843
2624.11/357.52	o 842
2663.88/362.59	o 841
2706.04/367.80	o 840
2748.13/373.19	o 839
2790.36/378.44	o 838
2828.43/383.24	o 837
2864.24/387.74	o 836
2899.23/392.17	o 835
2935.06/397.03	o 834
2971.49/401.64	o 833
3011.21/406.63	o 832
3050.11/411.56	o 831
3089.88/416.51	o 830
3129.63/421.51	o 829
3170.20/426.66	o 828
3213.03/432.02	o 827
3251.19/436.88	o 826
3292.56/442.08	o 825
3333.11/447.14	o 824
3370.51/451.88	o 823
3407.09/456.47	o 822
3440.41/460.64	o 821
3473.09/464.72	o 820
3506.41/468.94	o 819
3539.02/473.03	o 818
3570.86/477.08	o 817
3603.44/481.18	o 816
3635.29/485.17	o 815
3666.29/489.06	o 814
3698.77/493.17	o 813
3730.54/497.17	o 812
3762.33/501.19	o 811
3793.38/505.07	o 810
3825.92/509.18	o 809
3856.96/513.03	o 808
3887.94/516.95	o 807
3918.94/520.85	o 806
3949.96/524.75	o 805
3981.01/528.63	o 804
4012.81/532.70	o 803
4048.63/537.15	o 802
4085.25/541.79	o 801
4121.08/546.23	o 800
4156.09/550.68	o 799
4193.53/555.32	o 798
4228.46/559.77	o 797
4263.49/564.13	o 796
4298.47/568.58	o 795
4335.05/573.12	o 794
4370.85/577.60	o 793
4405.83/582.04	o 792
4436.84/585.96	o 791
4466.24/589.67	o 790
4495.64/593.35	o 789
4524.92/597.01	o 788
4554.33/600.78	o 787
4584.02/604.46	o 786
4612.37/608.09	o 785
4641.81/611.71	o 784
4670.47/615.41	o 783
4699.03/618.93	o 782
4726.98/622.50	o 781
4755.55/626.03	o 780
4784.11/629.65	o 779
4812.79/633.25	o 778
4840.61/636.79	o 777
4870.70/640.57	o 776
4898.55/644.06	o 775
4927.18/647.61	o 774
4955.03/651.13	o 773
4983.64/654.70	o 772
5013.28/658.43	o 771
5046.48/662.65	o 770
5078.24/666.66	o 769
5110.03/670.69	o 768
5142.67/674.72	o 767
5174.48/678.71	o 766
5205.49/682.69	o 765
5238.08/686.71	o 764
5268.24/690.56	o 763
5300.09/694.52	o 762
5331.33/698.45	o 761
5362.27/702.41	o 760
5394.10/706.41	o 759
5425.03/710.20	o 758
5451.36/713.57	o 757
5476.77/716.74	o 756
5503.03/720.04	o 755
5529.32/723.37	o 754
5556.29/726.71	o 753
5581.77/730.00	o 752
5608.04/733.30	o 751
5637.64/737.10	o 750
5662.21/740.28	o 749
5689.23/743.66	o 748
5717.85/747.26	o 747
5747.14/750.91	o 746
5775.74/754.52	o 745
5802.02/757.84	o 744
5828.28/761.17	o 743
5854.63/764.44	o 742
5880.81/767.77	o 741
5906.27/770.96	o 740
5930.92/774.09	o 739
5957.25/777.33	o 738
5982.63/780.54	o 737
6010.48/784.04	o 736
6035.16/787.19	o 735
6065.70/791.02	o 734
6091.15/794.23	o 733
6115.89/797.39	o 732
6140.57/800.47	o 731
6165.95/803.62	o 730
6192.21/806.91	o 729
6220.27/810.49	o 728
6248.69/814.09	o 727
6277.33/817.69	o 726
6311.91/822.07	o 725
6339.73/825.58	o 724
6369.16/829.22	o 723
6397.01/832.77	o 722
6424.89/836.22	o 721
6452.74/839.72	o 720
6479.79/843.18	o 719
6506.82/846.60	o 718
6533.83/849.96	o 717
6560.97/853.34	o 716
6587.95/856.78	o 715
6618.56/860.61	o 714
6642.40/863.63	o 713
6666.28/866.66	o 712
6688.65/869.41	o 711
6711.77/872.38	o 710
6734.71/875.31	o 709
6758.60/878.27	o 708
6781.67/881.18	o 707
6804.76/884.01	o 706
6827.83/886.95	o 705
6850.11/889.78	o 704
6873.97/892.80	o 703
6902.23/896.33	o 702
6926.09/899.37	o 701
6948.27/902.16	o 700
6971.33/905.01	o 699
6994.38/907.94	o 698
7017.43/910.84	o 697
7040.51/913.73	o 696
7063.64/916.62	o 695
7086.64/919.53	o 694
7108.15/922.27	o 693
7130.44/925.08	o 692
7154.33/928.02	o 691
7180.98/931.47	o 690
7204.06/934.33	o 689
7225.48/937.07	o 688
7248.56/939.98	o 687
7271.55/942.80	o 686
7292.40/945.46	o 685
7314.50/948.24	o 684
7337.59/951.17	o 683
7359.87/953.95	o 682
7385.32/957.11	o 681
7409.99/960.27	o 680
7435.58/963.48	o 679
7460.91/966.65	o 678
7492.12/970.65	o 677
7516.73/973.77	o 676
7540.56/976.73	o 675
7566.03/979.96	o 674
7590.68/983.02	o 673
7615.36/986.19	o 672
7640.92/989.36	o 671
7664.80/992.34	o 670
7688.66/995.37	o 669
7713.29/998.46	o 668
7738.67/1001.62	o 667
7761.74/1004.55	o 666
7784.15/1007.33	o 665
7810.85/1010.78	o 664
7829.80/1013.13	o 663
7849.69/1015.62	o 662
7869.60/1018.14	o 661
7889.51/1020.70	o 660
7910.20/1023.21	o 659
7930.09/1025.75	o 658
7950.87/1028.35	o 657
7972.25/1031.08	o 656
7992.91/1033.62	o 655
8012.80/1036.19	o 654
8032.68/1038.67	o 653
8053.32/1041.28	o 652
8073.21/1043.75	o 651
8090.74/1045.99	o 650
8110.74/1048.46	o 649
8136.46/1051.76	o 648
8156.40/1054.23	o 647
8175.44/1056.63	o 646
8194.51/1059.09	o 645
8212.05/1061.31	o 644
8233.52/1063.92	o 643
8252.68/1066.33	o 642
8272.42/1068.83	o 641
8292.37/1071.36	o 640
8310.59/1073.67	o 639
8330.39/1076.11	o 638
8351.08/1078.77	o 637
8370.19/1081.18	o 636
8388.58/1083.46	o 635
8408.39/1085.95	o 634
8428.51/1088.48	o 633
8454.09/1091.76	o 632
8470.80/1093.83	o 631
8489.87/1096.23	o 630
8510.53/1098.89	o 629
8531.43/1101.48	o 628
8555.24/1104.49	o 627
8575.03/1106.95	o 626
8599.66/1110.08	o 625
8622.74/1112.90	o 624
8641.90/1115.35	o 623
8664.89/1118.30	o 622
8686.35/1121.00	o 621
8707.03/1123.56	o 620
8727.75/1126.12	o 619
8750.04/1128.92	o 618
8769.19/1131.34	o 617
8791.40/1134.18	o 616
8811.29/1136.69	o 615
8834.37/1139.53	o 614
8853.46/1141.93	o 613
8871.73/1144.24	o 612
8893.19/1146.97	o 611
8911.49/1149.28	o 610
8930.56/1151.61	o 609
8946.52/1153.67	o 608
8968.43/1156.49	o 607
8984.36/1158.47	o 606
9001.75/1160.63	o 605
9016.84/1162.53	o 604
9034.34/1164.74	o 603
9050.27/1166.73	o 602
9066.21/1168.78	o 601
9085.25/1171.13	o 600
9100.39/1173.06	o 599
9117.90/1175.24	o 598
9133.83/1177.24	o 597
9148.94/1179.19	o 596
9166.54/1181.32	o 595
9180.74/1183.18	o 594
9199.81/1185.54	o 593
9214.22/1187.39	o 592
9230.12/1189.34	o 591
9248.35/1191.64	o 590
9263.46/1193.58	o 589
9278.73/1195.47	o 588
9296.05/1197.63	o 587
9311.14/1199.50	o 586
9327.05/1201.58	o 585
9346.13/1203.92	o 584
9359.63/1205.69	o 583
9375.52/1207.62	o 582
9392.21/1209.76	o 581
9406.53/1211.57	o 580
9421.77/1213.48	o 579
9444.51/1216.39	o 578
9459.37/1218.29	o 577
9475.25/1220.24	o 576
9490.39/1222.14	o 575
9507.10/1224.30	o 574
9523.03/1226.21	o 573
9537.33/1228.04	o 572
9552.46/1229.91	o 571
9569.17/1232.07	o 570
9583.47/1233.87	o 569
9601.65/1236.13	o 568
9619.24/1238.36	o 567
9636.68/1240.53	o 566
9654.19/1242.79	o 565
9671.72/1244.93	o 564
9692.43/1247.56	o 563
9709.10/1249.65	o 562
9727.28/1251.92	o 561
9744.00/1254.09	o 560
9760.73/1256.17	o 559
9776.64/1258.18	o 558
9794.22/1260.35	o 557
9810.14/1262.38	o 556
9827.51/1264.55	o 555
9844.99/1266.70	o 554
9864.87/1269.28	o 553
9880.86/1271.27	o 552
9897.60/1273.40	o 551
9915.02/1275.57	o 550
9931.72/1277.68	o 549
9948.43/1279.75	o 548
9965.19/1281.87	o 547
9982.63/1284.02	o 546
9996.96/1285.87	o 545
10010.49/1287.54	o 544
10024.07/1289.28	o 543
10036.78/1290.85	o 542
10049.60/1292.45	o 541
10062.21/1294.08	o 540
10075.73/1295.80	o 539
10089.36/1297.43	o 538
10102.82/1299.18	o 537
10116.36/1300.86	o 536
10129.87/1302.56	o 535
10143.41/1304.23	o 534
10156.15/1305.83	o 533
10169.69/1307.55	o 532
10182.43/1309.18	o 531
10195.96/1310.86	o 530
10209.48/1312.55	o 529
10222.24/1314.13	o 528
10234.97/1315.71	o 527
10247.75/1317.39	o 526
10258.85/1318.71	o 525
10270.00/1320.18	o 524
10282.73/1321.78	o 523
10294.48/1323.29	o 522
10307.19/1324.81	o 521
10319.16/1326.35	o 520
10331.84/1327.96	o 519
10343.85/1329.49	o 518
10357.33/1331.11	o 517
10366.96/1332.41	o 516
10379.64/1333.98	o 515
10393.18/1335.68	o 514
10406.77/1337.33	o 513
10419.43/1338.90	o 512
10437.29/1341.22	o 511
10448.44/1342.68	o 510
10458.81/1343.93	o 509
10470.82/1345.43	o 508
10482.69/1346.93	o 507
10494.72/1348.45	o 506
10507.38/1350.04	o 505
10516.95/1351.28	o 504
10528.88/1352.77	o 503
10540.79/1354.27	o 502
10551.98/1355.64	o 501
10563.85/1357.14	o 500
10573.48/1358.38	o 499
10585.35/1359.90	o 498
10598.16/1361.45	o 497
10610.78/1363.07	o 496
10622.70/1364.57	o 495
10632.31/1365.78	o 494
10644.23/1367.22	o 493
10655.38/1368.61	o 492
10668.13/1370.21	o 491
10677.85/1371.43	o 490
10689.62/1372.92	o 489
10703.17/1374.61	o 488
10715.88/1376.28	o 487
10727.02/1377.69	o 486
10739.77/1379.33	o 485
10752.48/1380.86	o 484
10763.60/1382.24	o 483
10777.93/1384.05	o 482
10788.36/1385.35	o 481
10802.68/1387.14	o 480
10816.08/1388.83	o 479
10827.24/1390.20	o 478
10839.98/1391.84	o 477
10851.99/1393.35	o 476
10862.28/1394.66	o 475
10877.37/1396.51	o 474
10890.07/1398.10	o 473
10900.62/1399.44	o 472
10914.76/1401.29	o 471
10925.90/1402.62	o 470
10937.85/1404.13	o 469
10949.76/1405.67	o 468
10960.12/1406.97	o 467
10974.44/1408.71	o 466
10986.38/1410.20	o 465
10996.71/1411.55	o 464
11009.46/1413.20	o 463
11020.62/1414.52	o 462
11034.12/1416.29	o 461
11046.03/1417.79	o 460
11056.39/1419.05	o 459
11069.10/1420.70	o 458
11079.47/1421.96	o 457
11090.67/1423.40	o 456
11098.64/1424.41	o 455
11108.92/1425.68	o 454
11120.06/1427.03	o 453
11128.02/1428.06	o 452
11138.45/1429.39	o 451
11147.22/1430.41	o 450
11158.30/1431.88	o 449
11166.26/1432.90	o 448
11178.27/1434.36	o 447
11187.73/1435.56	o 446
11195.69/1436.57	o 445
11205.21/1437.79	o 444
11213.19/1438.79	o 443
11225.14/1440.21	o 442
11232.32/1441.20	o 441
11244.23/1442.69	o 440
11252.19/1443.68	o 439
11261.72/1444.86	o 438
11271.29/1446.07	o 437
11279.26/1447.04	o 436
11288.77/1448.26	o 435
11296.75/1449.23	o 434
11307.08/1450.52	o 433
11315.05/1451.50	o 432
11325.31/1452.88	o 431
11333.28/1453.84	o 430
11343.62/1455.13	o 429
11350.79/1456.09	o 428
11361.21/1457.35	o 427
11368.31/1458.29	o 426
11380.25/1459.71	o 425
11387.42/1460.68	o 424
11398.57/1462.05	o 423
11405.74/1462.98	o 422
11416.05/1464.23	o 421
11423.22/1465.16	o 420
11431.98/1466.30	o 419
11439.96/1467.24	o 418
11448.77/1468.39	o 417
11456.75/1469.32	o 416
11466.23/1470.58	o 415
11474.19/1471.52	o 414
11481.47/1472.42	o 413
11490.00/1473.60	o 412
11497.25/1474.49	o 411
11506.72/1475.68	o 410
11513.89/1476.56	o 409
11524.28/1477.90	o 408
11531.41/1478.79	o 407
11541.72/1480.01	o 406
11548.09/1480.89	o 405
11555.27/1481.75	o 404
11571.49/1483.85	o 403
11578.67/1484.73	o 402
11588.21/1485.99	o 401
11595.37/1486.87	o 400
11602.55/1487.72	o 399
11611.30/1488.83	o 398
11618.47/1489.71	o 397
11627.18/1490.89	o 396
11634.34/1491.77	o 395
11641.51/1492.63	o 394
11650.25/1493.79	o 393
11657.44/1494.62	o 392
11663.89/1495.48	o 391
11674.95/1496.80	o 390
11681.31/1497.66	o 389
11690.12/1498.78	o 388
11697.21/1499.61	o 387
11702.85/1500.41	o 386
11711.65/1501.44	o 385
11717.90/1502.27	o 384
11724.27/1503.08	o 383
11733.84/1504.21	o 382
11740.22/1505.02	o 381
11746.58/1505.80	o 380
11752.16/1506.59	o 379
11764.89/1508.13	o 378
11772.06/1509.08	o 377
11779.24/1510.00	o 376
11789.55/1511.29	o 375
11797.57/1512.23	o 374
11805.47/1513.21	o 373
11812.63/1514.12	o 372
11823.12/1515.50	o 371
11831.02/1516.48	o 370
11838.18/1517.39	o 369
11849.25/1518.74	o 368
11857.20/1519.73	o 367
11864.42/1520.64	o 366
11871.55/1521.55	o 365
11881.11/1522.71	o 364
11888.31/1523.69	o 363
11896.26/1524.63	o 362
11907.35/1526.06	o 361
11915.31/1527.00	o 360
11922.48/1527.93	o 359
11929.69/1528.86	o 358
11939.19/1530.06	o 357
11946.40/1530.99	o 356
11954.33/1531.91	o 355
11961.52/1532.80	o 354
11970.29/1533.95	o 353
11977.43/1534.83	o 352
11983.81/1535.70	o 351
11990.97/1536.56	o 350
12000.53/1537.79	o 349
12007.72/1538.66	o 348
12014.87/1539.55	o 347
12021.38/1540.36	o 346
12027.63/1541.19	o 345
12037.20/1542.37	o 344
12044.31/1543.22	o 343
12051.48/1544.11	o 342
12057.85/1544.96	o 341
12068.24/1546.23	o 340
12075.39/1547.10	o 339
12082.55/1548.02	o 338
12088.93/1548.87	o 337
12096.10/1549.75	o 336
12105.64/1550.92	o 335
12112.00/1551.80	o 334
12119.17/1552.66	o 333
12125.64/1553.44	o 332
12131.94/1554.27	o 331
12140.76/1555.38	o 330
12147.85/1556.21	o 329
12154.23/1557.07	o 328
12160.62/1557.85	o 327
12166.18/1558.55	o 326
12174.94/1559.62	o 325
12180.59/1560.34	o 324
12186.11/1561.03	o 323
12191.69/1561.72	o 322
12199.64/1562.78	o 321
12205.30/1563.47	o 320
12210.82/1564.12	o 319
12216.38/1564.81	o 318
12221.23/1565.50	o 317
12226.75/1566.14	o 316
12235.53/1567.24	o 315
12241.08/1567.93	o 314
12245.85/1568.57	o 313
12251.42/1569.25	o 312
12256.19/1569.88	o 311
12264.13/1570.88	o 310
12269.71/1571.55	o 309
12274.51/1572.18	o 308
12280.08/1572.83	o 307
12284.95/1573.49	o 306
12292.10/1574.41	o 305
12297.61/1575.09	o 304
12303.19/1575.72	o 303
12308.04/1576.40	o 302
12313.55/1577.03	o 301
12318.33/1577.62	o 300
12326.28/1578.62	o 299
12331.07/1579.29	o 298
12336.64/1579.91	o 297
12341.41/1580.57	o 296
12346.20/1581.18	o 295
12351.78/1581.83	o 294
12356.65/1582.44	o 293
12363.85/1583.34	o 292
12368.50/1583.97	o 291
12374.09/1584.63	o 290
12378.87/1585.23	o 289
12383.66/1585.86	o 288
12388.52/1586.45	o 287
12396.46/1587.47	o 286
12401.16/1588.09	o 285
12405.95/1588.69	o 284
12411.60/1589.32	o 283
12416.32/1589.96	o 282
12421.09/1590.55	o 281
12425.88/1591.17	o 280
12430.66/1591.75	o 279
12438.62/1592.75	o 278
12443.48/1593.35	o 277
12448.19/1593.92	o 276
12452.97/1594.53	o 275
12457.76/1595.16	o 274
12462.56/1595.73	o 273
12467.40/1596.38	o 272
12472.12/1596.95	o 271
12480.84/1598.00	o 270
12484.82/1598.59	o 269
12489.61/1599.15	o 268
12494.39/1599.75	o 267
12499.24/1600.37	o 266
12503.95/1600.93	o 265
12508.73/1601.54	o 264
12512.72/1602.10	o 263
12518.30/1602.71	o 262
12525.41/1603.66	o 261
12529.40/1604.19	o 260
12534.18/1604.75	o 259
12539.03/1605.34	o 258
12542.95/1605.89	o 257
12547.81/1606.42	o 256
12551.72/1606.95	o 255
12556.50/1607.50	o 254
12560.50/1608.08	o 253
12565.28/1608.62	o 252
12569.27/1609.17	o 251
12577.99/1610.24	o 250
12581.98/1610.80	o 249
12586.83/1611.31	o 248
12590.75/1611.86	o 247
12594.79/1612.41	o 246
12599.50/1612.98	o 245
12604.29/1613.51	o 244
12608.28/1614.02	o 243
12612.25/1614.56	o 242
12617.04/1615.11	o 241
12621.04/1615.63	o 240
12625.03/1616.16	o 239
12629.81/1616.70	o 238
12637.74/1617.75	o 237
12641.73/1618.28	o 236
12645.71/1618.79	o 235
12650.56/1619.32	o 234
12654.48/1619.88	o 233
12658.54/1620.40	o 232
12663.25/1620.93	o 231
12667.32/1621.46	o 230
12672.03/1622.02	o 229
12676.00/1622.55	o 228
12680.00/1623.05	o 227
12683.98/1623.58	o 226
12688.75/1624.12	o 225
12692.74/1624.63	o 224
12696.78/1625.15	o 223
12700.70/1625.69	o 222
12705.48/1626.23	o 221
12713.40/1627.23	o 220
12717.40/1627.72	o 219
12721.40/1628.23	o 218
12725.35/1628.75	o 217
12729.35/1629.30	o 216
12734.20/1629.82	o 215
12738.18/1630.34	o 214
12742.11/1630.87	o 213
12746.16/1631.40	o 212
12750.88/1631.90	o 211
12754.92/1632.41	o 210
12758.82/1632.93	o 209
12762.89/1633.46	o 208
12766.79/1633.98	o 207
12770.86/1634.49	o 206
12775.56/1635.01	o 205
12779.56/1635.55	o 204
12783.54/1636.05	o 203
12790.70/1636.95	o 202
12794.74/1637.46	o 201
12798.67/1638.00	o 200
12804.24/1638.62	o 199
12809.02/1639.22	o 198
12813.85/1639.86	o 197
12819.38/1640.50	o 196
12823.38/1641.09	o 195
12828.17/1641.68	o 194
12833.01/1642.28	o 193
12838.53/1642.92	o 192
12843.29/1643.57	o 191
12848.07/1644.16	o 190
12853.64/1644.80	o 189
12858.50/1645.43	o 188
12863.19/1646.03	o 187
12867.93/1646.63	o 186
12872.71/1647.26	o 185
12877.50/1647.87	o 184
12882.36/1648.49	o 183
12887.13/1649.08	o 182
12892.63/1649.70	o 181
12896.62/1650.29	o 180
12901.41/1650.87	o 179
12906.27/1651.45	o 178
12914.21/1652.43	o 177
12918.91/1653.05	o 176
12923.68/1653.69	o 175
12929.32/1654.32	o 174
12934.04/1654.94	o 173
12938.82/1655.53	o 172
12943.61/1656.13	o 171
12948.39/1656.72	o 170
12952.40/1657.31	o 169
12957.96/1657.94	o 168
12962.74/1658.56	o 167
12967.52/1659.18	o 166
12972.30/1659.78	o 165
12977.15/1660.34	o 164
12981.87/1660.93	o 163
12986.64/1661.51	o 162
12990.63/1662.08	o 161
12995.41/1662.67	o 160
13000.19/1663.28	o 159
13004.97/1663.83	o 158
13009.04/1664.41	o 157
13013.74/1664.97	o 156
13018.52/1665.55	o 155
13023.30/1666.13	o 154
13027.28/1666.67	o 153
13032.06/1667.26	o 152
13036.85/1667.85	o 151
13040.89/1668.40	o 150
13045.60/1668.97	o 149
13050.38/1669.54	o 148
13055.17/1670.11	o 147
13059.16/1670.68	o 146
13063.94/1671.22	o 145
13068.72/1671.80	o 144
13072.77/1672.41	o 143
13077.48/1672.96	o 142
13082.24/1673.53	o 141
13086.23/1674.09	o 140
13091.02/1674.68	o 139
13095.79/1675.25	o 138
13099.77/1675.78	o 137
13104.63/1676.35	o 136
13109.35/1676.93	o 135
13115.71/1677.77	o 134
13120.56/1678.33	o 133
13124.48/1678.89	o 132
13129.34/1679.47	o 131
13134.04/1680.03	o 130
13138.02/1680.56	o 129
13142.81/1681.14	o 128
13146.79/1681.70	o 127
13151.58/1682.23	o 126
13155.56/1682.75	o 125
13159.55/1683.28	o 124
13164.29/1683.85	o 123
13168.34/1684.39	o 122
13173.05/1684.93	o 121
13177.12/1685.49	o 120
13181.83/1686.04	o 119
13185.81/1686.54	o 118
13189.00/1686.97	o 117
13193.07/1687.42	o 116
13196.18/1687.87	o 115
13199.37/1688.31	o 114
13203.35/1688.75	o 113
13207.34/1689.22	o 112
13210.52/1689.67	o 111
13213.72/1690.09	o 110
13217.70/1690.51	o 109
13220.90/1690.95	o 108
13224.15/1691.39	o 107
13228.07/1691.84	o 106
13231.27/1692.25	o 105
13235.24/1692.72	o 104
13238.44/1693.16	o 103
13241.61/1693.59	o 102
13244.81/1694.00	o 101
13248.85/1694.43	o 100
13251.97/1694.87	o 99
13255.16/1695.31	o 98
13259.13/1695.73	o 97
13262.32/1696.16	o 96
13265.50/1696.58	o 95
13269.50/1697.00	o 94
13272.76/1697.41	o 93
13275.87/1697.83	o 92
13279.06/1698.27	o 91
13283.05/1698.72	o 90
13286.24/1699.13	o 89
13289.42/1699.55	o 88
13292.61/1699.97	o 87
13295.86/1700.39	o 86
13298.98/1700.79	o 85
13302.18/1701.20	o 84
13306.16/1701.62	o 83
13309.36/1702.06	o 82
13312.61/1702.46	o 81
13315.70/1702.87	o 80
13318.90/1703.26	o 79
13322.08/1703.70	o 78
13326.07/1704.11	o 77
13328.54/1704.49	o 76
13332.45/1704.92	o 75
13335.71/1705.34	o 74
13338.82/1705.74	o 73
13345.18/1706.55	o 72
13348.36/1706.97	o 71
13352.40/1707.42	o 70
13355.51/1707.85	o 69
13358.71/1708.26	o 68
13361.89/1708.65	o 67
13365.09/1709.06	o 66
13368.35/1709.46	o 65
13371.46/1709.87	o 64
13374.65/1710.30	o 63
13378.68/1710.75	o 62
13381.83/1711.17	o 61
13385.01/1711.57	o 60
13388.21/1711.96	o 59
13391.46/1712.37	o 58
13394.58/1712.76	o 57
13397.77/1713.16	o 56
13401.75/1713.62	o 55
13404.95/1714.01	o 54
13408.21/1714.43	o 53
13411.32/1714.80	o 52
13414.52/1715.21	o 51
13416.90/1715.59	o 50
13420.09/1716.00	o 49
13424.16/1716.43	o 48
13427.27/1716.87	o 47
13430.46/1717.29	o 46
13433.65/1717.64	o 45
13436.84/1718.05	o 44
13440.10/1718.41	o 43
13443.22/1718.81	o 42
13446.41/1719.21	o 41
13449.60/1719.63	o 40
13452.79/1720.01	o 39
13455.25/1720.40	o 38
13458.37/1720.76	o 37
13461.56/1721.16	o 36
13464.74/1721.53	o 35
13470.34/1722.27	o 34
13473.51/1722.68	o 33
13477.51/1723.12	o 32
13480.66/1723.56	o 31
13484.66/1724.02	o 30
19829.21/2520.09	s SATISFIABLE
19829.21/2520.10	v <instantiation>
19829.21/2520.10	v 	<list>
19829.21/2520.10	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899]
19829.21/2520.10	v 	</list>
19829.21/2520.10	v 	<values>
19829.21/2520.10	v 		29 3 7 16 24 6 30 26 14 18 28 9 12 0 15 1 8 27 10 11 23 17 25 2 4 21 5 20 22 19 14 26 10 11 12 27 15 6 30 21 29 3 25 20 19 8 28 4 24 17 18 0 22 23 2 13 1 16 5 9 17 23 19 24 3 26 4 11 29 12 6 10 22 21 20 15 14 9 30 2 1 8 5 18 16 7 25 27 28 13 19 13 24 15 1 20 28 10 2 5 30 11 26 3 8 25 7 22 23 29 6 27 9 16 17 4 21 14 12 18 26 30 12 14 22 10 27 9 5 25 23 2 15 16 24 17 11 0 4 6 19 21 7 8 13 18 20 29 3 28 12 10 17 9 20 30 18 23 28 11 24 8 14 22 7 27 29 6 13 3 25 15 2 26 21 16 4 1 19 5 3 18 9 30 6 19 5 7 26 10 4 24 2 13 1 14 20 8 12 0 16 28 21 27 22 25 15 17 23 29 27 29 20 17 10 7 22 12 13 6 2 19 16 23 5 18 9 1 28 25 8 4 15 21 26 3 11 24 30 14 4 0 22 26 23 13 25 19 1 8 16 6 27 17 12 21 10 3 15 24 2 14 20 29 5 11 30 28 18 7 0 21 8 27 28 12 9 2 22 26 17 1 23 10 4 7 18 15 19 14 11 24 16 20 29 30 3 5 6 25 10 24 4 25 27 21 16 20 15 7 26 22 1 14 18 30 12 29 9 28 3 23 8 13 11 5 6 19 2 17 22 16 2 19 21 0 29 13 4 28 8 27 3 26 6 20 5 17 25 18 15 1 24 10 23 12 14 9 11 30 24 4 30 7 13 29 6 1 9 0 5 15 21 11 26 10 16 14 27 19 20 22 23 25 12 2 28 18 17 8 16 17 3 13 11 15 19 24 23 1 21 25 0 18 10 28 27 26 22 12 4 7 29 5 30 20 9 8 14 6 23 20 18 28 16 4 0 8 11 30 9 14 17 5 29 3 26 21 7 10 24 19 6 12 1 22 13 25 15 27 25 8 21 18 0 9 11 22 10 27 7 30 20 29 28 16 17 19 2 15 14 12 13 6 3 24 23 4 1 26 9 5 1 12 14 16 2 25 3 15 27 4 13 28 17 6 19 20 8 22 30 11 26 24 7 29 18 23 10 21 30 14 25 20 8 28 12 3 24 16 0 26 4 9 2 23 15 18 29 5 13 6 19 11 27 17 22 10 21 1 5 19 28 22 4 24 3 17 7 29 20 21 18 6 13 9 30 23 14 16 12 25 0 15 10 8 27 2 26 11 28 2 11 1 17 25 10 15 21 23 19 5 30 7 0 29 22 16 20 8 27 18 3 9 14 6 26 12 13 24 13 15 27 29 5 22 1 21 18 2 12 23 7 8 11 0 25 30 6 9 10 16 17 3 19 28 24 26 4 20 11 25 29 10 26 3 21 5 16 4 18 13 24 27 9 2 6 7 1 23 17 20 30 14 28 19 12 22 8 15 6 1 16 23 9 8 26 4 12 17 15 29 28 2 27 13 24 11 21 20 0 5 18 22 25 14 19 30 7 3 20 12 26 6 7 14 13 29 25 9 11 28 19 1 30 22 23 24 17 27 21 3 10 4 18 0 8 15 16 2 21 11 0 8 19 18 20 28 27 3 14 17 6 24 23 4 2 10 5 7 9 29 12 30 15 26 16 13 25 22 8 27 23 21 30 11 17 14 19 20 1 18 9 15 16 12 13 25 3 26 22 2 28 0 24 10 7 6 29 4 15 28 6 3 29 17 14 18 8 22 13 12 11 19 25 24 4 2 0 30 5 26 27 7 20 23 10 21 9 16 18 6 15 2 25 5 23 27 20 19 22 7 8 12 14 26 3 28 16 21 29 30 4 17 9 1 0 11 24 10 7 22 14 5 18 2 8 16 17 24 25 20 10 30 21 11 0 12 26 13 28 9 1 19 6 15 29 3 27 23 2 9 13 4 15 23 24 30 6 14 3 16 29 25 22 19 21 5 18 1 26 10 11 28 8 27 17 7 20 12 
19829.21/2520.10	v 	</values>
19829.21/2520.10	v </instantiation>

Verifier Data 

OK	30

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290976-1532633938/watcher-4290976-1532633938 -o /tmp/evaluation-result-4290976-1532633938/solver-4290976-1532633938 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532633938-8345 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 234245167 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4290976-1532633938.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=8362, runsolver pid=8359

[startup+0.100134 s]*
/proc/loadavg: 8.93 8.76 8.77 2/198 8382
/proc/meminfo: memFree=17495928/32770624 swapFree=67108796/67108860
[pid=8362] ppid=8359 vsize=26103424 memory=32780 CPUtime=0.11 cores=0-7
/proc/8362/stat : 8362 (java) S 8359 8362 8318 0 -1 1077944320 7113 0 0 0 10 1 0 0 20 0 20 0 80956966 26729906176 8192 33554432000 4194304 4196468 140726317108336 140726317090880 140264788983543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
/proc/8362/statm: 6525856 8195 3134 1 0 6487932 0
[pid=8362/tid=8364] ppid=8359 vsize=26103424 memory=4570481213003953049 CPUtime=0.09 cores=0-7
/proc/8362/task/8364/stat : 8364 (java) R 8359 8362 8318 0 -1 4202560 5177 0 0 0 8 1 0 0 20 0 20 0 80956967 26729906176 8260 33554432000 4194304 4196468 140726317108336 140264793209232 140264788995478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8365] ppid=8359 vsize=26103424 memory=732370225254570981 CPUtime=0 cores=0-7
/proc/8362/task/8365/stat : 8365 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 8260 33554432000 4194304 4196468 140726317108336 140264711564176 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8366] ppid=8359 vsize=26103424 memory=140086917117568 CPUtime=0 cores=0-7
/proc/8362/task/8366/stat : 8366 (java) S 8359 8362 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 8260 33554432000 4194304 4196468 140726317108336 140264710511376 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8367] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8367/stat : 8367 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 8260 33554432000 4194304 4196468 140726317108336 140264709459088 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8368] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8368/stat : 8368 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 8260 33554432000 4194304 4196468 140726317108336 140264708406288 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8369] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8369/stat : 8369 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 8260 33554432000 4194304 4196468 140726317108336 140264342575504 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8370] ppid=8359 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8362/task/8370/stat : 8370 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 8260 33554432000 4194304 4196468 140726317108336 140264341522704 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8371] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8371/stat : 8371 (java) S 8359 8362 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 8260 33554432000 4194304 4196468 140726317108336 140264340470416 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8372] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8372/stat : 8372 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 8260 33554432000 4194304 4196468 140726317108336 140264339417616 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8373] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8373/stat : 8373 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956969 26729906176 8260 33554432000 4194304 4196468 140726317108336 140263062137456 140264788994690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8374] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8374/stat : 8374 (java) S 8359 8362 8318 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80956969 26729906176 8260 33554432000 4194304 4196468 140726317108336 140263061083424 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8375] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8375/stat : 8375 (java) S 8359 8362 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80956970 26729906176 8260 33554432000 4194304 4196468 140726317108336 140263060031088 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8376] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8376/stat : 8376 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956972 26729906176 8260 33554432000 4194304 4196468 140726317108336 140263058979408 140264789002139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8377] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8377/stat : 8377 (java) S 8359 8362 8318 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 80956972 26729906176 8260 33554432000 4194304 4196468 140726317108336 140263057926256 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8378] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8378/stat : 8378 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956972 26729906176 8260 33554432000 4194304 4196468 140726317108336 140263056873456 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8379] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8379/stat : 8379 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956972 26729906176 8260 33554432000 4194304 4196468 140726317108336 140263055821168 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8380] ppid=8359 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/8362/task/8380/stat : 8380 (java) R 8359 8362 8318 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 20 0 80956972 26729906176 8260 33554432000 4194304 4196468 140726317108336 140263054768368 140264767473782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8381] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8381/stat : 8381 (java) S 8359 8362 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956972 26729906176 8260 33554432000 4194304 4196468 140726317108336 140263053716320 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8382] ppid=8359 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8362/task/8382/stat : 8382 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956972 26729906176 8260 33554432000 4194304 4196468 140726317108336 140263052663600 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 32780 KiB

[startup+0.212954 s]*
/proc/loadavg: 8.93 8.76 8.77 3/198 8382
/proc/meminfo: memFree=17482828/32770624 swapFree=67108796/67108860
[pid=8362] ppid=8359 vsize=26103424 memory=45996 CPUtime=0.3 cores=0-7
/proc/8362/stat : 8362 (java) S 8359 8362 8318 0 -1 1077944320 10085 0 0 0 28 2 0 0 20 0 20 0 80956966 26729906176 11499 33554432000 4194304 4196468 140726317108336 140726317090880 140264788983543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
/proc/8362/statm: 6525856 11499 3351 1 0 6487932 0
[pid=8362/tid=8364] ppid=8359 vsize=26103424 memory=32758254098972862 CPUtime=0.2 cores=0-7
/proc/8362/task/8364/stat : 8364 (java) R 8359 8362 8318 0 -1 4202560 7887 0 0 0 19 1 0 0 20 0 20 0 80956967 26729906176 11499 33554432000 4194304 4196468 140726317108336 140264793207184 140264773064030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8365] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8365/stat : 8365 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11499 33554432000 4194304 4196468 140726317108336 140264711564176 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8366] ppid=8359 vsize=26103424 memory=140086917581994 CPUtime=0 cores=0-7
/proc/8362/task/8366/stat : 8366 (java) S 8359 8362 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11499 33554432000 4194304 4196468 140726317108336 140264710511376 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8367] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8367/stat : 8367 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11499 33554432000 4194304 4196468 140726317108336 140264709459088 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8368] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8368/stat : 8368 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11499 33554432000 4194304 4196468 140726317108336 140264708406288 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8369] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8369/stat : 8369 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11499 33554432000 4194304 4196468 140726317108336 140264342575504 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8370] ppid=8359 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8362/task/8370/stat : 8370 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11499 33554432000 4194304 4196468 140726317108336 140264341522704 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8371] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8371/stat : 8371 (java) S 8359 8362 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11499 33554432000 4194304 4196468 140726317108336 140264340470416 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8372] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8372/stat : 8372 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11499 33554432000 4194304 4196468 140726317108336 140264339417616 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8373] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8373/stat : 8373 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956969 26729906176 11499 33554432000 4194304 4196468 140726317108336 140263062137456 140264788994690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8374] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8374/stat : 8374 (java) S 8359 8362 8318 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80956969 26729906176 11499 33554432000 4194304 4196468 140726317108336 140263061083424 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8375] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8375/stat : 8375 (java) S 8359 8362 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80956970 26729906176 11499 33554432000 4194304 4196468 140726317108336 140263060031088 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8376] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8376/stat : 8376 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956972 26729906176 11499 33554432000 4194304 4196468 140726317108336 140263058979408 140264789002139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8377] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8377/stat : 8377 (java) S 8359 8362 8318 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 80956972 26729906176 11499 33554432000 4194304 4196468 140726317108336 140263057926256 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8378] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8378/stat : 8378 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956972 26729906176 11499 33554432000 4194304 4196468 140726317108336 140263056873456 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8379] ppid=8359 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/8362/task/8379/stat : 8379 (java) S 8359 8362 8318 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 20 0 80956972 26729906176 11499 33554432000 4194304 4196468 140726317108336 140263055821168 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8380] ppid=8359 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/8362/task/8380/stat : 8380 (java) S 8359 8362 8318 0 -1 1077944384 306 0 0 0 6 0 0 0 20 0 20 0 80956972 26729906176 11499 33554432000 4194304 4196468 140726317108336 140263054768368 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8381] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8381/stat : 8381 (java) S 8359 8362 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956972 26729906176 11499 33554432000 4194304 4196468 140726317108336 140263053716320 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8382] ppid=8359 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8362/task/8382/stat : 8382 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956972 26729906176 11499 33554432000 4194304 4196468 140726317108336 140263052663600 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 45996 KiB

[startup+0.310444 s]*
/proc/loadavg: 8.93 8.76 8.77 2/198 8382
/proc/meminfo: memFree=17479168/32770624 swapFree=67108796/67108860
[pid=8362] ppid=8359 vsize=26103424 memory=47244 CPUtime=0.42 cores=0-7
/proc/8362/stat : 8362 (java) S 8359 8362 8318 0 -1 1077944320 10517 0 0 0 40 2 0 0 20 0 20 0 80956966 26729906176 11811 33554432000 4194304 4196468 140726317108336 140726317090880 140264788983543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
/proc/8362/statm: 6525856 11811 3377 1 0 6487932 0
[pid=8362/tid=8364] ppid=8359 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8362/task/8364/stat : 8364 (java) R 8359 8362 8318 0 -1 4202560 8213 0 0 0 28 1 0 0 20 0 20 0 80956967 26729906176 11811 33554432000 4194304 4196468 140726317108336 140264793192272 140264773064030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8365] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8365/stat : 8365 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11811 33554432000 4194304 4196468 140726317108336 140264711564176 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8366] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8366/stat : 8366 (java) S 8359 8362 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11811 33554432000 4194304 4196468 140726317108336 140264710511376 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8367] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8367/stat : 8367 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11811 33554432000 4194304 4196468 140726317108336 140264709459088 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8368] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8368/stat : 8368 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11811 33554432000 4194304 4196468 140726317108336 140264708406288 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8369] ppid=8359 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/8362/task/8369/stat : 8369 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11811 33554432000 4194304 4196468 140726317108336 140264342575504 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8370] ppid=8359 vsize=26103424 memory=140086800905135 CPUtime=0 cores=0-7
/proc/8362/task/8370/stat : 8370 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11811 33554432000 4194304 4196468 140726317108336 140264341522704 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8371] ppid=8359 vsize=26103424 memory=140086800907440 CPUtime=0 cores=0-7
/proc/8362/task/8371/stat : 8371 (java) S 8359 8362 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11811 33554432000 4194304 4196468 140726317108336 140264340470416 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8372] ppid=8359 vsize=26103424 memory=140086800909744 CPUtime=0 cores=0-7
/proc/8362/task/8372/stat : 8372 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956968 26729906176 11811 33554432000 4194304 4196468 140726317108336 140264339417616 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8373] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8373/stat : 8373 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956969 26729906176 11811 33554432000 4194304 4196468 140726317108336 140263062137456 140264788994690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8374] ppid=8359 vsize=26103424 memory=280173601826448 CPUtime=0 cores=0-7
/proc/8362/task/8374/stat : 8374 (java) S 8359 8362 8318 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80956969 26729906176 11811 33554432000 4194304 4196468 140726317108336 140263061083424 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8375] ppid=8359 vsize=26103424 memory=280173601833360 CPUtime=0 cores=0-7
/proc/8362/task/8375/stat : 8375 (java) S 8359 8362 8318 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80956970 26729906176 11811 33554432000 4194304 4196468 140726317108336 140263060031088 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8376] ppid=8359 vsize=26103424 memory=280173601774640 CPUtime=0 cores=0-7
/proc/8362/task/8376/stat : 8376 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956972 26729906176 11811 33554432000 4194304 4196468 140726317108336 140263058979408 140264789002139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8377] ppid=8359 vsize=26103424 memory=280173601847184 CPUtime=0 cores=0-7
/proc/8362/task/8377/stat : 8377 (java) S 8359 8362 8318 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 80956972 26729906176 11811 33554432000 4194304 4196468 140726317108336 140263057926256 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8378] ppid=8359 vsize=26103424 memory=280173601854096 CPUtime=0.01 cores=0-7
/proc/8362/task/8378/stat : 8378 (java) S 8359 8362 8318 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 20 0 80956972 26729906176 11811 33554432000 4194304 4196468 140726317108336 140263056873456 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8379] ppid=8359 vsize=26103424 memory=280173601851792 CPUtime=0.02 cores=0-7
/proc/8362/task/8379/stat : 8379 (java) S 8359 8362 8318 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 20 0 80956972 26729906176 11811 33554432000 4194304 4196468 140726317108336 140263055821168 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8380] ppid=8359 vsize=26103424 memory=280173601868352 CPUtime=0.07 cores=0-7
/proc/8362/task/8380/stat : 8380 (java) S 8359 8362 8318 0 -1 1077944384 312 0 0 0 7 0 0 0 20 0 20 0 80956972 26729906176 11811 33554432000 4194304 4196468 140726317108336 140263054768368 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8381] ppid=8359 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8381/stat : 8381 (java) S 8359 8362 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956972 26729906176 11811 33554432000 4194304 4196468 140726317108336 140263053716320 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8382] ppid=8359 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8362/task/8382/stat : 8382 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956972 26729906176 11811 33554432000 4194304 4196468 140726317108336 140263052663600 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 47244 KiB

[startup+0.700917 s]
/proc/loadavg: 8.93 8.76 8.77 2/198 8382
/proc/meminfo: memFree=17455232/32770624 swapFree=67108796/67108860
[pid=8362] ppid=8359 vsize=26105492 memory=87696 CPUtime=0.99 cores=0-7
/proc/8362/stat : 8362 (java) S 8359 8362 8318 0 -1 1077944320 17357 0 0 0 94 5 0 0 20 0 20 0 80956966 26732023808 21924 33554432000 4194304 4196468 140726317108336 140726317090880 140264788983543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
/proc/8362/statm: 6526373 21924 3496 1 0 6488444 0
[pid=8362/tid=8364] ppid=8359 vsize=26105492 memory=7228949480095638356 CPUtime=0.67 cores=0-7
/proc/8362/task/8364/stat : 8364 (java) R 8359 8362 8318 0 -1 4202560 14575 0 0 0 64 3 0 0 20 0 20 0 80956967 26732023808 21924 33554432000 4194304 4196468 140726317108336 140264793206864 140264789005469 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8365] ppid=8359 vsize=26105492 memory=35996120924538 CPUtime=0 cores=0-7
/proc/8362/task/8365/stat : 8365 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956968 26732023808 21924 33554432000 4194304 4196468 140726317108336 140264711564176 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8366] ppid=8359 vsize=26105492 memory=140086800915683 CPUtime=0 cores=0-7
/proc/8362/task/8366/stat : 8366 (java) S 8359 8362 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956968 26732023808 21924 33554432000 4194304 4196468 140726317108336 140264710511376 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8367] ppid=8359 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8367/stat : 8367 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956968 26732023808 21924 33554432000 4194304 4196468 140726317108336 140264709459088 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8368] ppid=8359 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8368/stat : 8368 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956968 26732023808 21924 33554432000 4194304 4196468 140726317108336 140264708406288 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8369] ppid=8359 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8369/stat : 8369 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956968 26732023808 21924 33554432000 4194304 4196468 140726317108336 140264342575504 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8370] ppid=8359 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8370/stat : 8370 (java) S 8359 8362 8318 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80956968 26732023808 21924 33554432000 4194304 4196468 140726317108336 140264341522704 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8371] ppid=8359 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8362/task/8371/stat : 8371 (java) S 8359 8362 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80956968 26732023808 21924 33554432000 4194304 4196468 140726317108336 140264340470416 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8372] ppid=8359 vsize=26105492 memory=1628 CPUtime=0 cores=0-7
/proc/8362/task/8372/stat : 8372 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956968 26732023808 21924 33554432000 4194304 4196468 140726317108336 140264339417616 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8373] ppid=8359 vsize=26105492 memory=8876 CPUtime=0 cores=0-7
/proc/8362/task/8373/stat : 8373 (java) S 8359 8362 8318 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80956969 26732023808 21924 33554432000 4194304 4196468 140726317108336 140263062137456 140264788994690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0

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

[pid=8362/tid=8385] ppid=8359 vsize=27584272 memory=23824 CPUtime=909.03 cores=0-7
/proc/8362/task/8385/stat : 8385 (java) S 8359 8362 8318 0 -1 1077944384 545110 0 0 0 90294 609 0 0 20 0 42 0 80960197 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140263035016208 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8386] ppid=8359 vsize=27584272 memory=12574580 CPUtime=429.43 cores=0-7
/proc/8362/task/8386/stat : 8386 (java) S 8359 8362 8318 0 -1 1077944384 108542 0 0 0 42755 188 0 0 20 0 42 0 80960198 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140263033963408 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8387] ppid=8359 vsize=27584272 memory=12574580 CPUtime=1116.92 cores=0-7
/proc/8362/task/8387/stat : 8387 (java) R 8359 8362 8318 0 -1 4202560 196809 0 0 0 111462 230 0 0 20 0 42 0 80960198 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140263032902856 140264398990031 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8388] ppid=8359 vsize=27584272 memory=4124 CPUtime=3.66 cores=0-7
/proc/8362/task/8388/stat : 8388 (java) S 8359 8362 8318 0 -1 1077944384 1034 0 0 0 348 18 0 0 20 0 42 0 80960205 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140263029761168 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8389] ppid=8359 vsize=27584272 memory=12574580 CPUtime=803.66 cores=0-7
/proc/8362/task/8389/stat : 8389 (java) S 8359 8362 8318 0 -1 1077944384 487521 0 0 0 79891 475 0 0 20 0 42 0 80960205 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262587061776 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8390] ppid=8359 vsize=27584272 memory=3708 CPUtime=1673.09 cores=0-7
/proc/8362/task/8390/stat : 8390 (java) R 8359 8362 8318 0 -1 4202560 192943 0 0 0 166739 570 0 0 20 0 42 0 80960205 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262586000712 140264395392212 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8391] ppid=8359 vsize=27584272 memory=23824 CPUtime=408.59 cores=0-7
/proc/8362/task/8391/stat : 8391 (java) S 8359 8362 8318 0 -1 1077944384 106502 0 0 0 40624 235 0 0 20 0 42 0 80960205 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262584956688 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8392] ppid=8359 vsize=27584272 memory=12574580 CPUtime=1431.51 cores=0-7
/proc/8362/task/8392/stat : 8392 (java) R 8359 8362 8318 0 -1 4202560 734084 0 0 0 142541 610 0 0 20 0 42 0 80960205 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262583896216 140264397902546 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8393] ppid=8359 vsize=27584272 memory=12574580 CPUtime=1644.93 cores=0-7
/proc/8362/task/8393/stat : 8393 (java) R 8359 8362 8318 0 -1 4202560 339487 0 0 0 163843 650 0 0 20 0 42 0 80960205 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262582844480 140264395360951 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8394] ppid=8359 vsize=27584272 memory=13852958290872887 CPUtime=636.46 cores=0-7
/proc/8362/task/8394/stat : 8394 (java) S 8359 8362 8318 0 -1 1077944384 226488 0 0 0 63377 269 0 0 20 0 42 0 80960206 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262581797776 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8395] ppid=8359 vsize=27584272 memory=8112282956445269571 CPUtime=888.26 cores=0-7
/proc/8362/task/8395/stat : 8395 (java) S 8359 8362 8318 0 -1 1077944384 302113 0 0 0 88373 453 0 0 20 0 42 0 80961019 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262580745488 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8396] ppid=8359 vsize=27584272 memory=1040 CPUtime=954.54 cores=0-7
/proc/8362/task/8396/stat : 8396 (java) R 8359 8362 8318 0 -1 4202560 113291 0 0 0 95313 141 0 0 20 0 42 0 80961019 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262579684616 140264398989985 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8397] ppid=8359 vsize=27584272 memory=1628 CPUtime=1619.24 cores=0-7
/proc/8362/task/8397/stat : 8397 (java) R 8359 8362 8318 0 -1 4202560 311805 0 0 0 161392 532 0 0 20 0 42 0 80961651 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262576501360 140264397111993 0 4 0 16800975 0 0 0 -1 5 0 0 40 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8398] ppid=8359 vsize=27584272 memory=23824 CPUtime=1303.69 cores=0-7
/proc/8362/task/8398/stat : 8398 (java) R 8359 8362 8318 0 -1 4202560 118380 0 0 0 130077 292 0 0 20 0 42 0 80961651 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262575445320 140264395360951 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8399] ppid=8359 vsize=27584272 memory=2088 CPUtime=1415.36 cores=0-7
/proc/8362/task/8399/stat : 8399 (java) R 8359 8362 8318 0 -1 4202560 286262 0 0 0 141189 347 0 0 20 0 42 0 80961651 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262574393032 140264390345962 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8400] ppid=8359 vsize=27584272 memory=1040 CPUtime=557.16 cores=0-7
/proc/8362/task/8400/stat : 8400 (java) S 8359 8362 8318 0 -1 1077944384 295818 0 0 0 55393 323 0 0 20 0 42 0 80961651 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262573348496 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8401] ppid=8359 vsize=27584272 memory=3708 CPUtime=918.33 cores=0-7
/proc/8362/task/8401/stat : 8401 (java) S 8359 8362 8318 0 -1 1077944384 770419 0 0 0 91360 473 0 0 20 0 42 0 80961651 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262572295184 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8402] ppid=8359 vsize=27584272 memory=23824 CPUtime=564.43 cores=0-7
/proc/8362/task/8402/stat : 8402 (java) S 8359 8362 8318 0 -1 1077944384 658804 0 0 0 56002 441 0 0 20 0 42 0 80961651 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262571242384 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8411] ppid=8359 vsize=27584272 memory=2088 CPUtime=473.93 cores=0-7
/proc/8362/task/8411/stat : 8411 (java) S 8359 8362 8318 0 -1 1077944384 526705 0 0 0 47116 277 0 0 20 0 42 0 80963305 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262570190096 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8452] ppid=8359 vsize=27584272 memory=1040 CPUtime=0 cores=0-7
/proc/8362/task/8452/stat : 8452 (java) S 8359 8362 8318 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 42 0 81126750 28246294528 3143645 33554432000 4194304 4196468 140726317108336 140262569137296 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
Current children cumulated CPU time: 19829.2 s
Current children cumulated vsize: 27584272 KiB
Current children cumulated memory: 12574580 KiB

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

[startup+2520.47 s]
# the end of solver process 8362 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19734.8 s, system=97.4794 s

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

[startup+2520.3 s]*
/proc/loadavg: 8.93 8.75 8.76 10/225 8474
/proc/meminfo: memFree=4924688/32770624 swapFree=67108796/67108860
[pid=8362] ppid=8359 vsize=27786012 memory=12575932 CPUtime=19831.6 cores=0-7
/proc/8362/stat : 8362 (java) S 8359 8362 8318 0 -1 1077944320 10425500 0 0 0 1973425 9738 0 0 20 0 45 0 80956966 28452876288 3143983 33554432000 4194304 4196468 140726317108336 140726317090880 140264788983543 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
/proc/8362/statm: 6946503 3143983 3628 1 0 6908053 0
[pid=8362/tid=8364] ppid=8359 vsize=27786012 memory=-6733704525061579059 CPUtime=31.27 cores=0-7
/proc/8362/task/8364/stat : 8364 (java) S 8359 8362 8318 0 -1 1077944384 26970 0 0 0 3036 91 0 0 20 0 45 0 80956967 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140264793221008 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8365] ppid=8359 vsize=27786012 memory=-7003737579269690708 CPUtime=252.92 cores=0-7
/proc/8362/task/8365/stat : 8365 (java) S 8359 8362 8318 0 -1 1077944384 446994 0 0 0 24981 311 0 0 20 0 45 0 80956968 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140264711564176 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 55 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8366] ppid=8359 vsize=27786012 memory=960 CPUtime=252.72 cores=0-7
/proc/8362/task/8366/stat : 8366 (java) S 8359 8362 8318 0 -1 1077944384 485742 0 0 0 24966 306 0 0 20 0 45 0 80956968 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140264710511376 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 53 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8367] ppid=8359 vsize=27786012 memory=1232 CPUtime=252.43 cores=0-7
/proc/8362/task/8367/stat : 8367 (java) S 8359 8362 8318 0 -1 1077944384 458035 0 0 0 24958 285 0 0 20 0 45 0 80956968 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140264709459088 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 63 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8368] ppid=8359 vsize=27786012 memory=4072 CPUtime=252.8 cores=0-7
/proc/8362/task/8368/stat : 8368 (java) S 8359 8362 8318 0 -1 1077944384 464684 0 0 0 24955 325 0 0 20 0 45 0 80956968 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140264708406288 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 55 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8369] ppid=8359 vsize=27786012 memory=2244 CPUtime=252.95 cores=0-7
/proc/8362/task/8369/stat : 8369 (java) S 8359 8362 8318 0 -1 1077944384 467887 0 0 0 25008 287 0 0 20 0 45 0 80956968 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140264342575504 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 57 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8370] ppid=8359 vsize=27786012 memory=12574580 CPUtime=252.84 cores=0-7
/proc/8362/task/8370/stat : 8370 (java) S 8359 8362 8318 0 -1 1077944384 461644 0 0 0 24976 308 0 0 20 0 45 0 80956968 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140264341522704 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8371] ppid=8359 vsize=27786012 memory=1232 CPUtime=252.34 cores=0-7
/proc/8362/task/8371/stat : 8371 (java) S 8359 8362 8318 0 -1 1077944384 457735 0 0 0 24948 286 0 0 20 0 45 0 80956968 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140264340470416 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 62 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8372] ppid=8359 vsize=27786012 memory=4072 CPUtime=252.65 cores=0-7
/proc/8362/task/8372/stat : 8372 (java) S 8359 8362 8318 0 -1 1077944384 454826 0 0 0 24962 303 0 0 20 0 45 0 80956968 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140264339417616 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 58 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8373] ppid=8359 vsize=27786012 memory=2244 CPUtime=3.01 cores=0-7
/proc/8362/task/8373/stat : 8373 (java) S 8359 8362 8318 0 -1 1077944384 177095 0 0 0 266 35 0 0 20 0 45 0 80956969 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263062137456 140264788994690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8374] ppid=8359 vsize=27786012 memory=4124 CPUtime=0 cores=0-7
/proc/8362/task/8374/stat : 8374 (java) S 8359 8362 8318 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 45 0 80956969 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263061083488 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8375] ppid=8359 vsize=27786012 memory=12574580 CPUtime=0 cores=0-7
/proc/8362/task/8375/stat : 8375 (java) S 8359 8362 8318 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 45 0 80956970 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263060031104 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8376] ppid=8359 vsize=27786012 memory=3912 CPUtime=0 cores=0-7
/proc/8362/task/8376/stat : 8376 (java) S 8359 8362 8318 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 45 0 80956972 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263058979408 140264789002139 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8377] ppid=8359 vsize=27786012 memory=4629771062077588875 CPUtime=3.14 cores=0-7
/proc/8362/task/8377/stat : 8377 (java) S 8359 8362 8318 0 -1 1077944384 24289 0 0 0 307 7 0 0 20 0 45 0 80956972 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263057926256 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8378] ppid=8359 vsize=27786012 memory=-8961168018402230209 CPUtime=3.61 cores=0-7
/proc/8362/task/8378/stat : 8378 (java) R 8359 8362 8318 0 -1 4202560 28340 0 0 0 353 8 0 0 20 0 45 0 80956972 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263056860000 140264770527669 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8379] ppid=8359 vsize=27786012 memory=3708 CPUtime=3.69 cores=0-7
/proc/8362/task/8379/stat : 8379 (java) S 8359 8362 8318 0 -1 1077944384 24784 0 0 0 363 6 0 0 20 0 45 0 80956972 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263055821168 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8380] ppid=8359 vsize=27786012 memory=23824 CPUtime=1.95 cores=0-7
/proc/8362/task/8380/stat : 8380 (java) R 8359 8362 8318 0 -1 4202560 88812 0 0 0 183 12 0 0 20 0 45 0 80956972 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263054763272 140264774666947 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8381] ppid=8359 vsize=27786012 memory=2088 CPUtime=0 cores=0-7
/proc/8362/task/8381/stat : 8381 (java) S 8359 8362 8318 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 80956972 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263053716320 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8382] ppid=8359 vsize=27786012 memory=1040 CPUtime=1.46 cores=0-7
/proc/8362/task/8382/stat : 8382 (java) S 8359 8362 8318 0 -1 1077944384 7115 0 0 0 75 71 0 0 20 0 45 0 80956972 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263052663600 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8383] ppid=8359 vsize=27786012 memory=2092 CPUtime=0.25 cores=0-7
/proc/8362/task/8383/stat : 8383 (java) S 8359 8362 8318 0 -1 1077944384 11723 0 0 0 9 16 0 0 20 0 45 0 80960164 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263041316176 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8384] ppid=8359 vsize=27786012 memory=7524 CPUtime=6.63 cores=0-7
/proc/8362/task/8384/stat : 8384 (java) S 8359 8362 8318 0 -1 1077944384 12112 0 0 0 255 408 0 0 20 0 45 0 80960180 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263038166560 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8385] ppid=8359 vsize=27786012 memory=12574580 CPUtime=909.05 cores=0-7
/proc/8362/task/8385/stat : 8385 (java) S 8359 8362 8318 0 -1 1077944384 545233 0 0 0 90295 610 0 0 20 0 45 0 80960197 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263035016208 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8386] ppid=8359 vsize=27786012 memory=1796 CPUtime=429.43 cores=0-7
/proc/8362/task/8386/stat : 8386 (java) S 8359 8362 8318 0 -1 1077944384 108563 0 0 0 42755 188 0 0 20 0 45 0 80960198 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263033963408 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8387] ppid=8359 vsize=27786012 memory=916 CPUtime=1117.2 cores=0-7
/proc/8362/task/8387/stat : 8387 (java) R 8359 8362 8318 0 -1 4202560 196809 0 0 0 111490 230 0 0 20 0 45 0 80960198 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263032903448 140264397112191 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8388] ppid=8359 vsize=27786012 memory=3912 CPUtime=3.67 cores=0-7
/proc/8362/task/8388/stat : 8388 (java) S 8359 8362 8318 0 -1 1077944384 1586 0 0 0 349 18 0 0 20 0 45 0 80960205 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140263029761168 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8389] ppid=8359 vsize=27786012 memory=1408 CPUtime=803.66 cores=0-7
/proc/8362/task/8389/stat : 8389 (java) S 8359 8362 8318 0 -1 1077944384 487542 0 0 0 79891 475 0 0 20 0 45 0 80960205 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262587061776 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8390] ppid=8359 vsize=27786012 memory=4440 CPUtime=1673.39 cores=0-7
/proc/8362/task/8390/stat : 8390 (java) R 8359 8362 8318 0 -1 4202560 192944 0 0 0 166769 570 0 0 20 0 45 0 80960205 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262586001304 140264395392357 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8391] ppid=8359 vsize=27786012 memory=12574580 CPUtime=408.59 cores=0-7
/proc/8362/task/8391/stat : 8391 (java) S 8359 8362 8318 0 -1 1077944384 106523 0 0 0 40624 235 0 0 20 0 45 0 80960205 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262584956688 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8392] ppid=8359 vsize=27786012 memory=3708 CPUtime=1431.81 cores=0-7
/proc/8362/task/8392/stat : 8392 (java) R 8359 8362 8318 0 -1 4202560 734084 0 0 0 142571 610 0 0 20 0 45 0 80960205 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262583896408 140264397069314 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8393] ppid=8359 vsize=27786012 memory=23824 CPUtime=1645.21 cores=0-7
/proc/8362/task/8393/stat : 8393 (java) R 8359 8362 8318 0 -1 4202560 339487 0 0 0 163871 650 0 0 20 0 45 0 80960205 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262582842768 140264397069314 0 4 0 16800975 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8394] ppid=8359 vsize=27786012 memory=12574580 CPUtime=636.46 cores=0-7
/proc/8362/task/8394/stat : 8394 (java) S 8359 8362 8318 0 -1 1077944384 226509 0 0 0 63377 269 0 0 20 0 45 0 80960206 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262581797776 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8395] ppid=8359 vsize=27786012 memory=12574580 CPUtime=888.26 cores=0-7
/proc/8362/task/8395/stat : 8395 (java) S 8359 8362 8318 0 -1 1077944384 302134 0 0 0 88373 453 0 0 20 0 45 0 80961019 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262580745488 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8396] ppid=8359 vsize=27786012 memory=4124 CPUtime=954.84 cores=0-7
/proc/8362/task/8396/stat : 8396 (java) R 8359 8362 8318 0 -1 4202560 113291 0 0 0 95343 141 0 0 20 0 45 0 80961019 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262579684880 140264395360973 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8397] ppid=8359 vsize=27786012 memory=12574580 CPUtime=1619.55 cores=0-7
/proc/8362/task/8397/stat : 8397 (java) R 8359 8362 8318 0 -1 4202560 311805 0 0 0 161423 532 0 0 20 0 45 0 80961651 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262576498904 140264397069314 0 4 0 16800975 0 0 0 -1 5 0 0 40 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8398] ppid=8359 vsize=27786012 memory=12574580 CPUtime=1303.97 cores=0-7
/proc/8362/task/8398/stat : 8398 (java) R 8359 8362 8318 0 -1 4202560 118380 0 0 0 130105 292 0 0 20 0 45 0 80961651 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262575446104 140264397069238 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8399] ppid=8359 vsize=27786012 memory=13852958290872887 CPUtime=1415.62 cores=0-7
/proc/8362/task/8399/stat : 8399 (java) R 8359 8362 8318 0 -1 4202560 286262 0 0 0 141215 347 0 0 20 0 45 0 80961651 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262574395192 140264395378553 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8400] ppid=8359 vsize=27786012 memory=18696 CPUtime=557.16 cores=0-7
/proc/8362/task/8400/stat : 8400 (java) S 8359 8362 8318 0 -1 1077944384 295839 0 0 0 55393 323 0 0 20 0 45 0 80961651 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262573348496 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8401] ppid=8359 vsize=27786012 memory=17804 CPUtime=918.33 cores=0-7
/proc/8362/task/8401/stat : 8401 (java) R 8359 8362 8318 0 -1 4202560 770426 0 0 0 91360 473 0 0 20 0 45 0 80961651 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262572294840 140264387718858 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8402] ppid=8359 vsize=27786012 memory=4016 CPUtime=564.45 cores=0-7
/proc/8362/task/8402/stat : 8402 (java) R 8359 8362 8318 0 -1 1077944384 659475 0 0 0 56004 441 0 0 20 0 45 0 80961651 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262571229072 140264788993749 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8411] ppid=8359 vsize=27786012 memory=644 CPUtime=473.93 cores=0-7
/proc/8362/task/8411/stat : 8411 (java) S 8359 8362 8318 0 -1 1077944384 526727 0 0 0 47116 277 0 0 20 0 45 0 80963305 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262570190096 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8452] ppid=8359 vsize=27786012 memory=1676 CPUtime=0 cores=0-7
/proc/8362/task/8452/stat : 8452 (java) S 8359 8362 8318 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 45 0 81126750 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262569137296 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8471] ppid=8359 vsize=27786012 memory=960 CPUtime=0 cores=0-7
/proc/8362/task/8471/stat : 8471 (java) S 8359 8362 8318 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 45 0 81208971 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262568084080 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8473] ppid=8359 vsize=27786012 memory=1232 CPUtime=0.01 cores=0-7
/proc/8362/task/8473/stat : 8473 (java) S 8359 8362 8318 0 -1 1077944384 1307 0 0 0 1 0 0 0 20 0 45 0 81208976 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262565978752 140264788994690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
[pid=8362/tid=8474] ppid=8359 vsize=27786012 memory=4072 CPUtime=0 cores=0-7
/proc/8362/task/8474/stat : 8474 (java) S 8359 8362 8318 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 45 0 81208990 28452876288 3143985 33554432000 4194304 4196468 140726317108336 140262567032464 140264788993749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29782016 140726317114446 140726317114629 140726317114629 140726317117391 0
Current children cumulated CPU time: 19831.6 s
Current children cumulated vsize: 27786012 KiB
Current children cumulated memory: 12575932 KiB

[startup+2520.41 s]*
/proc/loadavg: 8.93 8.75 8.76 3/182 8474
/proc/meminfo: memFree=8623744/32770624 swapFree=67108796/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.47
CPU time (s): 19832.3
CPU user time (s): 19734.8
CPU system time (s): 97.4794
CPU usage (%): 786.848
Max. virtual memory (cumulated for all children) (KiB): 27786012
Max. memory (cumulated for all children) (KiB): 12583664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19734.8
system time used= 97.4794
maximum resident set size= 12583664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10426481
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 423581
involuntary context switches= 406710


# summary of solver processes directly reported to runsolver:
#   pid: 8362
#   total CPU time (s): 19832.3
#   total CPU user time (s): 19734.8
#   total CPU system time (s): 97.4794

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.6979 second user time and 39.7199 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-26 21:38:58
IDJOB=4290976
IDBENCH=141144
IDSOLVER=2745
FILE ID=node138/4290976-1532633938
RUNJOBID= node138-1532633938-8345
PBS_JOBID= 21022187
Free space on /tmp= 53800 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order30_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-4290976-1532633938/watcher-4290976-1532633938 -o /tmp/evaluation-result-4290976-1532633938/solver-4290976-1532633938 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532633938-8345 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 234245167 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4290976-1532633938.xml

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

MD5SUM BENCH= 2f5cbdca11052f8d5a6d32bd8b795ba4
RANDOM SEED=234245167

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:        17514188 kB
MemAvailable:   31922208 kB
Buffers:          200732 kB
Cached:         14350852 kB
SwapCached:           44 kB
Active:          2456700 kB
Inactive:       12154448 kB
Active(anon):      10000 kB
Inactive(anon):    77356 kB
Active(file):    2446700 kB
Inactive(file): 12077092 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             36324 kB
Writeback:             0 kB
AnonPages:         65732 kB
Mapped:            35800 kB
Shmem:             25164 kB
Slab:             340412 kB
SReclaimable:     312688 kB
SUnreclaim:        27724 kB
KernelStack:        3136 kB
PageTables:         4572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 53764 MiB
End job on node138 at 2018-07-26 22:20:59