Trace number 4311543

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 2520.08 2484.52

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.69/0.55	c version: 2018-08-17
0.69/0.55	c seed: 742109572
0.69/0.55	c timeout: 2520
0.69/0.55	c memlimit: 11000
0.69/0.55	c nbcore: 1
0.69/0.58	c Parsing instance...
8.04/3.15	c Parsing done, starting search...
8.75/3.44	o 1081
9.17/3.61	o 1080
9.17/3.62	o 1079
9.17/3.65	o 1078
10.14/4.36	o 1077
10.64/4.60	o 1076
10.93/4.88	o 1075
10.93/4.88	o 1074
10.93/4.88	o 1073
11.15/5.04	o 1070
11.26/5.11	o 1068
11.49/5.32	o 1067
11.71/5.55	o 1066
11.82/5.63	o 1065
11.82/5.68	o 1063
12.12/5.91	o 1061
12.42/6.25	o 1060
12.52/6.31	o 1058
12.62/6.50	o 1057
12.72/6.52	o 1056
12.92/6.79	o 1054
13.02/6.80	o 1051
13.13/6.99	o 1050
13.23/7.05	o 1049
13.43/7.22	o 1047
13.43/7.24	o 1046
13.53/7.34	o 1045
14.02/7.89	o 1044
14.12/7.96	o 1043
14.27/8.09	o 1041
14.37/8.19	o 1040
14.77/8.52	o 1039
14.87/8.61	o 1037
14.97/8.80	o 1035
15.22/8.99	o 1033
15.50/9.09	o 1031
15.50/9.10	o 1030
15.69/9.26	o 1028
15.89/9.40	o 1027
15.99/9.55	o 1023
16.29/9.82	o 1022
16.39/9.92	o 1021
16.50/10.03	o 1020
16.50/10.07	o 1018
16.91/10.40	o 1017
16.91/10.44	o 1014
17.01/10.57	o 1013
17.14/10.60	o 1012
17.23/10.73	o 1011
17.23/10.78	o 1010
17.43/10.98	o 1009
17.69/11.12	o 1007
17.78/11.24	o 1004
17.88/11.38	o 1003
17.98/11.43	o 1000
18.08/11.53	o 998
18.18/11.62	o 996
18.28/11.77	o 995
18.69/12.12	o 994
18.79/12.20	o 993
18.99/12.42	o 992
18.99/12.45	o 991
19.09/12.55	o 990
19.09/12.55	o 989
19.09/12.60	o 988
19.29/12.77	o 987
19.50/12.94	o 985
19.60/13.03	o 983
19.80/13.24	o 982
19.80/13.28	o 975
20.00/13.44	o 972
20.00/13.46	o 970
20.10/13.53	o 969
20.30/13.72	o 967
20.67/14.05	o 966
20.77/14.13	o 964
20.77/14.20	o 960
20.96/14.32	o 959
20.96/14.36	o 958
21.09/14.44	o 957
21.23/14.51	o 956
21.23/14.56	o 955
21.33/14.67	o 954
21.33/14.68	o 952
21.33/14.69	o 951
21.74/15.03	o 949
21.74/15.10	o 948
22.13/15.48	o 947
22.23/15.53	o 946
22.33/15.60	o 945
22.33/15.62	o 943
22.33/15.68	o 941
22.96/16.02	o 940
22.96/16.03	o 939
22.96/16.05	o 938
22.96/16.05	o 937
23.26/16.33	o 936
23.36/16.41	o 935
23.36/16.42	o 934
23.36/16.44	o 933
23.45/16.53	o 932
23.45/16.58	o 930
23.55/16.67	o 929
23.55/16.68	o 928
23.76/16.83	o 927
23.85/16.94	o 926
23.85/16.96	o 925
24.06/17.16	o 924
24.16/17.26	o 923
24.32/17.37	o 922
24.42/17.40	o 920
24.42/17.42	o 918
24.62/17.63	o 916
24.72/17.73	o 914
24.82/17.87	o 913
25.13/18.18	o 910
25.22/18.28	o 909
25.22/18.29	o 908
25.32/18.38	o 907
25.62/18.64	o 906
25.72/18.73	o 904
25.72/18.80	o 903
25.93/18.94	o 901
26.03/19.03	o 900
26.03/19.09	o 899
26.14/19.14	o 896
26.14/19.15	o 895
26.23/19.26	o 894
26.23/19.29	o 891
26.33/19.36	o 890
26.63/19.61	o 889
26.63/19.68	o 887
26.63/19.69	o 886
26.83/19.80	o 885
26.93/19.93	o 884
26.93/19.98	o 883
27.23/20.24	o 880
27.33/20.36	o 878
27.53/20.58	o 877
27.53/20.59	o 876
27.73/20.70	o 875
27.73/20.75	o 874
27.73/20.78	o 873
27.93/20.91	o 872
27.93/20.98	o 868
28.14/21.16	o 867
28.14/21.18	o 866
28.23/21.27	o 865
28.53/21.54	o 864
28.63/21.62	o 863
28.63/21.68	o 862
28.73/21.79	o 861
28.83/21.84	o 859
28.93/21.99	o 858
29.14/22.14	o 856
29.23/22.25	o 854
29.53/22.59	o 853
29.83/22.84	o 849
29.83/22.88	o 848
29.93/22.90	o 845
29.93/22.98	o 844
30.23/23.23	o 843
30.23/23.27	o 842
30.33/23.40	o 839
30.53/23.51	o 837
30.84/23.85	o 835
31.14/24.15	o 834
31.14/24.16	o 833
31.14/24.19	o 832
31.34/24.30	o 831
31.34/24.33	o 830
31.64/24.67	o 829
31.94/24.94	o 828
32.04/25.03	o 826
32.23/25.28	o 825
32.23/25.29	o 824
32.44/25.45	o 822
32.53/25.50	o 821
32.63/25.64	o 820
32.74/25.70	o 819
32.74/25.73	o 817
32.74/25.77	o 816
33.05/26.09	o 815
33.15/26.16	o 814
33.15/26.19	o 812
33.24/26.24	o 811
33.34/26.34	o 810
33.34/26.37	o 809
33.44/26.48	o 808
33.54/26.50	o 807
33.74/26.75	o 805
34.25/27.25	o 803
34.34/27.30	o 802
34.55/27.50	o 801
34.55/27.53	o 799
34.64/27.61	o 798
34.74/27.72	o 797
34.74/27.79	o 796
35.06/28.06	o 795
35.15/28.13	o 794
35.34/28.36	o 793
35.45/28.48	o 792
35.83/28.61	o 791
35.83/28.68	o 790
35.93/28.71	o 789
36.03/28.80	o 787
36.13/28.93	o 785
36.13/28.98	o 784
36.34/29.12	o 781
36.43/29.21	o 780
36.53/29.36	o 779
36.53/29.39	o 778
36.63/29.41	o 777
36.63/29.45	o 775
36.73/29.56	o 773
36.73/29.57	o 772
36.73/29.59	o 771
37.13/29.98	o 770
37.24/30.04	o 769
37.24/30.06	o 768
37.34/30.12	o 767
37.34/30.16	o 765
37.43/30.22	o 764
37.43/30.24	o 763
37.43/30.29	o 762
37.63/30.40	o 761
37.63/30.45	o 760
37.63/30.49	o 759
37.83/30.66	o 758
37.93/30.71	o 757
38.03/30.82	o 756
38.24/31.04	o 755
38.34/31.13	o 753
38.43/31.28	o 751
38.53/31.36	o 750
38.63/31.46	o 748
38.73/31.50	o 747
38.83/31.64	o 745
38.83/31.67	o 744
38.93/31.79	o 743
39.03/31.80	o 742
39.13/31.96	o 740
39.13/31.98	o 739
39.45/32.24	o 738
39.55/32.30	o 737
39.55/32.35	o 736
39.65/32.45	o 735
39.76/32.53	o 733
39.76/32.59	o 732
39.86/32.67	o 731
39.96/32.71	o 730
39.96/32.73	o 729
40.06/32.83	o 728
40.06/32.84	o 727
40.06/32.85	o 726
40.47/33.26	o 725
40.57/33.35	o 724
40.67/33.43	o 723
40.67/33.44	o 722
40.77/33.58	o 720
40.87/33.62	o 719
40.97/33.78	o 718
41.07/33.84	o 717
41.17/34.00	o 716
41.28/34.07	o 713
41.47/34.22	o 712
41.57/34.37	o 711
41.67/34.40	o 710
41.77/34.56	o 709
41.77/34.57	o 708
41.87/34.64	o 707
41.87/34.69	o 706
41.97/34.72	o 705
42.17/35.01	o 704
42.28/35.07	o 703
42.38/35.13	o 702
42.38/35.15	o 698
42.38/35.15	o 697
42.47/35.26	o 696
42.57/35.30	o 695
42.67/35.40	o 694
42.67/35.42	o 693
42.77/35.53	o 692
42.87/35.64	o 691
42.97/35.70	o 690
42.97/35.72	o 688
43.07/35.87	o 687
43.17/35.92	o 686
43.17/36.00	o 685
43.28/36.05	o 684
43.28/36.07	o 683
43.38/36.12	o 682
43.38/36.13	o 681
43.47/36.24	o 680
43.47/36.26	o 679
43.57/36.32	o 677
43.57/36.34	o 675
43.67/36.43	o 673
43.77/36.56	o 672
43.77/36.58	o 671
43.87/36.67	o 670
43.97/36.72	o 669
43.97/36.78	o 668
44.07/36.81	o 667
44.07/36.87	o 666
44.17/36.97	o 665
44.17/36.99	o 664
44.38/37.17	o 663
44.47/37.20	o 662
44.47/37.21	o 661
44.67/37.46	o 660
44.77/37.51	o 659
44.77/37.59	o 658
44.87/37.62	o 656
44.97/37.78	o 655
45.07/37.84	o 654
45.07/37.89	o 653
45.17/37.93	o 651
45.17/37.97	o 650
45.28/38.02	o 649
45.28/38.06	o 648
45.38/38.14	o 647
45.38/38.17	o 646
45.38/38.17	o 644
45.38/38.17	o 643
45.47/38.27	o 642
45.58/38.32	o 641
45.58/38.33	o 640
45.68/38.50	o 639
45.85/38.58	o 638
45.95/38.63	o 637
46.05/38.70	o 636
46.15/38.84	o 635
46.25/38.92	o 634
46.36/39.02	o 631
46.55/39.28	o 629
46.66/39.39	o 628
46.76/39.47	o 627
46.76/39.49	o 626
47.06/39.77	o 625
47.16/39.84	o 624
47.26/39.91	o 623
47.26/39.93	o 622
47.37/40.01	o 621
47.37/40.07	o 620
47.47/40.12	o 619
47.47/40.13	o 618
47.47/40.18	o 617
47.47/40.19	o 616
47.56/40.29	o 615
47.66/40.30	o 614
47.76/40.46	o 613
47.76/40.49	o 612
47.86/40.59	o 611
47.96/40.66	o 610
48.06/40.70	o 609
48.06/40.73	o 608
48.06/40.75	o 607
48.16/40.84	o 606
48.26/40.91	o 605
48.37/41.07	o 604
48.47/41.16	o 603
48.56/41.23	o 602
48.56/41.23	o 601
48.56/41.27	o 600
48.66/41.30	o 599
48.76/41.44	o 598
48.76/41.49	o 596
48.86/41.55	o 595
48.86/41.59	o 594
48.96/41.68	o 593
49.06/41.74	o 592
49.16/41.84	o 591
49.16/41.89	o 588
49.37/42.02	o 587
49.37/42.07	o 586
49.47/42.16	o 585
49.66/42.38	o 584
49.76/42.46	o 583
49.76/42.47	o 581
49.86/42.55	o 580
49.86/42.57	o 579
50.07/42.75	o 578
50.17/42.82	o 577
50.27/42.94	o 576
50.27/42.97	o 574
50.38/43.04	o 573
50.38/43.07	o 572
50.48/43.15	o 571
50.48/43.16	o 569
50.67/43.36	o 568
50.67/43.40	o 567
50.77/43.48	o 566
50.87/43.51	o 565
50.97/43.68	o 563
51.17/43.80	o 562
51.27/43.90	o 561
51.27/43.92	o 559
51.27/43.95	o 557
51.38/44.10	o 555
51.48/44.18	o 554
51.57/44.24	o 553
51.57/44.30	o 552
51.67/44.38	o 551
51.77/44.41	o 549
51.77/44.48	o 548
51.77/44.49	o 547
51.87/44.59	o 546
51.97/44.66	o 544
52.07/44.74	o 543
52.07/44.79	o 542
52.27/44.98	o 541
52.27/44.99	o 539
52.48/45.15	o 538
52.57/45.21	o 537
52.57/45.28	o 536
52.57/45.28	o 535
52.67/45.34	o 534
52.67/45.37	o 533
52.67/45.38	o 532
52.77/45.46	o 529
52.97/45.63	o 528
53.07/45.73	o 527
53.17/45.80	o 526
53.17/45.84	o 525
53.17/45.89	o 524
53.27/45.92	o 523
53.48/46.12	o 522
53.48/46.13	o 521
53.57/46.28	o 520
53.67/46.33	o 519
53.67/46.34	o 518
53.77/46.43	o 517
53.77/46.48	o 516
53.87/46.54	o 515
53.97/46.62	o 514
53.97/46.67	o 513
53.97/46.68	o 512
54.19/46.83	o 511
54.29/46.91	o 510
54.29/46.93	o 509
54.29/46.99	o 508
54.40/47.02	o 507
54.40/47.09	o 506
54.50/47.19	o 505
54.59/47.26	o 503
54.69/47.34	o 502
54.69/47.39	o 501
54.90/47.59	o 500
54.99/47.60	o 499
54.99/47.68	o 497
55.09/47.76	o 496
55.19/47.80	o 495
55.19/47.81	o 494
55.19/47.86	o 493
55.29/47.98	o 492
55.40/48.06	o 491
55.40/48.09	o 490
55.50/48.16	o 489
55.60/48.21	o 488
55.60/48.26	o 487
55.69/48.31	o 486
55.69/48.32	o 485
55.79/48.41	o 484
55.79/48.50	o 483
55.89/48.53	o 482
55.89/48.59	o 481
55.99/48.69	o 480
56.29/48.90	o 479
56.29/48.92	o 478
56.29/48.94	o 477
56.40/49.10	o 476
56.50/49.16	o 475
56.60/49.26	o 474
56.69/49.35	o 473
56.69/49.38	o 472
56.79/49.41	o 471
56.79/49.43	o 470
56.89/49.51	o 468
57.09/49.70	o 467
57.09/49.74	o 466
57.20/49.85	o 464
57.20/49.89	o 463
57.41/50.02	o 462
57.60/50.20	o 461
57.60/50.26	o 459
57.69/50.35	o 458
57.80/50.42	o 457
57.80/50.44	o 456
57.89/50.53	o 455
57.99/50.61	o 454
57.99/50.68	o 452
58.09/50.76	o 451
58.09/50.77	o 450
58.19/50.86	o 449
58.19/50.89	o 448
58.30/50.92	o 447
58.40/51.03	o 446
58.40/51.09	o 445
58.60/51.22	o 444
58.60/51.27	o 443
58.90/51.50	o 442
58.90/51.54	o 441
58.90/51.58	o 440
59.10/51.73	o 439
59.10/51.76	o 438
59.19/51.86	o 437
59.29/51.97	o 435
59.55/52.18	o 434
59.64/52.25	o 433
59.74/52.33	o 432
59.74/52.38	o 431
59.85/52.40	o 430
59.85/52.46	o 429
59.95/52.56	o 428
60.05/52.61	o 427
60.05/52.64	o 426
60.25/52.80	o 425
60.25/52.87	o 424
60.35/52.93	o 423
60.35/53.00	o 422
60.46/53.08	o 421
60.56/53.14	o 420
60.65/53.22	o 419
60.65/53.29	o 418
60.75/53.31	o 416
60.85/53.42	o 415
60.85/53.43	o 414
60.85/53.47	o 413
60.95/53.55	o 412
61.05/53.60	o 411
61.05/53.70	o 410
61.16/53.76	o 409
61.26/53.82	o 408
61.36/53.94	o 406
61.46/54.10	o 405
61.46/54.10	o 404
61.66/54.24	o 403
61.76/54.33	o 402
61.76/54.36	o 401
61.86/54.43	o 400
61.86/54.44	o 399
61.86/54.45	o 398
61.86/54.48	o 397
61.95/54.53	o 396
62.05/54.61	o 395
62.05/54.67	o 394
62.15/54.77	o 393
62.25/54.81	o 392
62.25/54.89	o 391
62.35/54.91	o 390
62.46/55.01	o 389
62.46/55.05	o 388
62.56/55.12	o 387
62.56/55.16	o 386
62.65/55.22	o 385
62.85/55.40	o 384
62.85/55.46	o 383
62.95/55.55	o 382
63.05/55.61	o 381
63.15/55.71	o 380
63.15/55.79	o 379
63.25/55.80	o 378
63.46/56.01	o 377
63.46/56.08	o 376
63.56/56.15	o 375
63.65/56.22	o 374
63.65/56.25	o 373
63.75/56.37	o 372
63.85/56.44	o 370
63.95/56.54	o 369
64.15/56.71	o 368
64.15/56.75	o 367
64.15/56.75	o 366
64.15/56.77	o 365
64.25/56.88	o 364
64.25/56.88	o 363
64.35/57.00	o 362
64.46/57.08	o 361
64.56/57.13	o 360
64.65/57.22	o 359
64.65/57.24	o 358
64.75/57.37	o 357
64.85/57.46	o 355
65.05/57.64	o 354
65.05/57.68	o 353
65.15/57.77	o 352
65.15/57.78	o 351
65.25/57.84	o 350
65.47/58.01	o 349
65.47/58.07	o 348
65.47/58.10	o 347
65.66/58.20	o 346
65.66/58.26	o 345
65.76/58.33	o 344
65.76/58.38	o 343
65.86/58.41	o 342
65.96/58.50	o 341
65.96/58.54	o 340
66.06/58.61	o 339
66.06/58.68	o 338
66.16/58.74	o 337
66.26/58.80	o 336
66.26/58.89	o 335
66.36/58.93	o 334
66.36/58.97	o 333
66.47/59.03	o 332
66.47/59.08	o 331
66.76/59.31	o 330
66.76/59.32	o 329
66.86/59.42	o 328
66.86/59.48	o 327
66.96/59.55	o 326
66.96/59.55	o 325
67.16/59.76	o 324
67.26/59.80	o 323
67.26/59.84	o 322
67.36/59.91	o 321
67.36/59.97	o 320
67.36/59.99	o 319
67.36/60.00	o 318
67.47/60.02	o 316
67.47/60.09	o 315
67.57/60.13	o 314
67.66/60.24	o 313
67.76/60.30	o 312
67.76/60.38	o 311
67.86/60.44	o 310
68.06/60.62	o 309
68.06/60.68	o 308
68.16/60.75	o 307
68.26/60.80	o 306
68.26/60.84	o 305
68.26/60.89	o 304
68.36/60.92	o 303
68.47/61.04	o 302
68.47/61.10	o 301
68.57/61.17	o 300
68.57/61.19	o 299
68.66/61.20	o 298
68.76/61.30	o 297
68.76/61.37	o 296
68.76/61.39	o 295
68.96/61.51	o 294
68.96/61.59	o 293
69.06/61.67	o 292
69.17/61.75	o 291
69.37/61.92	o 290
69.37/61.98	o 289
69.47/62.01	o 288
69.67/62.20	o 287
69.67/62.25	o 286
69.77/62.31	o 285
69.77/62.32	o 284
69.87/62.40	o 283
69.87/62.43	o 282
69.97/62.59	o 281
70.07/62.64	o 280
70.07/62.69	o 279
70.17/62.72	o 278
70.17/62.79	o 276
70.27/62.86	o 275
70.37/62.95	o 274
70.51/63.01	o 273
70.70/63.22	o 272
70.70/63.27	o 271
70.80/63.31	o 270
70.90/63.44	o 269
71.00/63.50	o 268
71.00/63.54	o 267
71.10/63.61	o 265
71.10/63.69	o 264
71.20/63.76	o 263
71.30/63.82	o 262
71.30/63.89	o 261
71.40/63.93	o 260
71.40/63.95	o 259
71.51/64.04	o 258
71.51/64.09	o 257
71.61/64.15	o 256
71.70/64.20	o 255
71.70/64.27	o 254
71.80/64.32	o 253
72.00/64.52	o 252
72.00/64.58	o 251
72.10/64.64	o 250
72.20/64.72	o 249
72.20/64.78	o 247
72.30/64.85	o 246
72.30/64.89	o 245
72.40/64.96	o 244
72.51/65.02	o 243
72.51/65.07	o 242
72.61/65.17	o 241
72.70/65.20	o 240
72.70/65.22	o 239
72.70/65.26	o 238
72.80/65.35	o 237
72.90/65.40	o 236
72.90/65.46	o 235
73.00/65.50	o 234
73.00/65.53	o 233
73.10/65.61	o 232
73.10/65.65	o 231
73.30/65.83	o 230
73.30/65.86	o 229
73.40/65.98	o 228
73.51/66.01	o 227
73.51/66.10	o 226
73.61/66.15	o 225
73.70/66.23	o 224
73.70/66.27	o 223
73.80/66.35	o 222
73.90/66.42	o 221
73.90/66.45	o 220
74.00/66.52	o 219
74.00/66.59	o 218
74.10/66.63	o 217
74.10/66.68	o 216
74.10/66.69	o 215
74.20/66.76	o 214
74.30/66.85	o 213
74.40/66.91	o 212
74.40/66.94	o 211
74.61/67.13	o 210
74.61/67.18	o 209
74.70/67.23	o 208
74.70/67.25	o 207
74.80/67.30	o 206
74.80/67.37	o 205
74.90/67.41	o 204
74.90/67.46	o 203
75.00/67.51	o 202
75.00/67.57	o 201
75.10/67.62	o 200
75.10/67.66	o 199
75.20/67.77	o 198
75.30/67.84	o 197
75.30/67.87	o 196
75.51/68.01	o 195
75.51/68.09	o 194
75.61/68.12	o 193
75.61/68.19	o 192
75.70/68.23	o 191
75.90/68.43	o 190
75.90/68.48	o 189
76.00/68.54	o 188
76.00/68.59	o 187
76.10/68.64	o 186
76.10/68.68	o 185
76.20/68.76	o 184
76.30/68.82	o 183
76.30/68.87	o 182
76.40/68.93	o 181
76.40/68.97	o 180
76.51/69.02	o 179
76.51/69.06	o 178
76.70/69.21	o 177
76.70/69.26	o 176
76.80/69.31	o 175
76.80/69.38	o 174
76.91/69.44	o 173
76.91/69.47	o 172
77.01/69.53	o 171
77.21/69.73	o 170
77.21/69.78	o 169
77.31/69.82	o 168
77.41/69.92	o 167
77.41/70.00	o 166
77.51/70.05	o 165
77.51/70.10	o 164
77.62/70.13	o 163
77.71/70.21	o 162
77.71/70.28	o 161
77.81/70.33	o 160
77.81/70.38	o 159
77.81/70.38	o 158
77.91/70.45	o 157
77.91/70.46	o 156
78.01/70.52	o 155
78.01/70.57	o 154
78.11/70.62	o 153
78.11/70.68	o 152
78.21/70.72	o 151
78.21/70.78	o 150
78.31/70.85	o 149
78.52/71.04	o 148
78.52/71.09	o 147
78.62/71.15	o 146
78.62/71.19	o 145
78.71/71.23	o 144
78.71/71.28	o 143
78.81/71.32	o 142
78.81/71.38	o 141
78.91/71.43	o 140
78.91/71.46	o 139
79.01/71.53	o 138
79.01/71.59	o 137
79.11/71.64	o 136
79.11/71.69	o 135
79.21/71.74	o 134
79.21/71.78	o 133
79.33/71.85	o 132
79.33/71.88	o 131
79.42/71.96	o 130
79.42/71.99	o 129
79.54/72.05	o 128
79.63/72.11	o 127
79.63/72.14	o 126
79.83/72.34	o 125
79.83/72.39	o 124
79.93/72.45	o 123
80.03/72.50	o 122
80.03/72.54	o 121
80.03/72.59	o 120
80.22/72.77	o 119
80.36/72.81	o 118
80.36/72.85	o 117
80.36/72.89	o 116
80.46/72.93	o 115
80.46/72.97	o 114
80.57/73.02	o 113
80.57/73.05	o 112
80.57/73.09	o 111
80.67/73.15	o 110
80.67/73.20	o 109
80.76/73.26	o 108
80.86/73.32	o 107
80.86/73.37	o 106
80.86/73.39	o 105
80.96/73.45	o 104
81.16/73.64	o 103
81.16/73.69	o 102
81.26/73.73	o 101
81.26/73.77	o 100
81.36/73.82	o 99
81.36/73.87	o 98
81.49/73.92	o 97
81.49/73.96	o 96
81.59/74.01	o 95
81.59/74.06	o 94
81.59/74.10	o 93
81.69/74.15	o 92
81.69/74.19	o 91
81.79/74.23	o 90
81.79/74.28	o 89
81.89/74.33	o 88
81.89/74.38	o 87
81.99/74.43	o 86
81.99/74.46	o 85
82.09/74.51	o 84
82.09/74.55	o 83
82.18/74.60	o 82
82.18/74.65	o 81
82.18/74.69	o 80
82.28/74.74	o 79
82.28/74.78	o 78
82.49/74.96	o 77
82.49/74.99	o 76
82.59/75.04	o 75
82.79/75.21	o 74
82.79/75.25	o 73
82.89/75.32	o 72
82.89/75.38	o 71
82.99/75.42	o 70
82.99/75.47	o 69
83.09/75.51	o 68
83.09/75.55	o 67
83.09/75.59	o 66
83.19/75.63	o 65
83.19/75.67	o 64
83.29/75.72	o 63
83.29/75.76	o 62
83.39/75.81	o 61
83.39/75.84	o 60
83.39/75.88	o 59
83.49/75.93	o 58
83.49/75.97	o 57
83.60/76.02	o 56
83.60/76.06	o 55
83.80/76.26	o 54
83.90/76.30	o 53
83.90/76.36	o 52
84.00/76.40	o 51
84.00/76.44	o 50
84.10/76.50	o 49
84.10/76.55	o 48
84.10/76.59	o 47
84.20/76.63	o 46
84.20/76.67	o 45
84.30/76.71	o 44
84.30/76.76	o 43
84.40/76.80	o 42
84.40/76.83	o 41
84.40/76.88	o 40
84.50/76.92	o 39
84.50/76.96	o 38
84.61/77.01	o 37
84.61/77.05	o 36
84.61/77.08	o 35
84.71/77.13	o 34
84.71/77.17	o 33
84.80/77.21	o 32
84.80/77.26	o 31
84.90/77.30	o 30
84.90/77.34	o 29
84.90/77.38	o 28
85.10/77.57	o 27
85.20/77.61	o 26
85.20/77.66	o 25
85.30/77.70	o 24
85.30/77.74	o 23
85.30/77.79	o 22
85.42/77.83	o 21
85.42/77.88	o 20
85.52/77.92	o 19
85.52/77.97	o 18
85.63/78.02	o 17
85.63/78.06	o 16
85.73/78.11	o 15
85.73/78.16	o 14
85.82/78.21	o 13
85.82/78.26	o 12
85.95/78.31	o 11
85.95/78.37	o 10
86.06/78.42	o 9
86.06/78.47	o 8
2520.04/2484.50	s SATISFIABLE
2520.04/2484.50	v <instantiation>
2520.04/2484.50	v 	<list>
2520.04/2484.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]
2520.04/2484.50	v 	</list>
2520.04/2484.50	v 	<values>
2520.04/2484.50	v 		8 0 4 3 6 5 3 0 4 4 6 0 2 2 5 0 3 4 6 2 7 7 5 3 4 5 1 8 8 3 8 8 8 6 4 8 8 8 8 8 8 7 0 5 4 0 0 4 4 0 4 4 0 4 4 4 5 0 4 0 0 4 0 7 7 3 7 8 5 8 7 8 8 8 8 8 8 8 8 8 8 8 8 8 0 5 0 5 1 0 4 5 3 5 5 5 5 1 5 0 0 0 5 0 0 8 6 6 8 3 3 1 8 8 3 8 4 4 4 4 7 8 7 8 6 6 5 0 0 5 1 5 0 0 5 3 0 5 8 5 0 0 0 5 1 0 1 4 0 6 1 8 5 7 1 6 7 2 1 0 7 7 1 0 3 1 2 2 1 0 3 1 1 2 7 7 2 2 3 7 1 7 2 2 2 7 7 1 2 5 1 3 1 1 1 7 3 0 3 2 0 2 0 7 1 7 7 7 0 1 1 0 2 3 0 1 3 6 3 7 2 3 7 3 2 3 3 2 7 7 7 3 3 3 7 2 3 7 5 2 1 0 2 7 2 1 2 2 1 2 2 2 2 1 2 3 2 2 1 3 2 2 3 2 3 8 7 2 3 7 1 3 3 2 2 7 3 7 7 2 5 3 0 1 0 3 1 6 2 2 0 3 1 2 0 2 2 2 0 2 3 2 2 2 2 2 2 7 7 5 5 2 5 0 4 0 6 6 6 0 4 6 6 8 4 6 4 6 8 5 6 4 8 6 4 4 8 5 4 6 7 4 8 5 8 4 8 5 5 4 8 3 8 5 0 8 4 4 8 4 8 4 6 6 4 4 4 8 8 8 4 5 8 3 8 4 5 8 4 8 5 5 5 0 4 7 8 8 8 6 6 4 6 4 4 4 8 6 8 8 5 0 8 4 8 6 8 6 4 6 4 4 4 5 4 6 8 5 8 5 4 5 6 5 7 4 6 8 8 6 8 4 5 6 5 5 4 4 5 5 5 4 5 4 5 5 4 6 8 0 0 3 0 5 4 4 8 5 8 4 5 4 0 6 2 2 3 0 7 2 3 3 0 7 3 3 3 3 3 2 0 3 1 6 6 6 1 3 0 7 2 6 3 3 3 7 2 3 0 3 3 7 3 0 2 6 2 0 3 1 1 3 3 0 1 7 0 3 3 2 1 3 3 0 1 6 5 5 5 3 5 7 4 0 7 2 7 5 3 5 2 5 0 3 5 7 3 2 2 1 5 0 2 0 1 7 0 7 3 0 1 2 2 2 3 2 2 0 7 7 3 7 7 7 0 3 7 2 7 3 0 7 2 2 7 7 7 2 2 2 0 7 3 0 0 3 6 3 7 6 0 0 3 2 2 3 2 2 1 7 3 2 2 3 3 2 0 7 1 1 7 0 7 0 5 2 8 1 6 4 6 4 6 8 8 5 6 8 5 8 7 7 8 7 8 5 8 6 8 2 2 8 6 7 8 8 5 6 8 0 1 7 8 0 4 1 8 0 0 1 6 8 8 8 4 8 4 6 8 5 0 4 7 7 4 8 0 5 8 5 5 5 4 8 8 7 6 5 4 5 6 1 8 4 7 6 6 4 8 6 2 1 4 8 6 6 1 6 6 8 4 4 8 7 6 8 7 8 4 4 5 8 4 8 5 8 5 7 6 5 5 7 5 1 6 5 5 6 6 4 4 5 5 5 1 1 4 6 1 4 8 1 1 5 5 5 8 6 1 8 6 2 2 1 4 5 1 4 3 3 6 0 2 1 3 3 3 3 1 3 3 4 2 1 3 3 0 3 2 2 3 3 2 2 3 1 3 3 3 3 3 3 8 2 2 3 1 0 1 0 6 1 1 6 4 3 0 1 0 3 2 1 0 3 3 3 5 5 0 1 1 0 1 3 0 3 3 3 5 1 2 2 3 3 5 3 1 3 1 5 2 3 2 2 1 1 0 1 2 2 0 3 3 1 0 3 3 2 2 3 4 0 3 3 4 4 6 3 0 0 2 0 2 3 3 3 4 2 3 3 0 0 2 0 3 2 0 6 2 3 2 4 1 6 2 2 2 3 0 3 2 0 0 3 0 3 8 1 5 4 7 8 8 8 5 8 5 5 4 7 7 8 5 4 0 8 1 7 5 5 8 8 7 7 8 7 7 7 7 5 8 8 7 4 8 7 4 5 1 8 8 8 7 1 7 5 5 5 7 5 8 4 7 8 4 7 7 5 0 4 3 5 7 8 7 5 4 5 5 8 3 7 7 7 8 8 5 5 4 4 1 7 8 7 5 1 4 8 8 8 5 8 4 4 1 4 8 7 4 7 8 7 3 7 5 7 5 4 5 4 5 8 5 7 8 8 5 5 5 8 1 5 1 4 8 5 1 5 1 8 5 5 7 1 1 8 5 7 1 1 5 7 5 5 8 8 5 5 6 4 1 8 3 7 2 
2520.04/2484.50	v 	</values>
2520.04/2484.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 (11090 MiB free)
  memory of node 1: 16384 MiB (13001 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311543-1534543773/watcher-4311543-1534543773 -o /tmp/evaluation-result-4311543-1534543773/solver-4311543-1534543773 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534541041-19653 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 742109572 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311543-1534543773.xml 

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

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


[startup+0.100142 s]*
/proc/loadavg: 4.21 2.69 1.81 3/218 20149
/proc/meminfo: memFree=24652076/32770624 swapFree=67108856/67108860
[pid=20134] ppid=20131 vsize=14082736 memory=30476 CPUtime=0.12 cores=1,3,5,7
/proc/20134/stat : 20134 (java) S 20131 20134 19620 0 -1 1077944320 6548 0 0 0 11 1 0 0 20 0 15 0 271940460 14420721664 7619 33554432000 4194304 4196468 140736368848976 140736368831520 140571884433143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
/proc/20134/statm: 3520684 7619 3153 1 0 3482761 0
[pid=20134/tid=20136] ppid=20131 vsize=14082736 memory=-8773748148829982335 CPUtime=0.09 cores=1,3,5,7
/proc/20134/task/20136/stat : 20136 (java) R 20131 20134 19620 0 -1 4202560 4584 0 0 0 9 0 0 0 20 0 15 0 271940460 14420721664 7619 33554432000 4194304 4196468 140736368848976 140571888656048 140571884455069 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20137] ppid=20131 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20137/stat : 20137 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940461 14420721664 7619 33554432000 4194304 4196468 140736368848976 140571799501200 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20138] ppid=20131 vsize=14082736 memory=140008923809408 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20138/stat : 20138 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940461 14420721664 7619 33554432000 4194304 4196468 140736368848976 140571798448400 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20139] ppid=20131 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20139/stat : 20139 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940461 14420721664 7619 33554432000 4194304 4196468 140736368848976 140571477797520 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20140] ppid=20131 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20140/stat : 20140 (java) S 20131 20134 19620 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271940461 14420721664 7619 33554432000 4194304 4196468 140736368848976 140571476744720 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20141] ppid=20131 vsize=14082736 memory=140008923809408 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20141/stat : 20141 (java) S 20131 20134 19620 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271940462 14420721664 7619 33554432000 4194304 4196468 140736368848976 140571358751344 140571884444290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20142] ppid=20131 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20142/stat : 20142 (java) S 20131 20134 19620 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271940463 14420721664 7619 33554432000 4194304 4196468 140736368848976 140571357697312 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20143] ppid=20131 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20143/stat : 20143 (java) S 20131 20134 19620 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271940463 14420721664 7619 33554432000 4194304 4196468 140736368848976 140571356644976 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20144] ppid=20131 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20144/stat : 20144 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940465 14420721664 7619 33554432000 4194304 4196468 140736368848976 140571355593296 140571884451739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20145] ppid=20131 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20145/stat : 20145 (java) S 20131 20134 19620 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 271940465 14420721664 7619 33554432000 4194304 4196468 140736368848976 140571354540144 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20146] ppid=20131 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20146/stat : 20146 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940465 14420721664 7619 33554432000 4194304 4196468 140736368848976 140571353487344 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20147] ppid=20131 vsize=14082736 memory=140008923809408 CPUtime=0.01 cores=1,3,5,7
/proc/20134/task/20147/stat : 20147 (java) S 20131 20134 19620 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 15 0 271940465 14420721664 7619 33554432000 4194304 4196468 140736368848976 140571352435056 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20148] ppid=20131 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20148/stat : 20148 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940466 14420721664 7619 33554432000 4194304 4196468 140736368848976 140571351382496 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20149] ppid=20131 vsize=14082736 memory=140008923809408 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20149/stat : 20149 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940466 14420721664 7619 33554432000 4194304 4196468 140736368848976 140571350330288 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30476 KiB

