Trace number 4290263

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-07-02SAT (TO)8 2400.13 2361.64

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 benchmark141.733
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.66/0.56	c version: 2018-07-02
0.66/0.56	c seed: 1326091668
0.66/0.56	c timeout: 2400
0.66/0.56	c memlimit: 11000
0.66/0.56	c nbcore: 4
0.66/0.58	c Parsing instance...
7.66/3.25	c Parsing done, starting search...
8.36/3.54	o 1081
9.20/3.89	o 1080
9.20/3.89	o 1079
9.20/3.89	o 1078
10.65/4.76	o 1077
10.83/4.86	o 1076
11.16/5.12	o 1075
11.16/5.13	o 1074
11.16/5.14	o 1073
11.67/5.51	o 1070
11.77/5.61	o 1068
12.01/5.85	o 1067
12.26/6.02	o 1066
12.26/6.10	o 1065
12.39/6.15	o 1063
12.59/6.38	o 1061
12.79/6.51	o 1060
12.79/6.56	o 1058
12.99/6.76	o 1057
12.99/6.78	o 1056
13.40/7.11	o 1054
13.40/7.13	o 1051
13.59/7.32	o 1050
13.59/7.39	o 1049
13.69/7.46	o 1047
13.69/7.48	o 1046
13.89/7.61	o 1045
14.40/8.12	o 1044
14.40/8.19	o 1043
14.62/8.32	o 1041
14.72/8.44	o 1040
14.92/8.62	o 1039
15.02/8.72	o 1037
15.22/8.93	o 1035
15.32/9.08	o 1033
15.42/9.19	o 1031
15.42/9.20	o 1030
15.61/9.39	o 1028
15.82/9.54	o 1027
16.02/9.71	o 1023
16.22/9.93	o 1022
16.32/10.05	o 1021
16.43/10.16	o 1020
16.52/10.20	o 1018
16.82/10.59	o 1017
16.92/10.64	o 1014
17.04/10.78	o 1013
17.15/10.82	o 1012
17.27/10.96	o 1011
17.37/11.01	o 1010
17.74/11.29	o 1009
18.00/11.40	o 1007
18.10/11.52	o 1004
18.20/11.67	o 1003
18.30/11.72	o 1000
18.40/11.82	o 998
18.51/11.91	o 996
18.61/12.06	o 995
18.81/12.28	o 994
18.91/12.37	o 993
19.11/12.53	o 992
19.11/12.58	o 991
19.21/12.69	o 990
19.21/12.69	o 989
19.31/12.74	o 988
19.51/12.91	o 987
19.51/12.94	o 985
19.62/13.03	o 983
19.62/13.09	o 982
19.72/13.13	o 975
19.81/13.29	o 972
19.91/13.31	o 970
19.91/13.39	o 969
20.11/13.53	o 967
20.22/13.65	o 966
20.42/13.83	o 964
20.56/13.92	o 960
20.86/14.26	o 959
20.96/14.30	o 958
20.96/14.38	o 957
21.06/14.46	o 956
21.26/14.68	o 955
21.51/14.80	o 954
21.51/14.81	o 952
21.51/14.82	o 951
21.82/15.14	o 949
21.82/15.20	o 948
22.32/15.61	o 947
22.32/15.66	o 946
22.42/15.74	o 945
22.52/15.82	o 943
22.52/15.89	o 941
22.83/16.13	o 940
22.83/16.15	o 939
22.83/16.17	o 938
22.83/16.17	o 937
23.12/16.44	o 936
23.22/16.53	o 935
23.22/16.55	o 934
23.22/16.56	o 933
23.32/16.69	o 932
23.42/16.75	o 930
23.52/16.84	o 929
23.52/16.85	o 928
23.73/17.09	o 927
23.83/17.18	o 926
23.92/17.22	o 925
24.02/17.35	o 924
24.12/17.44	o 923
24.22/17.55	o 922
24.22/17.59	o 920
24.55/17.80	o 918
24.88/18.08	o 916
24.99/18.18	o 914
25.08/18.25	o 913
25.28/18.43	o 910
25.38/18.54	o 909
25.38/18.55	o 908
25.48/18.65	o 907
25.68/18.85	o 906
25.89/19.04	o 904
25.99/19.11	o 903
25.99/19.18	o 901
26.08/19.26	o 900
26.29/19.49	o 899
26.39/19.54	o 896
26.49/19.61	o 895
26.59/19.73	o 894
26.59/19.74	o 891
26.79/19.96	o 890
26.79/19.97	o 889
26.90/20.06	o 887
26.90/20.09	o 886
27.19/20.35	o 885
27.29/20.45	o 884
27.39/20.50	o 883
27.49/20.62	o 880
27.69/20.81	o 878
27.79/20.98	o 877
27.79/20.99	o 876
28.00/21.15	o 875
28.09/21.20	o 874
28.09/21.25	o 873
28.32/21.40	o 872
28.53/21.65	o 868
28.83/21.93	o 867
28.83/21.97	o 866
28.93/22.03	o 865
29.04/22.16	o 864
29.13/22.22	o 863
29.23/22.30	o 862
29.23/22.37	o 861
29.33/22.41	o 859
29.43/22.58	o 858
29.53/22.64	o 856
29.63/22.76	o 854
29.83/22.95	o 853
29.93/23.05	o 849
29.93/23.10	o 848
30.13/23.27	o 845
30.23/23.34	o 844
30.23/23.35	o 843
30.23/23.39	o 842
30.33/23.47	o 839
30.43/23.57	o 837
30.53/23.69	o 835
30.72/23.84	o 834
30.83/23.92	o 833
30.83/23.96	o 832
30.93/24.09	o 831
31.13/24.25	o 830
31.23/24.31	o 829
31.33/24.45	o 828
31.49/24.51	o 826
31.59/24.65	o 824
31.69/24.72	o 822
31.79/24.80	o 821
31.89/24.95	o 820
31.89/24.95	o 819
31.99/25.08	o 817
32.09/25.13	o 815
32.19/25.21	o 814
32.19/25.23	o 812
32.19/25.28	o 811
32.29/25.35	o 810
32.29/25.37	o 809
32.50/25.56	o 808
32.50/25.58	o 807
32.80/25.85	o 805
33.11/26.12	o 803
33.11/26.16	o 802
33.20/26.22	o 801
33.20/26.25	o 799
33.20/26.28	o 798
33.44/26.41	o 797
33.44/26.44	o 796
33.84/26.86	o 795
33.94/26.92	o 794
34.05/27.06	o 793
34.15/27.16	o 792
34.24/27.20	o 791
34.44/27.41	o 790
34.44/27.41	o 789
34.54/27.54	o 787
34.54/27.55	o 785
34.64/27.61	o 784
34.64/27.68	o 781
34.84/27.88	o 780
34.94/28.00	o 779
35.15/28.16	o 778
35.24/28.27	o 777
35.34/28.33	o 775
35.44/28.43	o 773
35.54/28.55	o 772
35.64/28.67	o 771
35.74/28.78	o 770
35.74/28.79	o 769
35.84/28.83	o 768
35.94/29.00	o 767
36.05/29.05	o 765
36.05/29.09	o 764
36.15/29.11	o 763
36.24/29.23	o 762
36.24/29.27	o 761
36.44/29.46	o 760
36.55/29.51	o 759
36.65/29.60	o 758
36.65/29.62	o 757
36.65/29.70	o 756
36.85/29.80	o 755
36.95/29.90	o 753
37.06/30.10	o 751
37.16/30.15	o 750
37.25/30.25	o 748
37.35/30.33	o 747
37.45/30.44	o 746
37.55/30.51	o 745
37.55/30.54	o 744
37.75/30.76	o 743
37.85/30.85	o 742
37.85/30.87	o 740
37.95/30.91	o 739
38.06/31.01	o 738
38.06/31.08	o 737
38.16/31.14	o 736
38.16/31.15	o 735
38.35/31.32	o 733
38.46/31.43	o 732
38.56/31.51	o 731
38.56/31.51	o 730
38.66/31.62	o 729
38.66/31.63	o 728
38.66/31.63	o 727
38.66/31.64	o 725
38.76/31.73	o 724
38.86/31.83	o 723
38.86/31.83	o 722
38.97/31.91	o 720
39.07/32.07	o 719
39.18/32.14	o 718
39.27/32.20	o 716
39.27/32.29	o 713
39.37/32.30	o 712
39.47/32.42	o 711
39.47/32.42	o 710
39.47/32.46	o 709
39.57/32.52	o 708
39.57/32.58	o 707
39.57/32.59	o 706
39.67/32.65	o 705
39.87/32.84	o 704
39.97/32.92	o 703
39.97/32.98	o 702
40.07/33.06	o 701
40.07/33.09	o 700
40.07/33.10	o 698
40.18/33.12	o 697
40.37/33.37	o 696
40.47/33.46	o 695
40.57/33.56	o 694
40.67/33.63	o 693
40.77/33.71	o 692
40.87/33.82	o 691
40.97/33.90	o 690
40.97/33.93	o 688
41.29/34.21	o 687
41.39/34.30	o 686
41.39/34.38	o 685
41.49/34.41	o 683
41.49/34.45	o 682
41.69/34.67	o 681
41.69/34.68	o 680
41.79/34.72	o 679
41.89/34.87	o 677
41.99/34.92	o 675
42.10/35.04	o 674
42.20/35.14	o 673
42.29/35.23	o 672
42.39/35.30	o 671
42.39/35.31	o 670
42.49/35.41	o 669
42.49/35.45	o 668
42.59/35.53	o 667
42.59/35.54	o 666
42.69/35.66	o 665
42.79/35.76	o 664
42.79/35.78	o 663
42.99/35.97	o 662
42.99/35.98	o 661
43.29/36.20	o 660
43.29/36.28	o 659
43.39/36.35	o 658
43.39/36.39	o 656
43.50/36.44	o 655
43.60/36.54	o 654
43.60/36.59	o 653
43.70/36.64	o 650
43.80/36.76	o 649
43.90/36.83	o 648
43.90/36.89	o 647
44.00/36.96	o 646
44.10/37.06	o 645
44.10/37.06	o 644
44.30/37.27	o 642
44.40/37.31	o 641
44.40/37.39	o 640
44.50/37.45	o 639
44.60/37.55	o 638
44.70/37.61	o 637
44.70/37.63	o 636
44.70/37.69	o 635
44.80/37.77	o 634
44.90/37.87	o 631
45.10/38.09	o 630
45.21/38.11	o 629
45.21/38.16	o 628
45.32/38.26	o 627
45.42/38.34	o 626
45.42/38.36	o 625
45.62/38.58	o 624
45.72/38.62	o 623
45.82/38.79	o 622
45.92/38.82	o 620
46.02/38.90	o 619
46.02/38.94	o 618
46.23/39.15	o 617
46.33/39.25	o 616
46.43/39.35	o 615
46.43/39.35	o 614
46.53/39.43	o 613
46.63/39.50	o 612
46.63/39.55	o 611
46.73/39.63	o 610
46.73/39.67	o 608
46.93/39.89	o 607
47.03/39.94	o 605
47.13/40.04	o 604
47.13/40.10	o 602
47.24/40.14	o 599
47.24/40.18	o 598
47.24/40.19	o 597
47.33/40.29	o 596
47.43/40.33	o 595
47.53/40.42	o 594
47.53/40.49	o 593
47.63/40.51	o 592
47.73/40.61	o 591
47.73/40.62	o 589
47.73/40.63	o 588
47.93/40.83	o 587
47.93/40.90	o 586
48.03/40.97	o 585
48.24/41.19	o 584
48.33/41.25	o 583
48.42/41.32	o 582
48.42/41.34	o 581
48.52/41.43	o 580
48.63/41.52	o 579
48.63/41.53	o 578
48.73/41.68	o 577
48.82/41.78	o 576
48.93/41.86	o 574
49.03/41.96	o 573
49.03/41.96	o 572
49.03/41.98	o 571
49.24/42.13	o 568
49.34/42.21	o 567
49.34/42.25	o 565
49.64/42.50	o 564
49.64/42.58	o 563
49.73/42.60	o 562
49.73/42.68	o 561
49.84/42.74	o 559
49.94/42.87	o 558
50.03/42.90	o 557
50.03/42.91	o 555
50.14/43.02	o 554
50.14/43.07	o 553
50.24/43.14	o 552
50.24/43.19	o 551
50.33/43.24	o 549
50.44/43.33	o 548
50.44/43.35	o 547
50.53/43.46	o 546
50.64/43.52	o 544
50.73/43.62	o 543
50.94/43.80	o 542
50.94/43.88	o 541
51.04/43.93	o 540
51.04/43.96	o 539
51.14/44.09	o 538
51.25/44.13	o 537
51.25/44.17	o 536
51.34/44.27	o 535
51.44/44.36	o 534
51.54/44.42	o 533
51.54/44.44	o 532
51.63/44.53	o 531
51.63/44.54	o 530
51.73/44.68	o 528
51.94/44.85	o 527
51.94/44.85	o 526
52.14/45.10	o 525
52.24/45.12	o 524
52.24/45.14	o 523
52.33/45.29	o 520
52.44/45.37	o 519
52.54/45.45	o 518
52.68/45.51	o 517
52.68/45.55	o 516
52.68/45.59	o 515
52.78/45.68	o 514
52.88/45.76	o 513
52.98/45.81	o 512
52.98/45.82	o 511
53.08/45.92	o 510
53.08/45.93	o 509
53.08/46.00	o 508
53.19/46.06	o 507
53.19/46.07	o 506
53.38/46.20	o 505
53.48/46.40	o 503
53.58/46.42	o 502
53.68/46.50	o 501
53.68/46.55	o 500
53.78/46.64	o 499
53.88/46.72	o 498
53.88/46.73	o 497
53.98/46.82	o 496
54.08/46.90	o 495
54.08/46.95	o 494
54.29/47.13	o 492
54.38/47.26	o 491
54.48/47.32	o 490
54.58/47.41	o 489
54.58/47.44	o 488
54.58/47.46	o 487
54.68/47.50	o 486
54.88/47.70	o 485
54.88/47.77	o 484
54.98/47.83	o 483
55.08/47.94	o 482
55.08/48.00	o 481
55.19/48.06	o 480
55.29/48.14	o 479
55.38/48.23	o 478
55.48/48.32	o 477
55.48/48.39	o 476
55.58/48.47	o 475
55.58/48.48	o 474
55.78/48.63	o 473
55.88/48.70	o 472
55.88/48.71	o 471
55.88/48.78	o 468
56.08/49.00	o 467
56.19/49.02	o 466
56.19/49.02	o 465
56.19/49.06	o 464
56.29/49.14	o 463
56.29/49.18	o 462
56.38/49.29	o 461
56.48/49.36	o 460
56.48/49.36	o 459
56.48/49.37	o 458
56.58/49.47	o 457
56.68/49.53	o 456
56.78/49.61	o 455
56.78/49.69	o 454
56.88/49.76	o 452
56.98/49.85	o 451
56.98/49.88	o 450
56.98/49.89	o 449
57.19/50.02	o 448
57.19/50.10	o 447
57.49/50.30	o 446
57.49/50.34	o 445
57.49/50.35	o 443
57.59/50.42	o 442
57.68/50.51	o 441
57.68/50.58	o 440
57.68/50.59	o 439
57.78/50.64	o 438
57.89/50.74	o 437
57.99/50.84	o 436
57.99/50.89	o 435
58.09/50.92	o 434
58.19/51.03	o 433
58.19/51.04	o 432
58.30/51.12	o 431
58.30/51.18	o 430
58.49/51.31	o 429
58.59/51.40	o 428
58.59/51.43	o 427
58.59/51.44	o 426
58.79/51.61	o 425
58.79/51.68	o 424
58.89/51.75	o 423
58.99/51.82	o 422
59.09/51.91	o 421
59.09/51.98	o 420
59.09/52.00	o 419
59.30/52.13	o 418
59.30/52.18	o 417
59.39/52.28	o 416
59.49/52.35	o 415
59.59/52.40	o 414
59.59/52.48	o 413
59.69/52.51	o 412
59.69/52.59	o 411
59.79/52.66	o 410
59.89/52.70	o 409
60.09/52.91	o 408
60.09/52.98	o 407
60.19/53.06	o 404
60.30/53.13	o 403
60.30/53.19	o 402
60.39/53.24	o 401
60.39/53.29	o 400
60.49/53.35	o 398
60.49/53.38	o 397
60.59/53.45	o 396
60.69/53.52	o 395
60.69/53.53	o 394
60.69/53.56	o 392
60.79/53.65	o 391
60.79/53.67	o 390
60.89/53.76	o 389
60.99/53.81	o 388
60.99/53.84	o 387
60.99/53.84	o 385
61.09/53.95	o 384
61.19/54.03	o 383
61.39/54.21	o 382
61.39/54.29	o 381
61.49/54.36	o 380
61.59/54.41	o 379
61.59/54.44	o 378
61.69/54.57	o 377
61.79/54.65	o 376
61.93/54.73	o 375
61.93/54.77	o 374
62.03/54.80	o 373
62.03/54.84	o 372
62.03/54.87	o 371
62.23/55.03	o 370
62.23/55.06	o 369
62.23/55.06	o 368
62.23/55.08	o 367
62.33/55.15	o 366
62.43/55.23	o 365
62.43/55.30	o 364
62.54/55.33	o 363
62.74/55.51	o 362
62.74/55.58	o 361
62.84/55.66	o 360
62.94/55.73	o 359
62.94/55.79	o 358
63.03/55.85	o 357
63.03/55.89	o 356
63.13/55.98	o 355
63.24/56.05	o 354
63.24/56.09	o 353
63.34/56.16	o 352
63.44/56.20	o 351
63.44/56.26	o 350
63.54/56.32	o 349
63.64/56.42	o 348
63.64/56.42	o 347
63.73/56.50	o 346
63.73/56.56	o 345
63.83/56.62	o 344
64.04/56.82	o 343
64.04/56.84	o 342
64.24/57.03	o 341
64.24/57.10	o 340
64.35/57.14	o 339
64.44/57.21	o 338
64.44/57.22	o 337
64.44/57.25	o 336
64.54/57.33	o 335
64.64/57.41	o 334
64.64/57.41	o 333
64.74/57.57	o 332
64.84/57.62	o 331
64.84/57.66	o 329
64.94/57.72	o 328
65.04/57.80	o 327
65.04/57.86	o 326
65.04/57.87	o 325
65.14/57.93	o 324
65.35/58.12	o 323
65.35/58.18	o 322
65.44/58.29	o 321
65.54/58.34	o 320
65.64/58.41	o 318
65.74/58.58	o 317
65.84/58.61	o 316
65.84/58.69	o 315
65.94/58.75	o 314
66.04/58.81	o 313
66.04/58.85	o 312
66.14/58.91	o 311
66.14/58.95	o 310
66.25/59.01	o 309
66.25/59.05	o 308
66.25/59.07	o 307
66.35/59.11	o 306
66.35/59.14	o 305
66.35/59.19	o 304
66.64/59.42	o 303
66.64/59.46	o 302
66.64/59.49	o 301
66.74/59.57	o 300
66.84/59.64	o 299
66.84/59.64	o 298
66.94/59.71	o 297
66.94/59.79	o 296
67.04/59.85	o 295
67.14/59.92	o 294
67.14/59.99	o 293
67.25/60.05	o 292
67.25/60.09	o 291
67.36/60.16	o 290
67.45/60.21	o 289
67.45/60.27	o 288
67.55/60.36	o 287
67.65/60.42	o 286
67.65/60.49	o 285
67.75/60.53	o 284
67.95/60.72	o 283
67.95/60.78	o 282
68.05/60.81	o 281
68.05/60.89	o 280
68.15/60.94	o 279
68.25/61.05	o 278
68.36/61.13	o 277
68.36/61.16	o 276
68.55/61.33	o 275
68.55/61.37	o 274
68.65/61.45	o 273
68.75/61.52	o 272
68.85/61.60	o 271
68.85/61.64	o 270
68.95/61.73	o 269
68.95/61.79	o 268
69.05/61.84	o 267
69.25/62.02	o 266
69.25/62.07	o 265
69.36/62.14	o 264
69.36/62.18	o 263
69.45/62.28	o 262
69.55/62.36	o 261
69.65/62.43	o 260
69.65/62.45	o 259
69.65/62.47	o 258
69.75/62.54	o 257
69.85/62.61	o 256
69.85/62.67	o 255
69.95/62.71	o 254
69.95/62.73	o 253
69.95/62.77	o 252
69.95/62.79	o 251
70.05/62.89	o 250
70.15/62.95	o 249
70.15/63.00	o 248
70.25/63.08	o 247
70.37/63.15	o 246
70.55/63.33	o 245
70.65/63.40	o 244
70.65/63.45	o 243
70.75/63.51	o 242
70.75/63.57	o 241
70.85/63.66	o 240
70.96/63.71	o 239
70.96/63.76	o 238
70.96/63.79	o 237
71.05/63.82	o 236
71.05/63.87	o 235
71.15/63.95	o 234
71.15/63.99	o 233
71.25/64.05	o 232
71.25/64.09	o 231
71.37/64.17	o 230
71.37/64.20	o 229
71.45/64.26	o 228
71.55/64.34	o 227
71.55/64.38	o 226
71.66/64.43	o 225
71.85/64.63	o 224
71.85/64.69	o 223
71.96/64.74	o 222
72.05/64.80	o 221
72.05/64.82	o 220
72.05/64.89	o 219
72.16/64.95	o 218
72.26/65.04	o 217
72.26/65.09	o 216
72.26/65.10	o 215
72.36/65.15	o 214
72.45/65.21	o 213
72.45/65.30	o 212
72.56/65.33	o 211
72.65/65.44	o 210
72.65/65.49	o 209
72.76/65.56	o 208
72.86/65.60	o 207
72.86/65.62	o 206
72.86/65.63	o 205
72.95/65.74	o 204
73.15/65.94	o 203
73.15/65.97	o 202
73.15/65.99	o 201
73.26/66.05	o 200
73.26/66.09	o 199
73.41/66.12	o 198
73.50/66.22	o 197
73.60/66.30	o 196
73.60/66.33	o 195
73.70/66.43	o 194
73.70/66.49	o 193
73.80/66.55	o 192
73.90/66.61	o 191
73.90/66.64	o 190
74.00/66.70	o 189
74.00/66.76	o 188
74.00/66.79	o 187
74.10/66.85	o 186
74.20/66.90	o 185
74.20/66.95	o 184
74.20/66.98	o 183
74.30/67.01	o 182
74.30/67.05	o 181
74.50/67.23	o 180
74.50/67.27	o 179
74.50/67.29	o 178
74.70/67.42	o 177
74.70/67.47	o 176
74.80/67.56	o 175
74.90/67.62	o 174
74.90/67.65	o 173
74.90/67.68	o 172
75.00/67.74	o 171
75.00/67.79	o 170
75.10/67.85	o 169
75.20/67.91	o 168
75.20/67.96	o 167
75.30/68.02	o 166
75.30/68.06	o 165
75.41/68.11	o 164
75.41/68.17	o 163
75.50/68.21	o 162
75.50/68.23	o 161
75.60/68.30	o 160
75.60/68.33	o 159
75.80/68.54	o 158
75.80/68.58	o 157
75.90/68.68	o 156
76.00/68.73	o 155
76.00/68.79	o 154
76.10/68.83	o 153
76.10/68.88	o 152
76.21/68.92	o 151
76.21/68.98	o 150
76.31/69.04	o 149
76.31/69.09	o 148
76.42/69.15	o 147
76.42/69.19	o 146
76.51/69.25	o 145
76.51/69.27	o 144
76.61/69.34	o 143
76.61/69.38	o 142
76.71/69.42	o 141
76.71/69.49	o 140
76.81/69.56	o 139
76.91/69.62	o 138
77.13/69.86	o 137
77.23/69.91	o 136
77.23/69.92	o 135
77.33/70.06	o 134
77.44/70.11	o 133
77.44/70.15	o 132
77.53/70.21	o 131
77.53/70.27	o 130
77.63/70.33	o 129
77.63/70.38	o 128
77.73/70.43	o 127
77.73/70.47	o 126
77.83/70.52	o 125
77.83/70.58	o 124
77.93/70.63	o 123
77.93/70.68	o 122
78.03/70.74	o 121
78.03/70.79	o 120
78.13/70.83	o 119
78.13/70.88	o 118
78.23/70.94	o 117
78.44/71.14	o 116
78.44/71.19	o 115
78.53/71.24	o 114
78.53/71.29	o 113
78.63/71.33	o 112
78.63/71.39	o 111
78.73/71.43	o 110
78.73/71.47	o 109
78.83/71.55	o 108
78.83/71.58	o 107
78.93/71.64	o 106
79.03/71.73	o 105
79.03/71.78	o 104
79.13/71.82	o 103
79.13/71.89	o 102
79.23/71.94	o 101
79.23/71.98	o 100
79.33/72.03	o 99
79.33/72.07	o 98
79.44/72.14	o 97
79.53/72.20	o 96
79.53/72.27	o 95
79.73/72.46	o 94
79.83/72.50	o 93
79.83/72.55	o 92
79.83/72.59	o 91
79.93/72.63	o 90
80.03/72.71	o 89
80.03/72.76	o 88
80.13/72.81	o 87
80.13/72.86	o 86
80.23/72.90	o 85
80.23/72.95	o 84
80.23/73.00	o 83
80.33/73.04	o 82
80.33/73.09	o 81
80.44/73.13	o 80
80.44/73.18	o 79
80.53/73.22	o 78
80.53/73.27	o 77
80.63/73.32	o 76
80.63/73.36	o 75
80.73/73.41	o 74
80.73/73.45	o 73
80.83/73.51	o 72
80.83/73.55	o 71
81.03/73.76	o 70
81.13/73.80	o 69
81.13/73.84	o 68
81.13/73.89	o 67
81.23/73.93	o 66
81.23/73.99	o 65
81.33/74.03	o 64
81.33/74.08	o 63
81.44/74.12	o 62
81.44/74.16	o 61
81.53/74.20	o 60
81.53/74.26	o 59
81.63/74.30	o 58
81.63/74.34	o 57
81.63/74.39	o 56
81.73/74.43	o 55
81.73/74.48	o 54
81.85/74.52	o 53
81.85/74.57	o 52
82.05/74.74	o 51
82.05/74.78	o 50
82.15/74.83	o 49
82.15/74.87	o 48
82.36/75.06	o 47
82.36/75.10	o 46
82.46/75.14	o 45
82.46/75.19	o 44
82.55/75.23	o 43
82.55/75.28	o 42
82.66/75.32	o 41
82.66/75.37	o 40
82.76/75.41	o 39
82.76/75.47	o 38
82.86/75.51	o 37
82.86/75.55	o 36
82.86/75.59	o 35
82.96/75.64	o 34
82.96/75.69	o 33
83.06/75.73	o 32
83.06/75.77	o 31
83.16/75.81	o 30
83.16/75.85	o 29
83.26/75.90	o 28
83.26/75.94	o 27
83.26/75.99	o 26
83.36/76.03	o 25
83.36/76.08	o 24
83.47/76.12	o 23
83.47/76.17	o 22
83.66/76.36	o 21
83.76/76.41	o 20
83.76/76.45	o 19
83.86/76.50	o 18
83.86/76.55	o 17
83.96/76.60	o 16
83.96/76.65	o 15
83.96/76.69	o 14
84.06/76.74	o 13
84.06/76.79	o 12
84.16/76.84	o 11
84.16/76.89	o 10
84.26/76.94	o 9
86.86/79.30	o 8
2400.08/2361.60	s SATISFIABLE
2400.08/2361.61	v <instantiation>
2400.08/2361.61	v 	<list>
2400.08/2361.61	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]
2400.08/2361.61	v 	</list>
2400.08/2361.61	v 	<values>
2400.08/2361.61	v 		0 1 5 1 0 0 6 6 5 2 0 3 4 6 5 4 6 1 3 2 0 2 6 3 2 0 2 4 2 0 2 0 1 2 1 5 4 6 1 3 2 0 7 1 5 3 7 5 5 4 6 5 6 4 3 7 5 4 7 7 7 7 7 0 2 0 1 0 0 2 0 0 0 1 5 0 2 1 0 0 1 0 0 1 0 2 4 6 7 4 6 4 8 8 5 5 7 7 6 6 8 7 6 4 5 4 1 1 1 2 2 1 6 8 8 6 0 8 8 0 1 1 2 0 1 0 7 5 4 3 3 7 4 1 7 5 5 3 3 7 4 3 5 7 3 5 3 6 7 0 4 1 5 2 4 8 8 3 3 8 3 8 7 5 5 3 7 3 8 7 7 7 8 8 7 2 4 2 5 8 2 4 4 5 8 4 8 8 3 8 4 8 8 3 2 8 3 1 3 3 3 5 7 8 8 5 3 8 8 8 8 4 7 7 7 7 8 0 8 8 3 2 3 0 5 8 0 0 0 0 0 2 2 8 2 0 0 0 3 8 8 8 7 7 5 3 2 5 5 4 3 3 5 5 3 7 5 7 7 7 3 0 8 2 0 3 4 8 8 0 2 8 2 0 0 8 7 0 2 1 4 3 3 7 3 3 3 3 7 3 3 4 7 3 7 8 7 7 4 7 7 8 8 8 8 3 5 8 0 0 1 5 1 1 0 2 5 2 0 1 2 1 0 1 0 1 0 1 0 2 6 2 0 1 2 1 6 0 1 0 1 2 2 0 0 2 2 0 0 2 1 5 6 5 2 6 1 0 6 6 1 6 6 6 1 6 6 1 6 6 1 6 5 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 5 1 1 6 7 1 1 0 1 6 5 6 5 6 6 6 6 6 6 6 6 2 7 0 1 1 1 1 0 2 1 1 0 1 0 1 1 1 0 0 0 0 1 1 6 1 1 6 3 6 1 6 0 1 6 5 6 6 5 5 6 3 1 1 1 0 6 1 6 0 7 6 5 8 8 3 7 3 8 6 6 7 5 5 5 4 6 3 6 5 6 7 3 8 7 3 5 3 3 3 8 7 8 3 3 4 7 3 4 3 7 5 8 7 1 8 7 5 7 8 3 7 8 8 3 3 5 3 5 3 7 8 6 7 3 3 8 7 5 4 8 3 7 8 3 8 7 7 4 5 8 7 7 7 3 4 6 3 7 2 6 7 6 3 4 8 2 2 6 3 6 6 6 6 8 5 8 2 3 7 7 8 8 5 7 7 4 8 8 7 7 2 7 8 3 7 6 6 3 8 8 2 7 3 7 4 4 3 3 2 7 7 7 8 7 7 6 7 3 7 7 8 3 8 0 2 8 1 2 0 7 7 2 1 0 2 2 3 2 0 1 0 0 0 0 0 2 0 2 4 0 1 0 1 2 1 0 0 2 2 4 0 0 1 0 1 1 2 0 6 2 0 1 0 0 0 1 1 1 1 1 1 1 0 0 2 0 0 0 1 0 0 8 0 1 3 2 0 1 1 0 1 0 0 2 0 2 1 1 1 2 1 1 0 0 1 0 0 0 2 0 2 0 1 2 0 0 1 1 0 7 0 4 1 1 0 4 0 0 0 0 2 1 1 2 1 1 1 0 0 2 0 0 0 6 4 1 1 6 0 1 0 1 2 1 0 1 0 0 0 1 1 2 0 1 0 0 0 3 4 5 5 6 4 6 5 6 8 5 4 6 4 8 5 6 6 7 8 5 7 5 6 6 3 6 4 3 5 3 7 3 7 5 8 7 5 8 3 6 8 5 7 7 5 7 2 3 7 2 5 8 7 7 3 3 5 7 3 7 5 7 3 8 8 7 3 6 6 8 5 6 5 5 4 8 7 5 7 5 6 5 7 8 3 6 7 2 6 4 5 5 7 6 8 5 3 5 7 7 6 8 4 6 6 6 2 4 6 4 2 7 5 6 5 4 4 4 5 7 5 5 4 6 3 5 2 6 5 7 8 8 2 5 7 7 5 7 4 5 6 6 7 5 4 6 3 6 8 4 4 6 5 0 2 1 0 7 7 0 0 2 0 0 0 2 1 1 1 0 1 0 0 0 2 2 0 0 1 0 0 4 2 4 1 0 0 4 0 0 0 0 0 1 0 1 2 2 2 1 1 4 0 1 1 2 2 0 6 1 4 2 2 1 4 0 0 2 1 0 1 2 0 1 0 1 6 0 2 2 1 0 0 1 0 1 1 1 5 0 1 0 0 2 7 1 1 0 0 0 2 1 1 2 1 0 2 1 4 2 5 1 1 1 0 1 1 2 5 2 7 4 0 2 1 1 1 4 1 7 0 0 4 0 4 7 7 0 7 0 0 7 2 0 7 1 1 2 1 1 1 1 1 0 0 1 1 3 6 4 0 5 1 8 
2400.08/2361.61	v 	</values>
2400.08/2361.61	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 (7599 MiB free)
  memory of node 1: 16384 MiB (10923 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290263-1532234681/watcher-4290263-1532234681 -o /tmp/evaluation-result-4290263-1532234681/solver-4290263-1532234681 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532225156-31762 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1326091668 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290263-1532234681.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=305, runsolver pid=302
Current StackSize limit: 8192 KiB


[startup+0.100143 s]*
/proc/loadavg: 1.61 1.35 1.37 3/216 321
/proc/meminfo: memFree=18950128/32770624 swapFree=67108860/67108860
[pid=305] ppid=302 vsize=14082740 memory=30460 CPUtime=0.11 cores=1,3,5,7
/proc/305/stat : 305 (java) S 302 305 31730 0 -1 1077944320 6504 0 0 0 10 1 0 0 20 0 15 0 41031256 14420725760 7615 33554432000 4194304 4196468 140735202442112 140735202424656 139796941438711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
/proc/305/statm: 3520685 7615 3155 1 0 3482761 0
[pid=305/tid=308] ppid=302 vsize=14082740 memory=7022364594140610616 CPUtime=0.09 cores=1,3,5,7
/proc/305/task/308/stat : 308 (java) R 302 305 31730 0 -1 4202560 4575 0 0 0 8 1 0 0 20 0 15 0 41031257 14420725760 7615 33554432000 4194304 4196468 140735202442112 139796945662736 139796925519198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=309] ppid=302 vsize=14082740 memory=331 CPUtime=0 cores=1,3,5,7
/proc/305/task/309/stat : 309 (java) S 302 305 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41031257 14420725760 7615 33554432000 4194304 4196468 140735202442112 139796894059536 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=310] ppid=302 vsize=14082740 memory=140499288212541 CPUtime=0 cores=1,3,5,7
/proc/305/task/310/stat : 310 (java) S 302 305 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41031258 14420725760 7615 33554432000 4194304 4196468 140735202442112 139796893006992 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=311] ppid=302 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/311/stat : 311 (java) S 302 305 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41031258 14420725760 7615 33554432000 4194304 4196468 140735202442112 139796891953936 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=312] ppid=302 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/305/task/312/stat : 312 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031258 14420725760 7615 33554432000 4194304 4196468 140735202442112 139796534193040 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=313] ppid=302 vsize=14082740 memory=140499287991936 CPUtime=0 cores=1,3,5,7
/proc/305/task/313/stat : 313 (java) S 302 305 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41031259 14420725760 7615 33554432000 4194304 4196468 140735202442112 139796123240688 139796941449858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=314] ppid=302 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/305/task/314/stat : 314 (java) S 302 305 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41031259 14420725760 7615 33554432000 4194304 4196468 140735202442112 139796122186912 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=315] ppid=302 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/315/stat : 315 (java) S 302 305 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41031260 14420725760 7615 33554432000 4194304 4196468 140735202442112 139796121133808 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=316] ppid=302 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/316/stat : 316 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14420725760 7615 33554432000 4194304 4196468 140735202442112 139796120082384 139796941457307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=317] ppid=302 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/317/stat : 317 (java) S 302 305 31730 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 41031262 14420725760 7615 33554432000 4194304 4196468 140735202442112 139796119030512 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=318] ppid=302 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/305/task/318/stat : 318 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14420725760 7615 33554432000 4194304 4196468 140735202442112 139796117977968 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=319] ppid=302 vsize=14082740 memory=140499287991936 CPUtime=0.01 cores=1,3,5,7
/proc/305/task/319/stat : 319 (java) S 302 305 31730 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 15 0 41031262 14420725760 7615 33554432000 4194304 4196468 140735202442112 139796116924912 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=320] ppid=302 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/305/task/320/stat : 320 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14420725760 7615 33554432000 4194304 4196468 140735202442112 139796115872608 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=321] ppid=302 vsize=14082740 memory=140499287991936 CPUtime=0 cores=1,3,5,7
/proc/305/task/321/stat : 321 (java) S 302 305 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41031262 14420725760 7615 33554432000 4194304 4196468 140735202442112 139796114819632 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30460 KiB

