Trace number 4312125

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-17SAT (TO)8 252.141 243.532

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.66/0.56	c version: 2018-08-17
0.66/0.56	c seed: 844936464
0.66/0.56	c timeout: 252
0.66/0.56	c memlimit: 11000
0.66/0.56	c nbcore: 1
0.66/0.58	c Parsing instance...
8.74/3.33	c Parsing done, starting search...
9.47/3.63	o 1081
10.89/4.47	o 1080
10.89/4.47	o 1079
10.89/4.47	o 1078
11.55/4.80	o 1077
11.71/4.90	o 1076
11.95/5.17	o 1075
11.95/5.18	o 1074
12.10/5.20	o 1073
12.43/5.56	o 1070
12.53/5.65	o 1068
12.76/5.89	o 1067
13.04/6.10	o 1066
13.16/6.19	o 1065
13.25/6.23	o 1063
13.45/6.47	o 1061
13.55/6.59	o 1060
13.65/6.65	o 1058
13.85/6.85	o 1057
13.85/6.87	o 1056
14.25/7.20	o 1054
14.25/7.21	o 1051
14.45/7.41	o 1050
14.45/7.47	o 1049
14.55/7.54	o 1047
14.55/7.57	o 1046
14.65/7.69	o 1045
15.25/8.21	o 1044
15.25/8.28	o 1043
15.49/8.42	o 1041
15.59/8.53	o 1040
15.79/8.71	o 1039
15.89/8.81	o 1037
16.09/9.02	o 1035
16.20/9.17	o 1033
16.29/9.28	o 1031
16.29/9.28	o 1030
16.50/9.47	o 1028
16.70/9.62	o 1027
16.90/9.80	o 1023
17.11/10.01	o 1022
17.21/10.13	o 1021
17.30/10.25	o 1020
17.30/10.29	o 1018
17.70/10.69	o 1017
17.80/10.74	o 1014
17.91/10.88	o 1013
18.04/10.91	o 1012
18.16/11.05	o 1011
18.25/11.11	o 1010
18.64/11.38	o 1009
18.76/11.49	o 1007
18.89/11.60	o 1004
19.09/11.74	o 1003
19.09/11.79	o 1000
19.19/11.89	o 998
19.29/11.97	o 996
19.50/12.12	o 995
19.69/12.34	o 994
19.79/12.43	o 993
19.99/12.62	o 992
19.99/12.67	o 991
20.09/12.77	o 990
20.09/12.78	o 989
20.19/12.82	o 988
20.29/12.99	o 987
20.40/13.01	o 985
20.40/13.10	o 983
20.50/13.17	o 982
20.60/13.20	o 975
20.70/13.36	o 972
20.70/13.38	o 970
20.80/13.45	o 969
20.90/13.59	o 967
21.10/13.71	o 966
21.31/13.92	o 964
21.31/13.99	o 960
21.71/14.32	o 959
21.71/14.36	o 958
21.81/14.44	o 957
21.91/14.51	o 956
22.15/14.73	o 955
22.25/14.85	o 954
22.25/14.86	o 952
22.25/14.87	o 951
22.65/15.22	o 949
22.65/15.28	o 948
23.10/15.69	o 947
23.20/15.75	o 946
23.30/15.82	o 945
23.40/15.90	o 943
23.40/15.96	o 941
23.70/16.21	o 940
23.70/16.22	o 939
23.70/16.24	o 938
23.70/16.25	o 937
24.01/16.52	o 936
24.11/16.61	o 935
24.11/16.63	o 934
24.11/16.65	o 933
24.21/16.77	o 932
24.31/16.83	o 930
24.41/16.92	o 929
24.41/16.93	o 928
24.62/17.16	o 927
24.71/17.26	o 926
24.81/17.30	o 925
24.91/17.46	o 924
25.01/17.57	o 923
25.52/17.83	o 922
25.52/17.86	o 920
25.52/17.86	o 918
25.83/18.11	o 916
25.92/18.21	o 914
25.92/18.26	o 913
26.12/18.43	o 910
26.22/18.54	o 909
26.22/18.56	o 908
26.32/18.65	o 907
26.52/18.86	o 906
26.63/18.95	o 904
26.84/19.13	o 903
26.84/19.19	o 901
26.93/19.27	o 900
27.23/19.50	o 899
27.23/19.55	o 896
27.23/19.57	o 895
27.33/19.68	o 894
27.43/19.72	o 891
27.63/19.94	o 890
27.63/19.94	o 889
27.74/20.03	o 887
27.74/20.06	o 886
27.93/20.22	o 885
28.13/20.43	o 884
28.13/20.48	o 883
28.33/20.60	o 880
28.43/20.78	o 878
28.63/20.96	o 877
28.63/20.97	o 876
28.84/21.12	o 875
28.84/21.17	o 874
28.93/21.22	o 873
29.03/21.38	o 872
29.13/21.45	o 868
29.44/21.73	o 867
29.44/21.78	o 866
29.54/21.86	o 865
29.84/22.18	o 864
29.94/22.23	o 863
30.04/22.31	o 862
30.04/22.39	o 861
30.14/22.43	o 859
30.34/22.64	o 858
30.44/22.73	o 856
30.54/22.85	o 854
30.74/23.04	o 853
30.85/23.13	o 849
30.94/23.20	o 848
30.94/23.22	o 845
30.94/23.28	o 844
31.14/23.46	o 843
31.24/23.51	o 842
31.34/23.60	o 839
31.34/23.68	o 837
31.54/23.87	o 835
32.04/24.34	o 834
32.04/24.39	o 833
32.14/24.45	o 832
32.14/24.48	o 831
32.35/24.61	o 830
32.35/24.66	o 829
32.65/24.92	o 828
32.65/25.00	o 826
32.75/25.05	o 824
32.85/25.12	o 822
32.85/25.20	o 821
33.08/25.32	o 820
33.19/25.41	o 819
33.19/25.48	o 817
33.38/25.65	o 815
33.49/25.73	o 814
33.49/25.78	o 812
33.79/26.04	o 811
33.79/26.09	o 810
33.90/26.11	o 809
33.99/26.22	o 808
34.09/26.31	o 807
34.23/26.43	o 805
34.33/26.56	o 803
34.43/26.63	o 802
34.43/26.64	o 801
34.43/26.66	o 799
34.54/26.77	o 798
34.74/26.95	o 797
34.85/27.03	o 796
35.04/27.20	o 795
35.04/27.22	o 794
35.24/27.49	o 793
35.47/27.60	o 792
35.47/27.70	o 791
35.57/27.73	o 790
35.67/27.81	o 789
35.67/27.86	o 787
35.77/27.98	o 786
35.77/27.98	o 785
35.77/27.99	o 784
35.88/28.03	o 783
35.88/28.04	o 781
36.07/28.25	o 780
36.07/28.29	o 779
36.17/28.33	o 778
36.27/28.41	o 777
36.27/28.47	o 775
36.37/28.56	o 773
36.57/28.72	o 772
36.67/28.84	o 771
36.77/28.94	o 770
36.88/29.01	o 769
36.88/29.05	o 768
36.88/29.05	o 767
36.88/29.10	o 765
36.98/29.20	o 764
37.07/29.20	o 763
37.07/29.23	o 762
37.07/29.24	o 761
37.17/29.32	o 760
37.37/29.55	o 759
37.47/29.62	o 758
37.47/29.68	o 757
37.57/29.73	o 756
37.78/29.94	o 755
37.88/30.04	o 753
38.08/30.28	o 751
38.18/30.34	o 750
38.28/30.44	o 748
38.38/30.52	o 747
38.38/30.58	o 746
38.48/30.63	o 745
38.48/30.63	o 744
38.68/30.86	o 743
38.68/30.88	o 742
38.78/30.90	o 741
38.78/30.90	o 740
38.78/30.92	o 739
38.99/31.15	o 738
39.08/31.25	o 737
39.18/31.33	o 736
39.18/31.37	o 735
39.28/31.40	o 733
39.28/31.44	o 732
39.38/31.55	o 731
39.48/31.61	o 729
39.48/31.69	o 728
39.59/31.75	o 727
39.59/31.76	o 725
39.69/31.84	o 724
39.79/31.96	o 723
40.00/32.16	o 722
40.09/32.25	o 720
40.19/32.32	o 719
40.19/32.33	o 718
40.29/32.44	o 716
40.39/32.50	o 713
40.39/32.52	o 712
40.49/32.67	o 711
40.49/32.69	o 710
40.49/32.69	o 709
40.59/32.78	o 708
40.69/32.85	o 707
40.69/32.87	o 706
40.79/32.98	o 705
40.90/33.07	o 704
40.90/33.08	o 703
41.00/33.19	o 702
41.09/33.27	o 701
41.29/33.46	o 700
41.39/33.52	o 698
41.49/33.68	o 697
41.59/33.71	o 696
41.59/33.75	o 695
41.82/33.91	o 694
41.82/33.93	o 693
41.93/34.03	o 692
41.93/34.06	o 691
42.11/34.24	o 690
42.21/34.32	o 689
42.21/34.35	o 688
42.32/34.40	o 687
42.32/34.43	o 686
42.42/34.52	o 685
42.42/34.53	o 684
42.52/34.60	o 683
42.52/34.60	o 682
42.62/34.77	o 681
42.72/34.85	o 680
42.72/34.87	o 679
42.82/34.95	o 677
42.82/35.00	o 675
42.93/35.08	o 673
43.03/35.16	o 672
43.03/35.17	o 671
43.13/35.24	o 670
43.13/35.27	o 669
43.23/35.38	o 668
43.33/35.46	o 667
43.33/35.50	o 666
43.52/35.67	o 665
43.52/35.68	o 664
43.63/35.80	o 663
43.73/35.80	o 662
43.73/35.89	o 661
43.94/36.07	o 660
44.04/36.16	o 659
44.04/36.16	o 658
44.13/36.20	o 657
44.13/36.25	o 656
44.13/36.29	o 655
44.33/36.45	o 654
44.43/36.55	o 653
44.53/36.61	o 652
44.53/36.63	o 651
44.53/36.65	o 650
44.63/36.71	o 649
44.63/36.77	o 648
44.63/36.79	o 647
44.73/36.86	o 646
44.83/36.91	o 644
44.83/36.97	o 643
44.94/37.02	o 642
45.04/37.12	o 641
45.04/37.17	o 640
45.23/37.37	o 639
45.33/37.45	o 638
45.43/37.51	o 637
45.53/37.62	o 636
45.63/37.71	o 635
45.63/37.76	o 634
45.73/37.89	o 631
46.04/38.16	o 630
46.13/38.20	o 629
46.13/38.27	o 628
46.13/38.28	o 626
46.33/38.41	o 625
46.33/38.48	o 624
46.43/38.50	o 623
46.43/38.51	o 622
46.43/38.52	o 621
46.53/38.67	o 620
46.63/38.75	o 619
46.73/38.81	o 618
46.73/38.82	o 616
46.83/38.90	o 615
46.83/38.93	o 614
46.94/39.02	o 613
47.04/39.11	o 612
47.04/39.16	o 611
47.13/39.25	o 610
47.23/39.35	o 609
47.23/39.37	o 608
47.23/39.37	o 607
47.33/39.49	o 605
47.53/39.64	o 604
47.63/39.70	o 603
47.63/39.72	o 602
47.63/39.79	o 601
47.83/39.97	o 600
47.94/40.01	o 599
47.94/40.04	o 598
47.94/40.09	o 595
48.23/40.30	o 594
48.23/40.31	o 593
48.23/40.32	o 592
48.33/40.48	o 591
48.43/40.55	o 589
48.43/40.56	o 588
48.53/40.66	o 587
48.53/40.68	o 586
48.63/40.77	o 585
48.73/40.83	o 584
48.83/40.94	o 583
48.83/40.99	o 581
48.94/41.08	o 580
49.13/41.28	o 578
49.23/41.30	o 577
49.34/41.45	o 576
49.43/41.50	o 575
49.43/41.55	o 574
49.54/41.61	o 572
49.64/41.71	o 571
49.64/41.79	o 568
49.83/41.98	o 567
49.95/42.07	o 566
50.05/42.13	o 565
50.13/42.21	o 562
50.23/42.36	o 561
50.23/42.37	o 560
50.43/42.58	o 559
50.54/42.68	o 558
50.64/42.76	o 557
50.74/42.81	o 555
50.74/42.86	o 554
50.84/42.92	o 553
50.95/43.05	o 552
51.04/43.13	o 551
51.04/43.14	o 549
51.04/43.19	o 548
51.14/43.29	o 547
51.23/43.37	o 546
51.34/43.43	o 545
51.34/43.47	o 544
51.44/43.56	o 543
51.54/43.67	o 542
51.74/43.88	o 541
51.84/43.91	o 540
51.95/44.03	o 539
52.05/44.12	o 538
52.05/44.16	o 537
52.14/44.28	o 536
52.24/44.33	o 535
52.24/44.35	o 534
52.34/44.44	o 533
52.34/44.44	o 532
52.44/44.51	o 531
52.44/44.52	o 530
52.44/44.54	o 529
52.44/44.59	o 528
52.64/44.70	o 527
52.64/44.79	o 526
52.64/44.79	o 524
52.74/44.81	o 523
52.84/44.91	o 522
52.84/44.96	o 521
53.17/45.20	o 520
53.17/45.27	o 519
53.27/45.34	o 518
53.27/45.40	o 517
53.37/45.45	o 516
53.47/45.51	o 515
53.57/45.61	o 512
53.57/45.64	o 511
53.67/45.72	o 510
53.67/45.78	o 509
53.87/45.91	o 507
53.87/45.95	o 506
53.98/46.07	o 505
54.08/46.16	o 504
54.08/46.18	o 503
54.17/46.27	o 501
54.17/46.29	o 500
54.37/46.48	o 499
54.37/46.49	o 498
54.57/46.62	o 497
54.57/46.69	o 495
54.67/46.72	o 494
54.67/46.73	o 493
54.67/46.73	o 492
54.77/46.89	o 491
54.87/46.94	o 490
54.98/47.02	o 489
54.98/47.10	o 488
55.17/47.20	o 487
55.17/47.25	o 486
55.27/47.34	o 485
55.37/47.40	o 484
55.47/47.52	o 483
55.47/47.57	o 482
55.67/47.79	o 481
55.77/47.83	o 480
55.87/47.92	o 479
55.87/48.00	o 478
55.99/48.04	o 477
56.09/48.13	o 476
56.18/48.20	o 475
56.18/48.27	o 474
56.28/48.33	o 473
56.38/48.41	o 472
56.38/48.47	o 471
56.48/48.52	o 468
56.48/48.59	o 467
56.68/48.72	o 466
56.68/48.76	o 465
56.78/48.85	o 464
56.78/48.90	o 463
56.99/49.09	o 462
57.09/49.12	o 461
57.18/49.24	o 459
57.28/49.37	o 458
57.38/49.41	o 457
57.38/49.44	o 456
57.38/49.49	o 455
57.48/49.56	o 454
57.58/49.64	o 452
57.78/49.85	o 451
57.78/49.86	o 450
57.88/50.00	o 449
57.99/50.01	o 448
57.99/50.09	o 447
58.09/50.14	o 446
58.09/50.19	o 445
58.28/50.39	o 443
58.48/50.53	o 442
58.48/50.57	o 441
58.58/50.63	o 440
58.58/50.67	o 439
58.68/50.79	o 438
58.78/50.82	o 437
58.88/50.94	o 435
58.99/51.01	o 434
58.99/51.08	o 433
58.99/51.10	o 432
59.10/51.13	o 431
59.19/51.24	o 430
59.29/51.31	o 429
59.29/51.34	o 428
59.29/51.39	o 427
59.39/51.47	o 426
59.49/51.50	o 425
59.59/51.70	o 424
59.69/51.76	o 423
59.79/51.82	o 422
59.89/51.94	o 421
60.00/52.01	o 420
60.00/52.06	o 419
60.10/52.14	o 418
60.10/52.17	o 417
60.19/52.25	o 416
60.29/52.32	o 415
60.29/52.38	o 414
60.39/52.43	o 413
60.49/52.52	o 412
60.49/52.58	o 411
60.59/52.64	o 410
60.59/52.65	o 409
60.59/52.67	o 408
60.59/52.70	o 407
60.69/52.75	o 406
60.89/53.00	o 405
61.00/53.06	o 404
61.10/53.15	o 403
61.10/53.19	o 402
61.19/53.25	o 401
61.29/53.31	o 400
61.29/53.38	o 399
61.39/53.40	o 398
61.39/53.48	o 397
61.49/53.55	o 396
61.59/53.63	o 395
61.59/53.65	o 394
61.79/53.87	o 393
61.89/53.90	o 392
61.89/53.96	o 390
62.00/54.08	o 389
62.29/54.30	o 388
62.29/54.36	o 387
62.39/54.42	o 386
62.39/54.46	o 385
62.49/54.52	o 383
62.49/54.58	o 382
62.59/54.61	o 381
62.59/54.69	o 380
62.69/54.74	o 379
62.69/54.77	o 378
62.79/54.82	o 377
62.93/55.00	o 376
63.03/55.03	o 375
63.13/55.12	o 374
63.13/55.16	o 373
63.22/55.23	o 372
63.22/55.29	o 370
63.32/55.39	o 369
63.62/55.60	o 368
63.62/55.65	o 366
63.62/55.68	o 365
63.72/55.77	o 364
63.83/55.86	o 363
63.93/55.92	o 362
63.93/55.99	o 361
64.04/56.03	o 360
64.04/56.10	o 359
64.14/56.11	o 358
64.14/56.19	o 357
64.23/56.25	o 356
64.23/56.25	o 355
64.33/56.36	o 354
64.43/56.44	o 353
64.43/56.45	o 351
64.53/56.50	o 350
64.53/56.56	o 349
64.63/56.64	o 348
64.73/56.71	o 347
64.93/56.91	o 346
64.93/56.95	o 345
64.93/56.96	o 344
65.04/57.09	o 343
65.14/57.19	o 342
65.23/57.22	o 341
65.23/57.24	o 340
65.33/57.38	o 339
65.43/57.41	o 338
65.53/57.51	o 337
65.53/57.54	o 336
65.53/57.59	o 335
65.63/57.66	o 334
65.73/57.78	o 333
65.83/57.84	o 332
65.83/57.89	o 331
65.93/57.92	o 330
66.04/58.01	o 329
66.24/58.21	o 328
66.24/58.27	o 327
66.34/58.34	o 326
66.34/58.38	o 325
66.44/58.43	o 324
66.44/58.48	o 323
66.54/58.55	o 322
66.64/58.60	o 321
66.64/58.64	o 320
66.74/58.75	o 318
66.94/58.93	o 317
66.94/58.95	o 316
67.05/59.03	o 315
67.05/59.06	o 314
67.15/59.13	o 313
67.24/59.21	o 312
67.24/59.24	o 311
67.34/59.33	o 310
67.54/59.51	o 309
67.54/59.56	o 308
67.54/59.58	o 307
67.64/59.61	o 306
67.74/59.71	o 305
67.74/59.71	o 304
67.74/59.75	o 303
67.74/59.76	o 302
67.84/59.81	o 301
67.94/59.97	o 300
67.94/59.98	o 299
68.05/60.02	o 298
68.24/60.21	o 297
68.24/60.28	o 296
68.34/60.35	o 295
68.34/60.35	o 294
68.44/60.46	o 293
68.54/60.51	o 292
68.54/60.55	o 291
68.54/60.58	o 289
68.64/60.65	o 288
68.84/60.81	o 287
68.84/60.88	o 286
68.94/60.91	o 284
68.94/61.00	o 283
69.05/61.04	o 282
69.05/61.11	o 281
69.15/61.14	o 280
69.15/61.15	o 279
69.24/61.23	o 278
69.34/61.31	o 277
69.34/61.32	o 276
69.44/61.43	o 275
69.44/61.50	o 274
69.54/61.55	o 273
69.64/61.63	o 272
69.74/61.70	o 271
69.74/61.76	o 270
69.84/61.83	o 269
69.84/61.88	o 268
69.94/61.91	o 267
69.94/61.95	o 266
70.15/62.12	o 265
70.15/62.18	o 264
70.15/62.18	o 263
70.24/62.23	o 262
70.34/62.30	o 261
70.34/62.38	o 260
70.44/62.45	o 259
70.54/62.51	o 258
70.54/62.54	o 257
70.54/62.58	o 256
70.64/62.65	o 255
70.64/62.66	o 254
70.74/62.73	o 253
70.74/62.78	o 252
70.84/62.81	o 251
70.84/62.86	o 250
70.94/62.98	o 249
71.05/63.07	o 248
71.15/63.14	o 247
71.15/63.19	o 246
71.24/63.25	o 245
71.44/63.43	o 244
71.44/63.49	o 243
71.55/63.55	o 242
71.64/63.60	o 241
71.64/63.67	o 240
71.74/63.73	o 239
71.74/63.80	o 238
71.84/63.86	o 237
71.84/63.88	o 236
72.05/64.08	o 235
72.16/64.11	o 234
72.16/64.18	o 233
72.16/64.19	o 232
72.35/64.34	o 231
72.35/64.38	o 230
72.44/64.46	o 229
72.44/64.50	o 228
72.74/64.73	o 227
72.74/64.76	o 225
72.84/64.82	o 224
72.84/64.89	o 223
72.94/64.98	o 222
73.05/65.01	o 221
73.05/65.03	o 220
73.05/65.07	o 219
73.15/65.19	o 218
73.24/65.23	o 217
73.24/65.30	o 216
73.34/65.35	o 215
73.44/65.42	o 214
73.44/65.46	o 213
73.54/65.53	o 212
73.54/65.58	o 211
73.64/65.65	o 210
73.75/65.72	o 209
73.75/65.77	o 208
73.84/65.84	o 207
74.05/66.03	o 206
74.05/66.09	o 205
74.15/66.14	o 204
74.24/66.20	o 203
74.24/66.25	o 202
74.24/66.28	o 201
74.34/66.37	o 200
74.49/66.45	o 199
74.58/66.50	o 198
74.58/66.53	o 197
74.58/66.57	o 196
74.68/66.62	o 195
74.68/66.67	o 194
74.78/66.71	o 193
74.78/66.77	o 192
74.88/66.83	o 191
74.88/66.84	o 190
74.98/66.90	o 189
75.09/67.01	o 188
75.09/67.06	o 187
75.09/67.09	o 186
75.09/67.09	o 185
75.19/67.15	o 184
75.38/67.33	o 183
75.38/67.38	o 182
75.48/67.44	o 181
75.58/67.51	o 180
75.58/67.52	o 179
75.68/67.60	o 178
75.68/67.66	o 177
75.79/67.72	o 176
75.79/67.78	o 175
75.92/67.84	o 174
75.92/67.87	o 173
76.02/67.93	o 172
76.02/67.99	o 171
76.13/68.05	o 170
76.13/68.10	o 169
76.23/68.16	o 168
76.32/68.20	o 167
76.32/68.25	o 166
76.32/68.29	o 165
76.42/68.37	o 164
76.52/68.42	o 163
76.72/68.64	o 162
76.72/68.69	o 161
76.82/68.74	o 160
76.82/68.77	o 159
76.92/68.89	o 158
77.02/68.95	o 157
77.02/68.98	o 156
77.13/69.03	o 155
77.13/69.08	o 154
77.23/69.12	o 153
77.23/69.16	o 152
77.32/69.21	o 151
77.32/69.28	o 150
77.42/69.33	o 149
77.42/69.38	o 148
77.52/69.42	o 147
77.52/69.48	o 146
77.62/69.54	o 145
77.62/69.58	o 144
77.72/69.66	o 143
77.82/69.71	o 142
77.82/69.77	o 141
78.02/69.94	o 140
78.02/70.00	o 139
78.14/70.02	o 138
78.14/70.08	o 137
78.24/70.14	o 136
78.24/70.20	o 135
78.33/70.25	o 134
78.43/70.32	o 133
78.43/70.36	o 132
78.43/70.39	o 131
78.53/70.47	o 130
78.63/70.53	o 129
78.63/70.58	o 128
78.73/70.67	o 127
78.83/70.72	o 126
78.83/70.77	o 125
78.93/70.82	o 124
78.93/70.85	o 123
79.03/70.91	o 122
79.03/70.96	o 121
79.14/71.01	o 120
79.14/71.06	o 119
79.33/71.24	o 118
79.33/71.29	o 117
79.43/71.32	o 116
79.43/71.38	o 115
79.53/71.42	o 114
79.53/71.47	o 113
79.63/71.53	o 112
79.63/71.57	o 111
79.73/71.61	o 110
79.73/71.67	o 109
79.83/71.72	o 108
79.83/71.76	o 107
79.93/71.81	o 106
79.93/71.86	o 105
80.03/71.92	o 104
80.03/71.97	o 103
80.14/72.02	o 102
80.14/72.06	o 101
80.24/72.11	o 100
80.24/72.16	o 99
80.33/72.21	o 98
80.33/72.26	o 97
80.33/72.29	o 96
80.43/72.34	o 95
80.63/72.55	o 94
80.63/72.59	o 93
80.73/72.67	o 92
80.83/72.71	o 91
80.83/72.75	o 90
80.93/72.82	o 89
80.93/72.85	o 88
81.03/72.91	o 87
81.03/72.95	o 86
81.03/73.00	o 85
81.14/73.05	o 84
81.14/73.10	o 83
81.24/73.15	o 82
81.24/73.19	o 81
81.33/73.23	o 80
81.33/73.29	o 79
81.43/73.33	o 78
81.43/73.37	o 77
81.53/73.42	o 76
81.53/73.45	o 75
81.63/73.52	o 74
81.63/73.56	o 73
81.73/73.62	o 72
81.73/73.66	o 71
81.93/73.85	o 70
81.93/73.89	o 69
82.03/73.97	o 68
82.14/74.02	o 67
82.14/74.07	o 66
82.24/74.11	o 65
82.33/74.29	o 64
82.43/74.33	o 63
82.43/74.37	o 62
82.53/74.42	o 61
82.53/74.46	o 60
82.63/74.54	o 59
82.63/74.58	o 58
82.73/74.63	o 57
82.73/74.67	o 56
82.83/74.71	o 55
82.83/74.75	o 54
82.93/74.80	o 53
82.93/74.84	o 52
82.93/74.89	o 51
83.03/74.94	o 50
83.24/75.15	o 49
83.24/75.19	o 48
83.33/75.24	o 47
83.33/75.27	o 46
83.43/75.32	o 45
83.43/75.37	o 44
83.53/75.40	o 43
83.53/75.45	o 42
83.53/75.50	o 41
83.63/75.54	o 40
83.63/75.58	o 39
83.83/75.75	o 38
83.83/75.79	o 37
83.93/75.84	o 36
83.93/75.89	o 35
84.03/75.93	o 34
84.03/75.97	o 33
84.14/76.02	o 32
84.14/76.06	o 31
84.24/76.11	o 30
84.24/76.16	o 29
84.24/76.20	o 28
84.33/76.26	o 27
84.53/76.45	o 26
84.53/76.49	o 25
84.63/76.54	o 24
84.63/76.58	o 23
84.73/76.63	o 22
84.93/76.80	o 21
84.93/76.85	o 20
85.03/76.90	o 19
85.03/76.94	o 18
85.03/76.99	o 17
85.14/77.05	o 16
85.14/77.10	o 15
85.28/77.15	o 14
85.37/77.20	o 13
85.37/77.26	o 12
85.49/77.35	o 11
85.69/77.40	o 10
85.81/77.57	o 9
89.35/81.05	o 8
252.09/243.50	s SATISFIABLE
252.09/243.50	v <instantiation>
252.09/243.50	v 	<list>
252.09/243.50	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084]
252.09/243.50	v 	</list>
252.09/243.50	v 	<values>
252.09/243.50	v 		7 1 0 1 8 5 8 7 5 5 8 8 7 5 0 7 4 1 2 5 8 5 3 2 0 2 3 3 3 3 0 0 3 3 3 3 3 3 3 3 3 3 1 0 7 8 7 5 5 8 7 2 2 7 5 8 7 8 8 5 8 7 7 1 0 3 0 1 4 1 0 3 0 1 8 2 1 0 3 2 0 3 1 3 1 0 5 7 8 5 8 4 7 7 5 8 7 2 5 7 7 5 7 7 8 1 2 1 2 1 1 3 3 1 2 1 1 3 1 3 2 1 3 2 1 3 5 5 7 7 6 6 7 7 5 7 7 5 7 6 7 7 5 7 5 5 5 2 7 4 5 3 0 1 2 6 8 4 8 7 7 6 1 4 7 8 6 6 6 7 4 6 6 6 8 4 8 6 5 6 2 6 3 3 6 3 8 2 3 6 3 3 6 6 3 3 6 6 8 6 5 5 7 6 6 2 5 6 5 7 6 5 7 5 7 5 7 3 8 6 3 2 3 8 3 3 1 1 8 1 1 1 1 1 1 1 1 3 6 6 7 5 5 4 8 5 7 8 6 5 5 8 4 7 5 6 7 6 6 3 3 8 3 6 3 3 3 1 1 8 8 2 6 1 3 3 3 6 1 1 3 5 3 6 8 5 7 5 7 8 5 7 5 7 8 5 8 8 6 6 5 8 8 6 6 6 8 8 2 1 0 5 0 5 5 0 4 4 8 0 5 0 0 1 1 2 0 5 0 0 0 1 0 0 5 0 0 2 1 1 3 0 2 1 3 2 1 3 3 1 1 0 5 8 4 0 8 8 4 4 0 0 0 0 0 4 4 0 0 4 4 2 4 2 1 3 0 0 4 1 1 4 2 1 0 0 2 1 0 3 3 0 2 5 5 5 4 5 8 0 0 2 2 0 2 2 0 0 4 0 2 0 5 3 0 1 4 3 0 1 3 4 1 5 4 1 2 1 0 3 0 3 0 0 0 1 1 1 4 1 5 2 1 1 0 0 3 5 5 2 0 0 2 2 0 4 0 1 4 2 4 1 3 3 6 8 6 7 6 6 7 2 8 6 8 2 7 6 8 8 6 7 7 3 3 6 3 3 7 8 8 7 7 1 6 3 1 7 3 7 6 8 3 8 8 6 8 5 7 6 6 8 6 7 5 5 8 5 7 6 8 5 6 7 7 1 7 7 8 3 6 7 3 5 5 3 5 3 3 8 3 6 7 7 3 5 7 8 5 6 6 5 6 8 5 6 7 7 6 7 8 7 5 5 8 6 7 8 7 6 6 8 6 7 3 5 3 3 8 6 6 8 8 6 3 8 3 8 2 2 6 6 2 7 6 8 0 0 8 3 3 3 8 5 7 5 6 6 5 6 8 3 8 3 6 7 4 4 5 4 1 0 0 2 5 0 0 2 4 5 0 5 5 1 4 4 5 4 1 5 5 1 2 0 2 3 0 1 1 3 0 0 1 3 1 3 1 3 4 2 4 5 0 1 4 2 2 0 2 4 1 4 4 2 2 1 1 2 2 4 0 1 5 1 2 0 1 2 1 0 0 2 2 1 2 0 2 1 2 2 5 0 5 5 5 4 0 2 1 4 2 2 1 1 0 0 1 2 2 2 1 4 1 0 4 1 3 2 7 5 5 4 1 1 4 1 0 4 4 1 2 2 4 0 2 3 1 1 2 2 5 5 2 2 4 4 1 2 1 1 2 4 1 4 4 4 0 0 1 1 7 3 8 0 1 1 8 7 7 8 3 8 7 7 7 7 7 7 7 7 8 8 1 7 8 8 7 8 7 8 3 3 3 7 3 3 3 7 7 3 7 3 6 6 3 3 8 6 6 7 7 7 6 5 8 8 8 7 7 7 8 7 8 3 7 5 7 8 7 5 7 5 7 5 4 5 3 3 3 8 7 3 7 7 7 5 4 7 8 5 8 3 3 8 6 4 8 3 3 3 6 3 3 3 7 7 0 7 6 4 3 3 7 7 6 7 7 7 7 7 7 8 8 6 4 5 8 3 6 7 5 8 7 3 3 7 8 3 3 7 8 3 6 3 3 8 6 7 7 7 3 7 8 7 5 6 6 0 5 4 5 2 4 2 5 2 2 4 0 6 2 2 5 4 6 4 2 0 4 1 4 5 6 2 5 5 2 2 0 6 4 2 5 5 2 4 2 0 4 5 4 4 0 4 5 2 4 6 2 2 6 6 2 4 2 1 2 4 5 4 0 2 0 0 4 2 4 0 2 0 2 5 0 0 2 4 2 5 5 6 5 6 2 6 1 6 2 0 1 6 6 2 0 2 1 1 2 2 2 6 0 2 4 4 0 4 6 1 5 5 6 5 0 4 0 2 1 2 0 5 4 4 4 6 0 4 5 2 2 5 2 5 0 2 1 2 2 0 0 2 2 4 6 0 1 0 2 0 3 0 7 4 6 2 8 
252.09/243.50	v 	</values>
252.09/243.50	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 (11208 MiB free)
  memory of node 1: 16384 MiB (12531 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312125-1534569086/watcher-4312125-1534569086 -o /tmp/evaluation-result-4312125-1534569086/solver-4312125-1534569086 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534569086-29302 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 844936464 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312125-1534569086.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100095 s]*
