Trace number 4309915

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-14SAT (TO)8 252.126 244.141

General information on the benchmark

NameGraphColoring/
GraphColoring-5-fullins-4_c18.xml
MD5SUM9a110b3288dcdd83da8fcc132ac433c6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark207.316
Satisfiable
(Un)Satisfiability was proved
Number of variables1085
Number of constraints11395
Number of domains1
Minimum domain size1085
Maximum domain size1085
Distribution of domain sizes[{"size":1085,"count":1085}]
Minimum variable degree7
Maximum variable degree161
Distribution of variable degrees[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":11395}]
Number of extensional constraints0
Number of intensional constraints11395
Distribution of constraint types[{"type":"intension","count":11395}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 1916102673
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
7.87/3.22	c Parsing done, starting search...
8.61/3.51	o 1081
9.12/3.71	o 1080
9.12/3.72	o 1079
9.12/3.75	o 1078
10.67/4.66	o 1077
10.83/4.75	o 1076
11.06/4.99	o 1075
11.06/5.00	o 1074
11.23/5.01	o 1073
11.55/5.32	o 1070
11.66/5.41	o 1068
11.91/5.61	o 1067
12.25/5.96	o 1066
12.35/6.04	o 1065
12.35/6.08	o 1063
12.55/6.28	o 1061
12.65/6.40	o 1060
12.75/6.45	o 1058
12.95/6.63	o 1057
13.25/6.95	o 1056
13.25/6.95	o 1054
13.25/6.95	o 1051
13.36/7.07	o 1050
13.46/7.13	o 1049
13.55/7.27	o 1047
13.55/7.29	o 1046
13.65/7.40	o 1045
14.25/7.98	o 1044
14.36/8.05	o 1043
14.49/8.17	o 1041
14.58/8.27	o 1040
14.88/8.57	o 1039
14.98/8.67	o 1037
15.18/8.86	o 1035
15.28/8.99	o 1033
15.40/9.09	o 1031
15.40/9.09	o 1030
15.60/9.25	o 1028
15.70/9.39	o 1027
15.90/9.55	o 1023
16.19/9.88	o 1022
16.29/9.99	o 1021
16.41/10.10	o 1020
16.51/10.13	o 1018
17.09/10.55	o 1017
17.09/10.59	o 1014
17.30/10.72	o 1013
17.30/10.75	o 1012
17.42/10.87	o 1011
17.52/10.92	o 1010
17.73/11.18	o 1009
17.84/11.27	o 1007
17.96/11.39	o 1004
18.16/11.52	o 1003
18.16/11.57	o 1000
18.26/11.66	o 998
18.36/11.75	o 996
18.46/11.89	o 995
18.67/12.09	o 994
18.77/12.18	o 993
18.96/12.35	o 992
19.06/12.48	o 991
19.16/12.56	o 990
19.16/12.56	o 989
19.27/12.61	o 988
19.37/12.77	o 987
19.57/12.93	o 985
19.68/13.01	o 983
19.78/13.17	o 982
19.78/13.20	o 975
19.87/13.29	o 972
20.11/13.41	o 970
20.21/13.50	o 969
20.41/13.78	o 967
20.73/14.07	o 966
20.83/14.16	o 964
20.97/14.25	o 960
21.07/14.36	o 959
21.17/14.40	o 958
21.17/14.47	o 957
21.27/14.54	o 956
21.47/14.74	o 955
21.57/14.86	o 954
21.57/14.87	o 952
21.57/14.88	o 951
21.78/15.09	o 949
21.88/15.17	o 948
22.17/15.45	o 947
22.17/15.49	o 946
22.27/15.56	o 945
22.37/15.64	o 943
22.47/15.70	o 941
22.67/15.93	o 940
22.67/15.94	o 939
22.67/15.96	o 938
22.78/16.10	o 937
23.07/16.39	o 936
23.17/16.47	o 935
23.17/16.49	o 934
23.27/16.51	o 933
23.51/16.67	o 932
23.63/16.73	o 930
23.63/16.79	o 929
23.63/16.79	o 928
23.83/17.01	o 927
23.93/17.09	o 926
24.04/17.16	o 925
24.13/17.27	o 924
24.23/17.36	o 923
24.33/17.46	o 922
24.33/17.49	o 920
24.43/17.52	o 918
24.53/17.69	o 916
24.63/17.75	o 914
24.73/17.81	o 913
25.04/18.11	o 910
25.13/18.21	o 909
25.13/18.22	o 908
25.13/18.29	o 907
25.43/18.50	o 906
25.43/18.58	o 904
25.53/18.64	o 903
25.53/18.69	o 901
25.63/18.75	o 900
25.73/18.83	o 899
25.84/19.00	o 896
25.95/19.03	o 895
26.05/19.13	o 894
26.05/19.16	o 891
26.14/19.25	o 890
26.14/19.28	o 889
26.24/19.35	o 887
26.24/19.38	o 886
26.34/19.49	o 885
26.54/19.62	o 884
26.54/19.69	o 883
26.74/19.80	o 880
26.74/19.89	o 878
26.96/20.06	o 877
26.96/20.08	o 876
27.06/20.12	o 875
27.06/20.13	o 874
27.06/20.16	o 873
27.25/20.30	o 872
27.35/20.41	o 868
27.55/20.66	o 867
27.65/20.72	o 866
27.65/20.78	o 865
27.75/20.84	o 864
27.96/21.02	o 863
28.06/21.13	o 862
28.15/21.20	o 861
28.15/21.26	o 859
28.35/21.45	o 858
28.55/21.60	o 856
28.55/21.67	o 854
28.75/21.86	o 853
28.75/21.89	o 849
28.85/21.90	o 848
28.96/22.05	o 845
29.06/22.16	o 844
29.06/22.17	o 843
29.15/22.22	o 842
29.24/22.30	o 839
29.24/22.40	o 837
29.55/22.61	o 835
29.65/22.77	o 834
29.85/22.90	o 833
29.85/22.94	o 832
29.85/22.99	o 831
30.06/23.12	o 830
30.15/23.22	o 829
30.25/23.34	o 828
30.25/23.39	o 826
30.45/23.51	o 824
30.45/23.58	o 822
30.55/23.60	o 821
30.65/23.75	o 820
30.75/23.81	o 819
30.75/23.84	o 817
30.75/23.90	o 816
30.75/23.90	o 815
30.86/23.96	o 814
30.96/24.06	o 812
31.15/24.21	o 811
31.25/24.30	o 810
31.25/24.30	o 809
31.25/24.38	o 808
31.36/24.46	o 807
31.46/24.51	o 805
31.56/24.65	o 803
31.70/24.79	o 802
31.85/24.82	o 801
31.85/24.87	o 799
31.98/24.95	o 798
31.98/24.98	o 797
32.08/25.10	o 796
32.18/25.20	o 795
32.27/25.25	o 794
32.59/25.51	o 793
32.69/25.60	o 792
32.69/25.65	o 791
32.79/25.72	o 790
32.79/25.72	o 789
32.89/25.84	o 787
32.89/25.85	o 785
32.89/25.90	o 784
32.99/25.98	o 781
33.20/26.12	o 780
33.20/26.18	o 779
33.29/26.22	o 778
33.39/26.30	o 777
33.49/26.40	o 775
33.59/26.51	o 773
33.59/26.53	o 772
33.89/26.81	o 771
33.89/26.90	o 770
33.99/26.95	o 769
34.10/27.05	o 768
34.10/27.08	o 767
34.20/27.19	o 765
34.29/27.29	o 764
34.39/27.32	o 763
34.39/27.36	o 762
34.49/27.42	o 761
34.49/27.48	o 760
34.59/27.50	o 759
34.69/27.61	o 758
34.79/27.71	o 757
34.79/27.77	o 756
34.79/27.78	o 755
34.99/27.91	o 753
35.21/28.11	o 751
35.21/28.17	o 750
35.30/28.20	o 748
35.40/28.36	o 747
35.50/28.45	o 746
35.60/28.57	o 745
35.60/28.57	o 744
35.70/28.64	o 743
35.80/28.75	o 742
35.80/28.75	o 740
35.90/28.80	o 739
35.90/28.87	o 738
36.00/28.94	o 737
36.00/28.99	o 736
36.11/29.05	o 735
36.11/29.07	o 733
36.30/29.24	o 732
36.50/29.41	o 731
36.50/29.46	o 729
36.50/29.47	o 728
36.50/29.49	o 727
36.61/29.53	o 726
36.71/29.68	o 725
36.81/29.75	o 724
36.91/29.86	o 723
37.12/30.02	o 722
37.12/30.10	o 721
37.12/30.11	o 720
37.31/30.21	o 719
37.31/30.28	o 718
37.41/30.33	o 717
37.41/30.33	o 716
37.51/30.47	o 713
37.81/30.72	o 712
37.81/30.75	o 711
37.81/30.78	o 710
37.91/30.82	o 709
38.01/30.93	o 708
38.12/31.03	o 707
38.12/31.09	o 706
38.22/31.15	o 705
38.31/31.24	o 704
38.41/31.31	o 703
38.51/31.42	o 702
38.61/31.51	o 701
38.61/31.52	o 698
38.71/31.62	o 697
38.81/31.71	o 695
38.91/31.81	o 694
38.91/31.82	o 693
39.15/32.03	o 692
39.15/32.07	o 691
39.34/32.28	o 690
39.44/32.38	o 688
39.54/32.48	o 687
39.64/32.52	o 686
39.64/32.58	o 685
39.64/32.59	o 684
39.84/32.78	o 683
39.84/32.79	o 682
39.94/32.86	o 681
40.04/32.90	o 680
40.04/32.91	o 679
40.04/32.99	o 678
40.15/33.04	o 677
40.15/33.08	o 675
40.25/33.14	o 674
40.44/33.32	o 673
40.54/33.41	o 672
40.54/33.47	o 671
40.64/33.56	o 670
40.74/33.61	o 669
40.74/33.64	o 668
40.74/33.69	o 667
40.84/33.74	o 666
41.04/33.91	o 665
41.04/33.95	o 664
41.15/34.05	o 663
41.25/34.12	o 662
41.34/34.21	o 661
41.34/34.26	o 660
41.44/34.35	o 659
41.54/34.44	o 658
41.54/34.48	o 656
41.74/34.63	o 655
41.74/34.67	o 654
41.84/34.76	o 653
41.94/34.84	o 652
41.94/34.86	o 650
42.04/34.98	o 649
42.15/35.02	o 648
42.25/35.11	o 647
42.25/35.16	o 646
42.25/35.17	o 645
42.25/35.18	o 644
42.34/35.21	o 643
42.44/35.30	o 642
42.44/35.35	o 641
42.54/35.44	o 640
42.54/35.47	o 639
42.54/35.49	o 638
42.64/35.57	o 637
42.74/35.64	o 636
42.74/35.64	o 635
42.74/35.69	o 634
43.05/35.93	o 633
43.05/36.00	o 632
43.16/36.02	o 630
43.16/36.10	o 629
43.26/36.14	o 628
43.35/36.24	o 627
43.35/36.26	o 626
43.45/36.31	o 625
43.55/36.41	o 624
43.55/36.41	o 623
43.65/36.52	o 622
43.75/36.60	o 620
43.75/36.64	o 619
43.85/36.74	o 616
43.95/36.86	o 615
44.05/36.96	o 614
44.05/36.99	o 613
44.35/37.23	o 612
44.35/37.27	o 611
44.45/37.37	o 610
44.55/37.46	o 609
44.55/37.49	o 608
44.55/37.49	o 607
44.75/37.67	o 605
44.85/37.73	o 604
44.85/37.75	o 603
44.85/37.76	o 602
44.95/37.83	o 601
45.05/37.92	o 599
45.05/38.00	o 598
45.15/38.04	o 597
45.15/38.10	o 595
45.26/38.19	o 594
45.35/38.21	o 593
45.45/38.31	o 592
45.65/38.53	o 591
45.65/38.58	o 588
45.85/38.71	o 587
45.85/38.74	o 586
45.85/38.76	o 585
46.05/38.92	o 584
46.16/39.03	o 583
46.16/39.09	o 582
46.26/39.13	o 581
46.26/39.13	o 580
46.36/39.22	o 579
46.36/39.28	o 578
46.46/39.30	o 577
46.46/39.39	o 576
46.55/39.41	o 575
46.66/39.59	o 574
46.75/39.61	o 573
46.75/39.68	o 572
46.96/39.84	o 571
46.96/39.84	o 569
47.17/40.02	o 568
47.26/40.11	o 567
47.26/40.11	o 566
47.26/40.13	o 565
47.36/40.23	o 564
47.36/40.26	o 563
47.36/40.30	o 562
47.46/40.37	o 559
47.55/40.41	o 557
47.66/40.50	o 555
47.66/40.59	o 554
47.76/40.63	o 553
47.76/40.64	o 552
47.86/40.73	o 551
47.96/40.82	o 549
48.06/40.91	o 548
48.06/40.91	o 547
48.27/41.14	o 546
48.27/41.20	o 544
48.36/41.29	o 543
48.47/41.33	o 542
48.58/41.43	o 541
48.58/41.46	o 539
48.68/41.55	o 538
48.68/41.56	o 536
48.68/41.58	o 535
48.78/41.66	o 534
48.89/41.76	o 533
48.98/41.83	o 532
48.98/41.87	o 530
49.08/41.94	o 528
49.19/42.01	o 527
49.19/42.10	o 526
49.29/42.15	o 524
49.29/42.15	o 523
49.38/42.21	o 521
49.38/42.27	o 520
49.63/42.46	o 519
49.72/42.53	o 518
49.82/42.62	o 517
49.82/42.69	o 516
49.92/42.71	o 515
50.02/42.84	o 514
50.02/42.86	o 513
50.12/42.94	o 512
50.12/42.98	o 511
50.23/43.05	o 510
50.33/43.15	o 509
50.33/43.19	o 508
50.42/43.21	o 507
50.52/43.30	o 506
50.52/43.37	o 505
50.62/43.46	o 503
50.72/43.52	o 502
50.72/43.54	o 501
50.92/43.75	o 500
50.92/43.75	o 499
50.92/43.78	o 498
51.02/43.84	o 496
51.12/43.99	o 495
51.23/44.06	o 494
51.33/44.11	o 492
51.33/44.17	o 491
51.42/44.30	o 490
51.52/44.35	o 489
51.62/44.43	o 488
51.72/44.52	o 487
51.82/44.60	o 486
51.82/44.67	o 485
51.82/44.68	o 484
51.92/44.74	o 483
52.02/44.83	o 482
52.02/44.88	o 481
52.23/45.05	o 480
52.23/45.08	o 478
52.33/45.15	o 477
52.42/45.25	o 476
52.52/45.30	o 475
52.52/45.35	o 474
52.52/45.39	o 473
52.62/45.44	o 472
52.72/45.53	o 471
52.72/45.57	o 469
52.72/45.58	o 468
52.92/45.75	o 467
52.92/45.78	o 465
53.02/45.82	o 464
53.02/45.89	o 463
53.12/45.91	o 462
53.12/45.98	o 461
53.23/46.08	o 459
53.33/46.17	o 458
53.33/46.19	o 457
53.52/46.36	o 456
53.52/46.37	o 455
53.62/46.41	o 454
53.62/46.49	o 452
53.82/46.65	o 451
53.82/46.67	o 450
53.92/46.72	o 449
54.02/46.81	o 448
54.02/46.87	o 447
54.12/46.94	o 446
54.12/46.98	o 445
54.12/46.99	o 444
54.22/47.03	o 443
54.33/47.11	o 442
54.42/47.20	o 441
54.42/47.23	o 440
54.52/47.36	o 439
54.62/47.44	o 438
54.72/47.50	o 437
54.82/47.66	o 436
54.82/47.68	o 435
55.02/47.80	o 433
55.02/47.89	o 432
55.12/47.97	o 431
55.12/48.00	o 430
55.23/48.02	o 429
55.23/48.03	o 428
55.33/48.11	o 427
55.33/48.15	o 426
55.33/48.16	o 425
55.42/48.21	o 424
55.42/48.28	o 423
55.52/48.35	o 422
55.62/48.40	o 421
55.62/48.41	o 420
55.72/48.50	o 419
55.72/48.57	o 418
55.82/48.61	o 417
55.82/48.70	o 416
55.92/48.77	o 415
56.12/48.97	o 414
56.23/49.04	o 413
56.23/49.08	o 412
56.33/49.16	o 411
56.42/49.20	o 410
56.42/49.28	o 409
56.52/49.31	o 408
56.62/49.40	o 407
56.62/49.41	o 406
56.62/49.48	o 405
56.72/49.50	o 404
56.72/49.55	o 403
56.82/49.64	o 402
56.82/49.67	o 401
56.92/49.74	o 400
57.02/49.80	o 399
57.02/49.83	o 398
57.02/49.88	o 397
57.12/49.93	o 396
57.12/50.00	o 395
57.23/50.03	o 394
57.23/50.10	o 393
57.33/50.11	o 392
57.42/50.27	o 391
57.42/50.28	o 390
57.62/50.41	o 389
57.72/50.55	o 388
57.82/50.62	o 387
57.82/50.67	o 385
57.92/50.76	o 383
58.02/50.85	o 382
58.02/50.87	o 381
58.12/50.94	o 380
58.23/51.03	o 379
58.33/51.12	o 378
58.33/51.19	o 377
58.42/51.27	o 376
58.42/51.29	o 375
58.72/51.57	o 374
58.82/51.65	o 373
58.96/51.73	o 372
58.96/51.79	o 370
59.06/51.88	o 369
59.16/51.91	o 368
59.16/51.97	o 367
59.27/52.06	o 366
59.37/52.12	o 365
59.37/52.18	o 364
59.46/52.23	o 363
59.56/52.30	o 362
59.56/52.37	o 361
59.66/52.43	o 360
59.66/52.48	o 359
59.76/52.55	o 358
59.76/52.59	o 357
59.76/52.60	o 356
59.86/52.66	o 355
60.06/52.87	o 354
60.16/52.94	o 353
60.27/53.01	o 352
60.27/53.06	o 351
60.37/53.14	o 350
60.46/53.20	o 349
60.46/53.23	o 347
60.56/53.34	o 346
60.56/53.39	o 345
60.66/53.43	o 344
60.66/53.46	o 343
60.66/53.48	o 342
60.76/53.57	o 341
60.86/53.60	o 340
60.86/53.67	o 339
60.96/53.71	o 338
60.96/53.75	o 337
60.96/53.79	o 336
61.06/53.86	o 335
61.16/53.94	o 334
61.16/54.00	o 333
61.37/54.18	o 332
61.46/54.22	o 331
61.46/54.27	o 330
61.56/54.37	o 329
61.66/54.42	o 328
61.66/54.47	o 327
61.76/54.54	o 326
61.76/54.57	o 325
61.86/54.65	o 324
61.86/54.67	o 323
62.06/54.84	o 322
62.06/54.89	o 321
62.16/54.97	o 320
62.16/55.00	o 319
62.27/55.07	o 318
62.37/55.12	o 316
62.37/55.19	o 315
62.46/55.20	o 314
62.46/55.27	o 313
62.56/55.30	o 312
62.66/55.48	o 311
62.76/55.50	o 310
62.86/55.63	o 309
62.86/55.68	o 308
62.96/55.70	o 307
63.06/55.83	o 306
63.16/55.91	o 305
63.16/55.96	o 304
63.27/56.04	o 303
63.27/56.09	o 302
63.37/56.14	o 301
63.37/56.19	o 300
63.46/56.29	o 299
63.56/56.35	o 298
63.66/56.41	o 297
63.66/56.45	o 296
63.76/56.51	o 295
63.76/56.59	o 294
63.97/56.78	o 293
64.07/56.81	o 292
64.07/56.87	o 291
64.17/56.93	o 290
64.17/56.95	o 289
64.17/56.98	o 288
64.28/57.08	o 287
64.38/57.12	o 286
64.38/57.17	o 285
64.47/57.25	o 284
64.57/57.32	o 283
64.57/57.37	o 282
64.57/57.39	o 281
64.67/57.47	o 280
64.77/57.53	o 279
64.77/57.56	o 278
64.87/57.65	o 277
64.87/57.66	o 276
64.97/57.74	o 275
65.07/57.80	o 274
65.29/58.08	o 273
65.39/58.14	o 272
65.39/58.17	o 271
65.48/58.22	o 270
65.48/58.29	o 269
65.58/58.33	o 268
65.68/58.40	o 267
65.68/58.45	o 266
65.78/58.51	o 265
65.78/58.57	o 264
65.88/58.64	o 263
65.88/58.68	o 262
65.98/58.75	o 261
65.98/58.78	o 260
66.08/58.87	o 259
66.08/58.89	o 258
66.18/58.90	o 257
66.18/58.94	o 256
66.28/59.01	o 255
66.28/59.09	o 254
66.39/59.16	o 253
66.47/59.22	o 252
66.57/59.38	o 251
66.67/59.40	o 250
66.67/59.47	o 249
66.67/59.49	o 248
66.78/59.54	o 247
66.78/59.56	o 246
66.88/59.63	o 245
66.88/59.67	o 244
66.98/59.74	o 243
66.98/59.79	o 242
67.07/59.83	o 241
67.07/59.88	o 240
67.18/59.90	o 239
67.18/59.96	o 238
67.29/60.02	o 237
67.29/60.05	o 236
67.39/60.16	o 235
67.47/60.22	o 234
67.47/60.28	o 233
67.58/60.33	o 232
67.58/60.36	o 231
67.58/60.39	o 230
67.67/60.42	o 229
67.77/60.53	o 228
67.88/60.69	o 227
67.97/60.76	o 226
68.08/60.80	o 225
68.08/60.83	o 224
68.08/60.88	o 223
68.17/60.91	o 222
68.29/61.04	o 221
68.29/61.11	o 220
68.38/61.17	o 219
68.48/61.20	o 218
68.58/61.36	o 217
68.68/61.43	o 216
68.68/61.49	o 215
68.78/61.54	o 214
68.78/61.57	o 213
68.88/61.64	o 212
68.97/61.70	o 211
68.97/61.75	o 210
69.08/61.81	o 209
69.18/61.99	o 208
69.29/62.05	o 207
69.38/62.13	o 206
69.38/62.19	o 205
69.48/62.26	o 204
69.57/62.32	o 203
69.57/62.36	o 202
69.68/62.40	o 201
69.68/62.48	o 200
69.81/62.50	o 199
69.91/62.60	o 198
69.91/62.67	o 197
70.01/62.72	o 196
70.01/62.76	o 195
70.11/62.80	o 194
70.11/62.85	o 193
70.11/62.89	o 192
70.21/62.91	o 191
70.32/63.03	o 190
70.32/63.06	o 189
70.32/63.09	o 188
70.51/63.29	o 187
70.61/63.35	o 186
70.71/63.40	o 185
70.71/63.46	o 184
70.81/63.51	o 183
70.81/63.54	o 182
70.91/63.62	o 181
70.91/63.68	o 180
71.01/63.72	o 179
71.21/63.91	o 178
71.21/63.94	o 177
71.21/63.99	o 176
71.32/64.08	o 175
71.42/64.13	o 174
71.42/64.18	o 173
71.51/64.22	o 172
71.51/64.30	o 171
71.61/64.34	o 170
71.61/64.38	o 169
71.81/64.59	o 168
71.91/64.65	o 167
72.01/64.70	o 166
72.01/64.75	o 165
72.01/64.79	o 164
72.11/64.85	o 163
72.11/64.88	o 162
72.21/64.94	o 161
72.21/65.00	o 160
72.32/65.03	o 159
72.42/65.16	o 158
72.51/65.20	o 157
72.61/65.31	o 156
72.61/65.38	o 155
72.71/65.42	o 154
72.71/65.48	o 153
72.81/65.52	o 152
72.81/65.56	o 151
72.91/65.63	o 150
72.91/65.68	o 149
73.01/65.72	o 148
73.21/65.90	o 147
73.21/65.95	o 146
73.21/65.98	o 145
73.33/66.07	o 144
73.43/66.13	o 143
73.43/66.17	o 142
73.52/66.23	o 141
73.52/66.28	o 140
73.62/66.35	o 139
73.72/66.41	o 138
73.72/66.46	o 137
73.82/66.51	o 136
73.82/66.55	o 135
73.92/66.60	o 134
73.92/66.63	o 133
74.02/66.76	o 132
74.12/66.80	o 131
74.12/66.82	o 130
74.22/66.90	o 129
74.22/66.92	o 128
74.22/66.98	o 127
74.33/67.03	o 126
74.43/67.20	o 125
74.52/67.24	o 124
74.62/67.30	o 123
74.62/67.35	o 122
74.72/67.40	o 121
74.72/67.45	o 120
74.72/67.49	o 119
74.82/67.53	o 118
74.82/67.58	o 117
74.92/67.61	o 116
74.92/67.66	o 115
75.02/67.72	o 114
75.02/67.77	o 113
75.12/67.82	o 112
75.12/67.86	o 111
75.22/67.90	o 110
75.22/67.96	o 109
75.33/68.01	o 108
75.33/68.05	o 107
75.33/68.08	o 106
75.43/68.13	o 105
75.43/68.18	o 104
75.52/68.22	o 103
75.52/68.25	o 102
75.52/68.29	o 101
75.82/68.50	o 100
75.82/68.55	o 99
75.82/68.59	o 98
75.92/68.64	o 97
75.92/68.69	o 96
76.02/68.73	o 95
76.02/68.77	o 94
76.12/68.80	o 93
76.12/68.84	o 92
76.12/68.89	o 91
76.22/68.94	o 90
76.22/68.98	o 89
76.33/69.02	o 88
76.33/69.06	o 87
76.33/69.10	o 86
76.43/69.14	o 85
76.43/69.20	o 84
76.52/69.24	o 83
76.52/69.28	o 82
76.62/69.33	o 81
76.62/69.37	o 80
76.72/69.41	o 79
76.72/69.44	o 78
76.72/69.49	o 77
76.82/69.54	o 76
76.82/69.59	o 75
76.94/69.63	o 74
77.14/69.81	o 73
77.14/69.85	o 72
77.14/69.89	o 71
77.24/69.94	o 70
77.24/69.98	o 69
77.35/70.03	o 68
77.35/70.08	o 67
77.45/70.12	o 66
77.45/70.17	o 65
77.56/70.21	o 64
77.56/70.26	o 63
77.66/70.31	o 62
77.66/70.36	o 61
77.76/70.40	o 60
77.76/70.45	o 59
77.86/70.50	o 58
77.86/70.54	o 57
77.86/70.59	o 56
77.97/70.63	o 55
77.97/70.67	o 54
78.07/70.73	o 53
78.07/70.76	o 52
78.07/70.79	o 51
78.17/70.84	o 50
78.17/70.88	o 49
78.27/70.93	o 48
78.47/71.12	o 47
78.47/71.16	o 46
78.67/71.34	o 45
78.67/71.38	o 44
78.77/71.42	o 43
78.77/71.46	o 42
78.87/71.51	o 41
78.87/71.55	o 40
78.87/71.59	o 39
78.97/71.64	o 38
78.97/71.68	o 37
79.07/71.73	o 36
79.07/71.77	o 35
79.17/71.81	o 34
79.17/71.86	o 33
79.27/71.90	o 32
79.27/71.94	o 31
79.27/71.99	o 30
79.38/72.03	o 29
79.38/72.07	o 28
79.48/72.12	o 27
79.48/72.17	o 26
79.57/72.21	o 25
79.80/72.42	o 24
79.80/72.46	o 23
79.90/72.52	o 22
79.90/72.56	o 21
80.00/72.61	o 20
80.00/72.66	o 19
80.10/72.71	o 18
80.10/72.75	o 17
80.20/72.80	o 16
80.20/72.84	o 15
80.20/72.89	o 14
80.30/72.93	o 13
80.30/72.99	o 12
80.41/73.04	o 11
80.41/73.10	o 10
80.51/73.15	o 9
81.86/74.24	o 8
252.08/244.11	s SATISFIABLE
252.08/244.11	v <instantiation>
252.08/244.11	v 	<list>
252.08/244.11	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] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084]
252.08/244.11	v 	</list>
252.08/244.11	v 	<values>
252.08/244.11	v 		7 3 1 4 1 6 4 4 7 6 0 3 4 1 3 6 7 5 4 1 0 5 4 8 4 8 3 3 4 0 2 8 5 8 2 2 2 2 2 2 2 2 3 4 0 0 5 5 0 1 1 0 0 5 1 0 4 5 5 0 4 1 4 5 6 7 1 6 7 3 3 8 6 4 4 3 3 7 7 3 8 3 7 8 3 6 3 1 5 5 0 5 6 6 0 0 1 0 6 6 0 0 5 6 6 0 0 2 2 2 6 2 2 1 6 7 2 4 4 2 2 1 3 3 4 2 8 8 5 4 0 5 7 6 5 5 0 6 4 5 6 6 0 6 5 0 0 3 7 2 0 4 5 1 0 2 8 0 8 6 1 3 1 7 5 3 8 1 3 6 7 5 8 1 0 8 8 2 8 8 8 1 6 8 3 3 3 1 8 8 6 8 8 8 8 8 5 3 1 1 5 1 5 1 1 5 0 5 0 5 1 0 1 0 1 1 0 5 8 1 7 3 1 1 3 2 2 7 8 8 7 7 8 7 2 7 1 7 5 3 8 1 8 8 5 0 5 5 5 5 5 1 0 6 5 0 5 6 0 3 2 7 2 2 2 8 8 1 1 8 2 7 2 8 7 8 1 7 1 7 5 8 5 7 5 0 7 8 5 8 5 5 0 8 8 5 5 5 8 5 5 3 6 8 0 8 8 1 4 6 3 7 4 0 2 4 7 7 5 3 6 4 2 4 2 2 4 4 2 7 2 8 3 8 0 4 2 7 3 8 2 2 4 3 2 7 4 8 2 2 4 3 3 2 4 0 0 4 2 0 0 5 0 6 3 0 4 5 4 4 0 6 3 5 4 7 6 6 6 4 6 4 2 4 6 2 2 7 7 7 7 7 5 6 3 6 5 3 0 7 0 0 0 4 0 3 6 6 0 0 3 0 0 6 3 7 2 4 6 6 6 2 0 3 7 2 4 3 2 2 2 3 7 4 4 4 0 0 0 6 4 6 0 0 4 6 0 5 0 4 4 4 4 4 4 2 5 7 0 7 4 2 0 6 3 5 5 1 5 1 0 0 6 5 4 4 0 0 5 1 6 0 0 4 0 1 6 0 6 1 3 1 1 1 3 1 6 1 6 6 6 6 6 1 1 4 5 1 1 1 1 0 3 1 1 1 5 5 3 1 1 1 0 1 5 1 1 5 7 1 5 4 3 1 7 1 5 1 5 1 1 1 5 1 1 1 0 4 5 5 1 8 5 3 1 5 3 6 1 5 1 0 0 1 1 1 1 1 8 0 3 8 8 5 1 0 8 6 5 1 3 1 5 1 5 1 1 1 4 8 5 5 4 4 3 3 5 4 1 4 5 1 0 5 1 0 1 0 1 1 5 1 0 1 1 1 8 7 3 3 7 4 4 2 7 4 8 3 8 8 8 2 2 8 7 2 7 8 4 2 8 7 4 8 6 2 7 7 8 6 4 7 2 8 2 7 2 8 8 2 2 7 8 2 4 2 7 7 8 7 4 7 8 8 8 7 8 7 7 8 2 2 8 6 2 2 2 4 6 7 7 2 7 6 4 6 2 6 4 4 6 6 0 6 6 6 6 7 6 7 0 8 8 3 6 8 6 6 6 8 6 2 3 2 6 6 2 7 6 7 7 3 8 8 8 7 7 6 6 8 7 6 0 6 0 7 8 7 7 4 2 7 7 4 0 8 8 4 4 6 6 2 6 6 8 7 6 2 7 6 2 5 3 3 5 1 0 5 4 3 3 1 0 4 5 5 1 3 5 5 3 4 6 5 1 5 5 5 0 4 1 6 0 4 4 0 4 0 0 5 4 0 6 5 6 1 3 5 3 1 3 4 1 5 5 3 1 3 3 3 3 3 3 5 5 4 4 0 1 4 1 5 1 2 0 2 1 1 1 3 0 1 3 0 5 6 6 0 0 3 0 0 4 4 0 3 3 0 1 0 3 1 1 0 3 1 3 0 2 3 5 0 4 5 2 1 4 0 2 5 5 0 5 1 2 5 4 4 4 1 3 3 3 0 2 0 0 5 1 1 2 4 1 4 4 1 1 1 0 3 3 5 4 5 7 1 7 8 2 2 4 2 4 1 7 2 7 2 2 7 6 2 7 8 8 7 1 2 1 7 2 2 8 2 7 1 7 8 2 8 8 4 7 8 7 7 8 2 7 7 7 7 8 1 8 7 2 7 5 4 8 7 8 2 2 7 6 7 7 1 1 7 5 2 8 2 8 1 2 7 7 7 4 7 2 5 7 2 1 8 8 7 7 7 7 8 7 7 7 1 8 7 7 7 4 8 7 7 4 5 1 2 1 7 7 5 7 7 5 7 5 8 5 5 7 8 8 5 8 7 7 4 4 8 7 2 8 2 8 2 4 8 7 4 4 7 7 8 4 7 8 7 7 2 8 8 8 8 3 4 1 2 5 7 0 
252.08/244.11	v 	</values>
252.08/244.11	v </instantiation>