[startup+0.217091 s]*
/proc/loadavg: 4.21 2.69 1.81 5/218 20149
/proc/meminfo: memFree=24636200/32770624 swapFree=67108856/67108860
[pid=20134] ppid=20131 vsize=14082736 memory=47340 CPUtime=0.32 cores=1,3,5,7
/proc/20134/stat : 20134 (java) S 20131 20134 19620 0 -1 1077944320 10441 0 0 0 30 2 0 0 20 0 15 0 271940460 14420721664 11835 33554432000 4194304 4196468 140736368848976 140736368831520 140571884433143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
/proc/20134/statm: 3520684 11835 3377 1 0 3482761 0
[pid=20134/tid=20136] ppid=20131 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/20134/task/20136/stat : 20136 (java) R 20131 20134 19620 0 -1 4202560 8107 0 0 0 19 1 0 0 20 0 15 0 271940460 14420721664 11835 33554432000 4194304 4196468 140736368848976 140571888658352 140571868476773 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20137] ppid=20131 vsize=14082736 memory=364 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20137/stat : 20137 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940461 14420721664 11835 33554432000 4194304 4196468 140736368848976 140571799501200 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20138] ppid=20131 vsize=14082736 memory=288370385075521152 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20138/stat : 20138 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940461 14420721664 11835 33554432000 4194304 4196468 140736368848976 140571798448400 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20139] ppid=20131 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20139/stat : 20139 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940461 14420721664 11835 33554432000 4194304 4196468 140736368848976 140571477797520 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20140] ppid=20131 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20140/stat : 20140 (java) S 20131 20134 19620 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271940461 14420721664 11835 33554432000 4194304 4196468 140736368848976 140571476744720 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20141] ppid=20131 vsize=14082736 memory=140008923809408 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20141/stat : 20141 (java) S 20131 20134 19620 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271940462 14420721664 11835 33554432000 4194304 4196468 140736368848976 140571358751344 140571884444290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20142] ppid=20131 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20142/stat : 20142 (java) S 20131 20134 19620 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271940463 14420721664 11835 33554432000 4194304 4196468 140736368848976 140571357697312 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20143] ppid=20131 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20143/stat : 20143 (java) S 20131 20134 19620 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271940463 14420721664 11835 33554432000 4194304 4196468 140736368848976 140571356644976 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20144] ppid=20131 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20144/stat : 20144 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940465 14420721664 11835 33554432000 4194304 4196468 140736368848976 140571355593296 140571884451739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20145] ppid=20131 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20134/task/20145/stat : 20145 (java) S 20131 20134 19620 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 15 0 271940465 14420721664 11835 33554432000 4194304 4196468 140736368848976 140571354540144 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20146] ppid=20131 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20134/task/20146/stat : 20146 (java) R 20131 20134 19620 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 15 0 271940465 14420721664 11835 33554432000 4194304 4196468 140736368848976 140571353487344 140571884444290 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20147] ppid=20131 vsize=14082736 memory=140008923809408 CPUtime=0.06 cores=1,3,5,7
/proc/20134/task/20147/stat : 20147 (java) S 20131 20134 19620 0 -1 1077944384 341 0 0 0 6 0 0 0 20 0 15 0 271940465 14420721664 11835 33554432000 4194304 4196468 140736368848976 140571352435056 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20148] ppid=20131 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20148/stat : 20148 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940466 14420721664 11835 33554432000 4194304 4196468 140736368848976 140571351382496 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20149] ppid=20131 vsize=14082736 memory=140008923809408 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20149/stat : 20149 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940466 14420721664 11835 33554432000 4194304 4196468 140736368848976 140571350330288 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47340 KiB