/proc/loadavg: 0.62 0.77 1.11 5/216 29361
/proc/meminfo: memFree=24274452/32770624 swapFree=67108196/67108860
[pid=29333] ppid=29330 vsize=14082736 memory=31148 CPUtime=0.11 cores=0,2,4,6
/proc/29333/stat : 29333 (java) S 29330 29333 25230 0 -1 1077944320 6691 0 0 0 10 1 0 0 20 0 15 0 274471810 14420721664 7787 33554432000 4194304 4196468 140724061910352 140724061892896 139877257416439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
/proc/29333/statm: 3520684 7787 3152 1 0 3482761 0
[pid=29333/tid=29335] ppid=29330 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/29333/task/29335/stat : 29335 (java) R 29330 29333 25230 0 -1 4202560 4730 0 0 0 8 1 0 0 20 0 15 0 274471811 14420721664 7787 33554432000 4194304 4196468 140724061910352 139877261621536 139877257428374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29340] ppid=29330 vsize=14082736 memory=5793855322840787385 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29340/stat : 29340 (java) S 29330 29333 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274471811 14420721664 7787 33554432000 4194304 4196468 140724061910352 139876853017104 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29341] ppid=29330 vsize=14082736 memory=140071830894208 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29341/stat : 29341 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471811 14420721664 7787 33554432000 4194304 4196468 140724061910352 139876851964560 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29342] ppid=29330 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29342/stat : 29342 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471811 14420721664 7787 33554432000 4194304 4196468 140724061910352 139876850911504 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29343] ppid=29330 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29343/stat : 29343 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471811 14420721664 7787 33554432000 4194304 4196468 140724061910352 139876849858960 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29347] ppid=29330 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29347/stat : 29347 (java) S 29330 29333 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274471813 14420721664 7787 33554432000 4194304 4196468 140724061910352 139876439231216 139877257427586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29348] ppid=29330 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29348/stat : 29348 (java) S 29330 29333 25230 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274471813 14420721664 7787 33554432000 4194304 4196468 140724061910352 139876438177440 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29349] ppid=29330 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29349/stat : 29349 (java) S 29330 29333 25230 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274471813 14420721664 7787 33554432000 4194304 4196468 140724061910352 139876437124336 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29356] ppid=29330 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29356/stat : 29356 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14420721664 7787 33554432000 4194304 4196468 140724061910352 139876436072912 139877257435035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29357] ppid=29330 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29357/stat : 29357 (java) S 29330 29333 25230 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 274471816 14420721664 7787 33554432000 4194304 4196468 140724061910352 139876435020016 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29358] ppid=29330 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29358/stat : 29358 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14420721664 7787 33554432000 4194304 4196468 140724061910352 139876433967472 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29359] ppid=29330 vsize=14082736 memory=140071830894208 CPUtime=0.01 cores=0,2,4,6
/proc/29333/task/29359/stat : 29359 (java) R 29330 29333 25230 0 -1 4202560 283 0 0 0 1 0 0 0 20 0 15 0 274471816 14420721664 7787 33554432000 4194304 4196468 140724061910352 139876432914416 139877235783066 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29360] ppid=29330 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29360/stat : 29360 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14420721664 7787 33554432000 4194304 4196468 140724061910352 139876431862112 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29361] ppid=29330 vsize=14082736 memory=140071830894208 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29361/stat : 29361 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471816 14420721664 7787 33554432000 4194304 4196468 140724061910352 139876430810160 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31148 KiB