Verifier Data 

OK	8

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309915-1534328758/watcher-4309915-1534328758 -o /tmp/evaluation-result-4309915-1534328758/solver-4309915-1534328758 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534328516-21542 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1916102673 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4309915-1534328758.xml 

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

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


[startup+0.100142 s]*
/proc/loadavg: 1.40 1.10 0.85 3/215 21682
/proc/meminfo: memFree=23594624/32770624 swapFree=67108524/67108860
[pid=21667] ppid=21664 vsize=14082736 memory=30496 CPUtime=0.12 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 21510 0 -1 1077944320 6536 0 0 0 12 0 0 0 20 0 15 0 250438975 14420721664 7624 33554432000 4194304 4196468 140735143858000 140735143840544 140633423642359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
/proc/21667/statm: 3520684 7624 3153 1 0 3482761 0
[pid=21667/tid=21669] ppid=21664 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) R 21664 21667 21510 0 -1 4202560 4574 0 0 0 9 0 0 0 20 0 15 0 250438975 14420721664 7624 33554432000 4194304 4196468 140735143858000 140633427866384 140633423654294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21670] ppid=21664 vsize=14082736 memory=5793855792134457785 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438976 14420721664 7624 33554432000 4194304 4196468 140735143858000 140633338710800 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21671] ppid=21664 vsize=14082736 memory=140541124564608 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438976 14420721664 7624 33554432000 4194304 4196468 140735143858000 140633337658256 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21672] ppid=21664 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438976 14420721664 7624 33554432000 4194304 4196468 140735143858000 140633336605712 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21673] ppid=21664 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250438976 14420721664 7624 33554432000 4194304 4196468 140735143858000 140633016626320 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21674] ppid=21664 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250438978 14420721664 7624 33554432000 4194304 4196468 140735143858000 140632605300720 140633423653506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21675] ppid=21664 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250438978 14420721664 7624 33554432000 4194304 4196468 140735143858000 140632604246944 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21676] ppid=21664 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250438978 14420721664 7624 33554432000 4194304 4196468 140735143858000 140632603194352 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21677] ppid=21664 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14420721664 7624 33554432000 4194304 4196468 140735143858000 140632602142928 140633423660955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21678] ppid=21664 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) S 21664 21667 21510 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 250438981 14420721664 7624 33554432000 4194304 4196468 140735143858000 140632601090544 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21679] ppid=21664 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14420721664 7624 33554432000 4194304 4196468 140735143858000 140632600038000 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21680] ppid=21664 vsize=14082736 memory=140541124564608 CPUtime=0.01 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) S 21664 21667 21510 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 250438981 14420721664 7624 33554432000 4194304 4196468 140735143858000 140632598985456 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21681] ppid=21664 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14420721664 7624 33554432000 4194304 4196468 140735143858000 140631954250848 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21682] ppid=21664 vsize=14082736 memory=140541124564608 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438981 14420721664 7624 33554432000 4194304 4196468 140735143858000 140631953197360 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30496 KiB