[startup+0.21089 s]*
/proc/loadavg: 1.61 1.35 1.37 6/216 321
/proc/meminfo: memFree=18932836/32770624 swapFree=67108860/67108860
[pid=305] ppid=302 vsize=14082740 memory=47084 CPUtime=0.29 cores=1,3,5,7
/proc/305/stat : 305 (java) S 302 305 31730 0 -1 1077944320 10350 0 0 0 27 2 0 0 20 0 15 0 41031256 14420725760 11771 33554432000 4194304 4196468 140735202442112 140735202424656 139796941438711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
/proc/305/statm: 3520685 11771 3378 1 0 3482761 0
[pid=305/tid=308] ppid=302 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/305/task/308/stat : 308 (java) R 302 305 31730 0 -1 4202560 8048 0 0 0 18 2 0 0 20 0 15 0 41031257 14420725760 11771 33554432000 4194304 4196468 140735202442112 139796945662480 139796925519198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=309] ppid=302 vsize=14082740 memory=331 CPUtime=0 cores=1,3,5,7
/proc/305/task/309/stat : 309 (java) S 302 305 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41031257 14420725760 11771 33554432000 4194304 4196468 140735202442112 139796894059536 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=310] ppid=302 vsize=14082740 memory=140499288212541 CPUtime=0 cores=1,3,5,7
/proc/305/task/310/stat : 310 (java) S 302 305 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41031258 14420725760 11771 33554432000 4194304 4196468 140735202442112 139796893006992 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=311] ppid=302 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/311/stat : 311 (java) S 302 305 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41031258 14420725760 11771 33554432000 4194304 4196468 140735202442112 139796891953936 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=312] ppid=302 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/305/task/312/stat : 312 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031258 14420725760 11771 33554432000 4194304 4196468 140735202442112 139796534193040 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=313] ppid=302 vsize=14082740 memory=140499287991936 CPUtime=0 cores=1,3,5,7
/proc/305/task/313/stat : 313 (java) S 302 305 31730 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41031259 14420725760 11771 33554432000 4194304 4196468 140735202442112 139796123240688 139796941449858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=314] ppid=302 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/305/task/314/stat : 314 (java) S 302 305 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41031259 14420725760 11771 33554432000 4194304 4196468 140735202442112 139796122186912 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=315] ppid=302 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/315/stat : 315 (java) S 302 305 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41031260 14420725760 11771 33554432000 4194304 4196468 140735202442112 139796121133808 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=316] ppid=302 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/316/stat : 316 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14420725760 11771 33554432000 4194304 4196468 140735202442112 139796120082384 139796941457307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=317] ppid=302 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/305/task/317/stat : 317 (java) R 302 305 31730 0 -1 4202560 447 0 0 0 2 0 0 0 20 0 15 0 41031262 14420725760 11771 33554432000 4194304 4196468 140735202442112 139796119030512 139796927453888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=318] ppid=302 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/305/task/318/stat : 318 (java) R 302 305 31730 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 15 0 41031262 14420725760 11771 33554432000 4194304 4196468 140735202442112 139796117977968 139796941449858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=319] ppid=302 vsize=14082740 memory=140499287991936 CPUtime=0.06 cores=1,3,5,7
/proc/305/task/319/stat : 319 (java) R 302 305 31730 0 -1 4202560 348 0 0 0 6 0 0 0 20 0 15 0 41031262 14420725760 11771 33554432000 4194304 4196468 140735202442112 139796116924912 139796919928688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=320] ppid=302 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/305/task/320/stat : 320 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14420725760 11771 33554432000 4194304 4196468 140735202442112 139796115872608 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=321] ppid=302 vsize=14082740 memory=140499287991936 CPUtime=0 cores=1,3,5,7
/proc/305/task/321/stat : 321 (java) S 302 305 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41031262 14420725760 11771 33554432000 4194304 4196468 140735202442112 139796114819632 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47084 KiB