[startup+0.310618 s]*
/proc/loadavg: 4.21 2.69 1.81 4/218 20149
/proc/meminfo: memFree=24632912/32770624 swapFree=67108856/67108860
[pid=20134] ppid=20131 vsize=14082736 memory=50620 CPUtime=0.44 cores=1,3,5,7
/proc/20134/stat : 20134 (java) S 20131 20134 19620 0 -1 1077944320 10782 0 0 0 41 3 0 0 20 0 15 0 271940460 14420721664 12655 33554432000 4194304 4196468 140736368848976 140736368831520 140571884433143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
/proc/20134/statm: 3520684 12655 3379 1 0 3482761 0
[pid=20134/tid=20136] ppid=20131 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/20134/task/20136/stat : 20136 (java) R 20131 20134 19620 0 -1 4202560 8420 0 0 0 28 2 0 0 20 0 15 0 271940460 14420721664 12655 33554432000 4194304 4196468 140736368848976 140571888644656 140571865996699 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20137] ppid=20131 vsize=14082736 memory=4294982659 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20137/stat : 20137 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940461 14420721664 12655 33554432000 4194304 4196468 140736368848976 140571799501200 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20138] ppid=20131 vsize=14082736 memory=288370385075521152 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20138/stat : 20138 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940461 14420721664 12655 33554432000 4194304 4196468 140736368848976 140571798448400 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20139] ppid=20131 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20139/stat : 20139 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940461 14420721664 12655 33554432000 4194304 4196468 140736368848976 140571477797520 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20140] ppid=20131 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20140/stat : 20140 (java) S 20131 20134 19620 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271940461 14420721664 12655 33554432000 4194304 4196468 140736368848976 140571476744720 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20141] ppid=20131 vsize=14082736 memory=140008923809408 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20141/stat : 20141 (java) S 20131 20134 19620 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271940462 14420721664 12655 33554432000 4194304 4196468 140736368848976 140571358751344 140571884444290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20142] ppid=20131 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20142/stat : 20142 (java) S 20131 20134 19620 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271940463 14420721664 12655 33554432000 4194304 4196468 140736368848976 140571357697312 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20143] ppid=20131 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20143/stat : 20143 (java) S 20131 20134 19620 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271940463 14420721664 12655 33554432000 4194304 4196468 140736368848976 140571356644976 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20144] ppid=20131 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20144/stat : 20144 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940465 14420721664 12655 33554432000 4194304 4196468 140736368848976 140571355593296 140571884451739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20145] ppid=20131 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20134/task/20145/stat : 20145 (java) S 20131 20134 19620 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 15 0 271940465 14420721664 12655 33554432000 4194304 4196468 140736368848976 140571354540144 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20146] ppid=20131 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20134/task/20146/stat : 20146 (java) S 20131 20134 19620 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 15 0 271940465 14420721664 12655 33554432000 4194304 4196468 140736368848976 140571353487344 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20147] ppid=20131 vsize=14082736 memory=140008923809408 CPUtime=0.08 cores=1,3,5,7
/proc/20134/task/20147/stat : 20147 (java) S 20131 20134 19620 0 -1 1077944384 357 0 0 0 8 0 0 0 20 0 15 0 271940465 14420721664 12655 33554432000 4194304 4196468 140736368848976 140571352435056 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20148] ppid=20131 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20148/stat : 20148 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940466 14420721664 12655 33554432000 4194304 4196468 140736368848976 140571351382496 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20149] ppid=20131 vsize=14082736 memory=140008923809408 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20149/stat : 20149 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940466 14420721664 12655 33554432000 4194304 4196468 140736368848976 140571350330288 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50620 KiB