[startup+0.210855 s]*
/proc/loadavg: 0.62 0.77 1.11 9/216 29361
/proc/meminfo: memFree=24243412/32770624 swapFree=67108196/67108860
[pid=29333] ppid=29330 vsize=14082736 memory=46968 CPUtime=0.3 cores=0,2,4,6
/proc/29333/stat : 29333 (java) S 29330 29333 25230 0 -1 1077944320 10399 0 0 0 27 3 0 0 20 0 15 0 274471810 14420721664 11742 33554432000 4194304 4196468 140724061910352 140724061892896 139877257416439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
/proc/29333/statm: 3520684 11742 3360 1 0 3482761 0
[pid=29333/tid=29335] ppid=29330 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/29333/task/29335/stat : 29335 (java) R 29330 29333 25230 0 -1 4202560 8104 0 0 0 18 2 0 0 20 0 15 0 274471811 14420721664 11742 33554432000 4194304 4196468 140724061910352 139877261641504 139877243548000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29340] ppid=29330 vsize=14082736 memory=4211973798035684746 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29340/stat : 29340 (java) S 29330 29333 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274471811 14420721664 11742 33554432000 4194304 4196468 140724061910352 139876853017104 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29341] ppid=29330 vsize=14082736 memory=140071830894208 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29341/stat : 29341 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471811 14420721664 11742 33554432000 4194304 4196468 140724061910352 139876851964560 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29342] ppid=29330 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29342/stat : 29342 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471811 14420721664 11742 33554432000 4194304 4196468 140724061910352 139876850911504 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29343] ppid=29330 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29343/stat : 29343 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471811 14420721664 11742 33554432000 4194304 4196468 140724061910352 139876849858960 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29347] ppid=29330 vsize=14082736 memory=140071830894208 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29347/stat : 29347 (java) S 29330 29333 25230 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274471813 14420721664 11742 33554432000 4194304 4196468 140724061910352 139876439231216 139877257427586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29348] ppid=29330 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29348/stat : 29348 (java) S 29330 29333 25230 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274471813 14420721664 11742 33554432000 4194304 4196468 140724061910352 139876438177440 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29349] ppid=29330 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29349/stat : 29349 (java) S 29330 29333 25230 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274471813 14420721664 11742 33554432000 4194304 4196468 140724061910352 139876437124336 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29356] ppid=29330 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29356/stat : 29356 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14420721664 11742 33554432000 4194304 4196468 140724061910352 139876436072912 139877257435035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29357] ppid=29330 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29333/task/29357/stat : 29357 (java) R 29330 29333 25230 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 15 0 274471816 14420721664 11742 33554432000 4194304 4196468 140724061910352 139876435020016 139877257427586 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29358] ppid=29330 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29333/task/29358/stat : 29358 (java) R 29330 29333 25230 0 -1 4202560 143 0 0 0 1 0 0 0 20 0 15 0 274471816 14420721664 11742 33554432000 4194304 4196468 140724061910352 139876433967568 139877242542431 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29359] ppid=29330 vsize=14082736 memory=140071830894208 CPUtime=0.06 cores=0,2,4,6
/proc/29333/task/29359/stat : 29359 (java) R 29330 29333 25230 0 -1 4202560 323 0 0 0 6 0 0 0 20 0 15 0 274471816 14420721664 11742 33554432000 4194304 4196468 140724061910352 139876432914416 139877242790362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29360] ppid=29330 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29360/stat : 29360 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14420721664 11742 33554432000 4194304 4196468 140724061910352 139876431862112 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29361] ppid=29330 vsize=14082736 memory=140071830894208 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29361/stat : 29361 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471816 14420721664 11742 33554432000 4194304 4196468 140724061910352 139876430810160 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46968 KiB

