Trace number 4304263

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.2OPT29 303.273 282.104

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

1.00/1.32	c Concrete v3.9.2.1532736233296 running
25.10/12.02	o 899
26.04/12.42	o 898
26.51/12.71	o 897
26.83/12.98	o 896
27.21/13.28	o 895
27.74/13.54	o 894
28.20/13.80	o 893
28.55/14.04	o 892
28.82/14.28	o 891
29.20/14.53	o 890
29.54/14.77	o 889
29.87/15.02	o 888
30.07/15.28	o 887
30.43/15.53	o 886
30.64/15.77	o 885
30.95/16.01	o 884
31.21/16.24	o 883
31.41/16.47	o 882
31.61/16.70	o 881
31.92/16.94	o 880
32.13/17.15	o 879
32.46/17.40	o 878
32.67/17.63	o 877
32.87/17.87	o 876
33.08/18.08	o 875
33.37/18.30	o 874
33.57/18.53	o 873
33.77/18.74	o 872
33.97/18.98	o 871
34.27/19.21	o 870
34.47/19.43	o 869
34.68/19.67	o 868
34.98/19.93	o 867
35.21/20.15	o 866
35.42/20.37	o 865
35.73/20.60	o 864
35.93/20.85	o 863
36.14/21.08	o 862
36.34/21.29	o 861
36.64/21.51	o 860
36.84/21.73	o 859
37.04/21.95	o 858
37.28/22.16	o 857
37.48/22.39	o 856
37.81/22.62	o 855
38.01/22.85	o 854
38.22/23.06	o 853
38.41/23.26	o 852
38.61/23.48	o 851
38.91/23.71	o 850
39.11/23.94	o 849
39.32/24.15	o 848
39.51/24.37	o 847
39.71/24.59	o 846
40.01/24.81	o 845
40.22/25.03	o 844
40.41/25.26	o 843
40.90/25.50	o 842
41.10/25.74	o 841
41.34/25.98	o 840
41.64/26.20	o 839
41.84/26.43	o 838
42.18/26.66	o 837
42.38/26.89	o 836
42.59/27.10	o 835
42.88/27.31	o 834
43.08/27.52	o 833
43.28/27.73	o 832
43.63/27.95	o 831
43.84/28.17	o 830
44.03/28.38	o 829
44.34/28.60	o 828
44.58/28.83	o 827
44.79/29.05	o 826
45.01/29.28	o 825
45.32/29.50	o 824
45.52/29.72	o 823
45.72/29.93	o 822
45.93/30.15	o 821
46.12/30.36	o 820
46.32/30.58	o 819
46.62/30.81	o 818
46.83/31.01	o 817
47.02/31.22	o 816
47.23/31.44	o 815
47.43/31.64	o 814
47.63/31.86	o 813
47.84/32.07	o 812
48.03/32.28	o 811
48.33/32.50	o 810
48.54/32.73	o 809
48.77/32.97	o 808
48.98/33.19	o 807
49.17/33.40	o 806
49.47/33.63	o 805
49.67/33.85	o 804
49.89/34.08	o 803
50.08/34.28	o 802
50.28/34.50	o 801
50.58/34.72	o 800
50.78/34.94	o 799
50.99/35.16	o 798
51.18/35.36	o 797
51.38/35.58	o 796
51.58/35.78	o 795
51.78/36.00	o 794
52.08/36.22	o 793
52.28/36.44	o 792
52.51/36.67	o 791
52.72/36.89	o 790
52.93/37.09	o 789
53.22/37.30	o 788
53.42/37.50	o 787
53.62/37.71	o 786
53.82/37.92	o 785
54.03/38.15	o 784
54.22/38.36	o 783
54.42/38.57	o 782
54.62/38.78	o 781
54.82/39.00	o 780
55.12/39.22	o 779
55.32/39.44	o 778
55.52/39.65	o 777
55.72/39.89	o 776
56.03/40.11	o 775
56.23/40.31	o 774
56.42/40.55	o 773
56.77/40.80	o 772
56.87/41.01	o 771
57.17/41.23	o 770
57.37/41.44	o 769
57.57/41.64	o 768
57.78/41.87	o 767
57.99/42.08	o 766
58.28/42.31	o 765
58.48/42.52	o 764
58.68/42.73	o 763
58.88/42.93	o 762
59.09/43.15	o 761
59.28/43.36	o 760
59.48/43.58	o 759
59.68/43.79	o 758
59.99/44.01	o 757
60.18/44.22	o 756
60.38/44.44	o 755
60.58/44.65	o 754
60.78/44.86	o 753
61.03/45.10	o 752
61.32/45.32	o 751
61.52/45.54	o 750
61.72/45.77	o 749
61.92/45.99	o 748
62.22/46.20	o 747
62.42/46.42	o 746
62.62/46.62	o 745
62.82/46.82	o 744
63.03/47.03	o 743
63.22/47.25	o 742
63.42/47.48	o 741
63.62/47.67	o 740
63.83/47.90	o 739
64.14/48.11	o 738
64.33/48.32	o 737
64.53/48.53	o 736
64.74/48.75	o 735
64.94/48.96	o 734
65.15/49.17	o 733
65.43/49.41	o 732
65.64/49.65	o 731
65.86/49.86	o 730
66.07/50.07	o 729
66.26/50.28	o 728
66.46/50.47	o 727
66.66/50.68	o 726
66.86/50.88	o 725
67.07/51.08	o 724
67.37/51.30	o 723
67.57/51.51	o 722
67.77/51.73	o 721
67.97/51.95	o 720
68.18/52.17	o 719
68.37/52.39	o 718
68.67/52.61	o 717
68.87/52.81	o 716
69.08/53.02	o 715
69.27/53.23	o 714
69.47/53.43	o 713
69.67/53.65	o 712
69.87/53.85	o 711
70.08/54.07	o 710
70.27/54.27	o 709
70.61/54.51	o 708
70.81/54.74	o 707
71.01/54.96	o 706
71.22/55.17	o 705
71.51/55.40	o 704
71.71/55.61	o 703
71.91/55.82	o 702
72.12/56.02	o 701
72.31/56.23	o 700
72.51/56.44	o 699
72.71/56.64	o 698
72.91/56.85	o 697
73.12/57.06	o 696
73.31/57.27	o 695
73.52/57.48	o 694
73.72/57.68	o 693
73.92/57.88	o 692
74.13/58.10	o 691
74.42/58.31	o 690
74.62/58.53	o 689
74.82/58.74	o 688
75.02/58.94	o 687
75.22/59.17	o 686
75.41/59.38	o 685
75.74/59.62	o 684
75.94/59.84	o 683
76.15/60.06	o 682
76.35/60.28	o 681
76.55/60.50	o 680
76.85/60.72	o 679
77.05/60.95	o 678
77.26/61.18	o 677
77.46/61.39	o 676
77.76/61.60	o 675
77.96/61.82	o 674
78.16/62.04	o 673
78.36/62.25	o 672
78.56/62.48	o 671
78.86/62.70	o 670
79.06/62.92	o 669
79.28/63.13	o 668
79.47/63.35	o 667
79.67/63.56	o 666
79.87/63.77	o 665
80.07/63.98	o 664
80.28/64.19	o 663
80.57/64.41	o 662
80.81/64.64	o 661
81.01/64.86	o 660
81.21/65.06	o 659
81.40/65.27	o 658
81.61/65.47	o 657
81.81/65.68	o 656
82.11/65.91	o 655
82.32/66.12	o 654
82.51/66.32	o 653
82.71/66.55	o 652
82.91/66.75	o 651
83.11/66.96	o 650
83.32/67.18	o 649
83.51/67.39	o 648
83.81/67.60	o 647
84.01/67.82	o 646
84.22/68.04	o 645
84.42/68.26	o 644
84.62/68.48	o 643
84.92/68.70	o 642
85.13/68.93	o 641
85.34/69.14	o 640
85.53/69.35	o 639
85.73/69.58	o 638
86.03/69.80	o 637
86.27/70.03	o 636
86.46/70.23	o 635
86.66/70.45	o 634
86.86/70.66	o 633
87.06/70.87	o 632
87.27/71.08	o 631
87.56/71.30	o 630
87.76/71.52	o 629
87.96/71.73	o 628
88.16/71.93	o 627
88.37/72.13	o 626
88.56/72.33	o 625
88.76/72.53	o 624
88.96/72.73	o 623
89.16/72.93	o 622
89.37/73.15	o 621
89.56/73.36	o 620
89.76/73.57	o 619
89.96/73.77	o 618
90.16/73.99	o 617
90.46/74.22	o 616
90.66/74.44	o 615
90.86/74.65	o 614
91.06/74.85	o 613
91.27/75.06	o 612
91.46/75.29	o 611
91.80/75.51	o 610
92.01/75.73	o 609
92.21/75.94	o 608
92.41/76.14	o 607
92.61/76.34	o 606
92.81/76.57	o 605
93.01/76.78	o 604
93.20/76.98	o 603
93.41/77.18	o 602
93.71/77.40	o 601
93.91/77.60	o 600
94.11/77.82	o 599
94.31/78.03	o 598
94.51/78.24	o 597
94.70/78.45	o 596
94.90/78.66	o 595
95.10/78.87	o 594
95.31/79.07	o 593
95.50/79.29	o 592
95.80/79.50	o 591
96.00/79.71	o 590
96.20/79.91	o 589
96.41/80.12	o 588
96.60/80.34	o 587
96.80/80.55	o 586
97.00/80.77	o 585
97.20/81.00	o 584
97.54/81.23	o 583
97.74/81.44	o 582
97.94/81.66	o 581
98.14/81.88	o 580
98.35/82.09	o 579
98.64/82.30	o 578
98.85/82.51	o 577
99.05/82.72	o 576
99.25/82.93	o 575
99.46/83.12	o 574
99.65/83.33	o 573
99.85/83.56	o 572
100.05/83.78	o 571
100.25/84.00	o 570
100.55/84.21	o 569
100.75/84.43	o 568
100.95/84.62	o 567
101.15/84.83	o 566
101.36/85.06	o 565
101.55/85.27	o 564
101.75/85.48	o 563
101.95/85.69	o 562
102.15/85.89	o 561
102.46/86.11	o 560
102.65/86.33	o 559
102.85/86.53	o 558
103.05/86.74	o 557
103.30/86.97	o 556
103.51/87.16	o 555
103.70/87.37	o 554
103.90/87.58	o 553
104.20/87.80	o 552
104.30/88.00	o 551
104.60/88.20	o 550
104.80/88.43	o 549
105.00/88.65	o 548
105.20/88.86	o 547
105.41/89.09	o 546
105.70/89.31	o 545
105.90/89.54	o 544
106.11/89.76	o 543
106.31/89.97	o 542
106.51/90.18	o 541
106.71/90.38	o 540
107.01/90.61	o 539
107.21/90.83	o 538
107.41/91.05	o 537
107.61/91.26	o 536
107.81/91.49	o 535
108.11/91.71	o 534
108.31/91.92	o 533
108.51/92.13	o 532
108.71/92.36	o 531
108.91/92.58	o 530
109.20/92.80	o 529
109.44/93.03	o 528
109.64/93.24	o 527
109.84/93.46	o 526
110.04/93.68	o 525
110.24/93.89	o 524
110.44/94.10	o 523
110.74/94.31	o 522
110.94/94.53	o 521
111.14/94.76	o 520
111.34/94.98	o 519
111.64/95.20	o 518
111.84/95.41	o 517
112.04/95.62	o 516
112.25/95.84	o 515
112.46/96.06	o 514
112.65/96.27	o 513
112.85/96.49	o 512
113.15/96.70	o 511
113.35/96.91	o 510
113.56/97.12	o 509
113.75/97.33	o 508
113.95/97.55	o 507
114.15/97.77	o 506
114.35/97.99	o 505
114.56/98.19	o 504
114.75/98.39	o 503
115.05/98.62	o 502
115.25/98.81	o 501
115.48/99.02	o 500
115.67/99.22	o 499
115.87/99.43	o 498
116.07/99.62	o 497
116.27/99.85	o 496
116.48/100.05	o 495
116.67/100.25	o 494
116.87/100.47	o 493
117.07/100.68	o 492
117.27/100.88	o 491
117.48/101.08	o 490
117.67/101.29	o 489
117.87/101.49	o 488
118.07/101.68	o 487
118.27/101.88	o 486
118.56/102.10	o 485
118.85/102.32	o 484
119.05/102.54	o 483
119.25/102.76	o 482
119.45/102.97	o 481
119.66/103.18	o 480
119.85/103.38	o 479
120.05/103.60	o 478
120.36/103.81	o 477
120.57/104.02	o 476
120.76/104.24	o 475
120.96/104.46	o 474
121.18/104.67	o 473
121.38/104.89	o 472
121.69/105.11	o 471
121.88/105.34	o 470
122.08/105.55	o 469
122.28/105.76	o 468
122.48/105.98	o 467
122.69/106.19	o 466
122.88/106.39	o 465
123.08/106.59	o 464
123.38/106.81	o 463
123.59/107.02	o 462
123.78/107.23	o 461
123.98/107.44	o 460
124.18/107.65	o 459
124.38/107.86	o 458
124.59/108.07	o 457
124.78/108.27	o 456
124.98/108.49	o 455
125.28/108.70	o 454
125.48/108.92	o 453
125.69/109.13	o 452
125.88/109.34	o 451
126.08/109.55	o 450
126.28/109.75	o 449
126.48/109.96	o 448
126.71/110.17	o 447
126.91/110.37	o 446
127.11/110.57	o 445
127.31/110.78	o 444
127.51/110.98	o 443
127.72/111.18	o 442
128.01/111.40	o 441
128.11/111.59	o 440
128.41/111.80	o 439
128.62/112.01	o 438
128.81/112.22	o 437
129.01/112.43	o 436
129.22/112.63	o 435
129.42/112.85	o 434
129.63/113.08	o 433
129.82/113.28	o 432
130.02/113.48	o 431
130.22/113.68	o 430
130.42/113.89	o 429
130.64/114.09	o 428
130.83/114.30	o 427
131.03/114.49	o 426
131.33/114.71	o 425
131.53/114.90	o 424
131.64/115.10	o 423
131.96/115.32	o 422
132.16/115.54	o 421
132.36/115.75	o 420
132.56/115.95	o 419
132.77/116.15	o 418
132.96/116.37	o 417
133.16/116.57	o 416
133.36/116.76	o 415
133.56/116.96	o 414
133.77/117.17	o 413
133.96/117.38	o 412
134.16/117.59	o 411
134.46/117.80	o 410
134.58/117.99	o 409
134.88/118.20	o 408
135.08/118.42	o 407
135.28/118.62	o 406
135.48/118.83	o 405
135.69/119.03	o 404
135.88/119.23	o 403
136.08/119.44	o 402
136.28/119.65	o 401
136.48/119.85	o 400
136.69/120.06	o 399
136.88/120.27	o 398
137.10/120.47	o 397
137.30/120.68	o 396
137.50/120.89	o 395
137.71/121.10	o 394
138.00/121.32	o 393
138.20/121.54	o 392
138.40/121.75	o 391
138.60/121.96	o 390
138.81/122.18	o 389
139.01/122.39	o 388
139.32/122.60	o 387
139.52/122.81	o 386
139.73/123.04	o 385
139.92/123.25	o 384
140.12/123.46	o 383
140.32/123.67	o 382
140.52/123.88	o 381
140.83/124.11	o 380
141.02/124.35	o 379
141.22/124.56	o 378
141.42/124.78	o 377
141.63/125.00	o 376
141.95/125.20	o 375
142.15/125.41	o 374
142.35/125.61	o 373
142.55/125.83	o 372
142.76/126.05	o 371
142.95/126.28	o 370
143.25/126.50	o 369
143.45/126.72	o 368
143.65/126.92	o 367
143.86/127.12	o 366
144.05/127.33	o 365
144.25/127.53	o 364
144.45/127.76	o 363
144.65/127.98	o 362
144.95/128.20	o 361
145.15/128.42	o 360
145.35/128.63	o 359
145.55/128.85	o 358
145.76/129.04	o 357
145.95/129.25	o 356
146.15/129.48	o 355
146.38/129.69	o 354
146.68/129.90	o 353
146.89/130.11	o 352
147.08/130.33	o 351
147.28/130.52	o 350
147.48/130.72	o 349
147.68/130.93	o 348
147.89/131.14	o 347
148.08/131.36	o 346
148.28/131.55	o 345
148.48/131.77	o 344
148.68/131.98	o 343
148.89/132.17	o 342
149.08/132.37	o 341
149.28/132.57	o 340
149.48/132.78	o 339
149.68/133.00	o 338
149.98/133.22	o 337
150.18/133.43	o 336
150.38/133.65	o 335
150.61/133.87	o 334
150.82/134.09	o 333
151.11/134.31	o 332
151.31/134.51	o 331
151.51/134.73	o 330
151.71/134.93	o 329
151.92/135.12	o 328
152.11/135.32	o 327
152.31/135.53	o 326
152.51/135.73	o 325
152.71/135.94	o 324
152.92/136.15	o 323
153.11/136.37	o 322
153.31/136.56	o 321
153.51/136.78	o 320
153.71/136.99	o 319
154.01/137.20	o 318
154.21/137.40	o 317
154.31/137.59	o 316
154.61/137.80	o 315
154.84/138.01	o 314
155.03/138.21	o 313
155.23/138.41	o 312
155.43/138.61	o 311
155.63/138.82	o 310
155.84/139.03	o 309
156.03/139.23	o 308
156.23/139.41	o 307
156.43/139.61	o 306
156.63/139.81	o 305
156.84/140.03	o 304
157.03/140.25	o 303
157.24/140.46	o 302
157.44/140.67	o 301
157.64/140.89	o 300
157.85/141.09	o 299
158.14/141.30	o 298
158.34/141.50	o 297
158.54/141.73	o 296
158.74/141.95	o 295
158.99/142.15	o 294
159.18/142.37	o 293
159.38/142.59	o 292
159.68/142.80	o 291
159.89/143.02	o 290
160.08/143.22	o 289
160.28/143.44	o 288
160.48/143.66	o 287
160.68/143.88	o 286
160.89/144.09	o 285
161.18/144.30	o 284
161.38/144.51	o 283
161.58/144.71	o 282
161.78/144.93	o 281
161.99/145.16	o 280
162.18/145.36	o 279
162.38/145.57	o 278
162.58/145.79	o 277
162.81/145.99	o 276
163.11/146.20	o 275
163.31/146.42	o 274
163.51/146.63	o 273
163.71/146.85	o 272
163.92/147.09	o 271
164.21/147.31	o 270
164.41/147.51	o 269
164.61/147.72	o 268
164.81/147.94	o 267
165.02/148.14	o 266
165.21/148.36	o 265
165.41/148.57	o 264
165.61/148.79	o 263
165.92/149.01	o 262
166.11/149.21	o 261
166.34/149.42	o 260
166.55/149.63	o 259
166.75/149.83	o 258
166.97/150.04	o 257
167.16/150.24	o 256
167.36/150.45	o 255
167.56/150.67	o 254
167.76/150.88	o 253
167.97/151.08	o 252
168.16/151.29	o 251
168.46/151.52	o 250
168.66/151.73	o 249
168.86/151.96	o 248
169.07/152.17	o 247
169.26/152.36	o 246
169.46/152.57	o 245
169.66/152.78	o 244
169.89/153.00	o 243
170.19/153.20	o 242
170.29/153.39	o 241
170.49/153.59	o 240
170.79/153.80	o 239
171.00/154.02	o 238
171.19/154.24	o 237
171.39/154.46	o 236
171.59/154.67	o 235
171.79/154.87	o 234
172.02/155.07	o 233
172.21/155.29	o 232
172.43/155.49	o 231
172.63/155.68	o 230
172.83/155.89	o 229
173.04/156.08	o 228
173.36/156.32	o 227
173.56/156.51	o 226
173.76/156.73	o 225
173.96/156.94	o 224
174.17/157.14	o 223
174.36/157.34	o 222
174.56/157.54	o 221
174.76/157.73	o 220
174.96/157.92	o 219
175.17/158.13	o 218
175.36/158.33	o 217
175.59/158.54	o 216
175.89/158.75	o 215
176.09/158.95	o 214
176.30/159.15	o 213
176.49/159.37	o 212
176.73/159.58	o 211
176.93/159.79	o 210
177.13/159.97	o 209
177.34/160.17	o 208
177.53/160.37	o 207
177.73/160.57	o 206
177.93/160.77	o 205
178.13/160.97	o 204
178.34/161.18	o 203
178.53/161.38	o 202
178.73/161.58	o 201
178.93/161.78	o 200
179.13/161.98	o 199
179.34/162.17	o 198
179.53/162.36	o 197
179.76/162.57	o 196
179.96/162.76	o 195
180.16/162.96	o 194
180.37/163.17	o 193
180.56/163.37	o 192
180.76/163.57	o 191
180.96/163.75	o 190
181.16/163.94	o 189
181.37/164.12	o 188
181.56/164.33	o 187
181.76/164.54	o 186
181.96/164.76	o 185
182.16/164.98	o 184
182.46/165.21	o 183
182.70/165.42	o 182
182.90/165.64	o 181
183.10/165.86	o 180
183.31/166.08	o 179
183.60/166.30	o 178
183.80/166.52	o 177
184.00/166.73	o 176
184.20/166.94	o 175
184.41/167.14	o 174
184.60/167.36	o 173
184.80/167.58	o 172
185.00/167.78	o 171
185.21/167.99	o 170
185.54/168.21	o 169
185.75/168.42	o 168
185.95/168.63	o 167
186.15/168.87	o 166
186.35/169.07	o 165
186.55/169.28	o 164
186.75/169.49	o 163
187.05/169.72	o 162
187.25/169.92	o 161
187.46/170.14	o 160
187.65/170.36	o 159
187.85/170.59	o 158
188.15/170.81	o 157
188.38/171.04	o 156
188.57/171.24	o 155
188.77/171.45	o 154
188.97/171.67	o 153
189.17/171.88	o 152
189.38/172.09	o 151
189.57/172.30	o 150
189.87/172.51	o 149
190.07/172.72	o 148
190.27/172.93	o 147
190.48/173.15	o 146
190.67/173.37	o 145
190.90/173.59	o 144
191.10/173.79	o 143
191.41/174.01	o 142
191.60/174.22	o 141
191.80/174.44	o 140
192.00/174.65	o 139
192.20/174.86	o 138
192.41/175.07	o 137
192.60/175.28	o 136
192.92/175.50	o 135
193.12/175.74	o 134
193.36/176.00	o 133
193.70/176.26	o 132
194.01/176.54	o 131
194.31/176.87	o 130
194.82/177.31	o 129
195.22/177.79	o 128
195.92/178.45	o 127
196.73/179.25	o 126
197.67/180.13	o 125
198.68/181.17	o 124
199.77/182.29	o 123
201.21/183.64	o 122
202.31/184.77	o 121
203.81/186.23	o 120
205.28/187.68	o 119
206.69/189.10	o 118
208.21/190.59	o 117
210.07/192.31	o 116
211.70/193.93	o 115
213.21/195.47	o 114
214.71/196.91	o 113
216.54/198.74	o 112
218.07/200.24	o 111
219.67/201.87	o 110
221.41/203.53	o 109
223.21/205.33	o 108
224.94/207.10	o 107
226.53/208.67	o 106
228.45/210.59	o 105
229.99/212.08	o 104
231.48/213.58	o 103
233.30/215.30	o 102
234.83/216.85	o 101
236.23/218.28	o 100
237.96/219.95	o 99
239.58/221.59	o 98
240.98/222.93	o 97
242.40/224.37	o 96
243.91/225.72	o 95
245.43/227.13	o 94
246.84/228.53	o 93
248.37/230.06	o 92
249.77/231.40	o 91
250.99/232.67	o 90
252.43/234.03	o 89
253.82/235.43	o 88
255.13/236.70	o 87
256.36/237.93	o 86
257.73/239.24	o 85
258.93/240.49	o 84
260.43/241.72	o 83
261.55/242.85	o 82
262.65/243.95	o 81
264.04/245.11	o 80
265.15/246.21	o 79
266.28/247.33	o 78
267.28/248.30	o 77
268.40/249.43	o 76
269.42/250.46	o 75
270.42/251.48	o 74
271.43/252.45	o 73
272.45/253.50	o 72
273.58/254.53	o 71
274.61/255.55	o 70
275.61/256.58	o 69
276.65/257.54	o 68
277.67/258.58	o 67
278.69/259.56	o 66
279.64/260.43	o 65
280.55/261.31	o 64
281.51/262.23	o 63
282.34/263.07	o 62
283.13/263.87	o 61
283.95/264.67	o 60
284.82/265.46	o 59
285.64/266.26	o 58
286.34/267.00	o 57
287.16/267.70	o 56
287.78/268.35	o 55
288.48/269.10	o 54
289.29/269.87	o 53
290.11/270.63	o 52
290.72/271.25	o 51
291.43/271.90	o 50
292.05/272.52	o 49
292.56/273.09	o 48
293.17/273.68	o 47
293.79/274.22	o 46
294.29/274.78	o 45
294.81/275.28	o 44
295.31/275.77	o 43
295.82/276.29	o 42
296.32/276.77	o 41
296.75/277.17	o 40
297.24/277.63	o 39
297.76/278.14	o 38
298.15/278.58	o 37
298.58/278.99	o 36
298.98/279.37	o 35
299.43/279.76	o 34
299.83/280.12	o 33
300.13/280.48	o 32
300.64/280.82	o 31
302.21/281.61	o 30
302.85/281.97	o 29
302.85/282.00	v <instantiation cost="29">
302.85/282.00	v       <list>
302.85/282.00	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]
302.85/282.00	v       </list>
302.85/282.00	v       <values>
302.85/282.00	v         25 26 13 1 9 29 28 14 16 4 5 17 21 2 19 20 27 22 18 24 0 7 11 6 10 8 15 12 23 3 19 7 26 20 28 21 1 4 14 12 3 16 18 11 23 22 2 10 5 29 8 17 27 25 6 24 13 9 0 15 20 15 14 0 19 12 10 9 5 16 18 13 26 21 27 1 24 11 4 7 2 25 29 8 22 6 23 3 17 28 15 2 11 17 20 7 14 18 3 24 8 29 13 27 9 5 1 25 19 23 22 28 10 16 21 4 26 0 6 12 13 18 22 4 16 26 11 20 10 6 27 5 0 17 3 28 23 1 7 19 25 8 14 12 9 21 29 2 15 24 8 21 4 12 11 22 16 28 6 14 23 0 17 9 29 19 5 18 20 27 10 3 7 24 15 26 2 1 13 25 26 3 18 25 29 5 21 23 11 15 9 24 1 7 28 12 14 19 6 16 13 0 22 17 4 20 27 8 10 2 1 17 27 8 15 6 19 11 12 25 10 21 20 5 13 16 0 26 14 2 28 24 9 4 7 29 3 23 18 22 9 20 2 23 25 19 4 27 22 29 1 14 5 3 24 26 13 6 28 10 12 21 16 0 8 7 18 15 11 17 14 11 21 18 4 27 20 24 26 5 28 1 9 8 2 29 12 15 17 25 16 6 3 7 23 0 22 10 19 13 10 23 1 29 21 16 24 19 13 3 25 28 2 4 15 18 26 7 11 22 5 9 0 14 17 27 8 20 12 6 5 1 29 15 0 28 6 3 27 10 21 7 11 13 14 9 18 20 8 4 24 19 2 22 12 25 17 16 26 23 29 9 3 5 22 20 0 21 23 26 11 25 7 14 8 2 17 16 24 12 15 4 18 19 27 13 1 6 28 10 27 25 20 16 14 13 5 2 19 7 4 8 3 26 10 0 29 17 9 21 23 11 6 15 28 1 12 22 24 18 28 12 17 9 2 1 23 0 18 27 7 3 8 29 22 24 6 13 10 14 4 15 20 26 25 11 21 19 5 16 6 22 16 26 24 10 13 29 20 21 17 2 19 15 11 25 7 8 23 9 18 14 28 27 3 12 4 5 1 0 3 5 10 24 12 4 8 22 2 23 0 6 28 25 17 7 11 14 15 1 26 27 13 9 29 16 20 18 21 19 4 27 7 14 3 2 18 8 24 1 15 9 6 22 16 10 20 0 29 11 17 23 12 21 13 19 5 28 25 26 2 14 0 10 6 11 3 7 4 18 16 12 24 20 25 23 8 21 13 26 1 5 15 28 19 22 9 17 29 27 24 8 25 19 27 0 22 15 21 28 20 11 4 12 5 13 10 3 1 6 9 2 23 18 16 17 14 26 7 29 12 4 28 3 26 25 15 6 7 19 14 10 29 0 18 8 22 5 2 13 27 1 17 23 20 9 11 24 16 21 21 28 8 6 23 15 17 25 0 2 13 18 12 16 26 27 19 9 3 5 7 20 4 1 24 14 10 29 22 11 11 6 15 22 18 8 12 10 17 13 26 23 14 28 1 3 4 29 25 0 21 16 19 20 2 5 24 27 9 7 22 16 24 28 5 3 26 17 1 11 2 15 23 19 7 4 9 12 0 8 20 13 21 29 18 10 6 25 27 14 17 24 23 7 13 18 9 1 25 22 29 20 27 10 6 21 16 2 12 15 11 26 8 5 0 28 19 14 3 4 0 13 9 2 17 23 27 5 29 8 19 26 10 24 12 14 21 28 22 3 6 18 25 11 1 15 16 7 4 20 18 10 6 13 1 14 29 26 9 0 24 22 15 23 4 17 25 27 16 28 19 12 5 3 11 2 7 21 20 8 16 0 5 11 7 24 25 12 8 17 6 19 22 18 21 15 3 4 27 20 29 10 1 2 26 23 28 13 14 9 23 19 12 27 8 9 7 13 28 20 22 4 16 1 0 6 15 24 21 17 3 29 26 10 14 18 25 11 2 5 7 29 19 21 10 17 2 16 15 9 12 27 25 6 20 11 28 23 26 18 14 22 24 13 5 3 0 4 8 1
302.85/282.00	v       </values>
302.85/282.00	v     </instantiation>
302.85/282.00	s OPTIMUM FOUND