[startup+0.700739 s]
/proc/loadavg: 4.21 2.69 1.81 3/218 20149
/proc/meminfo: memFree=24608356/32770624 swapFree=67108856/67108860
[pid=20134] ppid=20131 vsize=14084804 memory=89020 CPUtime=0.99 cores=1,3,5,7
/proc/20134/stat : 20134 (java) S 20131 20134 19620 0 -1 1077944320 17636 0 0 0 94 5 0 0 20 0 15 0 271940460 14422839296 22255 33554432000 4194304 4196468 140736368848976 140736368831520 140571884433143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
/proc/20134/statm: 3521201 22255 3499 1 0 3483273 0
[pid=20134/tid=20136] ppid=20131 vsize=14084804 memory=226513756643852 CPUtime=0.68 cores=1,3,5,7
/proc/20134/task/20136/stat : 20136 (java) R 20131 20134 19620 0 -1 4202560 14885 0 0 0 64 4 0 0 20 0 15 0 271940460 14422839296 22255 33554432000 4194304 4196468 140736368848976 140571888646352 140571868513630 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20137] ppid=20131 vsize=14084804 memory=1252454 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20137/stat : 20137 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940461 14422839296 22255 33554432000 4194304 4196468 140736368848976 140571799501200 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20138] ppid=20131 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20138/stat : 20138 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940461 14422839296 22255 33554432000 4194304 4196468 140736368848976 140571798448400 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20139] ppid=20131 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20139/stat : 20139 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940461 14422839296 22255 33554432000 4194304 4196468 140736368848976 140571477797520 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20140] ppid=20131 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20140/stat : 20140 (java) S 20131 20134 19620 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271940461 14422839296 22255 33554432000 4194304 4196468 140736368848976 140571476744720 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20141] ppid=20131 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20141/stat : 20141 (java) S 20131 20134 19620 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271940462 14422839296 22255 33554432000 4194304 4196468 140736368848976 140571358751344 140571884444290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20142] ppid=20131 vsize=14084804 memory=-6366504964592985951 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20142/stat : 20142 (java) S 20131 20134 19620 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271940463 14422839296 22255 33554432000 4194304 4196468 140736368848976 140571357697312 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20143] ppid=20131 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20143/stat : 20143 (java) S 20131 20134 19620 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271940463 14422839296 22255 33554432000 4194304 4196468 140736368848976 140571356644976 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20144] ppid=20131 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20144/stat : 20144 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940465 14422839296 22255 33554432000 4194304 4196468 140736368848976 140571355593296 140571884451739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20145] ppid=20131 vsize=14084804 memory=6944652177228980320 CPUtime=0.06 cores=1,3,5,7
/proc/20134/task/20145/stat : 20145 (java) S 20131 20134 19620 0 -1 1077944384 647 0 0 0 6 0 0 0 20 0 15 0 271940465 14422839296 22255 33554432000 4194304 4196468 140736368848976 140571354540144 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20146] ppid=20131 vsize=14084804 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20134/task/20146/stat : 20146 (java) S 20131 20134 19620 0 -1 1077944384 277 0 0 0 8 0 0 0 20 0 15 0 271940465 14422839296 22255 33554432000 4194304 4196468 140736368848976 140571353487344 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20147] ppid=20131 vsize=14084804 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/20134/task/20147/stat : 20147 (java) S 20131 20134 19620 0 -1 1077944384 446 0 0 0 14 0 0 0 20 0 15 0 271940465 14422839296 22255 33554432000 4194304 4196468 140736368848976 140571352435056 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20148] ppid=20131 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20148/stat : 20148 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940466 14422839296 22255 33554432000 4194304 4196468 140736368848976 140571351382496 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20149] ppid=20131 vsize=14084804 memory=3464 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20149/stat : 20149 (java) S 20131 20134 19620 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271940466 14422839296 22255 33554432000 4194304 4196468 140736368848976 140571350330288 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89020 KiB