[startup+0.212053 s]*
/proc/loadavg: 1.40 1.10 0.85 6/215 21682
/proc/meminfo: memFree=23578700/32770624 swapFree=67108524/67108860
[pid=21667] ppid=21664 vsize=14082736 memory=46860 CPUtime=0.31 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 21510 0 -1 1077944320 10383 0 0 0 29 2 0 0 20 0 15 0 250438975 14420721664 11715 33554432000 4194304 4196468 140735143858000 140735143840544 140633423642359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
/proc/21667/statm: 3520684 11715 3363 1 0 3482761 0
[pid=21667/tid=21669] ppid=21664 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) R 21664 21667 21510 0 -1 4202560 8066 0 0 0 19 1 0 0 20 0 15 0 250438975 14420721664 11715 33554432000 4194304 4196468 140735143858000 140633427868896 140633407722846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21670] ppid=21664 vsize=14082736 memory=4211974267329355146 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438976 14420721664 11715 33554432000 4194304 4196468 140735143858000 140633338710800 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21671] ppid=21664 vsize=14082736 memory=140541124564608 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438976 14420721664 11715 33554432000 4194304 4196468 140735143858000 140633337658256 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21672] ppid=21664 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438976 14420721664 11715 33554432000 4194304 4196468 140735143858000 140633336605712 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21673] ppid=21664 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250438976 14420721664 11715 33554432000 4194304 4196468 140735143858000 140633016626320 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21674] ppid=21664 vsize=14082736 memory=140541124564608 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 21510 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250438978 14420721664 11715 33554432000 4194304 4196468 140735143858000 140632605300720 140633423653506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21675] ppid=21664 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250438978 14420721664 11715 33554432000 4194304 4196468 140735143858000 140632604246944 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21676] ppid=21664 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250438978 14420721664 11715 33554432000 4194304 4196468 140735143858000 140632603194352 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21677] ppid=21664 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14420721664 11715 33554432000 4194304 4196468 140735143858000 140632602142928 140633423660955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21678] ppid=21664 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) S 21664 21667 21510 0 -1 1077944384 510 0 0 0 1 0 0 0 20 0 15 0 250438981 14420721664 11715 33554432000 4194304 4196468 140735143858000 140632601090544 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21679] ppid=21664 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) S 21664 21667 21510 0 -1 1077944384 98 0 0 0 2 0 0 0 20 0 15 0 250438981 14420721664 11715 33554432000 4194304 4196468 140735143858000 140632600038000 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21680] ppid=21664 vsize=14082736 memory=140541124564608 CPUtime=0.05 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) R 21664 21667 21510 0 -1 4202560 330 0 0 0 5 0 0 0 20 0 15 0 250438981 14420721664 11715 33554432000 4194304 4196468 140735143858000 140632598982176 140633016631406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21681] ppid=21664 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14420721664 11715 33554432000 4194304 4196468 140735143858000 140631954250848 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21682] ppid=21664 vsize=14082736 memory=140541124564608 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438981 14420721664 11715 33554432000 4194304 4196468 140735143858000 140631953197360 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46860 KiB