Verifier Data 

OK	29

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (4027 MiB free)
  memory of node 1: 16384 MiB (5021 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304263-1534052248/watcher-4304263-1534052248 -o /tmp/evaluation-result-4304263-1534052248/solver-4304263-1534052248 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17409 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=71686056 HOME/instance-4304263-1534052248.xml 

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

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


[startup+0.100058 s]*
/proc/loadavg: 1.44 2.16 2.47 3/206 19380
/proc/meminfo: memFree=9257128/32770624 swapFree=67108404/67108860
[pid=19323] ppid=19320 vsize=10005480 memory=19252 CPUtime=0.08 cores=1,3,5,7
/proc/19323/stat : 19323 (java) S 19320 19323 15321 0 -1 1077944320 4426 13162 0 0 1 0 4 3 20 0 6 0 222787994 10245611520 4813 33554432000 4194304 4196468 140736173462640 140736173445184 140315680796407 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
/proc/19323/statm: 2501370 4813 1934 1 0 2489808 0
[pid=19323/tid=19376] ppid=19320 vsize=10005480 memory=4279135703946723216 CPUtime=0.08 cores=1,3,5,7
/proc/19323/task/19376/stat : 19376 (java) R 19320 19323 15321 0 -1 4202560 2245 13162 0 0 1 0 4 3 20 0 6 0 222788003 10245611520 4813 33554432000 4194304 4196468 140736173462640 140315652633168 140315665919344 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19377] ppid=19320 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19377/stat : 19377 (java) S 19320 19323 15321 0 -1 1077944384 2 13162 0 0 0 0 4 3 20 0 6 0 222788004 10245611520 4813 33554432000 4194304 4196468 140736173462640 140315685038864 140315680806613 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19378] ppid=19320 vsize=10005480 memory=139720627521152 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19378/stat : 19378 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 6 0 222788004 10245611520 4813 33554432000 4194304 4196468 140736173462640 140315576789904 140315680806613 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19379] ppid=19320 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19379/stat : 19379 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 6 0 222788004 10245611520 4813 33554432000 4194304 4196468 140736173462640 140315219123216 140315680806613 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19380] ppid=19320 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19380/stat : 19380 (java) S 19320 19323 15321 0 -1 1077944384 2 13162 0 0 0 0 4 3 20 0 6 0 222788004 10245611520 4813 33554432000 4194304 4196468 140736173462640 140315218070672 140315680806613 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 19252 KiB

