Trace number 4302291

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)83 252.096 233.25

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 benchmark251.924
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.97/0.74	c Concrete v3.9.2.1532736233296 running
24.78/11.46	o 899
25.72/11.86	o 898
26.23/12.14	o 897
26.96/12.42	o 896
27.48/12.70	o 895
27.82/12.99	o 894
28.30/13.25	o 893
28.69/13.49	o 892
29.13/13.74	o 891
29.37/13.98	o 890
29.72/14.21	o 889
29.92/14.44	o 888
30.16/14.67	o 887
30.40/14.88	o 886
30.72/15.12	o 885
30.91/15.36	o 884
31.14/15.59	o 883
31.51/15.82	o 882
31.71/16.04	o 881
31.93/16.27	o 880
32.23/16.50	o 879
32.43/16.73	o 878
32.64/16.97	o 877
32.85/17.19	o 876
33.14/17.41	o 875
33.34/17.65	o 874
33.59/17.86	o 873
33.79/18.09	o 872
34.09/18.31	o 871
34.29/18.54	o 870
34.49/18.78	o 869
34.79/19.01	o 868
35.00/19.24	o 867
35.19/19.47	o 866
35.41/19.68	o 865
35.64/19.89	o 864
35.95/20.12	o 863
36.14/20.37	o 862
36.38/20.59	o 861
36.68/20.80	o 860
36.88/21.02	o 859
37.09/21.23	o 858
37.31/21.46	o 857
37.52/21.68	o 856
37.72/21.89	o 855
37.92/22.10	o 854
38.22/22.32	o 853
38.42/22.54	o 852
38.62/22.76	o 851
38.82/22.97	o 850
39.13/23.21	o 849
39.35/23.44	o 848
39.55/23.66	o 847
39.75/23.89	o 846
40.06/24.11	o 845
40.25/24.33	o 844
40.52/24.56	o 843
40.86/24.77	o 842
41.21/25.00	o 841
41.42/25.21	o 840
41.61/25.43	o 839
41.81/25.64	o 838
42.13/25.86	o 837
42.33/26.08	o 836
42.64/26.30	o 835
42.84/26.53	o 834
43.08/26.75	o 833
43.28/26.97	o 832
43.49/27.18	o 831
43.68/27.38	o 830
43.88/27.59	o 829
44.08/27.80	o 828
44.38/28.02	o 827
44.59/28.24	o 826
44.78/28.45	o 825
44.98/28.67	o 824
45.18/28.88	o 823
45.39/29.08	o 822
45.69/29.31	o 821
45.90/29.53	o 820
46.10/29.73	o 819
46.30/29.93	o 818
46.55/30.16	o 817
46.74/30.37	o 816
46.95/30.59	o 815
47.25/30.80	o 814
47.46/31.01	o 813
47.67/31.21	o 812
47.86/31.42	o 811
48.06/31.64	o 810
48.26/31.84	o 809
48.46/32.05	o 808
48.67/32.27	o 807
48.86/32.49	o 806
49.06/32.70	o 805
49.37/32.91	o 804
49.58/33.13	o 803
49.77/33.34	o 802
49.97/33.58	o 801
50.28/33.82	o 800
50.52/34.06	o 799
50.73/34.28	o 798
50.93/34.49	o 797
51.23/34.70	o 796
51.43/34.93	o 795
51.64/35.14	o 794
51.83/35.35	o 793
52.03/35.56	o 792
52.23/35.76	o 791
52.43/35.98	o 790
52.64/36.20	o 789
52.93/36.41	o 788
53.13/36.62	o 787
53.33/36.84	o 786
53.53/37.04	o 785
53.74/37.25	o 784
53.94/37.47	o 783
54.13/37.69	o 782
54.43/37.91	o 781
54.68/38.14	o 780
54.87/38.34	o 779
55.07/38.56	o 778
55.27/38.76	o 777
55.47/38.98	o 776
55.69/39.19	o 775
55.98/39.42	o 774
56.18/39.63	o 773
56.38/39.84	o 772
56.58/40.06	o 771
56.79/40.27	o 770
56.99/40.48	o 769
57.19/40.68	o 768
57.39/40.89	o 767
57.59/41.10	o 766
57.89/41.31	o 765
58.09/41.53	o 764
58.29/41.73	o 763
58.49/41.94	o 762
58.69/42.15	o 761
58.89/42.39	o 760
59.24/42.61	o 759
59.44/42.83	o 758
59.64/43.04	o 757
59.85/43.24	o 756
60.04/43.46	o 755
60.24/43.67	o 754
60.44/43.88	o 753
60.64/44.08	o 752
60.94/44.30	o 751
61.14/44.52	o 750
61.34/44.73	o 749
61.54/44.94	o 748
61.75/45.14	o 747
61.94/45.36	o 746
62.14/45.58	o 745
62.34/45.79	o 744
62.64/46.00	o 743
62.85/46.22	o 742
63.13/46.44	o 741
63.33/46.67	o 740
63.58/46.88	o 739
63.78/47.08	o 738
64.08/47.30	o 737
64.28/47.52	o 736
64.48/47.75	o 735
64.68/47.96	o 734
64.89/48.18	o 733
65.08/48.38	o 732
65.28/48.57	o 731
65.48/48.78	o 730
65.68/48.98	o 729
65.89/49.19	o 728
66.18/49.40	o 727
66.38/49.60	o 726
66.58/49.82	o 725
66.78/50.03	o 724
66.99/50.24	o 723
67.18/50.45	o 722
67.38/50.66	o 721
67.58/50.88	o 720
67.78/51.09	o 719
68.08/51.31	o 718
68.32/51.57	o 717
68.52/51.77	o 716
68.73/51.98	o 715
68.93/52.19	o 714
69.23/52.41	o 713
69.43/52.63	o 712
69.63/52.85	o 711
69.83/53.05	o 710
70.04/53.25	o 709
70.23/53.46	o 708
70.43/53.67	o 707
70.63/53.89	o 706
70.94/54.11	o 705
71.13/54.32	o 704
71.33/54.54	o 703
71.53/54.78	o 702
71.83/55.00	o 701
72.04/55.21	o 700
72.23/55.43	o 699
72.43/55.66	o 698
72.64/55.87	o 697
72.84/56.07	o 696
73.05/56.29	o 695
73.30/56.49	o 694
73.60/56.70	o 693
73.80/56.91	o 692
74.01/57.13	o 691
74.20/57.34	o 690
74.40/57.56	o 689
74.60/57.77	o 688
74.90/58.00	o 687
75.11/58.21	o 686
75.30/58.43	o 685
75.50/58.64	o 684
75.70/58.84	o 683
75.90/59.05	o 682
76.11/59.26	o 681
76.31/59.48	o 680
76.51/59.69	o 679
76.81/59.90	o 678
77.01/60.11	o 677
77.21/60.31	o 676
77.41/60.52	o 675
77.61/60.72	o 674
77.81/60.93	o 673
78.02/61.12	o 672
78.21/61.36	o 671
78.45/61.58	o 670
78.65/61.79	o 669
78.85/61.99	o 668
79.06/62.20	o 667
79.25/62.40	o 666
79.55/62.61	o 665
79.75/62.82	o 664
79.95/63.05	o 663
80.16/63.27	o 662
80.35/63.47	o 661
80.56/63.69	o 660
80.86/63.90	o 659
81.06/64.11	o 658
81.26/64.34	o 657
81.46/64.55	o 656
81.67/64.77	o 655
81.88/64.97	o 654
82.08/65.18	o 653
82.27/65.39	o 652
82.48/65.60	o 651
82.78/65.81	o 650
82.98/66.02	o 649
83.18/66.22	o 648
83.38/66.44	o 647
83.62/66.67	o 646
83.92/66.90	o 645
84.03/67.10	o 644
84.33/67.32	o 643
84.54/67.51	o 642
84.74/67.72	o 641
84.94/67.94	o 640
85.14/68.14	o 639
85.33/68.35	o 638
85.53/68.56	o 637
85.74/68.78	o 636
86.03/69.01	o 635
86.24/69.21	o 634
86.43/69.43	o 633
86.63/69.64	o 632
86.83/69.87	o 631
87.03/70.08	o 630
87.33/70.31	o 629
87.54/70.53	o 628
87.74/70.76	o 627
87.94/70.97	o 626
88.14/71.18	o 625
88.44/71.40	o 624
88.64/71.61	o 623
88.83/71.81	o 622
89.04/72.03	o 621
89.29/72.25	o 620
89.48/72.47	o 619
89.68/72.67	o 618
89.88/72.88	o 617
90.08/73.08	o 616
90.29/73.29	o 615
90.58/73.52	o 614
90.78/73.74	o 613
90.98/73.96	o 612
91.19/74.16	o 611
91.38/74.38	o 610
91.58/74.58	o 609
91.78/74.78	o 608
92.08/75.00	o 607
92.29/75.22	o 606
92.48/75.43	o 605
92.68/75.64	o 604
92.88/75.85	o 603
93.08/76.07	o 602
93.29/76.29	o 601
93.58/76.51	o 600
93.78/76.72	o 599
93.98/76.94	o 598
94.19/77.16	o 597
94.38/77.37	o 596
94.58/77.59	o 595
94.93/77.81	o 594
95.13/78.04	o 593
95.34/78.24	o 592
95.53/78.45	o 591
95.73/78.65	o 590
95.93/78.87	o 589
96.13/79.09	o 588
96.43/79.31	o 587
96.63/79.51	o 586
96.83/79.72	o 585
97.03/79.95	o 584
97.24/80.16	o 583
97.43/80.38	o 582
97.63/80.58	o 581
97.83/80.80	o 580
98.03/80.99	o 579
98.24/81.19	o 578
98.53/81.40	o 577
98.63/81.60	o 576
98.84/81.79	o 575
99.14/82.00	o 574
99.25/82.20	o 573
99.54/82.42	o 572
99.74/82.62	o 571
99.94/82.83	o 570
100.14/83.05	o 569
100.35/83.26	o 568
100.54/83.47	o 567
100.77/83.70	o 566
101.07/83.90	o 565
101.17/84.10	o 564
101.47/84.31	o 563
101.67/84.51	o 562
101.87/84.73	o 561
102.07/84.95	o 560
102.28/85.16	o 559
102.47/85.37	o 558
102.68/85.58	o 557
102.88/85.79	o 556
103.08/85.99	o 555
103.40/86.21	o 554
103.59/86.41	o 553
103.79/86.62	o 552
103.99/86.84	o 551
104.19/87.04	o 550
104.40/87.26	o 549
104.59/87.46	o 548
104.79/87.66	o 547
104.99/87.89	o 546
105.19/88.11	o 545
105.49/88.32	o 544
105.69/88.53	o 543
105.89/88.74	o 542
106.09/88.96	o 541
106.30/89.17	o 540
106.49/89.38	o 539
106.72/89.59	o 538
107.02/89.80	o 537
107.22/90.02	o 536
107.43/90.24	o 535
107.62/90.46	o 534
107.82/90.66	o 533
108.02/90.88	o 532
108.22/91.10	o 531
108.52/91.30	o 530
108.72/91.51	o 529
108.92/91.72	o 528
109.12/91.92	o 527
109.33/92.13	o 526
109.52/92.34	o 525
109.72/92.55	o 524
109.92/92.76	o 523
110.12/92.98	o 522
110.33/93.19	o 521
110.62/93.40	o 520
110.83/93.61	o 519
111.03/93.83	o 518
111.23/94.05	o 517
111.45/94.26	o 516
111.65/94.49	o 515
111.85/94.69	o 514
112.15/94.91	o 513
112.36/95.12	o 512
112.60/95.34	o 511
112.79/95.56	o 510
112.99/95.78	o 509
113.19/95.99	o 508
113.50/96.21	o 507
113.69/96.42	o 506
113.89/96.64	o 505
114.09/96.85	o 504
114.29/97.07	o 503
114.59/97.30	o 502
114.79/97.52	o 501
114.99/97.72	o 500
115.19/97.93	o 499
115.40/98.15	o 498
115.59/98.36	o 497
115.79/98.58	o 496
115.99/98.79	o 495
116.29/99.00	o 494
116.50/99.23	o 493
116.69/99.42	o 492
116.89/99.63	o 491
117.09/99.84	o 490
117.29/100.06	o 489
117.50/100.28	o 488
117.69/100.49	o 487
117.99/100.71	o 486
118.19/100.93	o 485
118.40/101.16	o 484
118.61/101.38	o 483
118.81/101.59	o 482
119.11/101.81	o 481
119.31/102.01	o 480
119.52/102.23	o 479
119.71/102.45	o 478
119.91/102.65	o 477
120.11/102.86	o 476
120.39/103.07	o 475
120.60/103.29	o 474
120.89/103.50	o 473
121.09/103.72	o 472
121.29/103.93	o 471
121.50/104.15	o 470
121.69/104.36	o 469
121.89/104.56	o 468
122.09/104.77	o 467
122.29/104.99	o 466
122.50/105.20	o 465
122.79/105.42	o 464
122.99/105.64	o 463
123.19/105.84	o 462
123.39/106.06	o 461
123.60/106.27	o 460
123.80/106.46	o 459
124.00/106.66	o 458
124.20/106.88	o 457
124.40/107.09	o 456
124.73/107.31	o 455
124.93/107.51	o 454
125.13/107.74	o 453
125.33/107.95	o 452
125.54/108.14	o 451
125.73/108.36	o 450
125.93/108.57	o 449
126.13/108.79	o 448
126.43/109.01	o 447
126.64/109.21	o 446
126.83/109.41	o 445
127.03/109.60	o 444
127.24/109.81	o 443
127.44/110.02	o 442
127.65/110.23	o 441
127.84/110.44	o 440
128.04/110.64	o 439
128.24/110.85	o 438
128.44/111.05	o 437
128.65/111.26	o 436
128.84/111.45	o 435
129.04/111.66	o 434
129.24/111.87	o 433
129.44/112.06	o 432
129.65/112.27	o 431
129.84/112.48	o 430
130.04/112.68	o 429
130.24/112.89	o 428
130.44/113.08	o 427
130.76/113.31	o 426
130.96/113.52	o 425
131.16/113.74	o 424
131.36/113.94	o 423
131.57/114.13	o 422
131.76/114.33	o 421
131.96/114.54	o 420
132.16/114.73	o 419
132.36/114.94	o 418
132.57/115.15	o 417
132.76/115.35	o 416
132.96/115.55	o 415
133.16/115.76	o 414
133.36/115.94	o 413
133.57/116.13	o 412
133.77/116.33	o 411
133.97/116.53	o 410
134.18/116.72	o 409
134.38/116.92	o 408
134.59/117.11	o 407
134.78/117.32	o 406
134.98/117.53	o 405
135.18/117.73	o 404
135.38/117.95	o 403
135.59/118.16	o 402
135.78/118.38	o 401
135.98/118.59	o 400
136.28/118.81	o 399
136.50/119.05	o 398
136.71/119.26	o 397
136.90/119.47	o 396
137.10/119.69	o 395
137.40/119.91	o 394
137.61/120.12	o 393
137.80/120.33	o 392
138.00/120.55	o 391
138.20/120.74	o 390
138.40/120.97	o 389
138.61/121.18	o 388
138.81/121.39	o 387
139.11/121.60	o 386
139.31/121.80	o 385
139.51/122.02	o 384
139.72/122.23	o 383
139.91/122.44	o 382
140.11/122.65	o 381
140.31/122.86	o 380
140.51/123.06	o 379
140.72/123.27	o 378
140.91/123.48	o 377
141.11/123.69	o 376
141.31/123.88	o 375
141.51/124.09	o 374
141.84/124.32	o 373
142.04/124.52	o 372
142.24/124.73	o 371
142.44/124.94	o 370
142.65/125.16	o 369
142.84/125.37	o 368
143.04/125.58	o 367
143.24/125.78	o 366
143.44/125.98	o 365
143.65/126.20	o 364
143.94/126.42	o 363
144.14/126.63	o 362
144.34/126.83	o 361
144.54/127.04	o 360
144.75/127.23	o 359
144.94/127.45	o 358
145.14/127.67	o 357
145.34/127.88	o 356
145.54/128.09	o 355
145.84/128.30	o 354
146.04/128.52	o 353
146.24/128.73	o 352
146.44/128.93	o 351
146.65/129.14	o 350
146.84/129.33	o 349
147.07/129.53	o 348
147.27/129.74	o 347
147.47/129.94	o 346
147.68/130.14	o 345
147.87/130.33	o 344
148.07/130.54	o 343
148.27/130.76	o 342
148.47/130.96	o 341
148.68/131.16	o 340
148.87/131.36	o 339
149.07/131.56	o 338
149.27/131.76	o 337
149.47/131.95	o 336
149.68/132.15	o 335
149.87/132.36	o 334
150.07/132.56	o 333
150.27/132.76	o 332
150.47/132.96	o 331
150.68/133.17	o 330
150.87/133.37	o 329
151.07/133.58	o 328
151.27/133.76	o 327
151.47/133.96	o 326
151.68/134.17	o 325
151.87/134.37	o 324
152.10/134.58	o 323
152.40/134.80	o 322
152.50/134.99	o 321
152.71/135.19	o 320
152.90/135.37	o 319
153.10/135.57	o 318
153.30/135.77	o 317
153.50/135.98	o 316
153.71/136.17	o 315
153.90/136.37	o 314
154.10/136.56	o 313
154.30/136.75	o 312
154.50/136.95	o 311
154.71/137.14	o 310
154.90/137.33	o 309
155.10/137.52	o 308
155.30/137.71	o 307
155.50/137.91	o 306
155.71/138.13	o 305
155.90/138.33	o 304
156.10/138.53	o 303
156.30/138.76	o 302
156.50/138.95	o 301
156.71/139.17	o 300
156.93/139.39	o 299
157.23/139.61	o 298
157.43/139.82	o 297
157.63/140.03	o 296
157.84/140.24	o 295
158.03/140.45	o 294
158.23/140.67	o 293
158.43/140.89	o 292
158.74/141.11	o 291
158.93/141.33	o 290
159.13/141.55	o 289
159.33/141.75	o 288
159.53/141.96	o 287
159.74/142.18	o 286
160.03/142.41	o 285
160.23/142.63	o 284
160.43/142.83	o 283
160.63/143.03	o 282
160.84/143.24	o 281
161.03/143.46	o 280
161.23/143.66	o 279
161.45/143.87	o 278
161.65/144.07	o 277
161.86/144.29	o 276
162.15/144.51	o 275
162.35/144.71	o 274
162.55/144.93	o 273
162.76/145.13	o 272
162.95/145.34	o 271
163.15/145.54	o 270
163.35/145.76	o 269
163.55/145.97	o 268
163.76/146.19	o 267
163.95/146.39	o 266
164.25/146.60	o 265
164.45/146.82	o 264
164.65/147.04	o 263
164.86/147.26	o 262
165.05/147.47	o 261
165.25/147.69	o 260
165.56/147.90	o 259
165.79/148.12	o 258
165.98/148.33	o 257
166.18/148.53	o 256
166.38/148.74	o 255
166.58/148.94	o 254
166.79/149.14	o 253
166.98/149.34	o 252
167.18/149.54	o 251
167.38/149.74	o 250
167.58/149.94	o 249
167.79/150.15	o 248
167.98/150.37	o 247
168.18/150.58	o 246
168.38/150.79	o 245
168.58/150.99	o 244
168.79/151.19	o 243
168.98/151.39	o 242
169.18/151.59	o 241
169.48/151.80	o 240
169.68/152.01	o 239
169.89/152.23	o 238
170.11/152.43	o 237
170.31/152.63	o 236
170.53/152.84	o 235
170.73/153.03	o 234
170.94/153.21	o 233
171.03/153.40	o 232
171.33/153.63	o 231
171.53/153.82	o 230
171.73/154.02	o 229
171.94/154.21	o 228
172.13/154.41	o 227
172.33/154.61	o 226
172.53/154.81	o 225
172.73/155.00	o 224
172.84/155.19	o 223
173.13/155.40	o 222
173.33/155.60	o 221
173.53/155.80	o 220
173.73/156.00	o 219
173.97/156.22	o 218
174.29/156.44	o 217
174.49/156.65	o 216
174.69/156.84	o 215
174.91/157.03	o 214
175.12/157.24	o 213
175.31/157.45	o 212
175.51/157.66	o 211
175.71/157.86	o 210
175.91/158.07	o 209
176.12/158.27	o 208
176.31/158.46	o 207
176.51/158.66	o 206
176.71/158.87	o 205
176.91/159.08	o 204
177.12/159.29	o 203
177.31/159.49	o 202
177.61/159.70	o 201
177.71/159.90	o 200
178.05/160.12	o 199
178.24/160.33	o 198
178.44/160.54	o 197
178.64/160.75	o 196
178.84/160.95	o 195
179.05/161.16	o 194
179.24/161.36	o 193
179.44/161.56	o 192
179.64/161.77	o 191
179.84/161.96	o 190
180.05/162.18	o 189
180.24/162.39	o 188
180.54/162.62	o 187
180.74/162.83	o 186
180.94/163.05	o 185
181.15/163.27	o 184
181.34/163.48	o 183
181.67/163.72	o 182
181.87/163.94	o 181
182.08/164.17	o 180
182.27/164.37	o 179
182.47/164.59	o 178
182.77/164.81	o 177
182.97/165.01	o 176
183.18/165.22	o 175
183.37/165.43	o 174
183.57/165.63	o 173
183.77/165.84	o 172
183.97/166.06	o 171
184.18/166.27	o 170
184.37/166.48	o 169
184.57/166.69	o 168
184.77/166.89	o 167
184.97/167.09	o 166
185.29/167.30	o 165
185.49/167.50	o 164
185.69/167.70	o 163
185.89/167.91	o 162
186.10/168.12	o 161
186.29/168.33	o 160
186.49/168.54	o 159
186.69/168.76	o 158
186.89/168.95	o 157
187.10/169.15	o 156
187.29/169.35	o 155
187.49/169.56	o 154
187.69/169.77	o 153
187.89/169.97	o 152
188.10/170.17	o 151
188.29/170.38	o 150
188.62/170.61	o 149
188.82/170.82	o 148
189.02/171.03	o 147
189.23/171.23	o 146
189.42/171.43	o 145
189.62/171.63	o 144
189.82/171.82	o 143
190.02/172.04	o 142
190.22/172.24	o 141
190.42/172.45	o 140
190.62/172.65	o 139
190.82/172.85	o 138
191.02/173.06	o 137
191.24/173.27	o 136
191.43/173.47	o 135
191.63/173.69	o 134
191.96/173.92	o 133
192.22/174.17	o 132
192.52/174.42	o 131
192.82/174.74	o 130
193.23/175.15	o 129
193.72/175.67	o 128
194.52/176.40	o 127
195.24/177.14	o 126
196.15/178.03	o 125
197.07/178.97	o 124
198.17/180.03	o 123
199.47/181.31	o 122
200.57/182.43	o 121
201.81/183.66	o 120
203.02/184.76	o 119
204.22/185.93	o 118
205.53/187.26	o 117
206.95/188.66	o 116
208.56/190.21	o 115
210.05/191.74	o 114
211.87/193.56	o 113
213.37/195.01	o 112
214.87/196.58	o 111
216.20/197.88	o 110
217.70/199.37	o 109
219.33/200.94	o 108
220.73/202.38	o 107
222.14/203.75	o 106
223.67/205.22	o 105
224.97/206.58	o 104
226.27/207.86	o 103
227.70/209.23	o 102
228.89/210.47	o 101
230.19/211.75	o 100
231.62/213.14	o 99
233.31/214.87	o 98
234.75/216.29	o 97
236.14/217.61	o 96
237.52/218.90	o 95
238.75/220.12	o 94
240.05/221.46	o 93
241.47/222.82	o 92
242.65/223.91	o 91
243.65/224.95	o 90
244.88/226.11	o 89
245.98/227.22	o 88
247.18/228.49	o 87
248.50/229.71	o 86
249.60/230.86	o 85
250.71/231.97	o 84
251.83/233.09	o 83
252.04/233.21	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
252.04/233.21		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
252.04/233.21		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
252.04/233.21		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:254)
252.04/233.21		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:16)
252.04/233.21		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
252.04/233.21		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
252.04/233.21		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
252.04/233.21		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.04/233.21		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.04/233.21		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.04/233.21		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.04/233.21		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.04/233.21		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.04/233.21		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.04/233.21		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
252.04/233.21		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
252.04/233.21		at scala.Option.map(Option.scala:146)
252.04/233.21		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
252.04/233.21		at concrete.MAC.mac(MAC.scala:203)
252.04/233.21		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.04/233.21		at scala.util.Try$.apply(Try.scala:209)
252.04/233.21		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.04/233.21		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.04/233.21		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.04/233.21		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.04/233.21		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.04/233.21		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.04/233.21		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.04/233.21		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.04/233.21		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.04/233.21		at concrete.MAC.oneRun(MAC.scala:253)
252.04/233.21		at concrete.MAC.nextSolution(MAC.scala:272)
252.04/233.21		at concrete.MAC.nextSolution(MAC.scala:355)
252.04/233.21		at concrete.Solver.hasNext(Solver.scala:166)
252.04/233.21		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.04/233.21		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.04/233.21		at concrete.Solver.foreach(Solver.scala:68)
252.04/233.21		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.04/233.21		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.04/233.21		at scala.util.Success.map(Try.scala:209)
252.04/233.21		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.04/233.21		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.04/233.21		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.04/233.21		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.04/233.21		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.04/233.21		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.04/233.21		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.04/233.21		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.04/233.21		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.04/233.21		at scala.collection.immutable.List.foreach(List.scala:389)
252.04/233.21		at scala.App.main(App.scala:76)
252.04/233.21		at scala.App.main$(App.scala:74)
252.04/233.21		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.04/233.21		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.04/233.22	v <instantiation cost="83">
252.04/233.22	v       <list>
252.04/233.22	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]
252.04/233.22	v       </list>
252.04/233.22	v       <values>
252.04/233.22	v         2 79 10 14 9 80 75 6 15 78 13 7 69 0 73 70 1 72 81 76 83 12 77 4 24 74 82 5 16 71 14 19 74 78 17 1 0 72 76 11 12 6 23 4 81 71 16 77 15 75 20 10 8 79 18 2 22 9 80 83 21 73 71 80 74 67 76 9 82 15 3 77 7 1 83 2 13 16 78 10 18 6 0 69 14 81 8 75 4 70 7 23 1 18 14 9 6 71 73 8 10 74 79 12 76 72 81 0 70 77 13 75 22 15 3 80 2 83 82 78 8 9 20 82 80 72 22 0 4 3 75 81 1 6 2 10 78 11 5 7 12 17 24 83 16 13 77 18 79 19 83 72 0 5 1 16 74 73 77 13 76 2 71 14 18 4 69 68 11 78 82 15 79 70 17 6 3 81 75 80 82 12 81 73 7 70 72 8 10 0 80 15 2 78 77 9 3 14 83 6 22 76 1 5 13 71 11 16 19 4 1 74 14 79 77 81 13 78 5 9 15 18 82 2 10 8 11 75 73 16 19 83 80 3 4 0 12 7 6 17 13 10 15 69 8 7 73 77 72 6 2 76 12 79 9 11 0 83 75 82 5 1 81 71 23 4 16 78 74 3 10 17 9 76 16 75 80 7 79 19 74 3 81 8 12 14 4 6 2 11 73 78 83 77 29 82 20 1 0 15 78 76 82 4 13 79 14 12 75 5 7 83 77 80 74 73 17 10 18 22 1 0 2 19 27 11 72 3 81 20 81 1 80 68 83 0 70 19 11 4 71 75 74 76 6 77 79 9 82 69 7 5 3 2 12 18 13 15 8 73 20 81 12 16 15 76 21 3 7 80 5 0 10 83 4 23 22 78 8 2 9 77 17 6 11 1 18 82 13 79 5 18 19 13 11 73 82 76 12 83 1 17 72 81 75 78 10 2 3 79 4 9 6 74 26 77 80 25 7 0 6 7 79 77 0 82 83 5 74 1 8 16 9 73 72 81 20 80 10 19 11 3 4 75 2 76 78 13 22 12 80 16 18 3 79 2 7 4 0 17 73 19 21 11 70 75 76 67 74 13 23 81 12 82 5 10 15 72 20 6 4 15 8 74 20 78 5 81 83 16 79 1 80 9 17 12 82 73 21 3 6 18 14 0 28 75 19 11 2 13 75 80 7 70 2 5 1 74 8 12 78 82 4 3 79 15 9 71 77 83 0 19 16 72 6 14 10 76 18 81 76 82 5 83 81 10 69 21 3 2 14 11 8 17 71 79 18 7 22 74 78 4 13 80 20 9 0 6 1 77 16 77 13 81 22 14 18 2 6 82 83 9 5 74 11 76 19 17 7 1 15 80 20 10 21 3 73 0 78 75 12 0 6 75 78 13 2 80 20 77 4 5 11 19 1 16 15 76 14 81 17 79 18 8 9 7 74 22 83 82 77 8 11 71 18 66 79 15 78 75 19 14 70 13 69 3 74 1 0 80 81 72 9 7 10 83 5 4 17 76 9 2 3 1 4 8 11 82 71 79 6 10 75 5 0 17 83 81 80 12 77 16 23 13 19 78 76 20 15 7 72 3 4 2 5 74 81 1 80 7 0 70 76 77 13 82 6 69 79 14 75 73 10 9 25 12 83 8 71 11 17 24 16 15 10 6 8 18 21 22 29 4 13 7 3 19 2 5 20 27 14 23 11 26 0 28 9 12 25 1 0 71 73 17 3 77 9 69 70 81 72 79 6 15 78 80 14 13 12 5 76 82 75 1 7 8 4 10 11 2 11 13 2 10 76 4 78 83 81 14 77 8 73 75 5 7 12 82 1 9 16 20 21 17 15 72 79 80 3 18 3 78 83 9 19 68 17 75 1 18 11 80 0 10 82 21 7 4 6 73 8 2 5 76 22 79 23 14 12 16 19 75 78 6 21 11 15 16 2 10 9 13 18 72 20 83 5 12 4 0 3 74 7 81 8 73 1 17 14 22 79 83 17 72 6 71 4 10 69 76 81 12 15 82 7 0 80 3 13 8 21 14 19 73 1 5 75 77 9 74
252.04/233.22	v       </values>
252.04/233.22	v     </instantiation>
252.04/233.22	s SATISFIABLE