[startup+0.310427 s]*
/proc/loadavg: 0.62 0.77 1.11 4/216 29361
/proc/meminfo: memFree=24237100/32770624 swapFree=67108196/67108860
[pid=29333] ppid=29330 vsize=14082736 memory=50892 CPUtime=0.45 cores=0,2,4,6
/proc/29333/stat : 29333 (java) S 29330 29333 25230 0 -1 1077944320 10820 0 0 0 42 3 0 0 20 0 15 0 274471810 14420721664 12723 33554432000 4194304 4196468 140724061910352 140724061892896 139877257416439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
/proc/29333/statm: 3520684 12723 3418 1 0 3482761 0
[pid=29333/tid=29335] ppid=29330 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/29333/task/29335/stat : 29335 (java) R 29330 29333 25230 0 -1 4202560 8468 0 0 0 28 2 0 0 20 0 15 0 274471811 14420721664 12723 33554432000 4194304 4196468 140724061910352 139877261624272 139877257438365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29340] ppid=29330 vsize=14082736 memory=4211973798035684746 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29340/stat : 29340 (java) S 29330 29333 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274471811 14420721664 12723 33554432000 4194304 4196468 140724061910352 139876853017104 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29341] ppid=29330 vsize=14082736 memory=140071830896559 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29341/stat : 29341 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471811 14420721664 12723 33554432000 4194304 4196468 140724061910352 139876851964560 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29342] ppid=29330 vsize=14082736 memory=140071701449886 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29342/stat : 29342 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471811 14420721664 12723 33554432000 4194304 4196468 140724061910352 139876850911504 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29343] ppid=29330 vsize=14082736 memory=140071701433807 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29343/stat : 29343 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471811 14420721664 12723 33554432000 4194304 4196468 140724061910352 139876849858960 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29347] ppid=29330 vsize=14082736 memory=140071830919465 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29347/stat : 29347 (java) S 29330 29333 25230 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274471813 14420721664 12723 33554432000 4194304 4196468 140724061910352 139876439231216 139877257427586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29348] ppid=29330 vsize=14082736 memory=140071701442991 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29348/stat : 29348 (java) S 29330 29333 25230 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274471813 14420721664 12723 33554432000 4194304 4196468 140724061910352 139876438177440 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29349] ppid=29330 vsize=14082736 memory=280143402876816 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29349/stat : 29349 (java) S 29330 29333 25230 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274471813 14420721664 12723 33554432000 4194304 4196468 140724061910352 139876437124336 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29356] ppid=29330 vsize=14082736 memory=280143402874512 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29356/stat : 29356 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14420721664 12723 33554432000 4194304 4196468 140724061910352 139876436072912 139877257435035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29357] ppid=29330 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29333/task/29357/stat : 29357 (java) S 29330 29333 25230 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 15 0 274471816 14420721664 12723 33554432000 4194304 4196468 140724061910352 139876435020016 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29358] ppid=29330 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29333/task/29358/stat : 29358 (java) S 29330 29333 25230 0 -1 1077944384 156 0 0 0 2 0 0 0 20 0 15 0 274471816 14420721664 12723 33554432000 4194304 4196468 140724061910352 139876433967472 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29359] ppid=29330 vsize=14082736 memory=140071830894208 CPUtime=0.08 cores=0,2,4,6
/proc/29333/task/29359/stat : 29359 (java) S 29330 29333 25230 0 -1 1077944384 344 0 0 0 8 0 0 0 20 0 15 0 274471816 14420721664 12723 33554432000 4194304 4196468 140724061910352 139876432914416 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29360] ppid=29330 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29360/stat : 29360 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14420721664 12723 33554432000 4194304 4196468 140724061910352 139876431862112 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29361] ppid=29330 vsize=14082736 memory=140071830894208 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29361/stat : 29361 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471816 14420721664 12723 33554432000 4194304 4196468 140724061910352 139876430810160 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50892 KiB