[startup+0.209922 s]*
/proc/loadavg: 1.44 2.16 2.47 3/215 19389
/proc/meminfo: memFree=9233872/32770624 swapFree=67108404/67108860
[pid=19323] ppid=19320 vsize=10983736 memory=47696 CPUtime=0.25 cores=1,3,5,7
/proc/19323/stat : 19323 (java) S 19320 19323 15321 0 -1 1077944320 8128 13162 0 0 17 1 4 3 20 0 15 0 222787994 11247345664 11924 33554432000 4194304 4196468 140736173462640 140736173445184 140315680796407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
/proc/19323/statm: 2745934 11924 2957 1 0 2708357 0
[pid=19323/tid=19376] ppid=19320 vsize=10985364 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/19323/task/19376/stat : 19376 (java) R 19320 19323 15321 0 -1 4202560 4824 13162 0 0 10 1 4 3 20 0 15 0 222788003 11249012736 12056 33554432000 4194304 4196468 140736173462640 140315652621216 140315673476125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19377] ppid=19320 vsize=10985364 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19377/stat : 19377 (java) S 19320 19323 15321 0 -1 1077944384 2 13162 0 0 0 0 4 3 20 0 15 0 222788004 11249012736 12056 33554432000 4194304 4196468 140736173462640 140315685038864 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19378] ppid=19320 vsize=10985364 memory=3474443869328967328 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19378/stat : 19378 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788004 11249012736 12122 33554432000 4194304 4196468 140736173462640 140315576789904 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19379] ppid=19320 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19379/stat : 19379 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788004 11249012736 12122 33554432000 4194304 4196468 140736173462640 140315219123216 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19380] ppid=19320 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19380/stat : 19380 (java) S 19320 19323 15321 0 -1 1077944384 2 13162 0 0 0 0 4 3 20 0 15 0 222788004 11249012736 12122 33554432000 4194304 4196468 140736173462640 140315218070672 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19381] ppid=19320 vsize=10985364 memory=139720627521152 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19381/stat : 19381 (java) S 19320 19323 15321 0 -1 1077944384 2 13162 0 0 0 0 4 3 20 0 15 0 222788005 11249012736 12122 33554432000 4194304 4196468 140736173462640 140315173816304 140315680807554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19382] ppid=19320 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19382/stat : 19382 (java) S 19320 19323 15321 0 -1 1077944384 13 13162 0 0 0 0 4 3 20 0 15 0 222788006 11249012736 12122 33554432000 4194304 4196468 140736173462640 140314501178272 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19383] ppid=19320 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19383/stat : 19383 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788006 11249012736 12188 33554432000 4194304 4196468 140736173462640 140314299851760 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19384] ppid=19320 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19384/stat : 19384 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788008 11249012736 12188 33554432000 4194304 4196468 140736173462640 140313992452304 140315680815003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19385] ppid=19320 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19323/task/19385/stat : 19385 (java) S 19320 19323 15321 0 -1 1077944384 440 13162 0 0 1 0 4 3 20 0 15 0 222788008 11249012736 12188 33554432000 4194304 4196468 140736173462640 140315105159664 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19386] ppid=19320 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19386/stat : 19386 (java) S 19320 19323 15321 0 -1 1077944384 177 13162 0 0 0 0 4 3 20 0 15 0 222788008 11249012736 12188 33554432000 4194304 4196468 140736173462640 140315104107120 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19387] ppid=19320 vsize=10985364 memory=139720627521152 CPUtime=0.1 cores=1,3,5,7
/proc/19323/task/19387/stat : 19387 (java) S 19320 19323 15321 0 -1 1077944384 608 13162 0 0 3 0 4 3 20 0 15 0 222788009 11249012736 12254 33554432000 4194304 4196468 140736173462640 140315103054576 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19388] ppid=19320 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19388/stat : 19388 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788009 11249012736 12254 33554432000 4194304 4196468 140736173462640 140313561656416 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19389] ppid=19320 vsize=10985364 memory=139720627521152 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19389/stat : 19389 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788009 11249012736 12254 33554432000 4194304 4196468 140736173462640 140315102001456 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10983736 KiB
Current children cumulated memory: 47696 KiB