[startup+0.310662 s]*
/proc/loadavg: 1.61 1.35 1.37 5/216 321
/proc/meminfo: memFree=18929300/32770624 swapFree=67108860/67108860
[pid=305] ppid=302 vsize=14082740 memory=50376 CPUtime=0.43 cores=1,3,5,7
/proc/305/stat : 305 (java) S 302 305 31730 0 -1 1077944320 10779 0 0 0 41 2 0 0 20 0 15 0 41031256 14420725760 12594 33554432000 4194304 4196468 140735202442112 140735202424656 139796941438711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
/proc/305/statm: 3520685 12594 3381 1 0 3482761 0
[pid=305/tid=308] ppid=302 vsize=14082740 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/305/task/308/stat : 308 (java) R 302 305 31730 0 -1 4202560 8415 0 0 0 28 2 0 0 20 0 15 0 41031257 14420725760 12645 33554432000 4194304 4196468 140735202442112 139796945650224 139796924625520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=309] ppid=302 vsize=14082740 memory=288230604707987820 CPUtime=0 cores=1,3,5,7
/proc/305/task/309/stat : 309 (java) S 302 305 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41031257 14420725760 12645 33554432000 4194304 4196468 140735202442112 139796894059536 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=310] ppid=302 vsize=14082740 memory=252618 CPUtime=0 cores=1,3,5,7
/proc/305/task/310/stat : 310 (java) S 302 305 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41031258 14420725760 12645 33554432000 4194304 4196468 140735202442112 139796893006992 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=311] ppid=302 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/311/stat : 311 (java) S 302 305 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41031258 14420725760 12645 33554432000 4194304 4196468 140735202442112 139796891953936 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=312] ppid=302 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/305/task/312/stat : 312 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031258 14420725760 12645 33554432000 4194304 4196468 140735202442112 139796534193040 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=313] ppid=302 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/313/stat : 313 (java) S 302 305 31730 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41031259 14420725760 12645 33554432000 4194304 4196468 140735202442112 139796123240688 139796941449858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=314] ppid=302 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/305/task/314/stat : 314 (java) S 302 305 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41031259 14420725760 12645 33554432000 4194304 4196468 140735202442112 139796122186912 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=315] ppid=302 vsize=14082740 memory=140499287991936 CPUtime=0 cores=1,3,5,7
/proc/305/task/315/stat : 315 (java) S 302 305 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41031260 14420725760 12645 33554432000 4194304 4196468 140735202442112 139796121133808 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=316] ppid=302 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/305/task/316/stat : 316 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14420725760 12645 33554432000 4194304 4196468 140735202442112 139796120082384 139796941457307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=317] ppid=302 vsize=14082740 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/305/task/317/stat : 317 (java) S 302 305 31730 0 -1 1077944384 459 0 0 0 3 0 0 0 20 0 15 0 41031262 14420725760 12645 33554432000 4194304 4196468 140735202442112 139796119030512 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=318] ppid=302 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/305/task/318/stat : 318 (java) S 302 305 31730 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 15 0 41031262 14420725760 12645 33554432000 4194304 4196468 140735202442112 139796117977968 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=319] ppid=302 vsize=14082740 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/305/task/319/stat : 319 (java) S 302 305 31730 0 -1 1077944384 369 0 0 0 8 0 0 0 20 0 15 0 41031262 14420725760 12645 33554432000 4194304 4196468 140735202442112 139796116924912 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=320] ppid=302 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/320/stat : 320 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14420725760 12645 33554432000 4194304 4196468 140735202442112 139796115872608 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=321] ppid=302 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/321/stat : 321 (java) S 302 305 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41031262 14420725760 12645 33554432000 4194304 4196468 140735202442112 139796114819632 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50376 KiB