[startup+1.50078 s]
/proc/loadavg: 4.21 2.69 1.81 5/218 20149
/proc/meminfo: memFree=24552264/32770624 swapFree=67108856/67108860
[pid=20134] ppid=20131 vsize=14086852 memory=223796 CPUtime=3.5 cores=1,3,5,7
/proc/20134/stat : 20134 (java) S 20131 20134 19620 0 -1 1077944320 24918 0 0 0 340 10 0 0 20 0 15 0 271940460 14424936448 55949 33554432000 4194304 4196468 140736368848976 140736368831520 140571884433143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
/proc/20134/statm: 3521713 55949 3577 1 0 3483785 0
[pid=20134/tid=20136] ppid=20131 vsize=14086852 memory=3303 CPUtime=1.46 cores=1,3,5,7
/proc/20134/task/20136/stat : 20136 (java) R 20131 20134 19620 0 -1 4202560 17380 0 0 0 140 6 0 0 20 0 15 0 271940460 14424936448 55949 33554432000 4194304 4196468 140736368848976 140571888669152 140571483407305 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20137] ppid=20131 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20137/stat : 20137 (java) S 20131 20134 19620 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 271940461 14424936448 55949 33554432000 4194304 4196468 140736368848976 140571799501200 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20138] ppid=20131 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20138/stat : 20138 (java) S 20131 20134 19620 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 271940461 14424936448 55949 33554432000 4194304 4196468 140736368848976 140571798448400 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20139] ppid=20131 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20139/stat : 20139 (java) S 20131 20134 19620 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 271940461 14424936448 55949 33554432000 4194304 4196468 140736368848976 140571477797520 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20140] ppid=20131 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20140/stat : 20140 (java) S 20131 20134 19620 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 271940461 14424936448 55949 33554432000 4194304 4196468 140736368848976 140571476744720 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20141] ppid=20131 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20141/stat : 20141 (java) S 20131 20134 19620 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 15 0 271940462 14424936448 55949 33554432000 4194304 4196468 140736368848976 140571358751344 140571884444290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0

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