[startup+0.310602 s]*
/proc/loadavg: 1.40 1.10 0.85 3/215 21682
/proc/meminfo: memFree=23575040/32770624 swapFree=67108524/67108860
[pid=21667] ppid=21664 vsize=14082736 memory=50604 CPUtime=0.44 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 21510 0 -1 1077944320 10778 0 0 0 42 2 0 0 20 0 15 0 250438975 14420721664 12651 33554432000 4194304 4196468 140735143858000 140735143840544 140633423642359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
/proc/21667/statm: 3520684 12651 3378 1 0 3482761 0
[pid=21667/tid=21669] ppid=21664 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) R 21664 21667 21510 0 -1 4202560 8425 0 0 0 29 1 0 0 20 0 15 0 250438975 14420721664 12651 33554432000 4194304 4196468 140735143858000 140633427853872 140633406829168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21670] ppid=21664 vsize=14082736 memory=4211974267329355146 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438976 14420721664 12651 33554432000 4194304 4196468 140735143858000 140633338710800 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21671] ppid=21664 vsize=14082736 memory=140541124566973 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438976 14420721664 12651 33554432000 4194304 4196468 140735143858000 140633337658256 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21672] ppid=21664 vsize=14082736 memory=140540993732063 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438976 14420721664 12651 33554432000 4194304 4196468 140735143858000 140633336605712 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21673] ppid=21664 vsize=14082736 memory=140540993719759 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250438976 14420721664 12651 33554432000 4194304 4196468 140735143858000 140633016626320 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21674] ppid=21664 vsize=14082736 memory=140541124586144 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 21510 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250438978 14420721664 12651 33554432000 4194304 4196468 140735143858000 140632605300720 140633423653506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21675] ppid=21664 vsize=14082736 memory=140540993728943 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250438978 14420721664 12651 33554432000 4194304 4196468 140735143858000 140632604246944 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21676] ppid=21664 vsize=14082736 memory=281081987448720 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250438978 14420721664 12651 33554432000 4194304 4196468 140735143858000 140632603194352 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21677] ppid=21664 vsize=14082736 memory=281081987446416 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14420721664 12651 33554432000 4194304 4196468 140735143858000 140632602142928 140633423660955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21678] ppid=21664 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) S 21664 21667 21510 0 -1 1077944384 516 0 0 0 2 0 0 0 20 0 15 0 250438981 14420721664 12651 33554432000 4194304 4196468 140735143858000 140632601090544 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21679] ppid=21664 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) S 21664 21667 21510 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 15 0 250438981 14420721664 12651 33554432000 4194304 4196468 140735143858000 140632600038000 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21680] ppid=21664 vsize=14082736 memory=140541124564608 CPUtime=0.07 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) S 21664 21667 21510 0 -1 1077944384 352 0 0 0 7 0 0 0 20 0 15 0 250438981 14420721664 12651 33554432000 4194304 4196468 140735143858000 140632598985456 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21681] ppid=21664 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14420721664 12651 33554432000 4194304 4196468 140735143858000 140631954250848 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21682] ppid=21664 vsize=14082736 memory=140541124564608 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438981 14420721664 12651 33554432000 4194304 4196468 140735143858000 140631953197360 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50604 KiB