Verifier Data 

OK	83

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302291-1532895126/watcher-4302291-1532895126 -o /tmp/evaluation-result-4302291-1532895126/solver-4302291-1532895126 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16079 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1335486924 HOME/instance-4302291-1532895126.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.101096 s]*
/proc/loadavg: 1.85 1.99 1.92 2/206 17562
/proc/meminfo: memFree=23742704/32770624 swapFree=67028828/67108860
[pid=17505] ppid=17502 vsize=10005480 memory=16548 CPUtime=0.08 cores=1,3,5,7
/proc/17505/stat : 17505 (java) S 17502 17505 10029 0 -1 1077944320 4303 13137 0 0 1 0 5 2 20 0 6 0 107075745 10245611520 4137 33554432000 4194304 4196468 140736415739568 140736415722112 140479235923703 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
/proc/17505/statm: 2501370 4137 1933 1 0 2489808 0
[pid=17505/tid=17558] ppid=17502 vsize=10005480 memory=4279135704047321741 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17558/stat : 17558 (java) R 17502 17505 10029 0 -1 4202560 2125 13137 0 0 0 0 5 2 20 0 6 0 107075754 10245611520 4137 33554432000 4194304 4196468 140736415739568 140479207760464 140479220004190 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17559] ppid=17502 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17559/stat : 17559 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 6 0 107075755 10245611520 4137 33554432000 4194304 4196468 140736415739568 140479240166416 140479235933909 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17560] ppid=17502 vsize=10005480 memory=140087720756864 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17560/stat : 17560 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 6 0 107075755 10245611520 4137 33554432000 4194304 4196468 140736415739568 140479121431696 140479235933909 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17561] ppid=17502 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17561/stat : 17561 (java) S 17502 17505 10029 0 -1 1077944384 1 13137 0 0 0 0 5 2 20 0 6 0 107075755 10245611520 4203 33554432000 4194304 4196468 140736415739568 140479120378640 140479235933909 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17562] ppid=17502 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17562/stat : 17562 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 6 0 107075755 10245611520 4203 33554432000 4194304 4196468 140736415739568 140478773910416 140479235933909 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16548 KiB