[startup+0.310285 s]*
/proc/loadavg: 1.44 2.16 2.47 3/215 19389
/proc/meminfo: memFree=9221716/32770624 swapFree=67108404/67108860
[pid=19323] ppid=19320 vsize=10983192 memory=57612 CPUtime=0.38 cores=1,3,5,7
/proc/19323/stat : 19323 (java) S 19320 19323 15321 0 -1 1077944320 10464 13162 0 0 29 2 4 3 20 0 15 0 222787994 11246788608 14403 33554432000 4194304 4196468 140736173462640 140736173445184 140315680796407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
/proc/19323/statm: 2745798 14403 3076 1 0 2708109 0
[pid=19323/tid=19376] ppid=19320 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/19323/task/19376/stat : 19376 (java) R 19320 19323 15321 0 -1 4202560 7014 13162 0 0 20 1 4 3 20 0 15 0 222788003 11246788608 14403 33554432000 4194304 4196468 140736173462640 140315652608416 140315664876894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19377] ppid=19320 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19377/stat : 19377 (java) S 19320 19323 15321 0 -1 1077944384 2 13162 0 0 0 0 4 3 20 0 15 0 222788004 11246788608 14403 33554432000 4194304 4196468 140736173462640 140315685038864 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19378] ppid=19320 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19378/stat : 19378 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788004 11246788608 14403 33554432000 4194304 4196468 140736173462640 140315576789904 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19379] ppid=19320 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19379/stat : 19379 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788004 11246788608 14403 33554432000 4194304 4196468 140736173462640 140315219123216 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19380] ppid=19320 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19380/stat : 19380 (java) S 19320 19323 15321 0 -1 1077944384 2 13162 0 0 0 0 4 3 20 0 15 0 222788004 11246788608 14403 33554432000 4194304 4196468 140736173462640 140315218070672 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19381] ppid=19320 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19381/stat : 19381 (java) S 19320 19323 15321 0 -1 1077944384 2 13162 0 0 0 0 4 3 20 0 15 0 222788005 11246788608 14403 33554432000 4194304 4196468 140736173462640 140315173816304 140315680807554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19382] ppid=19320 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19382/stat : 19382 (java) S 19320 19323 15321 0 -1 1077944384 13 13162 0 0 0 0 4 3 20 0 15 0 222788006 11246788608 14403 33554432000 4194304 4196468 140736173462640 140314501178272 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19383] ppid=19320 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19383/stat : 19383 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788006 11246788608 14403 33554432000 4194304 4196468 140736173462640 140314299851760 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19384] ppid=19320 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19384/stat : 19384 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788008 11246788608 14403 33554432000 4194304 4196468 140736173462640 140313992452304 140315680815003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19385] ppid=19320 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19323/task/19385/stat : 19385 (java) S 19320 19323 15321 0 -1 1077944384 440 13162 0 0 2 0 4 3 20 0 15 0 222788008 11246788608 14403 33554432000 4194304 4196468 140736173462640 140315105159664 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19386] ppid=19320 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19323/task/19386/stat : 19386 (java) S 19320 19323 15321 0 -1 1077944384 178 13162 0 0 1 0 4 3 20 0 15 0 222788008 11246788608 14403 33554432000 4194304 4196468 140736173462640 140315104107120 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19387] ppid=19320 vsize=10983192 memory=139720627521152 CPUtime=0.12 cores=1,3,5,7
/proc/19323/task/19387/stat : 19387 (java) R 19320 19323 15321 0 -1 4202560 614 13162 0 0 5 0 4 3 20 0 15 0 222788009 11246788608 14403 33554432000 4194304 4196468 140736173462640 140315103054576 140315680817754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19388] ppid=19320 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19388/stat : 19388 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788009 11246788608 14403 33554432000 4194304 4196468 140736173462640 140313561656416 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19389] ppid=19320 vsize=10983192 memory=139720627521152 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19389/stat : 19389 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788009 11246788608 14403 33554432000 4194304 4196468 140736173462640 140315102001456 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57612 KiB