/proc/20134/task/20136/stat : 20136 (java) R 20131 20134 19620 0 -1 4202560 95367 0 0 0 236448 68 0 0 20 0 15 0 271940460 14429130752 744403 33554432000 4194304 4196468 140736368848976 140571888671264 140571488181007 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20137] ppid=20131 vsize=14090948 memory=2977612 CPUtime=9.77 cores=1,3,5,7
/proc/20134/task/20137/stat : 20137 (java) S 20131 20134 19620 0 -1 1077944384 38394 0 0 0 929 48 0 0 20 0 15 0 271940461 14429130752 744403 33554432000 4194304 4196468 140736368848976 140571799501200 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20138] ppid=20131 vsize=14090948 memory=2977612 CPUtime=9.78 cores=1,3,5,7
/proc/20134/task/20138/stat : 20138 (java) S 20131 20134 19620 0 -1 1077944384 33249 0 0 0 928 50 0 0 20 0 15 0 271940461 14429130752 744403 33554432000 4194304 4196468 140736368848976 140571798448400 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20139] ppid=20131 vsize=14090948 memory=2977612 CPUtime=9.73 cores=1,3,5,7
/proc/20134/task/20139/stat : 20139 (java) S 20131 20134 19620 0 -1 1077944384 34733 0 0 0 928 45 0 0 20 0 15 0 271940461 14429130752 744403 33554432000 4194304 4196468 140736368848976 140571477797520 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20140] ppid=20131 vsize=14090948 memory=0 CPUtime=9.75 cores=1,3,5,7
/proc/20134/task/20140/stat : 20140 (java) S 20131 20134 19620 0 -1 1077944384 33083 0 0 0 927 48 0 0 20 0 15 0 271940461 14429130752 744403 33554432000 4194304 4196468 140736368848976 140571476744720 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20141] ppid=20131 vsize=14090948 memory=0 CPUtime=4.23 cores=1,3,5,7
/proc/20134/task/20141/stat : 20141 (java) S 20131 20134 19620 0 -1 1077944384 27745 0 0 0 392 31 0 0 20 0 15 0 271940462 14429130752 744403 33554432000 4194304 4196468 140736368848976 140571358751344 140571884444290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20142] ppid=20131 vsize=14090948 memory=2977612 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20142/stat : 20142 (java) S 20131 20134 19620 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 271940463 14429130752 744403 33554432000 4194304 4196468 140736368848976 140571357697376 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20143] ppid=20131 vsize=14090948 memory=2977612 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20143/stat : 20143 (java) S 20131 20134 19620 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 271940463 14429130752 744403 33554432000 4194304 4196468 140736368848976 140571356644992 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20144] ppid=20131 vsize=14090948 memory=2977612 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20144/stat : 20144 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940465 14429130752 744403 33554432000 4194304 4196468 140736368848976 140571355593296 140571884451739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20145] ppid=20131 vsize=14090948 memory=2977612 CPUtime=2.62 cores=1,3,5,7
/proc/20134/task/20145/stat : 20145 (java) S 20131 20134 19620 0 -1 1077944384 9099 0 0 0 260 2 0 0 20 0 15 0 271940465 14429130752 744403 33554432000 4194304 4196468 140736368848976 140571354540144 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20146] ppid=20131 vsize=14090948 memory=3848 CPUtime=3.01 cores=1,3,5,7
/proc/20134/task/20146/stat : 20146 (java) S 20131 20134 19620 0 -1 1077944384 9643 0 0 0 300 1 0 0 20 0 15 0 271940465 14429130752 744403 33554432000 4194304 4196468 140736368848976 140571353487344 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20147] ppid=20131 vsize=14090948 memory=2604 CPUtime=1.01 cores=1,3,5,7
/proc/20134/task/20147/stat : 20147 (java) S 20131 20134 19620 0 -1 1077944384 10692 0 0 0 98 3 0 0 20 0 15 0 271940465 14429130752 744403 33554432000 4194304 4196468 140736368848976 140571352435056 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20148] ppid=20131 vsize=14090948 memory=2977612 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20148/stat : 20148 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940466 14429130752 744403 33554432000 4194304 4196468 140736368848976 140571351382496 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20149] ppid=20131 vsize=14090948 memory=2424 CPUtime=1.31 cores=1,3,5,7
/proc/20134/task/20149/stat : 20149 (java) S 20131 20134 19620 0 -1 1077944384 1694 0 0 0 56 75 0 0 20 0 15 0 271940466 14429130752 744403 33554432000 4194304 4196468 140736368848976 140571350330288 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
Current children cumulated CPU time: 2416.46 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2977612 KiB