[startup+0.209936 s]*
/proc/loadavg: 1.85 1.99 1.92 3/215 17571
/proc/meminfo: memFree=23722432/32770624 swapFree=67028828/67108860
[pid=17505] ppid=17502 vsize=10982696 memory=45192 CPUtime=0.25 cores=1,3,5,7
/proc/17505/stat : 17505 (java) S 17502 17505 10029 0 -1 1077944320 8619 13137 0 0 16 2 5 2 20 0 15 0 107075745 11246280704 11298 33554432000 4194304 4196468 140736415739568 140736415722112 140479235923703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
/proc/17505/statm: 2745674 11298 2960 1 0 2708109 0
[pid=17505/tid=17558] ppid=17502 vsize=10982696 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/17505/task/17558/stat : 17558 (java) R 17502 17505 10029 0 -1 4202560 5158 13137 0 0 10 1 5 2 20 0 15 0 107075754 11246280704 11298 33554432000 4194304 4196468 140736415739568 140479207721360 140479219110533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17559] ppid=17502 vsize=10982696 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17559/stat : 17559 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075755 11246280704 11298 33554432000 4194304 4196468 140736415739568 140479240166416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17560] ppid=17502 vsize=10982696 memory=140087721405873 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17560/stat : 17560 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075755 11246280704 11298 33554432000 4194304 4196468 140736415739568 140479121431696 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17561] ppid=17502 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17561/stat : 17561 (java) S 17502 17505 10029 0 -1 1077944384 1 13137 0 0 0 0 5 2 20 0 15 0 107075755 11246280704 11298 33554432000 4194304 4196468 140736415739568 140479120378640 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17562] ppid=17502 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17562/stat : 17562 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075755 11246280704 11298 33554432000 4194304 4196468 140736415739568 140478773910416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17563] ppid=17502 vsize=10982696 memory=140087720756864 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17563/stat : 17563 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075757 11246280704 11298 33554432000 4194304 4196468 140736415739568 140478728960240 140479235934850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17564] ppid=17502 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17564/stat : 17564 (java) S 17502 17505 10029 0 -1 1077944384 13 13137 0 0 0 0 5 2 20 0 15 0 107075757 11246280704 11298 33554432000 4194304 4196468 140736415739568 140478045480096 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17565] ppid=17502 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17565/stat : 17565 (java) S 17502 17505 10029 0 -1 1077944384 1 13137 0 0 0 0 5 2 20 0 15 0 107075758 11246280704 11298 33554432000 4194304 4196468 140736415739568 140477844153072 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17566] ppid=17502 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17566/stat : 17566 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075760 11246280704 11298 33554432000 4194304 4196468 140736415739568 140477536753616 140479235942299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17567] ppid=17502 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17505/task/17567/stat : 17567 (java) S 17502 17505 10029 0 -1 1077944384 213 13137 0 0 1 0 5 2 20 0 15 0 107075760 11246280704 11298 33554432000 4194304 4196468 140736415739568 140478727908080 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17568] ppid=17502 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17505/task/17568/stat : 17568 (java) S 17502 17505 10029 0 -1 1077944384 408 13137 0 0 1 0 5 2 20 0 15 0 107075760 11246280704 11298 33554432000 4194304 4196468 140736415739568 140478726855536 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17569] ppid=17502 vsize=10982696 memory=140087720756864 CPUtime=0.1 cores=1,3,5,7
/proc/17505/task/17569/stat : 17569 (java) R 17502 17505 10029 0 -1 4202560 619 13137 0 0 3 0 5 2 20 0 15 0 107075760 11246280704 11298 33554432000 4194304 4196468 140736415739568 140478725802480 140479214942544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17570] ppid=17502 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17570/stat : 17570 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075761 11246280704 11298 33554432000 4194304 4196468 140736415739568 140477105957728 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17571] ppid=17502 vsize=10982696 memory=140087720756864 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17571/stat : 17571 (java) S 17502 17505 10029 0 -1 1077944384 1 13137 0 0 0 0 5 2 20 0 15 0 107075761 11246280704 11298 33554432000 4194304 4196468 140736415739568 140478724749872 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45192 KiB