[startup+0.700766 s]
/proc/loadavg: 1.44 2.16 2.47 3/215 19389
/proc/meminfo: memFree=9210816/32770624 swapFree=67108404/67108860
[pid=19323] ppid=19320 vsize=10983192 memory=90752 CPUtime=0.98 cores=1,3,5,7
/proc/19323/stat : 19323 (java) S 19320 19323 15321 0 -1 1077944320 16773 13162 0 0 88 3 4 3 20 0 15 0 222787994 11246788608 22688 33554432000 4194304 4196468 140736173462640 140736173445184 140315680796407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
/proc/19323/statm: 2745798 22688 3243 1 0 2708109 0
[pid=19323/tid=19376] ppid=19320 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/19323/task/19376/stat : 19376 (java) R 19320 19323 15321 0 -1 4202560 12303 13162 0 0 56 2 4 3 20 0 15 0 222788003 11246788608 22688 33554432000 4194304 4196468 140736173462640 140315652617232 140315663983237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19377] ppid=19320 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19377/stat : 19377 (java) S 19320 19323 15321 0 -1 1077944384 2 13162 0 0 0 0 4 3 20 0 15 0 222788004 11246788608 22688 33554432000 4194304 4196468 140736173462640 140315685038864 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19378] ppid=19320 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19378/stat : 19378 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788004 11246788608 22688 33554432000 4194304 4196468 140736173462640 140315576789904 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19379] ppid=19320 vsize=10983192 memory=139720520774448 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19379/stat : 19379 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788004 11246788608 22688 33554432000 4194304 4196468 140736173462640 140315219123216 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19380] ppid=19320 vsize=10983192 memory=139723876074060 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19380/stat : 19380 (java) S 19320 19323 15321 0 -1 1077944384 2 13162 0 0 0 0 4 3 20 0 15 0 222788004 11246788608 22688 33554432000 4194304 4196468 140736173462640 140315218070672 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19381] ppid=19320 vsize=10983192 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19381/stat : 19381 (java) S 19320 19323 15321 0 -1 1077944384 6 13162 0 0 0 0 4 3 20 0 15 0 222788005 11246788608 22688 33554432000 4194304 4196468 140736173462640 140315173816304 140315680807554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19382] ppid=19320 vsize=10983192 memory=4639098309541128813 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19382/stat : 19382 (java) S 19320 19323 15321 0 -1 1077944384 13 13162 0 0 0 0 4 3 20 0 15 0 222788006 11246788608 22688 33554432000 4194304 4196468 140736173462640 140314501178272 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19383] ppid=19320 vsize=10983192 memory=6082220498126138728 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19383/stat : 19383 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788006 11246788608 22688 33554432000 4194304 4196468 140736173462640 140314299851760 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19384] ppid=19320 vsize=10983192 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19384/stat : 19384 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788008 11246788608 22688 33554432000 4194304 4196468 140736173462640 140313992452304 140315680815003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19385] ppid=19320 vsize=10983192 memory=33432 CPUtime=0.14 cores=1,3,5,7
/proc/19323/task/19385/stat : 19385 (java) S 19320 19323 15321 0 -1 1077944384 801 13162 0 0 7 0 4 3 20 0 15 0 222788008 11246788608 22688 33554432000 4194304 4196468 140736173462640 140315105159664 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19386] ppid=19320 vsize=10983192 memory=14644 CPUtime=0.17 cores=1,3,5,7
/proc/19323/task/19386/stat : 19386 (java) S 19320 19323 15321 0 -1 1077944384 750 13162 0 0 10 0 4 3 20 0 15 0 222788008 11246788608 22688 33554432000 4194304 4196468 140736173462640 140315104107120 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19387] ppid=19320 vsize=10983192 memory=1720 CPUtime=0.2 cores=1,3,5,7
/proc/19323/task/19387/stat : 19387 (java) S 19320 19323 15321 0 -1 1077944384 694 13162 0 0 13 0 4 3 20 0 15 0 222788009 11246788608 22688 33554432000 4194304 4196468 140736173462640 140315103054576 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19388] ppid=19320 vsize=10983192 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19388/stat : 19388 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788009 11246788608 22688 33554432000 4194304 4196468 140736173462640 140313561656416 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19389] ppid=19320 vsize=10983192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19389/stat : 19389 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788009 11246788608 22688 33554432000 4194304 4196468 140736173462640 140315102001456 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90752 KiB