[startup+0.700748 s]
/proc/loadavg: 1.61 1.35 1.37 3/216 321
/proc/meminfo: memFree=18905180/32770624 swapFree=67108860/67108860
[pid=305] ppid=302 vsize=14084808 memory=88724 CPUtime=0.98 cores=1,3,5,7
/proc/305/stat : 305 (java) S 302 305 31730 0 -1 1077944320 17636 0 0 0 94 4 0 0 20 0 15 0 41031256 14422843392 22181 33554432000 4194304 4196468 140735202442112 140735202424656 139796941438711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
/proc/305/statm: 3521202 22181 3504 1 0 3483273 0
[pid=305/tid=308] ppid=302 vsize=14084808 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/305/task/308/stat : 308 (java) R 302 305 31730 0 -1 4202560 14869 0 0 0 64 3 0 0 20 0 15 0 41031257 14422843392 22181 33554432000 4194304 4196468 140735202442112 139796945664128 139796941460637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=309] ppid=302 vsize=14084808 memory=4 CPUtime=0 cores=1,3,5,7
/proc/305/task/309/stat : 309 (java) S 302 305 31730 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41031257 14422843392 22181 33554432000 4194304 4196468 140735202442112 139796894059536 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=310] ppid=302 vsize=14084808 memory=66 CPUtime=0 cores=1,3,5,7
/proc/305/task/310/stat : 310 (java) S 302 305 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41031258 14422843392 22181 33554432000 4194304 4196468 140735202442112 139796893006992 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=311] ppid=302 vsize=14084808 memory=54 CPUtime=0 cores=1,3,5,7
/proc/305/task/311/stat : 311 (java) S 302 305 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41031258 14422843392 22181 33554432000 4194304 4196468 140735202442112 139796891953936 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=312] ppid=302 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/312/stat : 312 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031258 14422843392 22181 33554432000 4194304 4196468 140735202442112 139796534193040 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=313] ppid=302 vsize=14084808 memory=4404 CPUtime=0 cores=1,3,5,7
/proc/305/task/313/stat : 313 (java) S 302 305 31730 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41031259 14422843392 22181 33554432000 4194304 4196468 140735202442112 139796123240688 139796941449858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=314] ppid=302 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/314/stat : 314 (java) S 302 305 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41031259 14422843392 22181 33554432000 4194304 4196468 140735202442112 139796122186912 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=315] ppid=302 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/315/stat : 315 (java) S 302 305 31730 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41031260 14422843392 22181 33554432000 4194304 4196468 140735202442112 139796121133808 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=316] ppid=302 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/316/stat : 316 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14422843392 22181 33554432000 4194304 4196468 140735202442112 139796120082384 139796941457307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=317] ppid=302 vsize=14084808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/305/task/317/stat : 317 (java) S 302 305 31730 0 -1 1077944384 588 0 0 0 7 0 0 0 20 0 15 0 41031262 14422843392 22181 33554432000 4194304 4196468 140735202442112 139796119030512 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=318] ppid=302 vsize=14084808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/305/task/318/stat : 318 (java) S 302 305 31730 0 -1 1077944384 339 0 0 0 8 0 0 0 20 0 15 0 41031262 14422843392 22181 33554432000 4194304 4196468 140735202442112 139796117977968 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=319] ppid=302 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/305/task/319/stat : 319 (java) R 302 305 31730 0 -1 4202560 457 0 0 0 15 0 0 0 20 0 15 0 41031262 14422843392 22181 33554432000 4194304 4196468 140735202442112 139796116924912 139796934543379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=320] ppid=302 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/320/stat : 320 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14422843392 22181 33554432000 4194304 4196468 140735202442112 139796115872608 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=321] ppid=302 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/321/stat : 321 (java) S 302 305 31730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41031262 14422843392 22181 33554432000 4194304 4196468 140735202442112 139796114819632 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88724 KiB