[startup+0.310404 s]*
/proc/loadavg: 1.85 1.99 1.92 3/215 17571
/proc/meminfo: memFree=23709408/32770624 swapFree=67028828/67108860
[pid=17505] ppid=17502 vsize=10983192 memory=56332 CPUtime=0.37 cores=1,3,5,7
/proc/17505/stat : 17505 (java) S 17502 17505 10029 0 -1 1077944320 10617 13137 0 0 27 3 5 2 20 0 15 0 107075745 11246788608 14083 33554432000 4194304 4196468 140736415739568 140736415722112 140479235923703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
/proc/17505/statm: 2745798 14083 3092 1 0 2708109 0
[pid=17505/tid=17558] ppid=17502 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/17505/task/17558/stat : 17558 (java) R 17502 17505 10029 0 -1 4202560 7155 13137 0 0 19 2 5 2 20 0 15 0 107075754 11246788608 14130 33554432000 4194304 4196468 140736415739568 140479207735712 140479220004190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17559] ppid=17502 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17559/stat : 17559 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075755 11246788608 14130 33554432000 4194304 4196468 140736415739568 140479240166416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17560] ppid=17502 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17560/stat : 17560 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075755 11246788608 14130 33554432000 4194304 4196468 140736415739568 140479121431696 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17561] ppid=17502 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17561/stat : 17561 (java) S 17502 17505 10029 0 -1 1077944384 1 13137 0 0 0 0 5 2 20 0 15 0 107075755 11246788608 14130 33554432000 4194304 4196468 140736415739568 140479120378640 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17562] ppid=17502 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17562/stat : 17562 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075755 11246788608 14130 33554432000 4194304 4196468 140736415739568 140478773910416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17563] ppid=17502 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17563/stat : 17563 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075757 11246788608 14130 33554432000 4194304 4196468 140736415739568 140478728960240 140479235934850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17564] ppid=17502 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17564/stat : 17564 (java) S 17502 17505 10029 0 -1 1077944384 13 13137 0 0 0 0 5 2 20 0 15 0 107075757 11246788608 14130 33554432000 4194304 4196468 140736415739568 140478045480096 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17565] ppid=17502 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17565/stat : 17565 (java) S 17502 17505 10029 0 -1 1077944384 1 13137 0 0 0 0 5 2 20 0 15 0 107075758 11246788608 14130 33554432000 4194304 4196468 140736415739568 140477844153072 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17566] ppid=17502 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17566/stat : 17566 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075760 11246788608 14130 33554432000 4194304 4196468 140736415739568 140477536753616 140479235942299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17567] ppid=17502 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17505/task/17567/stat : 17567 (java) S 17502 17505 10029 0 -1 1077944384 214 13137 0 0 1 0 5 2 20 0 15 0 107075760 11246788608 14130 33554432000 4194304 4196468 140736415739568 140478727908080 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17568] ppid=17502 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17505/task/17568/stat : 17568 (java) S 17502 17505 10029 0 -1 1077944384 408 13137 0 0 1 0 5 2 20 0 15 0 107075760 11246788608 14130 33554432000 4194304 4196468 140736415739568 140478726855536 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17569] ppid=17502 vsize=10983192 memory=140087720756864 CPUtime=0.11 cores=1,3,5,7
/proc/17505/task/17569/stat : 17569 (java) S 17502 17505 10029 0 -1 1077944384 625 13137 0 0 4 0 5 2 20 0 15 0 107075760 11246788608 14130 33554432000 4194304 4196468 140736415739568 140478725802480 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17570] ppid=17502 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17570/stat : 17570 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075761 11246788608 14130 33554432000 4194304 4196468 140736415739568 140477105957728 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17571] ppid=17502 vsize=10983192 memory=140087720756864 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17571/stat : 17571 (java) S 17502 17505 10029 0 -1 1077944384 1 13137 0 0 0 0 5 2 20 0 15 0 107075761 11246788608 14130 33554432000 4194304 4196468 140736415739568 140478724749872 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56332 KiB