[startup+1.50129 s]
/proc/loadavg: 1.48 2.16 2.47 2/215 19389
/proc/meminfo: memFree=9178468/32770624 swapFree=67108404/67108860
[pid=19323] ppid=19320 vsize=10989824 memory=105504 CPUtime=1.32 cores=1,3,5,7
/proc/19323/stat : 19323 (java) S 19320 19323 15321 0 -1 1077944320 18474 13162 0 0 121 4 4 3 20 0 15 0 222787994 11253579776 26376 33554432000 4194304 4196468 140736173462640 140736173445184 140315680796407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
/proc/19323/statm: 2747456 26376 3396 1 0 2709133 0
[pid=19323/tid=19376] ppid=19320 vsize=10989824 memory=67344 CPUtime=0.87 cores=1,3,5,7
/proc/19323/task/19376/stat : 19376 (java) R 19320 19323 15321 0 -1 4202560 13836 13162 0 0 77 3 4 3 20 0 15 0 222788003 11253579776 26376 33554432000 4194304 4196468 140736173462640 140315652618880 140315664876894 0 4 0 16800975 0 0 0 -1 3 0 0 58 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19377] ppid=19320 vsize=10989824 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19377/stat : 19377 (java) S 19320 19323 15321 0 -1 1077944384 2 13162 0 0 0 0 4 3 20 0 15 0 222788004 11253579776 26376 33554432000 4194304 4196468 140736173462640 140315685038864 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19378] ppid=19320 vsize=10989824 memory=279441041580192 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19378/stat : 19378 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788004 11253579776 26376 33554432000 4194304 4196468 140736173462640 140315576789904 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19379] ppid=19320 vsize=10989824 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19379/stat : 19379 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788004 11253579776 26376 33554432000 4194304 4196468 140736173462640 140315219123216 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19380] ppid=19320 vsize=10989824 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19380/stat : 19380 (java) S 19320 19323 15321 0 -1 1077944384 2 13162 0 0 0 0 4 3 20 0 15 0 222788004 11253579776 26376 33554432000 4194304 4196468 140736173462640 140315218070672 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19381] ppid=19320 vsize=10989824 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19381/stat : 19381 (java) S 19320 19323 15321 0 -1 1077944384 6 13162 0 0 0 0 4 3 20 0 15 0 222788005 11253579776 26376 33554432000 4194304 4196468 140736173462640 140315173816304 140315680807554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19382] ppid=19320 vsize=10989824 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19382/stat : 19382 (java) S 19320 19323 15321 0 -1 1077944384 13 13162 0 0 0 0 4 3 20 0 15 0 222788006 11253579776 26376 33554432000 4194304 4196468 140736173462640 140314501178272 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19383] ppid=19320 vsize=10989824 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19383/stat : 19383 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788006 11253579776 26376 33554432000 4194304 4196468 140736173462640 140314299851760 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19384] ppid=19320 vsize=10989824 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19384/stat : 19384 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788008 11253579776 26376 33554432000 4194304 4196468 140736173462640 140313992452304 140315680815003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19385] ppid=19320 vsize=10989824 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/19323/task/19385/stat : 19385 (java) S 19320 19323 15321 0 -1 1077944384 826 13162 0 0 10 0 4 3 20 0 15 0 222788008 11253579776 26376 33554432000 4194304 4196468 140736173462640 140315105159664 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19386] ppid=19320 vsize=10989824 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/19323/task/19386/stat : 19386 (java) S 19320 19323 15321 0 -1 1077944384 771 13162 0 0 12 0 4 3 20 0 15 0 222788008 11253579776 26376 33554432000 4194304 4196468 140736173462640 140315104107120 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19387] ppid=19320 vsize=10989824 memory=6791534058613427641 CPUtime=0.26 cores=1,3,5,7
/proc/19323/task/19387/stat : 19387 (java) R 19320 19323 15321 0 -1 1077944384 815 13162 0 0 19 0 4 3 20 0 15 0 222788009 11253579776 26376 33554432000 4194304 4196468 140736173462640 140315103054576 140315680807554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19388] ppid=19320 vsize=10989824 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19388/stat : 19388 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788009 11253579776 26376 33554432000 4194304 4196468 140736173462640 140313561656416 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19389] ppid=19320 vsize=10989824 memory=279441041824704 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19389/stat : 19389 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788009 11253579776 26376 33554432000 4194304 4196468 140736173462640 140315102001456 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 54 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 10989824 KiB

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

[pid=19323/tid=19387] ppid=19320 vsize=11077984 memory=1616 CPUtime=2.56 cores=1,3,5,7
/proc/19323/task/19387/stat : 19387 (java) S 19320 19323 15321 0 -1 1077944384 29355 13162 0 0 244 5 4 3 20 0 15 0 222788009 11343855616 623424 33554432000 4194304 4196468 140736173462640 140315103054576 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19388] ppid=19320 vsize=11077984 memory=756 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19388/stat : 19388 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788009 11343855616 623424 33554432000 4194304 4196468 140736173462640 140313561656416 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19389] ppid=19320 vsize=11077984 memory=9624 CPUtime=0.21 cores=1,3,5,7
/proc/19323/task/19389/stat : 19389 (java) S 19320 19323 15321 0 -1 1077944384 1115 13162 0 0 7 7 4 3 20 0 15 0 222788009 11343855616 623424 33554432000 4194304 4196468 140736173462640 140315102001456 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 54 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
Current children cumulated CPU time: 298.05 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2493696 KiB

[startup+280.001 s]*
/proc/loadavg: 1.53 1.77 2.22 3/215 19400
/proc/meminfo: memFree=6782080/32770624 swapFree=67108404/67108860
[pid=19323] ppid=19320 vsize=11077984 memory=2489104 CPUtime=299.73 cores=1,3,5,7
/proc/19323/stat : 19323 (java) S 19320 19323 15321 0 -1 1077944320 162720 13162 0 0 29840 126 4 3 20 0 15 0 222787994 11343855616 622276 33554432000 4194304 4196468 140736173462640 140736173445184 140315680796407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
/proc/19323/statm: 2769496 622276 3535 1 0 2731149 0
[pid=19323/tid=19376] ppid=19320 vsize=11077984 memory=6791534058613427641 CPUtime=278.01 cores=1,3,5,7
/proc/19323/task/19376/stat : 19376 (java) R 19320 19323 15321 0 -1 4202560 65580 13162 0 0 27743 51 4 3 20 0 15 0 222788003 11343855616 622276 33554432000 4194304 4196468 140736173462640 140315652630512 140315259437103 0 4 0 16800975 0 0 0 -1 5 0 0 58 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19377] ppid=19320 vsize=11077984 memory=4872558044660077418 CPUtime=1.18 cores=1,3,5,7
/proc/19323/task/19377/stat : 19377 (java) S 19320 19323 15321 0 -1 1077944384 4208 13162 0 0 98 13 4 3 20 0 15 0 222788004 11343855616 622276 33554432000 4194304 4196468 140736173462640 140315685038864 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19378] ppid=19320 vsize=11077984 memory=1172 CPUtime=1.17 cores=1,3,5,7
/proc/19323/task/19378/stat : 19378 (java) S 19320 19323 15321 0 -1 1077944384 1814 13162 0 0 98 12 4 3 20 0 15 0 222788004 11343855616 622276 33554432000 4194304 4196468 140736173462640 140315576789904 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19379] ppid=19320 vsize=11077984 memory=2404 CPUtime=1.16 cores=1,3,5,7
/proc/19323/task/19379/stat : 19379 (java) S 19320 19323 15321 0 -1 1077944384 4488 13162 0 0 96 13 4 3 20 0 15 0 222788004 11343855616 622276 33554432000 4194304 4196468 140736173462640 140315219123216 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19380] ppid=19320 vsize=11077984 memory=1576 CPUtime=1.15 cores=1,3,5,7
/proc/19323/task/19380/stat : 19380 (java) S 19320 19323 15321 0 -1 1077944384 2681 13162 0 0 96 12 4 3 20 0 15 0 222788004 11343855616 622276 33554432000 4194304 4196468 140736173462640 140315218070672 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19381] ppid=19320 vsize=11077984 memory=928 CPUtime=0.23 cores=1,3,5,7
/proc/19323/task/19381/stat : 19381 (java) S 19320 19323 15321 0 -1 1077944384 4829 13162 0 0 13 3 4 3 20 0 15 0 222788005 11343855616 622276 33554432000 4194304 4196468 140736173462640 140315173816304 140315680807554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19382] ppid=19320 vsize=11077984 memory=2216 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19382/stat : 19382 (java) S 19320 19323 15321 0 -1 1077944384 22 13162 0 0 0 0 4 3 20 0 15 0 222788006 11343855616 622276 33554432000 4194304 4196468 140736173462640 140314501178336 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19383] ppid=19320 vsize=11077984 memory=3984 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19383/stat : 19383 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788006 11343855616 622276 33554432000 4194304 4196468 140736173462640 140314299851776 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19384] ppid=19320 vsize=11077984 memory=2144 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19384/stat : 19384 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788008 11343855616 622276 33554432000 4194304 4196468 140736173462640 140313992452304 140315680815003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19385] ppid=19320 vsize=11077984 memory=3296 CPUtime=7.28 cores=1,3,5,7
/proc/19323/task/19385/stat : 19385 (java) S 19320 19323 15321 0 -1 1077944384 21669 13162 0 0 718 3 4 3 20 0 15 0 222788008 11343855616 622276 33554432000 4194304 4196468 140736173462640 140315105159664 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19386] ppid=19320 vsize=11077984 memory=2726776 CPUtime=7.3 cores=1,3,5,7
/proc/19323/task/19386/stat : 19386 (java) S 19320 19323 15321 0 -1 1077944384 24509 13162 0 0 718 5 4 3 20 0 15 0 222788008 11343855616 622276 33554432000 4194304 4196468 140736173462640 140315104107120 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19387] ppid=19320 vsize=11077984 memory=4104 CPUtime=2.56 cores=1,3,5,7
/proc/19323/task/19387/stat : 19387 (java) S 19320 19323 15321 0 -1 1077944384 29606 13162 0 0 244 5 4 3 20 0 15 0 222788009 11343855616 622276 33554432000 4194304 4196468 140736173462640 140315103054576 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19388] ppid=19320 vsize=11077984 memory=1404 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19388/stat : 19388 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788009 11343855616 622276 33554432000 4194304 4196468 140736173462640 140313561656416 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19389] ppid=19320 vsize=11077984 memory=3032 CPUtime=0.21 cores=1,3,5,7
/proc/19323/task/19389/stat : 19389 (java) S 19320 19323 15321 0 -1 1077944384 1115 13162 0 0 7 7 4 3 20 0 15 0 222788009 11343855616 622276 33554432000 4194304 4196468 140736173462640 140315102001456 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 54 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
Current children cumulated CPU time: 299.73 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2489104 KiB