[startup+1.50079 s]
/proc/loadavg: 1.61 1.35 1.37 5/216 321
/proc/meminfo: memFree=18528920/32770624 swapFree=67108860/67108860
[pid=305] ppid=302 vsize=14086856 memory=223332 CPUtime=3.37 cores=1,3,5,7
/proc/305/stat : 305 (java) S 302 305 31730 0 -1 1077944320 23958 0 0 0 328 9 0 0 20 0 15 0 41031256 14424940544 55833 33554432000 4194304 4196468 140735202442112 140735202424656 139796941438711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
/proc/305/statm: 3521714 55833 3547 1 0 3483785 0
[pid=305/tid=308] ppid=302 vsize=14086856 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/305/task/308/stat : 308 (java) R 302 305 31730 0 -1 4202560 16835 0 0 0 139 6 0 0 20 0 15 0 41031257 14424940544 55833 33554432000 4194304 4196468 140735202442112 139796945675056 139796576997728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=309] ppid=302 vsize=14086856 memory=176968 CPUtime=0 cores=1,3,5,7
/proc/305/task/309/stat : 309 (java) S 302 305 31730 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 41031257 14424940544 55833 33554432000 4194304 4196468 140735202442112 139796894059536 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=310] ppid=302 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/310/stat : 310 (java) S 302 305 31730 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 41031258 14424940544 55833 33554432000 4194304 4196468 140735202442112 139796893006992 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=311] ppid=302 vsize=14086856 memory=4 CPUtime=0 cores=1,3,5,7
/proc/305/task/311/stat : 311 (java) S 302 305 31730 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 41031258 14424940544 55833 33554432000 4194304 4196468 140735202442112 139796891953936 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=312] ppid=302 vsize=14086856 memory=66 CPUtime=0 cores=1,3,5,7
/proc/305/task/312/stat : 312 (java) S 302 305 31730 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41031258 14424940544 55833 33554432000 4194304 4196468 140735202442112 139796534193040 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=313] ppid=302 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/305/task/313/stat : 313 (java) S 302 305 31730 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 41031259 14424940544 55833 33554432000 4194304 4196468 140735202442112 139796123240688 139796941449858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0

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