[startup+0.700759 s]
/proc/loadavg: 1.85 1.99 1.92 3/215 17571
/proc/meminfo: memFree=23698244/32770624 swapFree=67028828/67108860
[pid=17505] ppid=17502 vsize=10983192 memory=88772 CPUtime=0.97 cores=1,3,5,7
/proc/17505/stat : 17505 (java) S 17502 17505 10029 0 -1 1077944320 16839 13137 0 0 86 4 5 2 20 0 15 0 107075745 11246788608 22193 33554432000 4194304 4196468 140736415739568 140736415722112 140479235923703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
/proc/17505/statm: 2745798 22193 3237 1 0 2708109 0
[pid=17505/tid=17558] ppid=17502 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/17505/task/17558/stat : 17558 (java) S 17502 17505 10029 0 -1 1077944384 12433 13137 0 0 55 3 5 2 20 0 15 0 107075754 11246788608 22193 33554432000 4194304 4196468 140736415739568 140479207744528 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17559] ppid=17502 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17559/stat : 17559 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075755 11246788608 22193 33554432000 4194304 4196468 140736415739568 140479240166416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17560] ppid=17502 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17560/stat : 17560 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075755 11246788608 22193 33554432000 4194304 4196468 140736415739568 140479121431696 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17561] ppid=17502 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17561/stat : 17561 (java) S 17502 17505 10029 0 -1 1077944384 1 13137 0 0 0 0 5 2 20 0 15 0 107075755 11246788608 22193 33554432000 4194304 4196468 140736415739568 140479120378640 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17562] ppid=17502 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17562/stat : 17562 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075755 11246788608 22193 33554432000 4194304 4196468 140736415739568 140478773910416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17563] ppid=17502 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17563/stat : 17563 (java) R 17502 17505 10029 0 -1 4202560 5 13137 0 0 0 0 5 2 20 0 15 0 107075757 11246788608 22193 33554432000 4194304 4196468 140736415739568 140478728960240 140479228640855 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17564] ppid=17502 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17564/stat : 17564 (java) S 17502 17505 10029 0 -1 1077944384 13 13137 0 0 0 0 5 2 20 0 15 0 107075757 11246788608 22193 33554432000 4194304 4196468 140736415739568 140478045480096 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17565] ppid=17502 vsize=10983192 memory=140087606260496 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17565/stat : 17565 (java) S 17502 17505 10029 0 -1 1077944384 1 13137 0 0 0 0 5 2 20 0 15 0 107075758 11246788608 22193 33554432000 4194304 4196468 140736415739568 140477844153072 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17566] ppid=17502 vsize=10983192 memory=140088948294217 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17566/stat : 17566 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075760 11246788608 22193 33554432000 4194304 4196468 140736415739568 140477536753616 140479235942299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17567] ppid=17502 vsize=10983192 memory=796 CPUtime=0.16 cores=1,3,5,7
/proc/17505/task/17567/stat : 17567 (java) S 17502 17505 10029 0 -1 1077944384 803 13137 0 0 9 0 5 2 20 0 15 0 107075760 11246788608 22193 33554432000 4194304 4196468 140736415739568 140478727908080 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17568] ppid=17502 vsize=10983192 memory=7014751519650764113 CPUtime=0.15 cores=1,3,5,7
/proc/17505/task/17568/stat : 17568 (java) S 17502 17505 10029 0 -1 1077944384 709 13137 0 0 8 0 5 2 20 0 15 0 107075760 11246788608 22193 33554432000 4194304 4196468 140736415739568 140478726855536 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17569] ppid=17502 vsize=10983192 memory=7597123233646858610 CPUtime=0.19 cores=1,3,5,7
/proc/17505/task/17569/stat : 17569 (java) S 17502 17505 10029 0 -1 1077944384 667 13137 0 0 12 0 5 2 20 0 15 0 107075760 11246788608 22193 33554432000 4194304 4196468 140736415739568 140478725802480 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17570] ppid=17502 vsize=10983192 memory=3544 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17570/stat : 17570 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075761 11246788608 22193 33554432000 4194304 4196468 140736415739568 140477105957728 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17571] ppid=17502 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17571/stat : 17571 (java) S 17502 17505 10029 0 -1 1077944384 1 13137 0 0 0 0 5 2 20 0 15 0 107075761 11246788608 22193 33554432000 4194304 4196468 140736415739568 140478724749872 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88772 KiB