[startup+2442.3 s]
/proc/loadavg: 1.25 1.40 1.42 3/218 20316
/proc/meminfo: memFree=21716388/32770624 swapFree=67108856/67108860
[pid=20134] ppid=20131 vsize=14090948 memory=2967864 CPUtime=2477.23 cores=1,3,5,7
/proc/20134/stat : 20134 (java) S 20131 20134 19620 0 -1 1077944320 298671 0 0 0 247390 333 0 0 20 0 15 0 271940460 14429130752 741966 33554432000 4194304 4196468 140736368848976 140736368831520 140571884433143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
/proc/20134/statm: 3522737 741966 3608 1 0 3484809 0
[pid=20134/tid=20136] ppid=20131 vsize=14090948 memory=2969404 CPUtime=2424.72 cores=1,3,5,7
/proc/20134/task/20136/stat : 20136 (java) R 20131 20134 19620 0 -1 4202560 96580 0 0 0 242403 69 0 0 20 0 15 0 271940460 14429130752 741966 33554432000 4194304 4196468 140736368848976 140571888671152 140571484929529 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20137] ppid=20131 vsize=14090948 memory=1920 CPUtime=10.03 cores=1,3,5,7
/proc/20134/task/20137/stat : 20137 (java) S 20131 20134 19620 0 -1 1077944384 38932 0 0 0 955 48 0 0 20 0 15 0 271940461 14429130752 741966 33554432000 4194304 4196468 140736368848976 140571799501200 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20138] ppid=20131 vsize=14090948 memory=2973508 CPUtime=10.05 cores=1,3,5,7
/proc/20134/task/20138/stat : 20138 (java) S 20131 20134 19620 0 -1 1077944384 33795 0 0 0 954 51 0 0 20 0 15 0 271940461 14429130752 741966 33554432000 4194304 4196468 140736368848976 140571798448400 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20139] ppid=20131 vsize=14090948 memory=2977612 CPUtime=10 cores=1,3,5,7
/proc/20134/task/20139/stat : 20139 (java) S 20131 20134 19620 0 -1 1077944384 35215 0 0 0 954 46 0 0 20 0 15 0 271940461 14429130752 741966 33554432000 4194304 4196468 140736368848976 140571477797520 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20140] ppid=20131 vsize=14090948 memory=2967864 CPUtime=10.02 cores=1,3,5,7
/proc/20134/task/20140/stat : 20140 (java) S 20131 20134 19620 0 -1 1077944384 33473 0 0 0 953 49 0 0 20 0 15 0 271940461 14429130752 741966 33554432000 4194304 4196468 140736368848976 140571476744720 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20141] ppid=20131 vsize=14090948 memory=2967864 CPUtime=4.34 cores=1,3,5,7
/proc/20134/task/20141/stat : 20141 (java) S 20131 20134 19620 0 -1 1077944384 28092 0 0 0 403 31 0 0 20 0 15 0 271940462 14429130752 741966 33554432000 4194304 4196468 140736368848976 140571358751344 140571884444290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20142] ppid=20131 vsize=14090948 memory=2967864 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20142/stat : 20142 (java) S 20131 20134 19620 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 271940463 14429130752 741966 33554432000 4194304 4196468 140736368848976 140571357697376 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20143] ppid=20131 vsize=14090948 memory=2977612 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20143/stat : 20143 (java) S 20131 20134 19620 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 271940463 14429130752 741966 33554432000 4194304 4196468 140736368848976 140571356644992 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20144] ppid=20131 vsize=14090948 memory=2967864 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20144/stat : 20144 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940465 14429130752 741966 33554432000 4194304 4196468 140736368848976 140571355593296 140571884451739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20145] ppid=20131 vsize=14090948 memory=2968376 CPUtime=2.62 cores=1,3,5,7
/proc/20134/task/20145/stat : 20145 (java) S 20131 20134 19620 0 -1 1077944384 9103 0 0 0 260 2 0 0 20 0 15 0 271940465 14429130752 741966 33554432000 4194304 4196468 140736368848976 140571354540144 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20146] ppid=20131 vsize=14090948 memory=4132 CPUtime=3.01 cores=1,3,5,7
/proc/20134/task/20146/stat : 20146 (java) S 20131 20134 19620 0 -1 1077944384 9647 0 0 0 300 1 0 0 20 0 15 0 271940465 14429130752 741966 33554432000 4194304 4196468 140736368848976 140571353487344 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20147] ppid=20131 vsize=14090948 memory=2967864 CPUtime=1.01 cores=1,3,5,7
/proc/20134/task/20147/stat : 20147 (java) S 20131 20134 19620 0 -1 1077944384 10696 0 0 0 98 3 0 0 20 0 15 0 271940465 14429130752 741966 33554432000 4194304 4196468 140736368848976 140571352435056 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20148] ppid=20131 vsize=14090948 memory=2967864 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20148/stat : 20148 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940466 14429130752 741966 33554432000 4194304 4196468 140736368848976 140571351382496 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20149] ppid=20131 vsize=14090948 memory=2968376 CPUtime=1.34 cores=1,3,5,7
/proc/20134/task/20149/stat : 20149 (java) S 20131 20134 19620 0 -1 1077944384 1720 0 0 0 57 77 0 0 20 0 15 0 271940466 14429130752 741966 33554432000 4194304 4196468 140736368848976 140571350330288 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
Current children cumulated CPU time: 2477.23 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2967864 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2484.5 s]
/proc/loadavg: 1.38 1.42 1.42 3/219 20318
/proc/meminfo: memFree=21717268/32770624 swapFree=67108856/67108860
[pid=20134] ppid=20131 vsize=14090948 memory=2965300 CPUtime=2520.04 cores=1,3,5,7
/proc/20134/stat : 20134 (java) S 20131 20134 19620 0 -1 1077944320 301630 0 0 0 251667 337 0 0 20 0 15 0 271940460 14429130752 741325 33554432000 4194304 4196468 140736368848976 140736368831520 140571884433143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
/proc/20134/statm: 3522737 741325 3608 1 0 3484809 0
[pid=20134/tid=20136] ppid=20131 vsize=14090948 memory=2965300 CPUtime=2466.56 cores=1,3,5,7
/proc/20134/task/20136/stat : 20136 (java) R 20131 20134 19620 0 -1 4202560 97282 0 0 0 246587 69 0 0 20 0 15 0 271940460 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571888671232 140571482175759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20137] ppid=20131 vsize=14090948 memory=2965300 CPUtime=10.24 cores=1,3,5,7
/proc/20134/task/20137/stat : 20137 (java) S 20131 20134 19620 0 -1 1077944384 39411 0 0 0 976 48 0 0 20 0 15 0 271940461 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571799501200 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20138] ppid=20131 vsize=14090948 memory=2965300 CPUtime=10.26 cores=1,3,5,7
/proc/20134/task/20138/stat : 20138 (java) S 20131 20134 19620 0 -1 1077944384 34202 0 0 0 975 51 0 0 20 0 15 0 271940461 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571798448400 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20139] ppid=20131 vsize=14090948 memory=0 CPUtime=10.21 cores=1,3,5,7
/proc/20134/task/20139/stat : 20139 (java) S 20131 20134 19620 0 -1 1077944384 35673 0 0 0 975 46 0 0 20 0 15 0 271940461 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571477797520 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20140] ppid=20131 vsize=14090948 memory=2965300 CPUtime=10.23 cores=1,3,5,7
/proc/20134/task/20140/stat : 20140 (java) S 20131 20134 19620 0 -1 1077944384 33996 0 0 0 973 50 0 0 20 0 15 0 271940461 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571476744720 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20141] ppid=20131 vsize=14090948 memory=2965300 CPUtime=4.45 cores=1,3,5,7
/proc/20134/task/20141/stat : 20141 (java) S 20131 20134 19620 0 -1 1077944384 28439 0 0 0 413 32 0 0 20 0 15 0 271940462 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571358751344 140571884444290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20142] ppid=20131 vsize=14090948 memory=2965300 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20142/stat : 20142 (java) S 20131 20134 19620 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 271940463 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571357697376 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20143] ppid=20131 vsize=14090948 memory=3488 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20143/stat : 20143 (java) S 20131 20134 19620 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 271940463 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571356644992 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20144] ppid=20131 vsize=14090948 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20144/stat : 20144 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940465 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571355593296 140571884451739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20145] ppid=20131 vsize=14090948 memory=2424 CPUtime=2.62 cores=1,3,5,7
/proc/20134/task/20145/stat : 20145 (java) S 20131 20134 19620 0 -1 1077944384 9107 0 0 0 260 2 0 0 20 0 15 0 271940465 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571354540144 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20146] ppid=20131 vsize=14090948 memory=4132 CPUtime=3.01 cores=1,3,5,7
/proc/20134/task/20146/stat : 20146 (java) S 20131 20134 19620 0 -1 1077944384 9651 0 0 0 300 1 0 0 20 0 15 0 271940465 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571353487344 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20147] ppid=20131 vsize=14090948 memory=6436 CPUtime=1.01 cores=1,3,5,7
/proc/20134/task/20147/stat : 20147 (java) S 20131 20134 19620 0 -1 1077944384 10700 0 0 0 98 3 0 0 20 0 15 0 271940465 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571352435056 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20148] ppid=20131 vsize=14090948 memory=2966324 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20148/stat : 20148 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940466 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571351382496 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20149] ppid=20131 vsize=14090948 memory=2967864 CPUtime=1.36 cores=1,3,5,7
/proc/20134/task/20149/stat : 20149 (java) S 20131 20134 19620 0 -1 1077944384 1751 0 0 0 58 78 0 0 20 0 15 0 271940466 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571350330288 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2965300 KiB

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