[startup+0.700737 s]
/proc/loadavg: 0.62 0.77 1.11 4/216 29361
/proc/meminfo: memFree=24188360/32770624 swapFree=67108196/67108860
[pid=29333] ppid=29330 vsize=14084804 memory=88968 CPUtime=0.98 cores=0,2,4,6
/proc/29333/stat : 29333 (java) S 29330 29333 25230 0 -1 1077944320 17594 0 0 0 94 4 0 0 20 0 15 0 274471810 14422839296 22242 33554432000 4194304 4196468 140724061910352 140724061892896 139877257416439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
/proc/29333/statm: 3521201 22242 3499 1 0 3483273 0
[pid=29333/tid=29335] ppid=29330 vsize=14084804 memory=752 CPUtime=0.67 cores=0,2,4,6
/proc/29333/task/29335/stat : 29335 (java) R 29330 29333 25230 0 -1 4202560 14913 0 0 0 64 3 0 0 20 0 15 0 274471811 14422839296 22242 33554432000 4194304 4196468 140724061910352 139877261640544 139877257438365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29340] ppid=29330 vsize=14084804 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29340/stat : 29340 (java) S 29330 29333 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274471811 14422839296 22242 33554432000 4194304 4196468 140724061910352 139876853017104 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29341] ppid=29330 vsize=14084804 memory=1824 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29341/stat : 29341 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471811 14422839296 22242 33554432000 4194304 4196468 140724061910352 139876851964560 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29342] ppid=29330 vsize=14084804 memory=7302135314614015845 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29342/stat : 29342 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471811 14422839296 22242 33554432000 4194304 4196468 140724061910352 139876850911504 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29343] ppid=29330 vsize=14084804 memory=7378396380443208548 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29343/stat : 29343 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471811 14422839296 22242 33554432000 4194304 4196468 140724061910352 139876849858960 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29347] ppid=29330 vsize=14084804 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29347/stat : 29347 (java) S 29330 29333 25230 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274471813 14422839296 22242 33554432000 4194304 4196468 140724061910352 139876439231216 139877257427586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29348] ppid=29330 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29348/stat : 29348 (java) S 29330 29333 25230 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274471813 14422839296 22242 33554432000 4194304 4196468 140724061910352 139876438177440 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29349] ppid=29330 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29349/stat : 29349 (java) S 29330 29333 25230 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274471813 14422839296 22242 33554432000 4194304 4196468 140724061910352 139876437124336 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29356] ppid=29330 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29356/stat : 29356 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14422839296 22242 33554432000 4194304 4196468 140724061910352 139876436072912 139877257435035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29357] ppid=29330 vsize=14084804 memory=234 CPUtime=0.08 cores=0,2,4,6
/proc/29333/task/29357/stat : 29357 (java) S 29330 29333 25230 0 -1 1077944384 615 0 0 0 8 0 0 0 20 0 15 0 274471816 14422839296 22242 33554432000 4194304 4196468 140724061910352 139876435020016 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29358] ppid=29330 vsize=14084804 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/29333/task/29358/stat : 29358 (java) S 29330 29333 25230 0 -1 1077944384 288 0 0 0 7 0 0 0 20 0 15 0 274471816 14422839296 22242 33554432000 4194304 4196468 140724061910352 139876433967472 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29359] ppid=29330 vsize=14084804 memory=719 CPUtime=0.14 cores=0,2,4,6
/proc/29333/task/29359/stat : 29359 (java) S 29330 29333 25230 0 -1 1077944384 397 0 0 0 14 0 0 0 20 0 15 0 274471816 14422839296 22242 33554432000 4194304 4196468 140724061910352 139876432914416 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29360] ppid=29330 vsize=14084804 memory=280143403060720 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29360/stat : 29360 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14422839296 22242 33554432000 4194304 4196468 140724061910352 139876431862112 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29361] ppid=29330 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29361/stat : 29361 (java) S 29330 29333 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274471816 14422839296 22242 33554432000 4194304 4196468 140724061910352 139876430810160 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88968 KiB