/proc/305/task/308/stat : 308 (java) R 302 305 31730 0 -1 4202560 99556 0 0 0 218785 75 0 0 20 0 15 0 41031257 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796945677232 139796582484551 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=309] ppid=302 vsize=14090952 memory=3072172 CPUtime=9.43 cores=1,3,5,7
/proc/305/task/309/stat : 309 (java) S 302 305 31730 0 -1 1077944384 36246 0 0 0 897 46 0 0 20 0 15 0 41031257 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796894059536 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=310] ppid=302 vsize=14090952 memory=3072172 CPUtime=9.44 cores=1,3,5,7
/proc/305/task/310/stat : 310 (java) S 302 305 31730 0 -1 1077944384 35867 0 0 0 894 50 0 0 20 0 15 0 41031258 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796893006992 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=311] ppid=302 vsize=14090952 memory=3072172 CPUtime=9.39 cores=1,3,5,7
/proc/305/task/311/stat : 311 (java) S 302 305 31730 0 -1 1077944384 34217 0 0 0 892 47 0 0 20 0 15 0 41031258 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796891953936 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=312] ppid=302 vsize=14090952 memory=3072172 CPUtime=9.44 cores=1,3,5,7
/proc/305/task/312/stat : 312 (java) S 302 305 31730 0 -1 1077944384 32431 0 0 0 899 45 0 0 20 0 15 0 41031258 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796534193040 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=313] ppid=302 vsize=14090952 memory=280998371252544 CPUtime=3.36 cores=1,3,5,7
/proc/305/task/313/stat : 313 (java) S 302 305 31730 0 -1 1077944384 27665 0 0 0 305 31 0 0 20 0 15 0 41031259 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796123240688 139796941449858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=314] ppid=302 vsize=14090952 memory=3072172 CPUtime=0 cores=1,3,5,7
/proc/305/task/314/stat : 314 (java) S 302 305 31730 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41031259 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796122186976 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=315] ppid=302 vsize=14090952 memory=3072172 CPUtime=0 cores=1,3,5,7
/proc/305/task/315/stat : 315 (java) S 302 305 31730 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 41031260 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796121133824 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=316] ppid=302 vsize=14090952 memory=141877869706880 CPUtime=0 cores=1,3,5,7
/proc/305/task/316/stat : 316 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796120082384 139796941457307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=317] ppid=302 vsize=14090952 memory=3072172 CPUtime=2.63 cores=1,3,5,7
/proc/305/task/317/stat : 317 (java) S 302 305 31730 0 -1 1077944384 9839 0 0 0 261 2 0 0 20 0 15 0 41031262 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796119030512 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=318] ppid=302 vsize=14090952 memory=8840 CPUtime=2.91 cores=1,3,5,7
/proc/305/task/318/stat : 318 (java) S 302 305 31730 0 -1 1077944384 12689 0 0 0 290 1 0 0 20 0 15 0 41031262 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796117977968 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=319] ppid=302 vsize=14090952 memory=16448 CPUtime=1.06 cores=1,3,5,7
/proc/305/task/319/stat : 319 (java) S 302 305 31730 0 -1 1077944384 13699 0 0 0 104 2 0 0 20 0 15 0 41031262 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796116924912 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=320] ppid=302 vsize=14090952 memory=3072076 CPUtime=0 cores=1,3,5,7
/proc/305/task/320/stat : 320 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796115872608 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=321] ppid=302 vsize=14090952 memory=4008 CPUtime=1.23 cores=1,3,5,7
/proc/305/task/321/stat : 321 (java) S 302 305 31730 0 -1 1077944384 1615 0 0 0 55 68 0 0 20 0 15 0 41031262 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796114819632 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
Current children cumulated CPU time: 2237.6 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 3072172 KiB