[startup+2484.52 s]
# the end of solver process 20134 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.69 s, system=3.39257 s

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

[startup+2484.5 s]
/proc/loadavg: 1.38 1.42 1.42 3/219 20318
/proc/meminfo: memFree=21717268/32770624 swapFree=67108856/67108860
[pid=20134] ppid=20131 vsize=14090948 memory=2965300 CPUtime=2520.04 cores=1,3,5,7
/proc/20134/stat : 20134 (java) S 20131 20134 19620 0 -1 1077944320 301630 0 0 0 251667 337 0 0 20 0 15 0 271940460 14429130752 741325 33554432000 4194304 4196468 140736368848976 140736368831520 140571884433143 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
/proc/20134/statm: 3522737 741325 3608 1 0 3484809 0
[pid=20134/tid=20136] ppid=20131 vsize=14090948 memory=2965300 CPUtime=2466.56 cores=1,3,5,7
/proc/20134/task/20136/stat : 20136 (java) R 20131 20134 19620 0 -1 4202560 97282 0 0 0 246587 69 0 0 20 0 15 0 271940460 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571888671232 140571482175759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20137] ppid=20131 vsize=14090948 memory=2965300 CPUtime=10.24 cores=1,3,5,7
/proc/20134/task/20137/stat : 20137 (java) S 20131 20134 19620 0 -1 1077944384 39411 0 0 0 976 48 0 0 20 0 15 0 271940461 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571799501200 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20138] ppid=20131 vsize=14090948 memory=2965300 CPUtime=10.26 cores=1,3,5,7
/proc/20134/task/20138/stat : 20138 (java) S 20131 20134 19620 0 -1 1077944384 34202 0 0 0 975 51 0 0 20 0 15 0 271940461 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571798448400 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20139] ppid=20131 vsize=14090948 memory=0 CPUtime=10.21 cores=1,3,5,7
/proc/20134/task/20139/stat : 20139 (java) S 20131 20134 19620 0 -1 1077944384 35673 0 0 0 975 46 0 0 20 0 15 0 271940461 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571477797520 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20140] ppid=20131 vsize=14090948 memory=2965300 CPUtime=10.23 cores=1,3,5,7
/proc/20134/task/20140/stat : 20140 (java) S 20131 20134 19620 0 -1 1077944384 33996 0 0 0 973 50 0 0 20 0 15 0 271940461 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571476744720 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20141] ppid=20131 vsize=14090948 memory=2965300 CPUtime=4.45 cores=1,3,5,7
/proc/20134/task/20141/stat : 20141 (java) S 20131 20134 19620 0 -1 1077944384 28439 0 0 0 413 32 0 0 20 0 15 0 271940462 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571358751344 140571884444290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20142] ppid=20131 vsize=14090948 memory=2965300 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20142/stat : 20142 (java) S 20131 20134 19620 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 271940463 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571357697376 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20143] ppid=20131 vsize=14090948 memory=3488 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20143/stat : 20143 (java) S 20131 20134 19620 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 271940463 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571356644992 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20144] ppid=20131 vsize=14090948 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20144/stat : 20144 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940465 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571355593296 140571884451739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20145] ppid=20131 vsize=14090948 memory=2424 CPUtime=2.62 cores=1,3,5,7
/proc/20134/task/20145/stat : 20145 (java) S 20131 20134 19620 0 -1 1077944384 9107 0 0 0 260 2 0 0 20 0 15 0 271940465 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571354540144 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20146] ppid=20131 vsize=14090948 memory=4132 CPUtime=3.01 cores=1,3,5,7
/proc/20134/task/20146/stat : 20146 (java) S 20131 20134 19620 0 -1 1077944384 9651 0 0 0 300 1 0 0 20 0 15 0 271940465 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571353487344 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20147] ppid=20131 vsize=14090948 memory=6436 CPUtime=1.01 cores=1,3,5,7
/proc/20134/task/20147/stat : 20147 (java) S 20131 20134 19620 0 -1 1077944384 10700 0 0 0 98 3 0 0 20 0 15 0 271940465 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571352435056 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20148] ppid=20131 vsize=14090948 memory=2966324 CPUtime=0 cores=1,3,5,7
/proc/20134/task/20148/stat : 20148 (java) S 20131 20134 19620 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271940466 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571351382496 140571884443349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
[pid=20134/tid=20149] ppid=20131 vsize=14090948 memory=2967864 CPUtime=1.36 cores=1,3,5,7
/proc/20134/task/20149/stat : 20149 (java) S 20131 20134 19620 0 -1 1077944384 1751 0 0 0 58 78 0 0 20 0 15 0 271940466 14429130752 741325 33554432000 4194304 4196468 140736368848976 140571350330288 140571884444290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30605312 140736368854089 140736368854281 140736368854281 140736368857039 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2965300 KiB

Child status: 143
Real time (s): 2484.52
CPU time (s): 2520.08
CPU user time (s): 2516.69
CPU system time (s): 3.39257
CPU usage (%): 101.431
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 3844956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.69
system time used= 3.39257
maximum resident set size= 3848120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 159540
involuntary context switches= 7596


# summary of solver processes directly reported to runsolver:
#   pid: 20134
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2516.69
#   total CPU system time (s): 3.39257

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5022 second user time and 21.9692 second system time

The end

Launcher Data 

Begin job on node132 at 2018-08-18 00:09:33
IDJOB=4311543
IDBENCH=141142
IDSOLVER=2799
FILE ID=node132/4311543-1534543773
RUNJOBID= node132-1534541041-19653
PBS_JOBID= 21038639
Free space on /tmp= 57720 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-4311543-1534543773/watcher-4311543-1534543773 -o /tmp/evaluation-result-4311543-1534543773/solver-4311543-1534543773 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534541041-19653 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 742109572 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311543-1534543773.xml

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

MD5SUM BENCH= 9a110b3288dcdd83da8fcc132ac433c6
RANDOM SEED=742109572

node132.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.65
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.65
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.65
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.65
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:        24669828 kB
MemAvailable:   31728572 kB
Buffers:          256696 kB
Cached:          7087192 kB
SwapCached:            4 kB
Active:          4316664 kB
Inactive:        3255056 kB
Active(anon):     203844 kB
Inactive(anon):    92944 kB
Active(file):    4112820 kB
Inactive(file):  3162112 kB
Unevictable:        6968 kB
Mlocked:            6968 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:             36132 kB
Writeback:             0 kB
AnonPages:        365868 kB
Mapped:            34856 kB
Shmem:             66204 kB
Slab:             227744 kB
SReclaimable:     199296 kB
SUnreclaim:        28448 kB
KernelStack:        3856 kB
PageTables:         5792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1227876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 57684 MiB
End job on node132 at 2018-08-18 00:50:58