[startup+1.50699 s]
/proc/loadavg: 0.89 0.83 1.13 8/216 29361
/proc/meminfo: memFree=24085320/32770624 swapFree=67108196/67108860
[pid=29333] ppid=29330 vsize=14086852 memory=223924 CPUtime=3.37 cores=0,2,4,6
/proc/29333/stat : 29333 (java) S 29330 29333 25230 0 -1 1077944320 23572 0 0 0 328 9 0 0 20 0 15 0 274471810 14424936448 55981 33554432000 4194304 4196468 140724061910352 140724061892896 139877257416439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
/proc/29333/statm: 3521713 55981 3554 1 0 3483785 0
[pid=29333/tid=29335] ppid=29330 vsize=14086852 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/29333/task/29335/stat : 29335 (java) R 29330 29333 25230 0 -1 4202560 16804 0 0 0 141 5 0 0 20 0 15 0 274471811 14424936448 55981 33554432000 4194304 4196468 140724061910352 139877261653520 139876899996364 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29340] ppid=29330 vsize=14086852 memory=-3535359994705172579 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29340/stat : 29340 (java) S 29330 29333 25230 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 15 0 274471811 14424936448 55981 33554432000 4194304 4196468 140724061910352 139876853017104 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29341] ppid=29330 vsize=14086852 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29341/stat : 29341 (java) S 29330 29333 25230 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 274471811 14424936448 55981 33554432000 4194304 4196468 140724061910352 139876851964560 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29342] ppid=29330 vsize=14086852 memory=-6150332182479725412 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29342/stat : 29342 (java) S 29330 29333 25230 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 274471811 14424936448 55981 33554432000 4194304 4196468 140724061910352 139876850911504 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29343] ppid=29330 vsize=14086852 memory=-6441413357968170793 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29343/stat : 29343 (java) S 29330 29333 25230 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 274471811 14424936448 55981 33554432000 4194304 4196468 140724061910352 139876849858960 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29347] ppid=29330 vsize=14086852 memory=9049879648915325101 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29347/stat : 29347 (java) S 29330 29333 25230 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 274471813 14424936448 55981 33554432000 4194304 4196468 140724061910352 139876439231216 139877257427586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0

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

/proc/29333/task/29335/stat : 29335 (java) R 29330 29333 25230 0 -1 4202560 39036 0 0 0 16118 54 0 0 20 0 15 0 274471811 14429130752 969914 33554432000 4194304 4196468 140724061910352 139877261654224 139876905608288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29340] ppid=29330 vsize=14090948 memory=3876584 CPUtime=0.45 cores=0,2,4,6
/proc/29333/task/29340/stat : 29340 (java) S 29330 29333 25230 0 -1 1077944384 1221 0 0 0 26 19 0 0 20 0 15 0 274471811 14429130752 969914 33554432000 4194304 4196468 140724061910352 139876853017104 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29341] ppid=29330 vsize=14090948 memory=3879660 CPUtime=0.44 cores=0,2,4,6
/proc/29333/task/29341/stat : 29341 (java) S 29330 29333 25230 0 -1 1077944384 1147 0 0 0 26 18 0 0 20 0 15 0 274471811 14429130752 969914 33554432000 4194304 4196468 140724061910352 139876851964560 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29342] ppid=29330 vsize=14090948 memory=3879660 CPUtime=0.44 cores=0,2,4,6
/proc/29333/task/29342/stat : 29342 (java) S 29330 29333 25230 0 -1 1077944384 1865 0 0 0 27 17 0 0 20 0 15 0 274471811 14429130752 969914 33554432000 4194304 4196468 140724061910352 139876850911504 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29343] ppid=29330 vsize=14090948 memory=3876584 CPUtime=0.46 cores=0,2,4,6
/proc/29333/task/29343/stat : 29343 (java) S 29330 29333 25230 0 -1 1077944384 2405 0 0 0 28 18 0 0 20 0 15 0 274471811 14429130752 969914 33554432000 4194304 4196468 140724061910352 139876849858960 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29347] ppid=29330 vsize=14090948 memory=3879660 CPUtime=0.03 cores=0,2,4,6
/proc/29333/task/29347/stat : 29347 (java) S 29330 29333 25230 0 -1 1077944384 3110 0 0 0 3 0 0 0 20 0 15 0 274471813 14429130752 969914 33554432000 4194304 4196468 140724061910352 139876439231216 139877257427586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29348] ppid=29330 vsize=14090948 memory=3879656 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29348/stat : 29348 (java) S 29330 29333 25230 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 274471813 14429130752 969914 33554432000 4194304 4196468 140724061910352 139876438177504 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29349] ppid=29330 vsize=14090948 memory=3879656 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29349/stat : 29349 (java) S 29330 29333 25230 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 274471813 14429130752 969914 33554432000 4194304 4196468 140724061910352 139876437124352 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29356] ppid=29330 vsize=14090948 memory=3879656 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29356/stat : 29356 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14429130752 969914 33554432000 4194304 4196468 140724061910352 139876436072912 139877257435035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29357] ppid=29330 vsize=14090948 memory=3879660 CPUtime=2.85 cores=0,2,4,6
/proc/29333/task/29357/stat : 29357 (java) S 29330 29333 25230 0 -1 1077944384 8012 0 0 0 285 0 0 0 20 0 15 0 274471816 14429130752 969914 33554432000 4194304 4196468 140724061910352 139876435020016 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29358] ppid=29330 vsize=14090948 memory=1224 CPUtime=3.2 cores=0,2,4,6
/proc/29333/task/29358/stat : 29358 (java) S 29330 29333 25230 0 -1 1077944384 9491 0 0 0 317 3 0 0 20 0 15 0 274471816 14429130752 969914 33554432000 4194304 4196468 140724061910352 139876433967472 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29359] ppid=29330 vsize=14090948 memory=2180 CPUtime=1.05 cores=0,2,4,6
/proc/29333/task/29359/stat : 29359 (java) S 29330 29333 25230 0 -1 1077944384 9380 0 0 0 104 1 0 0 20 0 15 0 274471816 14429130752 969914 33554432000 4194304 4196468 140724061910352 139876432914416 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29360] ppid=29330 vsize=14090948 memory=3879656 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29360/stat : 29360 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14429130752 969914 33554432000 4194304 4196468 140724061910352 139876431862112 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29361] ppid=29330 vsize=14090948 memory=3879656 CPUtime=0.08 cores=0,2,4,6
/proc/29333/task/29361/stat : 29361 (java) S 29330 29333 25230 0 -1 1077944384 156 0 0 0 5 3 0 0 20 0 15 0 274471816 14429130752 969914 33554432000 4194304 4196468 140724061910352 139876430810160 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
Current children cumulated CPU time: 170.82 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3879656 KiB