[startup+280.801 s]
/proc/loadavg: 1.53 1.77 2.22 3/215 19400
/proc/meminfo: memFree=6782080/32770624 swapFree=67108404/67108860
[pid=19323] ppid=19320 vsize=11077984 memory=2486020 CPUtime=300.64 cores=1,3,5,7
/proc/19323/stat : 19323 (java) S 19320 19323 15321 0 -1 1077944320 165955 13162 0 0 29931 126 4 3 20 0 15 0 222787994 11343855616 621505 33554432000 4194304 4196468 140736173462640 140736173445184 140315680796407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
/proc/19323/statm: 2769496 621505 3535 1 0 2731149 0
[pid=19323/tid=19376] ppid=19320 vsize=11077984 memory=60676 CPUtime=278.79 cores=1,3,5,7
/proc/19323/task/19376/stat : 19376 (java) R 19320 19323 15321 0 -1 4202560 65624 13162 0 0 27821 51 4 3 20 0 15 0 222788003 11343855616 621505 33554432000 4194304 4196468 140736173462640 140315652630704 140315268423983 0 4 0 16800975 0 0 0 -1 5 0 0 58 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19377] ppid=19320 vsize=11077984 memory=2148 CPUtime=1.19 cores=1,3,5,7
/proc/19323/task/19377/stat : 19377 (java) S 19320 19323 15321 0 -1 1077944384 4209 13162 0 0 99 13 4 3 20 0 15 0 222788004 11343855616 621505 33554432000 4194304 4196468 140736173462640 140315685038864 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19378] ppid=19320 vsize=11077984 memory=1160 CPUtime=1.18 cores=1,3,5,7
/proc/19323/task/19378/stat : 19378 (java) S 19320 19323 15321 0 -1 1077944384 1815 13162 0 0 99 12 4 3 20 0 15 0 222788004 11343855616 621505 33554432000 4194304 4196468 140736173462640 140315576789904 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19379] ppid=19320 vsize=11077984 memory=1784 CPUtime=1.17 cores=1,3,5,7
/proc/19323/task/19379/stat : 19379 (java) S 19320 19323 15321 0 -1 1077944384 4491 13162 0 0 97 13 4 3 20 0 15 0 222788004 11343855616 621505 33554432000 4194304 4196468 140736173462640 140315219123216 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19380] ppid=19320 vsize=11077984 memory=1616 CPUtime=1.16 cores=1,3,5,7
/proc/19323/task/19380/stat : 19380 (java) S 19320 19323 15321 0 -1 1077944384 2688 13162 0 0 97 12 4 3 20 0 15 0 222788004 11343855616 621505 33554432000 4194304 4196468 140736173462640 140315218070672 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19381] ppid=19320 vsize=11077984 memory=756 CPUtime=0.23 cores=1,3,5,7
/proc/19323/task/19381/stat : 19381 (java) S 19320 19323 15321 0 -1 1077944384 4829 13162 0 0 13 3 4 3 20 0 15 0 222788005 11343855616 621505 33554432000 4194304 4196468 140736173462640 140315173816304 140315680807554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19382] ppid=19320 vsize=11077984 memory=9624 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19382/stat : 19382 (java) S 19320 19323 15321 0 -1 1077944384 22 13162 0 0 0 0 4 3 20 0 15 0 222788006 11343855616 621505 33554432000 4194304 4196468 140736173462640 140314501178336 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19383] ppid=19320 vsize=11077984 memory=876 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19383/stat : 19383 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788006 11343855616 621505 33554432000 4194304 4196468 140736173462640 140314299851776 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19384] ppid=19320 vsize=11077984 memory=1924 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19384/stat : 19384 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788008 11343855616 621505 33554432000 4194304 4196468 140736173462640 140313992452304 140315680815003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19385] ppid=19320 vsize=11077984 memory=6988 CPUtime=7.29 cores=1,3,5,7
/proc/19323/task/19385/stat : 19385 (java) S 19320 19323 15321 0 -1 1077944384 22321 13162 0 0 719 3 4 3 20 0 15 0 222788008 11343855616 621505 33554432000 4194304 4196468 140736173462640 140315105159664 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19386] ppid=19320 vsize=11077984 memory=1224 CPUtime=7.39 cores=1,3,5,7
/proc/19323/task/19386/stat : 19386 (java) S 19320 19323 15321 0 -1 1077944384 26506 13162 0 0 727 5 4 3 20 0 15 0 222788008 11343855616 621505 33554432000 4194304 4196468 140736173462640 140315104107120 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19387] ppid=19320 vsize=11077984 memory=4700 CPUtime=2.56 cores=1,3,5,7
/proc/19323/task/19387/stat : 19387 (java) S 19320 19323 15321 0 -1 1077944384 30136 13162 0 0 244 5 4 3 20 0 15 0 222788009 11343855616 621505 33554432000 4194304 4196468 140736173462640 140315103054576 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19388] ppid=19320 vsize=11077984 memory=1404 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19388/stat : 19388 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788009 11343855616 621505 33554432000 4194304 4196468 140736173462640 140313561656416 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19389] ppid=19320 vsize=11077984 memory=4000 CPUtime=0.21 cores=1,3,5,7
/proc/19323/task/19389/stat : 19389 (java) S 19320 19323 15321 0 -1 1077944384 1115 13162 0 0 7 7 4 3 20 0 15 0 222788009 11343855616 621505 33554432000 4194304 4196468 140736173462640 140315102001456 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 54 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
Current children cumulated CPU time: 300.64 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2486020 KiB

[startup+281.601 s]
/proc/loadavg: 1.49 1.76 2.21 3/215 19400
/proc/meminfo: memFree=6785120/32770624 swapFree=67108404/67108860
[pid=19323] ppid=19320 vsize=11077984 memory=2486052 CPUtime=302.21 cores=1,3,5,7
/proc/19323/stat : 19323 (java) S 19320 19323 15321 0 -1 1077944320 167801 13162 0 0 30087 127 4 3 20 0 15 0 222787994 11343855616 621513 33554432000 4194304 4196468 140736173462640 140736173445184 140315680796407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
/proc/19323/statm: 2769496 621513 3535 1 0 2731149 0
[pid=19323/tid=19376] ppid=19320 vsize=11077984 memory=756 CPUtime=279.58 cores=1,3,5,7
/proc/19323/task/19376/stat : 19376 (java) R 19320 19323 15321 0 -1 4202560 66275 13162 0 0 27900 51 4 3 20 0 15 0 222788003 11343855616 621513 33554432000 4194304 4196468 140736173462640 140315652621936 140315268423100 0 4 0 16800975 0 0 0 -1 5 0 0 58 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19377] ppid=19320 vsize=11077984 memory=2487028 CPUtime=1.19 cores=1,3,5,7
/proc/19323/task/19377/stat : 19377 (java) S 19320 19323 15321 0 -1 1077944384 4209 13162 0 0 99 13 4 3 20 0 15 0 222788004 11343855616 621513 33554432000 4194304 4196468 140736173462640 140315685038864 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19378] ppid=19320 vsize=11077984 memory=1924 CPUtime=1.18 cores=1,3,5,7
/proc/19323/task/19378/stat : 19378 (java) S 19320 19323 15321 0 -1 1077944384 1815 13162 0 0 99 12 4 3 20 0 15 0 222788004 11343855616 621513 33554432000 4194304 4196468 140736173462640 140315576789904 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19379] ppid=19320 vsize=11077984 memory=1924 CPUtime=1.17 cores=1,3,5,7
/proc/19323/task/19379/stat : 19379 (java) S 19320 19323 15321 0 -1 1077944384 4491 13162 0 0 97 13 4 3 20 0 15 0 222788004 11343855616 621513 33554432000 4194304 4196468 140736173462640 140315219123216 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19380] ppid=19320 vsize=11077984 memory=6988 CPUtime=1.16 cores=1,3,5,7
/proc/19323/task/19380/stat : 19380 (java) S 19320 19323 15321 0 -1 1077944384 2688 13162 0 0 97 12 4 3 20 0 15 0 222788004 11343855616 621513 33554432000 4194304 4196468 140736173462640 140315218070672 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19381] ppid=19320 vsize=11077984 memory=1224 CPUtime=0.23 cores=1,3,5,7
/proc/19323/task/19381/stat : 19381 (java) S 19320 19323 15321 0 -1 1077944384 4829 13162 0 0 13 3 4 3 20 0 15 0 222788005 11343855616 621513 33554432000 4194304 4196468 140736173462640 140315173816304 140315680807554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19382] ppid=19320 vsize=11077984 memory=2586468 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19382/stat : 19382 (java) S 19320 19323 15321 0 -1 1077944384 22 13162 0 0 0 0 4 3 20 0 15 0 222788006 11343855616 621513 33554432000 4194304 4196468 140736173462640 140314501178336 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19383] ppid=19320 vsize=11077984 memory=2635144 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19383/stat : 19383 (java) S 19320 19323 15321 0 -1 1077944384 1 13162 0 0 0 0 4 3 20 0 15 0 222788006 11343855616 621513 33554432000 4194304 4196468 140736173462640 140314299851776 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19384] ppid=19320 vsize=11077984 memory=2900 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19384/stat : 19384 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788008 11343855616 621513 33554432000 4194304 4196468 140736173462640 140313992452304 140315680815003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19385] ppid=19320 vsize=11077984 memory=2646944 CPUtime=7.64 cores=1,3,5,7
/proc/19323/task/19385/stat : 19385 (java) S 19320 19323 15321 0 -1 1077944384 22701 13162 0 0 754 3 4 3 20 0 15 0 222788008 11343855616 621513 33554432000 4194304 4196468 140736173462640 140315105159664 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19386] ppid=19320 vsize=11077984 memory=508 CPUtime=7.73 cores=1,3,5,7
/proc/19323/task/19386/stat : 19386 (java) S 19320 19323 15321 0 -1 1077944384 26840 13162 0 0 761 5 4 3 20 0 15 0 222788008 11343855616 621513 33554432000 4194304 4196468 140736173462640 140315104107120 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19387] ppid=19320 vsize=11077984 memory=928 CPUtime=2.62 cores=1,3,5,7
/proc/19323/task/19387/stat : 19387 (java) S 19320 19323 15321 0 -1 1077944384 30617 13162 0 0 250 5 4 3 20 0 15 0 222788009 11343855616 621513 33554432000 4194304 4196468 140736173462640 140315103054576 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19388] ppid=19320 vsize=11077984 memory=2496776 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19388/stat : 19388 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 15 0 222788009 11343855616 621513 33554432000 4194304 4196468 140736173462640 140313561656416 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19389] ppid=19320 vsize=11077984 memory=2523452 CPUtime=0.21 cores=1,3,5,7
/proc/19323/task/19389/stat : 19389 (java) S 19320 19323 15321 0 -1 1077944384 1115 13162 0 0 7 7 4 3 20 0 15 0 222788009 11343855616 621513 33554432000 4194304 4196468 140736173462640 140315102001456 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 54 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
Current children cumulated CPU time: 302.21 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2486052 KiB