[startup+0.700748 s]
/proc/loadavg: 1.40 1.10 0.85 3/215 21682
/proc/meminfo: memFree=23550856/32770624 swapFree=67108524/67108860
[pid=21667] ppid=21664 vsize=14084804 memory=88760 CPUtime=0.97 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 21510 0 -1 1077944320 17579 0 0 0 93 4 0 0 20 0 15 0 250438975 14422839296 22190 33554432000 4194304 4196468 140735143858000 140735143840544 140633423642359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
/proc/21667/statm: 3521201 22190 3498 1 0 3483273 0
[pid=21667/tid=21669] ppid=21664 vsize=14084804 memory=1120 CPUtime=0.67 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) R 21664 21667 21510 0 -1 4202560 14887 0 0 0 64 3 0 0 20 0 15 0 250438975 14422839296 22190 33554432000 4194304 4196468 140735143858000 140633427866464 140633404287026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21670] ppid=21664 vsize=14084804 memory=6068 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438976 14422839296 22190 33554432000 4194304 4196468 140735143858000 140633338710800 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21671] ppid=21664 vsize=14084804 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438976 14422839296 22190 33554432000 4194304 4196468 140735143858000 140633337658256 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21672] ppid=21664 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438976 14422839296 22190 33554432000 4194304 4196468 140735143858000 140633336605712 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21673] ppid=21664 vsize=14084804 memory=7957390390475708010 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 21510 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250438976 14422839296 22190 33554432000 4194304 4196468 140735143858000 140633016626320 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21674] ppid=21664 vsize=14084804 memory=5787213848606435153 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 21510 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250438978 14422839296 22190 33554432000 4194304 4196468 140735143858000 140632605300720 140633423653506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21675] ppid=21664 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 21510 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250438978 14422839296 22190 33554432000 4194304 4196468 140735143858000 140632604246944 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21676] ppid=21664 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 21510 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250438978 14422839296 22190 33554432000 4194304 4196468 140735143858000 140632603194352 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21677] ppid=21664 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14422839296 22190 33554432000 4194304 4196468 140735143858000 140632602142928 140633423660955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21678] ppid=21664 vsize=14084804 memory=225 CPUtime=0.05 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) S 21664 21667 21510 0 -1 1077944384 570 0 0 0 5 0 0 0 20 0 15 0 250438981 14422839296 22190 33554432000 4194304 4196468 140735143858000 140632601090544 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21679] ppid=21664 vsize=14084804 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) S 21664 21667 21510 0 -1 1077944384 300 0 0 0 7 0 0 0 20 0 15 0 250438981 14422839296 22190 33554432000 4194304 4196468 140735143858000 140632600038000 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21680] ppid=21664 vsize=14084804 memory=710 CPUtime=0.14 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) S 21664 21667 21510 0 -1 1077944384 440 0 0 0 14 0 0 0 20 0 15 0 250438981 14422839296 22190 33554432000 4194304 4196468 140735143858000 140632598985456 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21681] ppid=21664 vsize=14084804 memory=281081987632624 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14422839296 22190 33554432000 4194304 4196468 140735143858000 140631954250848 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21682] ppid=21664 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 21510 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250438981 14422839296 22190 33554432000 4194304 4196468 140735143858000 140631953197360 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88760 KiB