[startup+1.50148 s]
/proc/loadavg: 1.85 1.99 1.92 5/215 17571
/proc/meminfo: memFree=23652036/32770624 swapFree=67028828/67108860
[pid=17505] ppid=17502 vsize=10991948 memory=212880 CPUtime=3.01 cores=1,3,5,7
/proc/17505/stat : 17505 (java) S 17502 17505 10029 0 -1 1077944320 22185 13137 0 0 284 10 5 2 20 0 15 0 107075745 11255754752 53220 33554432000 4194304 4196468 140736415739568 140736415722112 140479235923703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
/proc/17505/statm: 2747987 53220 3449 1 0 2709645 0
[pid=17505/tid=17558] ppid=17502 vsize=10991948 memory=9169 CPUtime=1.45 cores=1,3,5,7
/proc/17505/task/17558/stat : 17558 (java) R 17502 17505 10029 0 -1 4202560 15184 13137 0 0 131 7 5 2 20 0 15 0 107075754 11255754752 53220 33554432000 4194304 4196468 140736415739568 140479207753136 140478802908234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17559] ppid=17502 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17559/stat : 17559 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075755 11255754752 53220 33554432000 4194304 4196468 140736415739568 140479240166416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17560] ppid=17502 vsize=10991948 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17560/stat : 17560 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075755 11255754752 53220 33554432000 4194304 4196468 140736415739568 140479121431696 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17561] ppid=17502 vsize=10991948 memory=3076 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17561/stat : 17561 (java) S 17502 17505 10029 0 -1 1077944384 1 13137 0 0 0 0 5 2 20 0 15 0 107075755 11255754752 53220 33554432000 4194304 4196468 140736415739568 140479120378640 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17562] ppid=17502 vsize=10991948 memory=88772 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17562/stat : 17562 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075755 11255754752 53220 33554432000 4194304 4196468 140736415739568 140478773910416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17563] ppid=17502 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17563/stat : 17563 (java) S 17502 17505 10029 0 -1 1077944384 7 13137 0 0 0 0 5 2 20 0 15 0 107075757 11255754752 53220 33554432000 4194304 4196468 140736415739568 140478728960240 140479235934850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17564] ppid=17502 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17564/stat : 17564 (java) S 17502 17505 10029 0 -1 1077944384 13 13137 0 0 0 0 5 2 20 0 15 0 107075757 11255754752 53220 33554432000 4194304 4196468 140736415739568 140478045480096 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17565] ppid=17502 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17565/stat : 17565 (java) S 17502 17505 10029 0 -1 1077944384 1 13137 0 0 0 0 5 2 20 0 15 0 107075758 11255754752 53220 33554432000 4194304 4196468 140736415739568 140477844153072 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17566] ppid=17502 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17566/stat : 17566 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075760 11255754752 53220 33554432000 4194304 4196468 140736415739568 140477536753616 140479235942299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17567] ppid=17502 vsize=10991948 memory=4638778398332698720 CPUtime=0.63 cores=1,3,5,7
/proc/17505/task/17567/stat : 17567 (java) R 17502 17505 10029 0 -1 4202560 1982 13137 0 0 56 0 5 2 20 0 15 0 107075760 11255754752 53220 33554432000 4194304 4196468 140736415739568 140478727894624 140479217444563 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17568] ppid=17502 vsize=10991948 memory=280175212796800 CPUtime=0.62 cores=1,3,5,7
/proc/17505/task/17568/stat : 17568 (java) R 17502 17505 10029 0 -1 4202560 1431 13137 0 0 55 0 5 2 20 0 15 0 107075760 11255754752 53220 33554432000 4194304 4196468 140736415739568 140478726847296 140479220319503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17569] ppid=17502 vsize=10991948 memory=6944656592452807323 CPUtime=0.47 cores=1,3,5,7
/proc/17505/task/17569/stat : 17569 (java) S 17502 17505 10029 0 -1 1077944384 1357 13137 0 0 39 1 5 2 20 0 15 0 107075760 11255754752 53220 33554432000 4194304 4196468 140736415739568 140478725802480 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17570] ppid=17502 vsize=10991948 memory=1399101730491701635 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17570/stat : 17570 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075761 11255754752 53220 33554432000 4194304 4196468 140736415739568 140477105957728 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17571] ppid=17502 vsize=10991948 memory=6944656591801719708 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17571/stat : 17571 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075761 11255754752 53220 33554432000 4194304 4196468 140736415739568 140478724749872 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 10991948 KiB

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

/proc/17505/task/17558/stat : 17558 (java) R 17502 17505 10029 0 -1 4202560 52661 13137 0 0 16103 43 5 2 20 0 15 0 107075754 11343855616 701798 33554432000 4194304 4196468 140736415739568 140479207753040 140478818477018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17559] ppid=17502 vsize=11077984 memory=14412609709410693 CPUtime=0.62 cores=1,3,5,7
/proc/17505/task/17559/stat : 17559 (java) S 17502 17505 10029 0 -1 1077944384 1056 13137 0 0 43 12 5 2 20 0 15 0 107075755 11343855616 701798 33554432000 4194304 4196468 140736415739568 140479240166416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17560] ppid=17502 vsize=11077984 memory=288230574492221466 CPUtime=0.62 cores=1,3,5,7
/proc/17505/task/17560/stat : 17560 (java) S 17502 17505 10029 0 -1 1077944384 2181 13137 0 0 44 11 5 2 20 0 15 0 107075755 11343855616 701798 33554432000 4194304 4196468 140736415739568 140479121431696 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17561] ppid=17502 vsize=11077984 memory=288230621803970871 CPUtime=0.6 cores=1,3,5,7
/proc/17505/task/17561/stat : 17561 (java) S 17502 17505 10029 0 -1 1077944384 1572 13137 0 0 42 11 5 2 20 0 15 0 107075755 11343855616 701798 33554432000 4194304 4196468 140736415739568 140479120378640 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17562] ppid=17502 vsize=11077984 memory=14412609709410693 CPUtime=0.62 cores=1,3,5,7
/proc/17505/task/17562/stat : 17562 (java) S 17502 17505 10029 0 -1 1077944384 2571 13137 0 0 43 12 5 2 20 0 15 0 107075755 11343855616 701798 33554432000 4194304 4196468 140736415739568 140478773910416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17563] ppid=17502 vsize=11077984 memory=5220 CPUtime=0.17 cores=1,3,5,7
/proc/17505/task/17563/stat : 17563 (java) S 17502 17505 10029 0 -1 1077944384 5395 13137 0 0 9 1 5 2 20 0 15 0 107075757 11343855616 701798 33554432000 4194304 4196468 140736415739568 140478728960240 140479235934850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17564] ppid=17502 vsize=11077984 memory=12772 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17564/stat : 17564 (java) S 17502 17505 10029 0 -1 1077944384 21 13137 0 0 0 0 5 2 20 0 15 0 107075757 11343855616 701798 33554432000 4194304 4196468 140736415739568 140478045480160 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17565] ppid=17502 vsize=11077984 memory=1332 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17565/stat : 17565 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075758 11343855616 701798 33554432000 4194304 4196468 140736415739568 140477844153088 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17566] ppid=17502 vsize=11077984 memory=1508 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17566/stat : 17566 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075760 11343855616 701798 33554432000 4194304 4196468 140736415739568 140477536753616 140479235942299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17567] ppid=17502 vsize=11077984 memory=3328 CPUtime=6.9 cores=1,3,5,7
/proc/17505/task/17567/stat : 17567 (java) S 17502 17505 10029 0 -1 1077944384 19381 13137 0 0 679 4 5 2 20 0 15 0 107075760 11343855616 701798 33554432000 4194304 4196468 140736415739568 140478727908080 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17568] ppid=17502 vsize=11077984 memory=4715433313220523562 CPUtime=7.06 cores=1,3,5,7
/proc/17505/task/17568/stat : 17568 (java) S 17502 17505 10029 0 -1 1077944384 18509 13137 0 0 695 4 5 2 20 0 15 0 107075760 11343855616 701798 33554432000 4194304 4196468 140736415739568 140478726855536 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17569] ppid=17502 vsize=11077984 memory=4427205132082312746 CPUtime=2.49 cores=1,3,5,7
/proc/17505/task/17569/stat : 17569 (java) S 17502 17505 10029 0 -1 1077944384 21684 13137 0 0 237 5 5 2 20 0 15 0 107075760 11343855616 701798 33554432000 4194304 4196468 140736415739568 140478725802480 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17570] ppid=17502 vsize=11077984 memory=-7023579799431922829 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17570/stat : 17570 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075761 11343855616 701798 33554432000 4194304 4196468 140736415739568 140477105957728 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17571] ppid=17502 vsize=11077984 memory=7523376918531162212 CPUtime=0.14 cores=1,3,5,7
/proc/17505/task/17571/stat : 17571 (java) S 17502 17505 10029 0 -1 1077944384 900 13137 0 0 4 3 5 2 20 0 15 0 107075761 11343855616 701798 33554432000 4194304 4196468 140736415739568 140478724749872 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
Current children cumulated CPU time: 180.24 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2807192 KiB