[startup+222.301 s]
/proc/loadavg: 1.93 1.40 1.29 4/215 29364
/proc/meminfo: memFree=16777128/32770624 swapFree=67108196/67108860
[pid=29333] ppid=29330 vsize=14090948 memory=3784116 CPUtime=230.88 cores=0,2,4,6
/proc/29333/stat : 29333 (java) S 29330 29333 25230 0 -1 1077944320 82902 0 0 0 22948 140 0 0 20 0 15 0 274471810 14429130752 946029 33554432000 4194304 4196468 140724061910352 140724061892896 139877257416439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
/proc/29333/statm: 3522737 946029 3591 1 0 3484809 0
[pid=29333/tid=29335] ppid=29330 vsize=14090948 memory=3863680 CPUtime=221.71 cores=0,2,4,6
/proc/29333/task/29335/stat : 29335 (java) R 29330 29333 25230 0 -1 4202560 42936 0 0 0 22116 55 0 0 20 0 15 0 274471811 14429130752 946029 33554432000 4194304 4196468 140724061910352 139877261654112 139876905645982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29340] ppid=29330 vsize=14090948 memory=3863680 CPUtime=0.46 cores=0,2,4,6
/proc/29333/task/29340/stat : 29340 (java) S 29330 29333 25230 0 -1 1077944384 1441 0 0 0 27 19 0 0 20 0 15 0 274471811 14429130752 946029 33554432000 4194304 4196468 140724061910352 139876853017104 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29341] ppid=29330 vsize=14090948 memory=3863680 CPUtime=0.46 cores=0,2,4,6
/proc/29333/task/29341/stat : 29341 (java) S 29330 29333 25230 0 -1 1077944384 1893 0 0 0 27 19 0 0 20 0 15 0 274471811 14429130752 946029 33554432000 4194304 4196468 140724061910352 139876851964560 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29342] ppid=29330 vsize=14090948 memory=920 CPUtime=0.45 cores=0,2,4,6
/proc/29333/task/29342/stat : 29342 (java) S 29330 29333 25230 0 -1 1077944384 1998 0 0 0 28 17 0 0 20 0 15 0 274471811 14429130752 946029 33554432000 4194304 4196468 140724061910352 139876850911504 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29343] ppid=29330 vsize=14090948 memory=3863680 CPUtime=0.46 cores=0,2,4,6
/proc/29333/task/29343/stat : 29343 (java) S 29330 29333 25230 0 -1 1077944384 2560 0 0 0 28 18 0 0 20 0 15 0 274471811 14429130752 946029 33554432000 4194304 4196468 140724061910352 139876849858960 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29347] ppid=29330 vsize=14090948 memory=3864072 CPUtime=0.03 cores=0,2,4,6
/proc/29333/task/29347/stat : 29347 (java) S 29330 29333 25230 0 -1 1077944384 3358 0 0 0 3 0 0 0 20 0 15 0 274471813 14429130752 946029 33554432000 4194304 4196468 140724061910352 139876439231216 139877257427586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29348] ppid=29330 vsize=14090948 memory=3864072 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29348/stat : 29348 (java) S 29330 29333 25230 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 274471813 14429130752 946029 33554432000 4194304 4196468 140724061910352 139876438177504 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29349] ppid=29330 vsize=14090948 memory=3863680 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29349/stat : 29349 (java) S 29330 29333 25230 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 274471813 14429130752 946029 33554432000 4194304 4196468 140724061910352 139876437124352 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29356] ppid=29330 vsize=14090948 memory=3863680 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29356/stat : 29356 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14429130752 946029 33554432000 4194304 4196468 140724061910352 139876436072912 139877257435035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29357] ppid=29330 vsize=14090948 memory=3863680 CPUtime=2.85 cores=0,2,4,6
/proc/29333/task/29357/stat : 29357 (java) S 29330 29333 25230 0 -1 1077944384 8019 0 0 0 285 0 0 0 20 0 15 0 274471816 14429130752 946029 33554432000 4194304 4196468 140724061910352 139876435020016 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29358] ppid=29330 vsize=14090948 memory=3863680 CPUtime=3.21 cores=0,2,4,6
/proc/29333/task/29358/stat : 29358 (java) S 29330 29333 25230 0 -1 1077944384 9705 0 0 0 318 3 0 0 20 0 15 0 274471816 14429130752 946029 33554432000 4194304 4196468 140724061910352 139876433967472 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29359] ppid=29330 vsize=14090948 memory=3784116 CPUtime=1.05 cores=0,2,4,6
/proc/29333/task/29359/stat : 29359 (java) S 29330 29333 25230 0 -1 1077944384 9385 0 0 0 104 1 0 0 20 0 15 0 274471816 14429130752 946029 33554432000 4194304 4196468 140724061910352 139876432914416 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29360] ppid=29330 vsize=14090948 memory=3784116 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29360/stat : 29360 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14429130752 946029 33554432000 4194304 4196468 140724061910352 139876431862112 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29361] ppid=29330 vsize=14090948 memory=3784116 CPUtime=0.11 cores=0,2,4,6
/proc/29333/task/29361/stat : 29361 (java) S 29330 29333 25230 0 -1 1077944384 189 0 0 0 7 4 0 0 20 0 15 0 274471816 14429130752 946029 33554432000 4194304 4196468 140724061910352 139876430810160 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
Current children cumulated CPU time: 230.88 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3784116 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+243.501 s]
/proc/loadavg: 1.95 1.44 1.31 4/215 29365
/proc/meminfo: memFree=16777872/32770624 swapFree=67108196/67108860
[pid=29333] ppid=29330 vsize=14090948 memory=3783604 CPUtime=252.09 cores=0,2,4,6
/proc/29333/stat : 29333 (java) S 29330 29333 25230 0 -1 1077944320 84993 0 0 0 25068 141 0 0 20 0 15 0 274471810 14429130752 945901 33554432000 4194304 4196468 140724061910352 140724061892896 139877257416439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
/proc/29333/statm: 3522737 945901 3591 1 0 3484809 0
[pid=29333/tid=29335] ppid=29330 vsize=14090948 memory=164 CPUtime=242.89 cores=0,2,4,6
/proc/29333/task/29335/stat : 29335 (java) R 29330 29333 25230 0 -1 4202560 44976 0 0 0 24234 55 0 0 20 0 15 0 274471811 14429130752 945901 33554432000 4194304 4196468 140724061910352 139877261654112 139876902346739 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29340] ppid=29330 vsize=14090948 memory=2216 CPUtime=0.46 cores=0,2,4,6
/proc/29333/task/29340/stat : 29340 (java) S 29330 29333 25230 0 -1 1077944384 1441 0 0 0 27 19 0 0 20 0 15 0 274471811 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876853017104 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29341] ppid=29330 vsize=14090948 memory=3783604 CPUtime=0.46 cores=0,2,4,6
/proc/29333/task/29341/stat : 29341 (java) S 29330 29333 25230 0 -1 1077944384 1938 0 0 0 27 19 0 0 20 0 15 0 274471811 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876851964560 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29342] ppid=29330 vsize=14090948 memory=3784116 CPUtime=0.45 cores=0,2,4,6
/proc/29333/task/29342/stat : 29342 (java) S 29330 29333 25230 0 -1 1077944384 1999 0 0 0 28 17 0 0 20 0 15 0 274471811 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876850911504 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29343] ppid=29330 vsize=14090948 memory=3863680 CPUtime=0.47 cores=0,2,4,6
/proc/29333/task/29343/stat : 29343 (java) S 29330 29333 25230 0 -1 1077944384 2560 0 0 0 29 18 0 0 20 0 15 0 274471811 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876849858960 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29347] ppid=29330 vsize=14090948 memory=3783604 CPUtime=0.03 cores=0,2,4,6
/proc/29333/task/29347/stat : 29347 (java) S 29330 29333 25230 0 -1 1077944384 3361 0 0 0 3 0 0 0 20 0 15 0 274471813 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876439231216 139877257427586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29348] ppid=29330 vsize=14090948 memory=3783604 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29348/stat : 29348 (java) S 29330 29333 25230 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 274471813 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876438177504 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29349] ppid=29330 vsize=14090948 memory=15916 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29349/stat : 29349 (java) S 29330 29333 25230 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 274471813 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876437124352 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29356] ppid=29330 vsize=14090948 memory=3760 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29356/stat : 29356 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876436072912 139877257435035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29357] ppid=29330 vsize=14090948 memory=3783604 CPUtime=2.85 cores=0,2,4,6
/proc/29333/task/29357/stat : 29357 (java) S 29330 29333 25230 0 -1 1077944384 8019 0 0 0 285 0 0 0 20 0 15 0 274471816 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876435020016 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29358] ppid=29330 vsize=14090948 memory=1224 CPUtime=3.21 cores=0,2,4,6
/proc/29333/task/29358/stat : 29358 (java) S 29330 29333 25230 0 -1 1077944384 9705 0 0 0 318 3 0 0 20 0 15 0 274471816 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876433967472 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29359] ppid=29330 vsize=14090948 memory=2180 CPUtime=1.05 cores=0,2,4,6
/proc/29333/task/29359/stat : 29359 (java) S 29330 29333 25230 0 -1 1077944384 9385 0 0 0 104 1 0 0 20 0 15 0 274471816 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876432914416 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29360] ppid=29330 vsize=14090948 memory=3783604 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29360/stat : 29360 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876431862112 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29361] ppid=29330 vsize=14090948 memory=3783604 CPUtime=0.12 cores=0,2,4,6
/proc/29333/task/29361/stat : 29361 (java) S 29330 29333 25230 0 -1 1077944384 191 0 0 0 7 5 0 0 20 0 15 0 274471816 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876430810160 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3783604 KiB

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