[startup+1.50079 s]
/proc/loadavg: 1.40 1.10 0.85 5/215 21682
/proc/meminfo: memFree=23498612/32770624 swapFree=67108524/67108860
[pid=21667] ppid=21664 vsize=14086852 memory=222020 CPUtime=3.38 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 21510 0 -1 1077944320 23562 0 0 0 330 8 0 0 20 0 15 0 250438975 14424936448 55505 33554432000 4194304 4196468 140735143858000 140735143840544 140633423642359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
/proc/21667/statm: 3521713 55505 3554 1 0 3483785 0
[pid=21667/tid=21669] ppid=21664 vsize=14086852 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) R 21664 21667 21510 0 -1 4202560 16824 0 0 0 141 4 0 0 20 0 15 0 250438975 14424936448 55505 33554432000 4194304 4196468 140735143858000 140633427876128 140633423654294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21670] ppid=21664 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 21510 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 250438976 14424936448 55505 33554432000 4194304 4196468 140735143858000 140633338710800 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21671] ppid=21664 vsize=14086852 memory=-6439125508584335204 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 21510 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 250438976 14424936448 55505 33554432000 4194304 4196468 140735143858000 140633337658256 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21672] ppid=21664 vsize=14086852 memory=-7450470389764805166 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 21510 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 250438976 14424936448 55505 33554432000 4194304 4196468 140735143858000 140633336605712 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21673] ppid=21664 vsize=14086852 memory=4947088323633847168 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 21510 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 250438976 14424936448 55505 33554432000 4194304 4196468 140735143858000 140633016626320 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21674] ppid=21664 vsize=14086852 memory=-3472574513799858008 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 21510 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250438978 14424936448 55505 33554432000 4194304 4196468 140735143858000 140632605300720 140633423653506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0

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

/proc/21667/task/21669/stat : 21669 (java) R 21664 21667 21510 0 -1 4202560 36011 0 0 0 16119 54 0 0 20 0 15 0 250438975 14429130752 969356 33554432000 4194304 4196468 140735143858000 140633427880192 140633022806339 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21670] ppid=21664 vsize=14090948 memory=3877424 CPUtime=0.44 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 21510 0 -1 1077944384 1523 0 0 0 25 19 0 0 20 0 15 0 250438976 14429130752 969356 33554432000 4194304 4196468 140735143858000 140633338710800 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21671] ppid=21664 vsize=14090948 memory=3877424 CPUtime=0.45 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 21510 0 -1 1077944384 1944 0 0 0 25 20 0 0 20 0 15 0 250438976 14429130752 969356 33554432000 4194304 4196468 140735143858000 140633337658256 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21672] ppid=21664 vsize=14090948 memory=3877424 CPUtime=0.44 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 21510 0 -1 1077944384 1894 0 0 0 24 20 0 0 20 0 15 0 250438976 14429130752 969356 33554432000 4194304 4196468 140735143858000 140633336605712 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21673] ppid=21664 vsize=14090948 memory=3877424 CPUtime=0.44 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 21510 0 -1 1077944384 2041 0 0 0 25 19 0 0 20 0 15 0 250438976 14429130752 969356 33554432000 4194304 4196468 140735143858000 140633016626320 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21674] ppid=21664 vsize=14090948 memory=3877424 CPUtime=0.03 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 21510 0 -1 1077944384 3073 0 0 0 3 0 0 0 20 0 15 0 250438978 14429130752 969356 33554432000 4194304 4196468 140735143858000 140632605300720 140633423653506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21675] ppid=21664 vsize=14090948 memory=3877424 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 21510 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250438978 14429130752 969356 33554432000 4194304 4196468 140735143858000 140632604247008 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21676] ppid=21664 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 21510 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 250438978 14429130752 969356 33554432000 4194304 4196468 140735143858000 140632603194368 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21677] ppid=21664 vsize=14090948 memory=3876036 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14429130752 969356 33554432000 4194304 4196468 140735143858000 140632602142928 140633423660955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21678] ppid=21664 vsize=14090948 memory=4951091520932644980 CPUtime=2.76 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) S 21664 21667 21510 0 -1 1077944384 8784 0 0 0 275 1 0 0 20 0 15 0 250438981 14429130752 969356 33554432000 4194304 4196468 140735143858000 140632601090544 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21679] ppid=21664 vsize=14090948 memory=3877424 CPUtime=2.67 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) S 21664 21667 21510 0 -1 1077944384 10782 0 0 0 266 1 0 0 20 0 15 0 250438981 14429130752 969356 33554432000 4194304 4196468 140735143858000 140632600038000 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21680] ppid=21664 vsize=14090948 memory=3877424 CPUtime=0.99 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) S 21664 21667 21510 0 -1 1077944384 10190 0 0 0 97 2 0 0 20 0 15 0 250438981 14429130752 969356 33554432000 4194304 4196468 140735143858000 140632598985456 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21681] ppid=21664 vsize=14090948 memory=3877424 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14429130752 969356 33554432000 4194304 4196468 140735143858000 140631954250848 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21682] ppid=21664 vsize=14090948 memory=924 CPUtime=0.09 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 21510 0 -1 1077944384 301 0 0 0 4 5 0 0 20 0 15 0 250438981 14429130752 969356 33554432000 4194304 4196468 140735143858000 140631953197360 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
Current children cumulated CPU time: 170.15 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3877424 KiB