[startup+282.001 s]*
/proc/loadavg: 1.49 1.76 2.21 4/215 19400
/proc/meminfo: memFree=6780964/32770624 swapFree=67108404/67108860
[pid=19323] ppid=19320 vsize=11208032 memory=2491132 CPUtime=303.16 cores=1,3,5,7
/proc/19323/stat : 19323 (java) S 19320 19323 15321 0 -1 1077944320 169939 13162 0 0 30182 127 4 3 20 0 14 0 222787994 11477024768 622783 33554432000 4194304 4196468 140736173462640 140736173445184 140315680796407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
/proc/19323/statm: 2802008 622783 3537 1 0 2763661 0
[pid=19323/tid=19376] ppid=19320 vsize=11208032 memory=1404 CPUtime=279.98 cores=1,3,5,7
/proc/19323/task/19376/stat : 19376 (java) S 19320 19323 15321 0 -1 1077944384 66520 13162 0 0 27940 51 4 3 20 0 14 0 222788003 11477024768 622783 33554432000 4194304 4196468 140736173462640 140315652639888 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 58 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19377] ppid=19320 vsize=11208032 memory=3032 CPUtime=1.2 cores=1,3,5,7
/proc/19323/task/19377/stat : 19377 (java) S 19320 19323 15321 0 -1 1077944384 4214 13162 0 0 100 13 4 3 20 0 14 0 222788004 11477024768 622783 33554432000 4194304 4196468 140736173462640 140315685038864 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19378] ppid=19320 vsize=11208032 memory=2523452 CPUtime=1.19 cores=1,3,5,7
/proc/19323/task/19378/stat : 19378 (java) S 19320 19323 15321 0 -1 1077944384 1817 13162 0 0 100 12 4 3 20 0 14 0 222788004 11477024768 622783 33554432000 4194304 4196468 140736173462640 140315576789904 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19379] ppid=19320 vsize=11208032 memory=4872558044660077418 CPUtime=1.18 cores=1,3,5,7
/proc/19323/task/19379/stat : 19379 (java) S 19320 19323 15321 0 -1 1077944384 4493 13162 0 0 98 13 4 3 20 0 14 0 222788004 11477024768 622783 33554432000 4194304 4196468 140736173462640 140315219123216 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19380] ppid=19320 vsize=11208032 memory=1692 CPUtime=1.17 cores=1,3,5,7
/proc/19323/task/19380/stat : 19380 (java) S 19320 19323 15321 0 -1 1077944384 2690 13162 0 0 98 12 4 3 20 0 14 0 222788004 11477024768 622783 33554432000 4194304 4196468 140736173462640 140315218070672 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19381] ppid=19320 vsize=11208032 memory=912 CPUtime=0.23 cores=1,3,5,7
/proc/19323/task/19381/stat : 19381 (java) S 19320 19323 15321 0 -1 1077944384 4831 13162 0 0 13 3 4 3 20 0 14 0 222788005 11477024768 622783 33554432000 4194304 4196468 140736173462640 140315173816512 140315680807554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19382] ppid=19320 vsize=11208032 memory=3848 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19382/stat : 19382 (java) S 19320 19323 15321 0 -1 1077944384 26 13162 0 0 0 0 4 3 20 0 14 0 222788006 11477024768 622783 33554432000 4194304 4196468 140736173462640 140314501178336 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19383] ppid=19320 vsize=11208032 memory=2900 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19383/stat : 19383 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 14 0 222788006 11477024768 622783 33554432000 4194304 4196468 140736173462640 140314299851776 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19384] ppid=19320 vsize=11208032 memory=2752 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19384/stat : 19384 (java) S 19320 19323 15321 0 -1 1077944384 5 13162 0 0 0 0 4 3 20 0 14 0 222788008 11477024768 622783 33554432000 4194304 4196468 140736173462640 140313992451360 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19385] ppid=19320 vsize=11208032 memory=279441041397344 CPUtime=7.78 cores=1,3,5,7
/proc/19323/task/19385/stat : 19385 (java) S 19320 19323 15321 0 -1 1077944384 22826 13162 0 0 768 3 4 3 20 0 14 0 222788008 11477024768 622783 33554432000 4194304 4196468 140736173462640 140315105159664 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19386] ppid=19320 vsize=11208032 memory=6791534058613427641 CPUtime=8.11 cores=1,3,5,7
/proc/19323/task/19386/stat : 19386 (java) R 19320 19323 15321 0 -1 4202560 28543 13162 0 0 799 5 4 3 20 0 14 0 222788008 11477024768 622783 33554432000 4194304 4196468 140736173462640 140315104088136 140315664280447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19387] ppid=19320 vsize=11208032 memory=4872558044660077418 CPUtime=2.62 cores=1,3,5,7
/proc/19323/task/19387/stat : 19387 (java) S 19320 19323 15321 0 -1 1077944384 30617 13162 0 0 250 5 4 3 20 0 14 0 222788009 11477024768 622783 33554432000 4194304 4196468 140736173462640 140315103054576 140315680807554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
[pid=19323/tid=19388] ppid=19320 vsize=11208032 memory=812 CPUtime=0.07 cores=1,3,5,7
/proc/19323/task/19388/stat : 19388 (java) S 19320 19323 15321 0 -1 1077944384 3 13162 0 0 0 0 4 3 20 0 14 0 222788009 11477024768 622783 33554432000 4194304 4196468 140736173462640 140313561656416 140315680806613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7122944 140736173464174 140736173466972 140736173466972 140736173469647 0
Current children cumulated CPU time: 303.16 s
Current children cumulated vsize: 11208032 KiB
Current children cumulated memory: 2491132 KiB

Child status: 0
Real time (s): 282.104
CPU time (s): 303.273
CPU user time (s): 301.939
CPU system time (s): 1.33363
CPU usage (%): 107.504
Max. virtual memory (cumulated for all children) (KiB): 11208032
Max. memory (cumulated for all children) (KiB): 2901316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 301.939
system time used= 1.33363
maximum resident set size= 2901316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183134
page faults= 0
swaps= 0
block input operations= 0
block output operations= 544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17941
involuntary context switches= 408


# summary of solver processes directly reported to runsolver:
#   pid: 19323
#   total CPU time (s): 303.273
#   total CPU user time (s): 301.939
#   total CPU system time (s): 1.33363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.70827 second user time and 2.77532 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-12 07:37:28
IDJOB=4304263
IDBENCH=141144
IDSOLVER=2780
FILE ID=node148/4304263-1534052248
RUNJOBID= node148-1534041135-17409
PBS_JOBID= 21036960
Free space on /tmp= 33700 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-4304263-1534052248/watcher-4304263-1534052248 -o /tmp/evaluation-result-4304263-1534052248/solver-4304263-1534052248 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17409 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=71686056 HOME/instance-4304263-1534052248.xml

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

MD5SUM BENCH= 2f5cbdca11052f8d5a6d32bd8b795ba4
RANDOM SEED=71686056

node148.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.50
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.50
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.50
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.50
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:         9265936 kB
MemAvailable:   29192176 kB
Buffers:          237484 kB
Cached:         19637708 kB
SwapCached:          352 kB
Active:         11912664 kB
Inactive:       10726392 kB
Active(anon):    2714876 kB
Inactive(anon):   101136 kB
Active(file):    9197788 kB
Inactive(file): 10625256 kB
Unevictable:        7340 kB
Mlocked:            7340 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:             27204 kB
Writeback:             0 kB
AnonPages:       2770728 kB
Mapped:            66880 kB
Shmem:             49592 kB
Slab:             559600 kB
SReclaimable:     531656 kB
SUnreclaim:        27944 kB
KernelStack:        3488 kB
PageTables:        10784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3813996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2531328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 33672 MiB
End job on node148 at 2018-08-12 07:42:11