[startup+222.301 s]
/proc/loadavg: 1.90 1.97 1.93 3/215 17702
/proc/meminfo: memFree=21270460/32770624 swapFree=67028828/67108860
[pid=17505] ppid=17502 vsize=11077984 memory=2726168 CPUtime=240.95 cores=1,3,5,7
/proc/17505/stat : 17505 (java) S 17502 17505 10029 0 -1 1077944320 139906 13137 0 0 23975 113 5 2 20 0 15 0 107075745 11343855616 681542 33554432000 4194304 4196468 140736415739568 140736415722112 140479235923703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
/proc/17505/statm: 2769496 681542 3536 1 0 2731149 0
[pid=17505/tid=17558] ppid=17502 vsize=11077984 memory=6791534058613427641 CPUtime=221.38 cores=1,3,5,7
/proc/17505/task/17558/stat : 17558 (java) R 17502 17505 10029 0 -1 4202560 55414 13137 0 0 22087 44 5 2 20 0 15 0 107075754 11343855616 681542 33554432000 4194304 4196468 140736415739568 140479207753296 140478813646027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17559] ppid=17502 vsize=11077984 memory=288230621803970871 CPUtime=0.75 cores=1,3,5,7
/proc/17505/task/17559/stat : 17559 (java) S 17502 17505 10029 0 -1 1077944384 2044 13137 0 0 56 12 5 2 20 0 15 0 107075755 11343855616 681542 33554432000 4194304 4196468 140736415739568 140479240166416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17560] ppid=17502 vsize=11077984 memory=14412609709410693 CPUtime=0.75 cores=1,3,5,7
/proc/17505/task/17560/stat : 17560 (java) S 17502 17505 10029 0 -1 1077944384 2287 13137 0 0 57 11 5 2 20 0 15 0 107075755 11343855616 681542 33554432000 4194304 4196468 140736415739568 140479121431696 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17561] ppid=17502 vsize=11077984 memory=1828 CPUtime=0.74 cores=1,3,5,7
/proc/17505/task/17561/stat : 17561 (java) S 17502 17505 10029 0 -1 1077944384 2047 13137 0 0 55 12 5 2 20 0 15 0 107075755 11343855616 681542 33554432000 4194304 4196468 140736415739568 140479120378640 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17562] ppid=17502 vsize=11077984 memory=800 CPUtime=0.75 cores=1,3,5,7
/proc/17505/task/17562/stat : 17562 (java) S 17502 17505 10029 0 -1 1077944384 2647 13137 0 0 56 12 5 2 20 0 15 0 107075755 11343855616 681542 33554432000 4194304 4196468 140736415739568 140478773910416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17563] ppid=17502 vsize=11077984 memory=5220 CPUtime=0.19 cores=1,3,5,7
/proc/17505/task/17563/stat : 17563 (java) S 17502 17505 10029 0 -1 1077944384 5667 13137 0 0 11 1 5 2 20 0 15 0 107075757 11343855616 681542 33554432000 4194304 4196468 140736415739568 140478728960240 140479235934850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17564] ppid=17502 vsize=11077984 memory=12772 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17564/stat : 17564 (java) S 17502 17505 10029 0 -1 1077944384 21 13137 0 0 0 0 5 2 20 0 15 0 107075757 11343855616 681542 33554432000 4194304 4196468 140736415739568 140478045480160 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17565] ppid=17502 vsize=11077984 memory=1332 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17565/stat : 17565 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075758 11343855616 681542 33554432000 4194304 4196468 140736415739568 140477844153088 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17566] ppid=17502 vsize=11077984 memory=1508 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17566/stat : 17566 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075760 11343855616 681542 33554432000 4194304 4196468 140736415739568 140477536753616 140479235942299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17567] ppid=17502 vsize=11077984 memory=3328 CPUtime=7.11 cores=1,3,5,7
/proc/17505/task/17567/stat : 17567 (java) S 17502 17505 10029 0 -1 1077944384 22433 13137 0 0 700 4 5 2 20 0 15 0 107075760 11343855616 681542 33554432000 4194304 4196468 140736415739568 140478727908080 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17568] ppid=17502 vsize=11077984 memory=3008 CPUtime=7.11 cores=1,3,5,7
/proc/17505/task/17568/stat : 17568 (java) S 17502 17505 10029 0 -1 1077944384 19330 13137 0 0 700 4 5 2 20 0 15 0 107075760 11343855616 681542 33554432000 4194304 4196468 140736415739568 140478726855536 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17569] ppid=17502 vsize=11077984 memory=2764 CPUtime=2.51 cores=1,3,5,7
/proc/17505/task/17569/stat : 17569 (java) S 17502 17505 10029 0 -1 1077944384 24882 13137 0 0 239 5 5 2 20 0 15 0 107075760 11343855616 681542 33554432000 4194304 4196468 140736415739568 140478725802480 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17570] ppid=17502 vsize=11077984 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17570/stat : 17570 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075761 11343855616 681542 33554432000 4194304 4196468 140736415739568 140477105957728 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17571] ppid=17502 vsize=11077984 memory=6791534058613427641 CPUtime=0.18 cores=1,3,5,7
/proc/17505/task/17571/stat : 17571 (java) S 17502 17505 10029 0 -1 1077944384 932 13137 0 0 6 5 5 2 20 0 15 0 107075761 11343855616 681542 33554432000 4194304 4196468 140736415739568 140478724749872 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
Current children cumulated CPU time: 240.95 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2726168 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+233.21 s]
/proc/loadavg: 1.85 1.96 1.93 3/215 17702
/proc/meminfo: memFree=21280448/32770624 swapFree=67028828/67108860
[pid=17505] ppid=17502 vsize=11077984 memory=2711872 CPUtime=252.04 cores=1,3,5,7
/proc/17505/stat : 17505 (java) S 17502 17505 10029 0 -1 1077944320 147946 13137 0 0 25083 114 5 2 20 0 15 0 107075745 11343855616 677968 33554432000 4194304 4196468 140736415739568 140736415722112 140479235923703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
/proc/17505/statm: 2769496 677968 3536 1 0 2731149 0
[pid=17505/tid=17558] ppid=17502 vsize=11077984 memory=2728260 CPUtime=232.25 cores=1,3,5,7
/proc/17505/task/17558/stat : 17558 (java) R 17502 17505 10029 0 -1 4202560 57091 13137 0 0 23174 44 5 2 20 0 15 0 107075754 11343855616 677968 33554432000 4194304 4196468 140736415739568 140479207758144 140478812546553 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17559] ppid=17502 vsize=11077984 memory=2728260 CPUtime=0.78 cores=1,3,5,7
/proc/17505/task/17559/stat : 17559 (java) S 17502 17505 10029 0 -1 1077944384 2988 13137 0 0 59 12 5 2 20 0 15 0 107075755 11343855616 677968 33554432000 4194304 4196468 140736415739568 140479240166416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17560] ppid=17502 vsize=11077984 memory=2718032 CPUtime=0.78 cores=1,3,5,7
/proc/17505/task/17560/stat : 17560 (java) S 17502 17505 10029 0 -1 1077944384 2530 13137 0 0 60 11 5 2 20 0 15 0 107075755 11343855616 677968 33554432000 4194304 4196468 140736415739568 140479121431696 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17561] ppid=17502 vsize=11077984 memory=2718032 CPUtime=0.77 cores=1,3,5,7
/proc/17505/task/17561/stat : 17561 (java) S 17502 17505 10029 0 -1 1077944384 2630 13137 0 0 58 12 5 2 20 0 15 0 107075755 11343855616 677968 33554432000 4194304 4196468 140736415739568 140479120378640 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17562] ppid=17502 vsize=11077984 memory=2726168 CPUtime=0.78 cores=1,3,5,7
/proc/17505/task/17562/stat : 17562 (java) S 17502 17505 10029 0 -1 1077944384 2677 13137 0 0 59 12 5 2 20 0 15 0 107075755 11343855616 677968 33554432000 4194304 4196468 140736415739568 140478773910416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17563] ppid=17502 vsize=11077984 memory=2711872 CPUtime=0.19 cores=1,3,5,7
/proc/17505/task/17563/stat : 17563 (java) S 17502 17505 10029 0 -1 1077944384 6074 13137 0 0 11 1 5 2 20 0 15 0 107075757 11343855616 677968 33554432000 4194304 4196468 140736415739568 140478728960240 140479235934850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17564] ppid=17502 vsize=11077984 memory=2711872 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17564/stat : 17564 (java) S 17502 17505 10029 0 -1 1077944384 21 13137 0 0 0 0 5 2 20 0 15 0 107075757 11343855616 677968 33554432000 4194304 4196468 140736415739568 140478045480160 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17565] ppid=17502 vsize=11077984 memory=2718032 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17565/stat : 17565 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075758 11343855616 677968 33554432000 4194304 4196468 140736415739568 140477844153088 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17566] ppid=17502 vsize=11077984 memory=2711872 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17566/stat : 17566 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075760 11343855616 677968 33554432000 4194304 4196468 140736415739568 140477536753616 140479235942299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17567] ppid=17502 vsize=11077984 memory=6791534058613427641 CPUtime=7.14 cores=1,3,5,7
/proc/17505/task/17567/stat : 17567 (java) S 17502 17505 10029 0 -1 1077944384 23580 13137 0 0 703 4 5 2 20 0 15 0 107075760 11343855616 677968 33554432000 4194304 4196468 140736415739568 140478727908080 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17568] ppid=17502 vsize=11077984 memory=2764 CPUtime=7.15 cores=1,3,5,7
/proc/17505/task/17568/stat : 17568 (java) S 17502 17505 10029 0 -1 1077944384 20307 13137 0 0 704 4 5 2 20 0 15 0 107075760 11343855616 677968 33554432000 4194304 4196468 140736415739568 140478726855536 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17569] ppid=17502 vsize=11077984 memory=3544 CPUtime=2.52 cores=1,3,5,7
/proc/17505/task/17569/stat : 17569 (java) S 17502 17505 10029 0 -1 1077944384 26878 13137 0 0 240 5 5 2 20 0 15 0 107075760 11343855616 677968 33554432000 4194304 4196468 140736415739568 140478725802480 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17570] ppid=17502 vsize=11077984 memory=27188 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17570/stat : 17570 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075761 11343855616 677968 33554432000 4194304 4196468 140736415739568 140477105957728 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17571] ppid=17502 vsize=11077984 memory=2718032 CPUtime=0.18 cores=1,3,5,7
/proc/17505/task/17571/stat : 17571 (java) S 17502 17505 10029 0 -1 1077944384 968 13137 0 0 6 5 5 2 20 0 15 0 107075761 11343855616 677968 33554432000 4194304 4196468 140736415739568 140478724749872 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2711872 KiB

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