[startup+2262.3 s]
/proc/loadavg: 1.05 1.35 1.54 3/215 438
/proc/meminfo: memFree=10957624/32770624 swapFree=67108860/67108860
[pid=305] ppid=302 vsize=14090952 memory=3072172 CPUtime=2298.8 cores=1,3,5,7
/proc/305/stat : 305 (java) S 302 305 31730 0 -1 1077944320 310463 0 0 0 229532 348 0 0 20 0 15 0 41031256 14429134848 768043 33554432000 4194304 4196468 140735202442112 140735202424656 139796941438711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
/proc/305/statm: 3522738 768043 3614 1 0 3484809 0
[pid=305/tid=308] ppid=302 vsize=14090952 memory=3072172 CPUtime=2247.89 cores=1,3,5,7
/proc/305/task/308/stat : 308 (java) R 302 305 31730 0 -1 4202560 100931 0 0 0 224713 76 0 0 20 0 15 0 41031257 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796945677232 139796575167218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=309] ppid=302 vsize=14090952 memory=3072172 CPUtime=9.85 cores=1,3,5,7
/proc/305/task/309/stat : 309 (java) S 302 305 31730 0 -1 1077944384 36691 0 0 0 938 47 0 0 20 0 15 0 41031257 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796894059536 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=310] ppid=302 vsize=14090952 memory=3072172 CPUtime=9.85 cores=1,3,5,7
/proc/305/task/310/stat : 310 (java) S 302 305 31730 0 -1 1077944384 36449 0 0 0 933 52 0 0 20 0 15 0 41031258 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796893006992 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=311] ppid=302 vsize=14090952 memory=3072172 CPUtime=9.8 cores=1,3,5,7
/proc/305/task/311/stat : 311 (java) S 302 305 31730 0 -1 1077944384 34921 0 0 0 932 48 0 0 20 0 15 0 41031258 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796891953936 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=312] ppid=302 vsize=14090952 memory=3072172 CPUtime=9.87 cores=1,3,5,7
/proc/305/task/312/stat : 312 (java) S 302 305 31730 0 -1 1077944384 33964 0 0 0 940 47 0 0 20 0 15 0 41031258 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796534193040 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=313] ppid=302 vsize=14090952 memory=3072172 CPUtime=3.57 cores=1,3,5,7
/proc/305/task/313/stat : 313 (java) S 302 305 31730 0 -1 1077944384 28188 0 0 0 325 32 0 0 20 0 15 0 41031259 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796123240688 139796941449858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=314] ppid=302 vsize=14090952 memory=3072172 CPUtime=0 cores=1,3,5,7
/proc/305/task/314/stat : 314 (java) S 302 305 31730 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41031259 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796122186976 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=315] ppid=302 vsize=14090952 memory=3072172 CPUtime=0 cores=1,3,5,7
/proc/305/task/315/stat : 315 (java) S 302 305 31730 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 41031260 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796121133824 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=316] ppid=302 vsize=14090952 memory=2412 CPUtime=0 cores=1,3,5,7
/proc/305/task/316/stat : 316 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796120082384 139796941457307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=317] ppid=302 vsize=14090952 memory=3072172 CPUtime=2.63 cores=1,3,5,7
/proc/305/task/317/stat : 317 (java) S 302 305 31730 0 -1 1077944384 9845 0 0 0 261 2 0 0 20 0 15 0 41031262 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796119030512 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=318] ppid=302 vsize=14090952 memory=1944 CPUtime=2.91 cores=1,3,5,7
/proc/305/task/318/stat : 318 (java) S 302 305 31730 0 -1 1077944384 12693 0 0 0 290 1 0 0 20 0 15 0 41031262 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796117977968 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=319] ppid=302 vsize=14090952 memory=4132 CPUtime=1.06 cores=1,3,5,7
/proc/305/task/319/stat : 319 (java) S 302 305 31730 0 -1 1077944384 13706 0 0 0 104 2 0 0 20 0 15 0 41031262 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796116924912 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=320] ppid=302 vsize=14090952 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/305/task/320/stat : 320 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796115872608 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=321] ppid=302 vsize=14090952 memory=7532 CPUtime=1.28 cores=1,3,5,7
/proc/305/task/321/stat : 321 (java) S 302 305 31730 0 -1 1077944384 1654 0 0 0 57 71 0 0 20 0 15 0 41031262 14429134848 768043 33554432000 4194304 4196468 140735202442112 139796114819632 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
Current children cumulated CPU time: 2298.8 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 3072172 KiB