[startup+222.301 s]
/proc/loadavg: 1.95 1.53 1.08 3/215 21762
/proc/meminfo: memFree=17136708/32770624 swapFree=67108524/67108860
[pid=21667] ppid=21664 vsize=14090948 memory=3786892 CPUtime=230.25 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 21510 0 -1 1077944320 83812 0 0 0 22879 146 0 0 20 0 15 0 250438975 14429130752 946723 33554432000 4194304 4196468 140735143858000 140735143840544 140633423642359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
/proc/21667/statm: 3522737 946723 3590 1 0 3484809 0
[pid=21667/tid=21669] ppid=21664 vsize=14090948 memory=3786892 CPUtime=221.7 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) R 21664 21667 21510 0 -1 4202560 39907 0 0 0 22116 54 0 0 20 0 15 0 250438975 14429130752 946723 33554432000 4194304 4196468 140735143858000 140633427880192 140633021630406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21670] ppid=21664 vsize=14090948 memory=3786892 CPUtime=0.47 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 21510 0 -1 1077944384 1882 0 0 0 27 20 0 0 20 0 15 0 250438976 14429130752 946723 33554432000 4194304 4196468 140735143858000 140633338710800 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21671] ppid=21664 vsize=14090948 memory=3786892 CPUtime=0.47 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 21510 0 -1 1077944384 2093 0 0 0 27 20 0 0 20 0 15 0 250438976 14429130752 946723 33554432000 4194304 4196468 140735143858000 140633337658256 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21672] ppid=21664 vsize=14090948 memory=3786892 CPUtime=0.46 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 21510 0 -1 1077944384 2690 0 0 0 26 20 0 0 20 0 15 0 250438976 14429130752 946723 33554432000 4194304 4196468 140735143858000 140633336605712 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21673] ppid=21664 vsize=14090948 memory=3786892 CPUtime=0.48 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 21510 0 -1 1077944384 2400 0 0 0 28 20 0 0 20 0 15 0 250438976 14429130752 946723 33554432000 4194304 4196468 140735143858000 140633016626320 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21674] ppid=21664 vsize=14090948 memory=47 CPUtime=0.03 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 21510 0 -1 1077944384 3334 0 0 0 3 0 0 0 20 0 15 0 250438978 14429130752 946723 33554432000 4194304 4196468 140735143858000 140632605300720 140633423653506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21675] ppid=21664 vsize=14090948 memory=3863892 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 21510 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250438978 14429130752 946723 33554432000 4194304 4196468 140735143858000 140632604247008 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21676] ppid=21664 vsize=14090948 memory=3786892 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 21510 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 250438978 14429130752 946723 33554432000 4194304 4196468 140735143858000 140632603194368 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21677] ppid=21664 vsize=14090948 memory=3786892 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14429130752 946723 33554432000 4194304 4196468 140735143858000 140632602142928 140633423660955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21678] ppid=21664 vsize=14090948 memory=2072 CPUtime=2.76 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) S 21664 21667 21510 0 -1 1077944384 8786 0 0 0 275 1 0 0 20 0 15 0 250438981 14429130752 946723 33554432000 4194304 4196468 140735143858000 140632601090544 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21679] ppid=21664 vsize=14090948 memory=1740 CPUtime=2.67 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) S 21664 21667 21510 0 -1 1077944384 10785 0 0 0 266 1 0 0 20 0 15 0 250438981 14429130752 946723 33554432000 4194304 4196468 140735143858000 140632600038000 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21680] ppid=21664 vsize=14090948 memory=11192 CPUtime=0.99 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) S 21664 21667 21510 0 -1 1077944384 10193 0 0 0 97 2 0 0 20 0 15 0 250438981 14429130752 946723 33554432000 4194304 4196468 140735143858000 140632598985456 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21681] ppid=21664 vsize=14090948 memory=3786892 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14429130752 946723 33554432000 4194304 4196468 140735143858000 140631954250848 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21682] ppid=21664 vsize=14090948 memory=2072 CPUtime=0.11 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 21510 0 -1 1077944384 326 0 0 0 5 6 0 0 20 0 15 0 250438981 14429130752 946723 33554432000 4194304 4196468 140735143858000 140631953197360 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
Current children cumulated CPU time: 230.25 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3786892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+244.11 s]
/proc/loadavg: 1.96 1.56 1.10 3/216 21770
/proc/meminfo: memFree=17137564/32770624 swapFree=67108524/67108860
[pid=21667] ppid=21664 vsize=14090948 memory=3784840 CPUtime=252.08 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 21510 0 -1 1077944320 86434 0 0 0 25062 146 0 0 20 0 15 0 250438975 14429130752 946210 33554432000 4194304 4196468 140735143858000 140735143840544 140633423642359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
/proc/21667/statm: 3522737 946210 3590 1 0 3484809 0
[pid=21667/tid=21669] ppid=21664 vsize=14090948 memory=3784840 CPUtime=243.49 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) R 21664 21667 21510 0 -1 4202560 42355 0 0 0 24295 54 0 0 20 0 15 0 250438975 14429130752 946210 33554432000 4194304 4196468 140735143858000 140633427880112 140633021883660 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21670] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0.48 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 21510 0 -1 1077944384 1883 0 0 0 28 20 0 0 20 0 15 0 250438976 14429130752 946210 33554432000 4194304 4196468 140735143858000 140633338710800 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21671] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0.48 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 21510 0 -1 1077944384 2094 0 0 0 28 20 0 0 20 0 15 0 250438976 14429130752 946210 33554432000 4194304 4196468 140735143858000 140633337658256 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21672] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0.47 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 21510 0 -1 1077944384 2836 0 0 0 27 20 0 0 20 0 15 0 250438976 14429130752 946210 33554432000 4194304 4196468 140735143858000 140633336605712 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21673] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0.48 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 21510 0 -1 1077944384 2415 0 0 0 28 20 0 0 20 0 15 0 250438976 14429130752 946210 33554432000 4194304 4196468 140735143858000 140633016626320 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21674] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0.03 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 21510 0 -1 1077944384 3343 0 0 0 3 0 0 0 20 0 15 0 250438978 14429130752 946210 33554432000 4194304 4196468 140735143858000 140632605300720 140633423653506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21675] ppid=21664 vsize=14090948 memory=281081987443728 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 21510 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250438978 14429130752 946210 33554432000 4194304 4196468 140735143858000 140632604247008 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21676] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 21510 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 250438978 14429130752 946210 33554432000 4194304 4196468 140735143858000 140632603194368 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21677] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14429130752 946210 33554432000 4194304 4196468 140735143858000 140632602142928 140633423660955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21678] ppid=21664 vsize=14090948 memory=3784840 CPUtime=2.76 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) S 21664 21667 21510 0 -1 1077944384 8786 0 0 0 275 1 0 0 20 0 15 0 250438981 14429130752 946210 33554432000 4194304 4196468 140735143858000 140632601090544 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21679] ppid=21664 vsize=14090948 memory=2072 CPUtime=2.67 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) S 21664 21667 21510 0 -1 1077944384 10785 0 0 0 266 1 0 0 20 0 15 0 250438981 14429130752 946210 33554432000 4194304 4196468 140735143858000 140632600038000 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21680] ppid=21664 vsize=14090948 memory=1740 CPUtime=0.99 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) S 21664 21667 21510 0 -1 1077944384 10193 0 0 0 97 2 0 0 20 0 15 0 250438981 14429130752 946210 33554432000 4194304 4196468 140735143858000 140632598985456 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21681] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14429130752 946210 33554432000 4194304 4196468 140735143858000 140631954250848 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21682] ppid=21664 vsize=14090948 memory=3712 CPUtime=0.13 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 21510 0 -1 1077944384 328 0 0 0 6 7 0 0 20 0 15 0 250438981 14429130752 946210 33554432000 4194304 4196468 140735143858000 140631953197360 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3784840 KiB

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