[startup+233.25 s]
# the end of solver process 17505 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.904 s, system=1.19197 s

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

[startup+233.21 s]
/proc/loadavg: 1.85 1.96 1.93 3/215 17702
/proc/meminfo: memFree=21280448/32770624 swapFree=67028828/67108860
[pid=17505] ppid=17502 vsize=11077984 memory=2711872 CPUtime=252.04 cores=1,3,5,7
/proc/17505/stat : 17505 (java) S 17502 17505 10029 0 -1 1077944320 147946 13137 0 0 25083 114 5 2 20 0 15 0 107075745 11343855616 677968 33554432000 4194304 4196468 140736415739568 140736415722112 140479235923703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
/proc/17505/statm: 2769496 677968 3536 1 0 2731149 0
[pid=17505/tid=17558] ppid=17502 vsize=11077984 memory=2728260 CPUtime=232.25 cores=1,3,5,7
/proc/17505/task/17558/stat : 17558 (java) R 17502 17505 10029 0 -1 4202560 57091 13137 0 0 23174 44 5 2 20 0 15 0 107075754 11343855616 677968 33554432000 4194304 4196468 140736415739568 140479207758144 140478812546553 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17559] ppid=17502 vsize=11077984 memory=2728260 CPUtime=0.78 cores=1,3,5,7
/proc/17505/task/17559/stat : 17559 (java) S 17502 17505 10029 0 -1 1077944384 2988 13137 0 0 59 12 5 2 20 0 15 0 107075755 11343855616 677968 33554432000 4194304 4196468 140736415739568 140479240166416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17560] ppid=17502 vsize=11077984 memory=2718032 CPUtime=0.78 cores=1,3,5,7
/proc/17505/task/17560/stat : 17560 (java) S 17502 17505 10029 0 -1 1077944384 2530 13137 0 0 60 11 5 2 20 0 15 0 107075755 11343855616 677968 33554432000 4194304 4196468 140736415739568 140479121431696 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17561] ppid=17502 vsize=11077984 memory=2718032 CPUtime=0.77 cores=1,3,5,7
/proc/17505/task/17561/stat : 17561 (java) S 17502 17505 10029 0 -1 1077944384 2630 13137 0 0 58 12 5 2 20 0 15 0 107075755 11343855616 677968 33554432000 4194304 4196468 140736415739568 140479120378640 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17562] ppid=17502 vsize=11077984 memory=2726168 CPUtime=0.78 cores=1,3,5,7
/proc/17505/task/17562/stat : 17562 (java) S 17502 17505 10029 0 -1 1077944384 2677 13137 0 0 59 12 5 2 20 0 15 0 107075755 11343855616 677968 33554432000 4194304 4196468 140736415739568 140478773910416 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17563] ppid=17502 vsize=11077984 memory=2711872 CPUtime=0.19 cores=1,3,5,7
/proc/17505/task/17563/stat : 17563 (java) S 17502 17505 10029 0 -1 1077944384 6074 13137 0 0 11 1 5 2 20 0 15 0 107075757 11343855616 677968 33554432000 4194304 4196468 140736415739568 140478728960240 140479235934850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17564] ppid=17502 vsize=11077984 memory=2711872 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17564/stat : 17564 (java) S 17502 17505 10029 0 -1 1077944384 21 13137 0 0 0 0 5 2 20 0 15 0 107075757 11343855616 677968 33554432000 4194304 4196468 140736415739568 140478045480160 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17565] ppid=17502 vsize=11077984 memory=2718032 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17565/stat : 17565 (java) S 17502 17505 10029 0 -1 1077944384 2 13137 0 0 0 0 5 2 20 0 15 0 107075758 11343855616 677968 33554432000 4194304 4196468 140736415739568 140477844153088 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17566] ppid=17502 vsize=11077984 memory=2711872 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17566/stat : 17566 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075760 11343855616 677968 33554432000 4194304 4196468 140736415739568 140477536753616 140479235942299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17567] ppid=17502 vsize=11077984 memory=6791534058613427641 CPUtime=7.14 cores=1,3,5,7
/proc/17505/task/17567/stat : 17567 (java) S 17502 17505 10029 0 -1 1077944384 23580 13137 0 0 703 4 5 2 20 0 15 0 107075760 11343855616 677968 33554432000 4194304 4196468 140736415739568 140478727908080 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17568] ppid=17502 vsize=11077984 memory=2764 CPUtime=7.15 cores=1,3,5,7
/proc/17505/task/17568/stat : 17568 (java) S 17502 17505 10029 0 -1 1077944384 20307 13137 0 0 704 4 5 2 20 0 15 0 107075760 11343855616 677968 33554432000 4194304 4196468 140736415739568 140478726855536 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17569] ppid=17502 vsize=11077984 memory=3544 CPUtime=2.52 cores=1,3,5,7
/proc/17505/task/17569/stat : 17569 (java) S 17502 17505 10029 0 -1 1077944384 26878 13137 0 0 240 5 5 2 20 0 15 0 107075760 11343855616 677968 33554432000 4194304 4196468 140736415739568 140478725802480 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17570] ppid=17502 vsize=11077984 memory=27188 CPUtime=0.07 cores=1,3,5,7
/proc/17505/task/17570/stat : 17570 (java) S 17502 17505 10029 0 -1 1077944384 3 13137 0 0 0 0 5 2 20 0 15 0 107075761 11343855616 677968 33554432000 4194304 4196468 140736415739568 140477105957728 140479235933909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
[pid=17505/tid=17571] ppid=17502 vsize=11077984 memory=2718032 CPUtime=0.18 cores=1,3,5,7
/proc/17505/task/17571/stat : 17571 (java) S 17502 17505 10029 0 -1 1077944384 968 13137 0 0 6 5 5 2 20 0 15 0 107075761 11343855616 677968 33554432000 4194304 4196468 140736415739568 140478724749872 140479235934850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140736415742577 140736415745377 140736415745377 140736415748047 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2711872 KiB

Child status: 143
Real time (s): 233.25
CPU time (s): 252.096
CPU user time (s): 250.904
CPU system time (s): 1.19197
CPU usage (%): 108.08
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 2876912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.904
system time used= 1.19197
maximum resident set size= 2878464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162654
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15323
involuntary context switches= 306


# summary of solver processes directly reported to runsolver:
#   pid: 17505
#   total CPU time (s): 252.096
#   total CPU user time (s): 250.904
#   total CPU system time (s): 1.19197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38642 second user time and 2.33796 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-29 22:12:06
IDJOB=4302291
IDBENCH=141144
IDSOLVER=2776
FILE ID=node102/4302291-1532895126
RUNJOBID= node102-1532894154-16079
PBS_JOBID= 21022526
Free space on /tmp= 52948 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order30_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302291-1532895126/watcher-4302291-1532895126 -o /tmp/evaluation-result-4302291-1532895126/solver-4302291-1532895126 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16079 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1335486924 HOME/instance-4302291-1532895126.xml

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

MD5SUM BENCH= 2f5cbdca11052f8d5a6d32bd8b795ba4
RANDOM SEED=1335486924

node102.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.51
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.51
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.51
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.51
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:        23751328 kB
MemAvailable:   29030952 kB
Buffers:          233128 kB
Cached:          5290524 kB
SwapCached:        53024 kB
Active:          4166480 kB
Inactive:        4325328 kB
Active(anon):    2894152 kB
Inactive(anon):    99168 kB
Active(file):    1272328 kB
Inactive(file):  4226160 kB
Unevictable:        6644 kB
Mlocked:            6644 kB
SwapTotal:      67108860 kB
SwapFree:       67028828 kB
Dirty:             27220 kB
Writeback:             0 kB
AnonPages:       2926176 kB
Mapped:            51400 kB
Shmem:             22592 kB
Slab:             222940 kB
SReclaimable:     193944 kB
SUnreclaim:        28996 kB
KernelStack:        3808 kB
PageTables:        10724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3988732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2717696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52924 MiB
End job on node102 at 2018-07-29 22:15:59