[startup+2322.3 s]
/proc/loadavg: 1.14 1.32 1.52 3/215 439
/proc/meminfo: memFree=10964052/32770624 swapFree=67108860/67108860
[pid=305] ppid=302 vsize=14090952 memory=3072180 CPUtime=2360.01 cores=1,3,5,7
/proc/305/stat : 305 (java) S 302 305 31730 0 -1 1077944320 315613 0 0 0 235643 358 0 0 20 0 15 0 41031256 14429134848 768045 33554432000 4194304 4196468 140735202442112 140735202424656 139796941438711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
/proc/305/statm: 3522738 768045 3615 1 0 3484809 0
[pid=305/tid=308] ppid=302 vsize=14090952 memory=3072180 CPUtime=2307.17 cores=1,3,5,7
/proc/305/task/308/stat : 308 (java) R 302 305 31730 0 -1 4202560 102313 0 0 0 230640 77 0 0 20 0 15 0 41031257 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796945677232 139796575163792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=309] ppid=302 vsize=14090952 memory=3072180 CPUtime=10.26 cores=1,3,5,7
/proc/305/task/309/stat : 309 (java) S 302 305 31730 0 -1 1077944384 37672 0 0 0 977 49 0 0 20 0 15 0 41031257 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796894059536 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=310] ppid=302 vsize=14090952 memory=3072180 CPUtime=10.27 cores=1,3,5,7
/proc/305/task/310/stat : 310 (java) S 302 305 31730 0 -1 1077944384 36853 0 0 0 973 54 0 0 20 0 15 0 41031258 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796893006992 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=311] ppid=302 vsize=14090952 memory=3072180 CPUtime=10.23 cores=1,3,5,7
/proc/305/task/311/stat : 311 (java) S 302 305 31730 0 -1 1077944384 35456 0 0 0 973 50 0 0 20 0 15 0 41031258 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796891953936 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=312] ppid=302 vsize=14090952 memory=3072180 CPUtime=10.28 cores=1,3,5,7
/proc/305/task/312/stat : 312 (java) S 302 305 31730 0 -1 1077944384 35241 0 0 0 980 48 0 0 20 0 15 0 41031258 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796534193040 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=313] ppid=302 vsize=14090952 memory=3072180 CPUtime=3.78 cores=1,3,5,7
/proc/305/task/313/stat : 313 (java) S 302 305 31730 0 -1 1077944384 28703 0 0 0 345 33 0 0 20 0 15 0 41031259 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796123240688 139796941449858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=314] ppid=302 vsize=14090952 memory=2412 CPUtime=0 cores=1,3,5,7
/proc/305/task/314/stat : 314 (java) S 302 305 31730 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41031259 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796122186976 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=315] ppid=302 vsize=14090952 memory=3072180 CPUtime=0 cores=1,3,5,7
/proc/305/task/315/stat : 315 (java) S 302 305 31730 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 41031260 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796121133824 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=316] ppid=302 vsize=14090952 memory=3072180 CPUtime=0 cores=1,3,5,7
/proc/305/task/316/stat : 316 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796120082384 139796941457307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=317] ppid=302 vsize=14090952 memory=3072180 CPUtime=2.63 cores=1,3,5,7
/proc/305/task/317/stat : 317 (java) S 302 305 31730 0 -1 1077944384 9851 0 0 0 261 2 0 0 20 0 15 0 41031262 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796119030512 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=318] ppid=302 vsize=14090952 memory=3072180 CPUtime=2.91 cores=1,3,5,7
/proc/305/task/318/stat : 318 (java) S 302 305 31730 0 -1 1077944384 12697 0 0 0 290 1 0 0 20 0 15 0 41031262 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796117977968 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=319] ppid=302 vsize=14090952 memory=3072180 CPUtime=1.06 cores=1,3,5,7
/proc/305/task/319/stat : 319 (java) S 302 305 31730 0 -1 1077944384 13712 0 0 0 104 2 0 0 20 0 15 0 41031262 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796116924912 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=320] ppid=302 vsize=14090952 memory=3072180 CPUtime=0 cores=1,3,5,7
/proc/305/task/320/stat : 320 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796115872608 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=321] ppid=302 vsize=14090952 memory=3072180 CPUtime=1.31 cores=1,3,5,7
/proc/305/task/321/stat : 321 (java) S 302 305 31730 0 -1 1077944384 1694 0 0 0 58 73 0 0 20 0 15 0 41031262 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796114819632 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
Current children cumulated CPU time: 2360.01 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 3072180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2361.6 s]
/proc/loadavg: 1.57 1.41 1.54 3/215 521
/proc/meminfo: memFree=17535232/32770624 swapFree=67108860/67108860
[pid=305] ppid=302 vsize=14090952 memory=3072180 CPUtime=2400.08 cores=1,3,5,7
/proc/305/stat : 305 (java) S 302 305 31730 0 -1 1077944320 319765 0 0 0 239645 363 0 0 20 0 15 0 41031256 14429134848 768045 33554432000 4194304 4196468 140735202442112 140735202424656 139796941438711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
/proc/305/statm: 3522738 768045 3615 1 0 3484809 0
[pid=305/tid=308] ppid=302 vsize=14090952 memory=1200 CPUtime=2346.02 cores=1,3,5,7
/proc/305/task/308/stat : 308 (java) R 302 305 31730 0 -1 4202560 104518 0 0 0 234524 78 0 0 20 0 15 0 41031257 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796945677232 139796575163825 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=309] ppid=302 vsize=14090952 memory=15872 CPUtime=10.53 cores=1,3,5,7
/proc/305/task/309/stat : 309 (java) S 302 305 31730 0 -1 1077944384 38366 0 0 0 1003 50 0 0 20 0 15 0 41031257 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796894059536 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=310] ppid=302 vsize=14090952 memory=8840 CPUtime=10.54 cores=1,3,5,7
/proc/305/task/310/stat : 310 (java) S 302 305 31730 0 -1 1077944384 37146 0 0 0 999 55 0 0 20 0 15 0 41031258 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796893006992 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=311] ppid=302 vsize=14090952 memory=1408 CPUtime=10.49 cores=1,3,5,7
/proc/305/task/311/stat : 311 (java) S 302 305 31730 0 -1 1077944384 35717 0 0 0 998 51 0 0 20 0 15 0 41031258 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796891953936 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=312] ppid=302 vsize=14090952 memory=3288 CPUtime=10.55 cores=1,3,5,7
/proc/305/task/312/stat : 312 (java) S 302 305 31730 0 -1 1077944384 35647 0 0 0 1006 49 0 0 20 0 15 0 41031258 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796534193040 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=313] ppid=302 vsize=14090952 memory=3072180 CPUtime=3.92 cores=1,3,5,7
/proc/305/task/313/stat : 313 (java) S 302 305 31730 0 -1 1077944384 28979 0 0 0 358 34 0 0 20 0 15 0 41031259 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796123240688 139796941449858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=314] ppid=302 vsize=14090952 memory=3072180 CPUtime=0 cores=1,3,5,7
/proc/305/task/314/stat : 314 (java) S 302 305 31730 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 41031259 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796122186976 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=315] ppid=302 vsize=14090952 memory=280998369558768 CPUtime=0 cores=1,3,5,7
/proc/305/task/315/stat : 315 (java) S 302 305 31730 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 41031260 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796121133824 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=316] ppid=302 vsize=14090952 memory=280998369558768 CPUtime=0 cores=1,3,5,7
/proc/305/task/316/stat : 316 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796120082384 139796941457307 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=317] ppid=302 vsize=14090952 memory=6947385649911455296 CPUtime=2.63 cores=1,3,5,7
/proc/305/task/317/stat : 317 (java) S 302 305 31730 0 -1 1077944384 9854 0 0 0 261 2 0 0 20 0 15 0 41031262 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796119030512 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=318] ppid=302 vsize=14090952 memory=6944656592455097440 CPUtime=2.91 cores=1,3,5,7
/proc/305/task/318/stat : 318 (java) S 302 305 31730 0 -1 1077944384 12699 0 0 0 290 1 0 0 20 0 15 0 41031262 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796117977968 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=319] ppid=302 vsize=14090952 memory=6656426216303648864 CPUtime=1.06 cores=1,3,5,7
/proc/305/task/319/stat : 319 (java) S 302 305 31730 0 -1 1077944384 13715 0 0 0 104 2 0 0 20 0 15 0 41031262 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796116924912 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=320] ppid=302 vsize=14090952 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/305/task/320/stat : 320 (java) S 302 305 31730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41031262 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796115872608 139796941448917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
[pid=305/tid=321] ppid=302 vsize=14090952 memory=6947385649911455296 CPUtime=1.34 cores=1,3,5,7
/proc/305/task/321/stat : 321 (java) S 302 305 31730 0 -1 1077944384 1703 0 0 0 60 74 0 0 20 0 15 0 41031262 14429134848 768045 33554432000 4194304 4196468 140735202442112 139796114819632 139796941449858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14000128 140735202444360 140735202444553 140735202444553 140735202447311 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 3072180 KiB

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

[startup+2361.64 s]
# the end of solver process 305 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.48 s, system=3.65132 s

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

Child status: 143
Real time (s): 2361.64
CPU time (s): 2400.13
CPU user time (s): 2396.48
CPU system time (s): 3.65132
CPU usage (%): 101.63
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 3883308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.48
system time used= 3.65132
maximum resident set size= 3886888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321221
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 154527
involuntary context switches= 2896


# summary of solver processes directly reported to runsolver:
#   pid: 305
#   total CPU time (s): 2400.13
#   total CPU user time (s): 2396.48
#   total CPU system time (s): 3.65132

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9723 second user time and 25.8709 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-22 06:44:41
IDJOB=4290263
IDBENCH=141142
IDSOLVER=2743
FILE ID=node137/4290263-1532234681
RUNJOBID= node137-1532225156-31762
PBS_JOBID= 21018945
Free space on /tmp= 56856 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
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-4290263-1532234681/watcher-4290263-1532234681 -o /tmp/evaluation-result-4290263-1532234681/solver-4290263-1532234681 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532225156-31762 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1326091668 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290263-1532234681.xml

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

MD5SUM BENCH= 9a110b3288dcdd83da8fcc132ac433c6
RANDOM SEED=1326091668

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        18968668 kB
MemAvailable:   29132360 kB
Buffers:          226040 kB
Cached:         10137056 kB
SwapCached:            0 kB
Active:          4540456 kB
Inactive:        8680532 kB
Active(anon):    2860680 kB
Inactive(anon):    16944 kB
Active(file):    1679776 kB
Inactive(file):  8663588 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36380 kB
Writeback:             0 kB
AnonPages:       2576772 kB
Mapped:            48852 kB
Shmem:             17036 kB
Slab:             275836 kB
SReclaimable:     248788 kB
SUnreclaim:        27048 kB
KernelStack:        3808 kB
PageTables:        10044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5223916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2365440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 56820 MiB
End job on node137 at 2018-07-22 07:24:03