[startup+244.141 s]
# the end of solver process 21667 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.637 s, system=1.48889 s

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

[startup+244.11 s]
/proc/loadavg: 1.96 1.56 1.10 3/216 21770
/proc/meminfo: memFree=17137564/32770624 swapFree=67108524/67108860
[pid=21667] ppid=21664 vsize=14090948 memory=3784840 CPUtime=252.08 cores=1,3,5,7
/proc/21667/stat : 21667 (java) S 21664 21667 21510 0 -1 1077944320 86434 0 0 0 25062 146 0 0 20 0 15 0 250438975 14429130752 946210 33554432000 4194304 4196468 140735143858000 140735143840544 140633423642359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
/proc/21667/statm: 3522737 946210 3590 1 0 3484809 0
[pid=21667/tid=21669] ppid=21664 vsize=14090948 memory=3784840 CPUtime=243.49 cores=1,3,5,7
/proc/21667/task/21669/stat : 21669 (java) R 21664 21667 21510 0 -1 4202560 42355 0 0 0 24295 54 0 0 20 0 15 0 250438975 14429130752 946210 33554432000 4194304 4196468 140735143858000 140633427880112 140633021883660 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21670] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0.48 cores=1,3,5,7
/proc/21667/task/21670/stat : 21670 (java) S 21664 21667 21510 0 -1 1077944384 1883 0 0 0 28 20 0 0 20 0 15 0 250438976 14429130752 946210 33554432000 4194304 4196468 140735143858000 140633338710800 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21671] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0.48 cores=1,3,5,7
/proc/21667/task/21671/stat : 21671 (java) S 21664 21667 21510 0 -1 1077944384 2094 0 0 0 28 20 0 0 20 0 15 0 250438976 14429130752 946210 33554432000 4194304 4196468 140735143858000 140633337658256 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21672] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0.47 cores=1,3,5,7
/proc/21667/task/21672/stat : 21672 (java) S 21664 21667 21510 0 -1 1077944384 2836 0 0 0 27 20 0 0 20 0 15 0 250438976 14429130752 946210 33554432000 4194304 4196468 140735143858000 140633336605712 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21673] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0.48 cores=1,3,5,7
/proc/21667/task/21673/stat : 21673 (java) S 21664 21667 21510 0 -1 1077944384 2415 0 0 0 28 20 0 0 20 0 15 0 250438976 14429130752 946210 33554432000 4194304 4196468 140735143858000 140633016626320 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21674] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0.03 cores=1,3,5,7
/proc/21667/task/21674/stat : 21674 (java) S 21664 21667 21510 0 -1 1077944384 3343 0 0 0 3 0 0 0 20 0 15 0 250438978 14429130752 946210 33554432000 4194304 4196468 140735143858000 140632605300720 140633423653506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21675] ppid=21664 vsize=14090948 memory=281081987443728 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21675/stat : 21675 (java) S 21664 21667 21510 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250438978 14429130752 946210 33554432000 4194304 4196468 140735143858000 140632604247008 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21676] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21676/stat : 21676 (java) S 21664 21667 21510 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 250438978 14429130752 946210 33554432000 4194304 4196468 140735143858000 140632603194368 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21677] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21677/stat : 21677 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14429130752 946210 33554432000 4194304 4196468 140735143858000 140632602142928 140633423660955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21678] ppid=21664 vsize=14090948 memory=3784840 CPUtime=2.76 cores=1,3,5,7
/proc/21667/task/21678/stat : 21678 (java) S 21664 21667 21510 0 -1 1077944384 8786 0 0 0 275 1 0 0 20 0 15 0 250438981 14429130752 946210 33554432000 4194304 4196468 140735143858000 140632601090544 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21679] ppid=21664 vsize=14090948 memory=2072 CPUtime=2.67 cores=1,3,5,7
/proc/21667/task/21679/stat : 21679 (java) S 21664 21667 21510 0 -1 1077944384 10785 0 0 0 266 1 0 0 20 0 15 0 250438981 14429130752 946210 33554432000 4194304 4196468 140735143858000 140632600038000 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21680] ppid=21664 vsize=14090948 memory=1740 CPUtime=0.99 cores=1,3,5,7
/proc/21667/task/21680/stat : 21680 (java) S 21664 21667 21510 0 -1 1077944384 10193 0 0 0 97 2 0 0 20 0 15 0 250438981 14429130752 946210 33554432000 4194304 4196468 140735143858000 140632598985456 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21681] ppid=21664 vsize=14090948 memory=3784840 CPUtime=0 cores=1,3,5,7
/proc/21667/task/21681/stat : 21681 (java) S 21664 21667 21510 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250438981 14429130752 946210 33554432000 4194304 4196468 140735143858000 140631954250848 140633423652565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
[pid=21667/tid=21682] ppid=21664 vsize=14090948 memory=3712 CPUtime=0.13 cores=1,3,5,7
/proc/21667/task/21682/stat : 21682 (java) S 21664 21667 21510 0 -1 1077944384 328 0 0 0 6 7 0 0 20 0 15 0 250438981 14429130752 946210 33554432000 4194304 4196468 140735143858000 140631953197360 140633423653506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140735143863374 140735143863566 140735143863566 140735143866319 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3784840 KiB

Child status: 143
Real time (s): 244.141
CPU time (s): 252.126
CPU user time (s): 250.637
CPU system time (s): 1.48889
CPU usage (%): 103.271
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 3879912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.637
system time used= 1.48889
maximum resident set size= 3883568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8985
involuntary context switches= 255


# summary of solver processes directly reported to runsolver:
#   pid: 21667
#   total CPU time (s): 252.126
#   total CPU user time (s): 250.637
#   total CPU system time (s): 1.48889

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47117 second user time and 2.49568 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-15 12:25:58
IDJOB=4309915
IDBENCH=141142
IDSOLVER=2795
FILE ID=node107/4309915-1534328758
RUNJOBID= node107-1534328516-21542
PBS_JOBID= 21038151
Free space on /tmp= 42256 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/GraphColoring/GraphColoring-5-fullins-4_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309915-1534328758/watcher-4309915-1534328758 -o /tmp/evaluation-result-4309915-1534328758/solver-4309915-1534328758 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534328516-21542 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1916102673 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4309915-1534328758.xml

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

MD5SUM BENCH= 9a110b3288dcdd83da8fcc132ac433c6
RANDOM SEED=1916102673

node107.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.40
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.40
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.40
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.40
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:        23612324 kB
MemAvailable:   30844148 kB
Buffers:          210428 kB
Cached:          7249976 kB
SwapCached:           20 kB
Active:          5043180 kB
Inactive:        3522172 kB
Active(anon):    1054108 kB
Inactive(anon):   111372 kB
Active(file):    3989072 kB
Inactive(file):  3410800 kB
Unevictable:        6980 kB
Mlocked:            6980 kB
SwapTotal:      67108860 kB
SwapFree:       67108524 kB
Dirty:             36248 kB
Writeback:             0 kB
AnonPages:       1220376 kB
Mapped:            68504 kB
Shmem:             57824 kB
Slab:             288868 kB
SReclaimable:     260412 kB
SUnreclaim:        28456 kB
KernelStack:        3680 kB
PageTables:         7936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2135204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1097728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 42220 MiB
End job on node107 at 2018-08-15 12:30:02