[startup+243.532 s]
# the end of solver process 29333 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.703 s, system=1.43868 s

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

[startup+243.501 s]
/proc/loadavg: 1.95 1.44 1.31 4/215 29365
/proc/meminfo: memFree=16777872/32770624 swapFree=67108196/67108860
[pid=29333] ppid=29330 vsize=14090948 memory=3783604 CPUtime=252.09 cores=0,2,4,6
/proc/29333/stat : 29333 (java) S 29330 29333 25230 0 -1 1077944320 84993 0 0 0 25068 141 0 0 20 0 15 0 274471810 14429130752 945901 33554432000 4194304 4196468 140724061910352 140724061892896 139877257416439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
/proc/29333/statm: 3522737 945901 3591 1 0 3484809 0
[pid=29333/tid=29335] ppid=29330 vsize=14090948 memory=164 CPUtime=242.89 cores=0,2,4,6
/proc/29333/task/29335/stat : 29335 (java) R 29330 29333 25230 0 -1 4202560 44976 0 0 0 24234 55 0 0 20 0 15 0 274471811 14429130752 945901 33554432000 4194304 4196468 140724061910352 139877261654112 139876902346739 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29340] ppid=29330 vsize=14090948 memory=2216 CPUtime=0.46 cores=0,2,4,6
/proc/29333/task/29340/stat : 29340 (java) S 29330 29333 25230 0 -1 1077944384 1441 0 0 0 27 19 0 0 20 0 15 0 274471811 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876853017104 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29341] ppid=29330 vsize=14090948 memory=3783604 CPUtime=0.46 cores=0,2,4,6
/proc/29333/task/29341/stat : 29341 (java) S 29330 29333 25230 0 -1 1077944384 1938 0 0 0 27 19 0 0 20 0 15 0 274471811 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876851964560 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29342] ppid=29330 vsize=14090948 memory=3784116 CPUtime=0.45 cores=0,2,4,6
/proc/29333/task/29342/stat : 29342 (java) S 29330 29333 25230 0 -1 1077944384 1999 0 0 0 28 17 0 0 20 0 15 0 274471811 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876850911504 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29343] ppid=29330 vsize=14090948 memory=3863680 CPUtime=0.47 cores=0,2,4,6
/proc/29333/task/29343/stat : 29343 (java) S 29330 29333 25230 0 -1 1077944384 2560 0 0 0 29 18 0 0 20 0 15 0 274471811 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876849858960 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29347] ppid=29330 vsize=14090948 memory=3783604 CPUtime=0.03 cores=0,2,4,6
/proc/29333/task/29347/stat : 29347 (java) S 29330 29333 25230 0 -1 1077944384 3361 0 0 0 3 0 0 0 20 0 15 0 274471813 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876439231216 139877257427586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29348] ppid=29330 vsize=14090948 memory=3783604 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29348/stat : 29348 (java) S 29330 29333 25230 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 274471813 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876438177504 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29349] ppid=29330 vsize=14090948 memory=15916 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29349/stat : 29349 (java) S 29330 29333 25230 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 274471813 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876437124352 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29356] ppid=29330 vsize=14090948 memory=3760 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29356/stat : 29356 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876436072912 139877257435035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29357] ppid=29330 vsize=14090948 memory=3783604 CPUtime=2.85 cores=0,2,4,6
/proc/29333/task/29357/stat : 29357 (java) S 29330 29333 25230 0 -1 1077944384 8019 0 0 0 285 0 0 0 20 0 15 0 274471816 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876435020016 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29358] ppid=29330 vsize=14090948 memory=1224 CPUtime=3.21 cores=0,2,4,6
/proc/29333/task/29358/stat : 29358 (java) S 29330 29333 25230 0 -1 1077944384 9705 0 0 0 318 3 0 0 20 0 15 0 274471816 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876433967472 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29359] ppid=29330 vsize=14090948 memory=2180 CPUtime=1.05 cores=0,2,4,6
/proc/29333/task/29359/stat : 29359 (java) S 29330 29333 25230 0 -1 1077944384 9385 0 0 0 104 1 0 0 20 0 15 0 274471816 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876432914416 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29360] ppid=29330 vsize=14090948 memory=3783604 CPUtime=0 cores=0,2,4,6
/proc/29333/task/29360/stat : 29360 (java) S 29330 29333 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274471816 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876431862112 139877257426645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
[pid=29333/tid=29361] ppid=29330 vsize=14090948 memory=3783604 CPUtime=0.12 cores=0,2,4,6
/proc/29333/task/29361/stat : 29361 (java) S 29330 29333 25230 0 -1 1077944384 191 0 0 0 7 5 0 0 20 0 15 0 274471816 14429130752 945901 33554432000 4194304 4196468 140724061910352 139876430810160 139877257427586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21037056 140724061918287 140724061918478 140724061918478 140724061921231 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3783604 KiB

Child status: 143
Real time (s): 243.532
CPU time (s): 252.141
CPU user time (s): 250.703
CPU system time (s): 1.43868
CPU usage (%): 103.535
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 3880920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.703
system time used= 1.43867
maximum resident set size= 3881708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86189
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9078
involuntary context switches= 397


# summary of solver processes directly reported to runsolver:
#   pid: 29333
#   total CPU time (s): 252.141
#   total CPU user time (s): 250.703
#   total CPU system time (s): 1.43868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.30502 second user time and 2.49227 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-18 07:11:26
IDJOB=4312125
IDBENCH=141142
IDSOLVER=2800
FILE ID=node151/4312125-1534569086
RUNJOBID= node151-1534569086-29302
PBS_JOBID= 21038628
Free space on /tmp= 51404 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
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 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312125-1534569086/watcher-4312125-1534569086 -o /tmp/evaluation-result-4312125-1534569086/solver-4312125-1534569086 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534569086-29302 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 844936464 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312125-1534569086.xml

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

MD5SUM BENCH= 9a110b3288dcdd83da8fcc132ac433c6
RANDOM SEED=844936464

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24311328 kB
MemAvailable:   31891264 kB
Buffers:          218984 kB
Cached:          7634316 kB
SwapCached:           12 kB
Active:          4124784 kB
Inactive:        3782880 kB
Active(anon):      24404 kB
Inactive(anon):    98628 kB
Active(file):    4100380 kB
Inactive(file):  3684252 kB
Unevictable:        7820 kB
Mlocked:            7820 kB
SwapTotal:      67108860 kB
SwapFree:       67108196 kB
Dirty:             72156 kB
Writeback:            16 kB
AnonPages:         62536 kB
Mapped:            20636 kB
Shmem:             65908 kB
Slab:             250540 kB
SReclaimable:     222280 kB
SUnreclaim:        28260 kB
KernelStack:        3200 kB
PageTables:         4764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     369576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 51336 MiB
End job on node151 at 2018-08-18 07:15:30