Trace number 4307807

Some explanations

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

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

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

Solver answer on this benchmark

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

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.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 1330762290
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
8.09/3.32	c Parsing done, starting search...
8.79/3.61	o 1081
9.31/3.82	o 1080
9.31/3.82	o 1079
9.31/3.84	o 1078
10.42/4.60	o 1077
10.57/4.78	o 1076
10.69/4.89	o 1075
10.82/4.90	o 1074
10.82/4.92	o 1073
11.17/5.24	o 1070
11.27/5.32	o 1068
11.52/5.54	o 1067
11.77/5.79	o 1066
11.87/5.88	o 1065
11.97/5.92	o 1063
12.08/6.08	o 1061
12.48/6.44	o 1060
12.57/6.50	o 1058
12.79/6.70	o 1057
12.79/6.72	o 1056
13.10/7.02	o 1054
13.10/7.03	o 1051
13.29/7.22	o 1050
13.39/7.38	o 1049
13.50/7.46	o 1047
13.50/7.48	o 1046
13.60/7.59	o 1045
14.11/8.04	o 1044
14.21/8.12	o 1043
14.32/8.25	o 1041
14.43/8.36	o 1040
14.72/8.69	o 1039
14.82/8.79	o 1037
15.03/8.98	o 1035
15.24/9.12	o 1033
15.34/9.22	o 1031
15.34/9.23	o 1030
15.44/9.40	o 1028
15.95/9.62	o 1027
16.05/9.78	o 1023
16.25/9.99	o 1022
16.36/10.10	o 1021
16.55/10.21	o 1020
16.55/10.25	o 1018
16.96/10.60	o 1017
16.96/10.65	o 1014
17.07/10.78	o 1013
17.19/10.82	o 1012
17.30/10.95	o 1011
17.30/11.01	o 1010
17.60/11.29	o 1009
17.70/11.39	o 1007
17.94/11.52	o 1004
18.04/11.67	o 1003
18.14/11.72	o 1000
18.24/11.82	o 998
18.34/11.92	o 996
18.45/12.08	o 995
18.74/12.30	o 994
18.84/12.40	o 993
18.94/12.59	o 992
19.04/12.61	o 991
19.14/12.72	o 990
19.14/12.72	o 989
19.14/12.76	o 988
19.35/12.95	o 987
19.46/13.06	o 985
19.56/13.15	o 983
19.75/13.38	o 982
19.85/13.42	o 975
19.95/13.59	o 972
20.05/13.61	o 970
20.05/13.68	o 969
20.25/13.89	o 967
20.70/14.23	o 966
20.82/14.32	o 964
20.82/14.39	o 960
21.02/14.53	o 959
21.02/14.57	o 958
21.12/14.65	o 957
21.27/14.73	o 956
21.27/14.78	o 955
21.49/14.90	o 954
21.49/14.91	o 952
21.49/14.92	o 951
21.79/15.20	o 949
21.79/15.26	o 948
22.29/15.72	o 947
22.29/15.77	o 946
22.39/15.85	o 945
22.49/15.93	o 943
22.60/16.06	o 941
23.17/16.57	o 940
23.17/16.59	o 939
23.40/16.61	o 938
23.40/16.61	o 937
23.70/16.98	o 936
23.81/17.06	o 935
23.81/17.08	o 934
23.81/17.10	o 933
24.00/17.22	o 932
24.00/17.29	o 930
24.10/17.38	o 929
24.10/17.39	o 928
24.40/17.66	o 927
24.60/17.81	o 926
24.60/17.83	o 925
25.00/18.26	o 924
25.10/18.36	o 923
25.26/18.48	o 922
25.36/18.51	o 920
25.36/18.53	o 918
25.66/18.85	o 916
25.76/18.95	o 914
25.97/19.11	o 913
26.06/19.21	o 910
26.16/19.32	o 909
26.16/19.34	o 908
26.26/19.43	o 907
26.56/19.73	o 906
26.66/19.82	o 904
26.66/19.89	o 903
26.76/19.97	o 901
26.87/20.07	o 900
26.97/20.14	o 899
26.97/20.19	o 896
27.06/20.25	o 895
27.26/20.41	o 894
27.26/20.44	o 891
27.36/20.52	o 890
27.36/20.59	o 889
27.46/20.67	o 887
27.46/20.68	o 886
27.76/20.94	o 885
27.97/21.14	o 884
27.97/21.20	o 883
28.16/21.36	o 880
28.26/21.49	o 878
28.57/21.71	o 877
28.57/21.72	o 876
28.67/21.80	o 875
28.98/22.17	o 874
29.07/22.21	o 873
29.17/22.32	o 872
29.27/22.41	o 868
29.37/22.57	o 867
29.37/22.58	o 866
29.47/22.62	o 865
29.67/22.80	o 864
29.88/23.02	o 863
29.88/23.07	o 862
30.17/23.40	o 861
30.27/23.43	o 859
30.37/23.55	o 858
30.47/23.63	o 856
30.57/23.74	o 854
30.88/24.03	o 853
31.18/24.32	o 849
31.18/24.32	o 848
31.18/24.33	o 845
31.28/24.40	o 844
31.38/24.54	o 843
31.38/24.57	o 842
31.38/24.59	o 839
31.48/24.67	o 837
31.88/25.10	o 835
32.47/25.63	o 834
32.47/25.69	o 833
32.57/25.74	o 832
32.68/25.82	o 831
32.78/25.95	o 830
32.78/25.98	o 829
33.17/26.34	o 828
33.28/26.41	o 826
33.38/26.52	o 824
33.38/26.53	o 822
33.47/26.62	o 821
33.57/26.75	o 820
33.78/26.93	o 819
33.89/27.04	o 817
33.89/27.08	o 816
33.89/27.08	o 815
33.98/27.14	o 814
33.98/27.18	o 812
34.48/27.64	o 811
34.48/27.68	o 810
34.58/27.72	o 809
34.69/27.82	o 808
34.69/27.89	o 807
34.89/28.01	o 805
35.08/28.23	o 803
35.18/28.30	o 802
35.18/28.31	o 801
35.18/28.36	o 799
35.29/28.45	o 798
35.59/28.73	o 797
35.69/28.80	o 796
35.78/28.95	o 795
35.90/29.04	o 794
36.00/29.11	o 793
36.09/29.22	o 792
36.19/29.32	o 791
36.19/29.37	o 790
36.38/29.54	o 789
36.49/29.62	o 787
36.49/29.62	o 786
36.59/29.70	o 785
36.59/29.72	o 784
36.59/29.78	o 783
36.59/29.78	o 781
37.07/30.03	o 780
37.07/30.06	o 779
37.17/30.14	o 778
37.26/30.24	o 777
37.26/30.30	o 775
37.36/30.36	o 773
37.46/30.45	o 772
37.56/30.55	o 771
37.87/30.83	o 770
37.87/30.90	o 769
37.97/30.95	o 768
37.97/30.98	o 767
38.07/31.04	o 765
38.17/31.17	o 764
38.17/31.17	o 763
38.27/31.26	o 762
38.27/31.28	o 761
38.36/31.32	o 760
38.36/31.34	o 759
38.47/31.41	o 758
38.57/31.52	o 757
38.57/31.56	o 756
38.87/31.89	o 755
38.97/31.97	o 753
39.18/32.14	o 751
39.27/32.21	o 750
39.37/32.31	o 748
39.37/32.39	o 747
39.49/32.49	o 746
39.59/32.57	o 745
39.69/32.61	o 744
39.69/32.65	o 743
39.69/32.67	o 742
39.69/32.68	o 741
39.69/32.69	o 740
39.69/32.69	o 739
39.91/32.81	o 738
40.01/32.90	o 737
40.01/32.96	o 736
40.13/33.04	o 735
40.13/33.05	o 733
40.32/33.20	o 732
40.32/33.27	o 731
40.52/33.45	o 729
40.52/33.45	o 728
40.62/33.51	o 727
40.62/33.53	o 725
40.62/33.59	o 724
40.93/33.81	o 723
41.03/33.93	o 722
41.14/34.03	o 720
41.14/34.06	o 719
41.24/34.18	o 718
41.43/34.35	o 716
41.53/34.46	o 713
41.63/34.54	o 712
41.83/34.75	o 711
41.83/34.76	o 710
41.93/34.81	o 709
42.14/35.03	o 708
42.24/35.12	o 707
42.24/35.15	o 706
42.24/35.17	o 705
42.33/35.28	o 704
42.43/35.33	o 703
42.53/35.44	o 702
42.63/35.50	o 701
42.63/35.55	o 698
42.73/35.66	o 697
42.83/35.71	o 695
42.93/35.86	o 694
43.14/36.05	o 693
43.24/36.15	o 692
43.24/36.18	o 691
43.33/36.29	o 690
43.33/36.30	o 689
43.43/36.30	o 688
43.53/36.49	o 687
43.63/36.56	o 686
43.73/36.65	o 685
43.73/36.67	o 684
43.73/36.69	o 683
43.84/36.75	o 682
43.94/36.88	o 681
44.04/36.95	o 680
44.04/36.98	o 679
44.15/37.08	o 677
44.25/37.12	o 676
44.25/37.17	o 675
44.25/37.20	o 674
44.44/37.35	o 673
44.54/37.40	o 672
44.54/37.41	o 671
44.54/37.46	o 670
44.74/37.65	o 669
44.74/37.69	o 668
44.94/37.85	o 667
44.94/37.88	o 666
45.15/38.01	o 665
45.15/38.07	o 664
45.25/38.19	o 663
45.34/38.27	o 662
45.34/38.29	o 661
45.44/38.32	o 660
45.54/38.44	o 659
45.74/38.65	o 658
45.84/38.71	o 656
45.84/38.78	o 655
45.94/38.90	o 654
46.15/39.01	o 653
46.25/39.11	o 652
46.25/39.18	o 651
46.34/39.20	o 650
46.44/39.35	o 649
46.54/39.43	o 648
46.64/39.50	o 647
46.64/39.57	o 646
46.64/39.58	o 644
46.64/39.58	o 643
46.74/39.64	o 642
46.74/39.66	o 641
46.84/39.73	o 640
46.84/39.74	o 639
47.10/39.97	o 638
47.10/39.99	o 637
47.31/40.18	o 636
47.40/40.25	o 635
47.50/40.34	o 634
47.60/40.42	o 631
47.60/40.42	o 629
47.60/40.48	o 628
47.70/40.50	o 627
47.70/40.58	o 626
47.80/40.65	o 625
47.90/40.71	o 624
47.90/40.72	o 623
47.90/40.80	o 622
48.00/40.86	o 621
48.10/40.96	o 620
48.20/41.05	o 619
48.20/41.10	o 617
48.40/41.28	o 616
48.50/41.33	o 615
48.60/41.46	o 614
48.70/41.50	o 613
48.80/41.69	o 612
48.90/41.77	o 611
49.00/41.84	o 610
49.10/41.93	o 608
49.10/41.94	o 607
49.20/42.02	o 605
49.31/42.12	o 604
49.31/42.13	o 602
49.40/42.28	o 601
49.50/42.31	o 599
49.70/42.58	o 598
49.80/42.66	o 597
49.80/42.66	o 596
49.90/42.76	o 595
50.00/42.85	o 594
50.00/42.86	o 593
50.10/42.96	o 592
50.21/43.01	o 591
50.21/43.07	o 589
50.21/43.08	o 588
50.31/43.14	o 587
50.40/43.24	o 586
50.40/43.25	o 585
50.51/43.31	o 584
50.61/43.44	o 583
50.71/43.53	o 582
50.71/43.57	o 581
50.91/43.71	o 580
51.01/43.88	o 579
51.12/43.95	o 578
51.12/43.96	o 577
51.33/44.13	o 576
51.42/44.22	o 575
51.42/44.23	o 574
51.52/44.36	o 573
51.62/44.40	o 572
51.62/44.49	o 571
51.72/44.50	o 569
51.72/44.55	o 568
51.82/44.62	o 567
51.82/44.65	o 566
51.82/44.65	o 565
51.92/44.75	o 564
51.92/44.76	o 562
52.02/44.81	o 561
52.02/44.82	o 560
52.12/44.93	o 559
52.12/45.00	o 558
52.33/45.18	o 557
52.42/45.25	o 555
52.52/45.35	o 554
52.62/45.41	o 553
52.62/45.44	o 552
52.72/45.58	o 551
52.82/45.61	o 550
52.82/45.69	o 549
52.92/45.79	o 548
53.02/45.80	o 547
53.22/46.03	o 546
53.22/46.09	o 545
53.22/46.09	o 544
53.32/46.13	o 543
53.41/46.28	o 542
53.61/46.48	o 541
53.71/46.55	o 540
53.71/46.59	o 539
53.92/46.74	o 538
54.02/46.81	o 537
54.02/46.83	o 536
54.02/46.89	o 535
54.32/47.12	o 534
54.41/47.21	o 533
54.41/47.29	o 532
54.51/47.32	o 531
54.61/47.43	o 528
54.61/47.48	o 527
54.71/47.57	o 526
55.01/47.80	o 524
55.01/47.89	o 523
55.11/47.94	o 521
55.22/48.03	o 520
55.22/48.07	o 518
55.32/48.13	o 517
55.32/48.14	o 516
55.42/48.25	o 515
55.52/48.38	o 514
55.62/48.44	o 512
55.82/48.63	o 511
55.92/48.75	o 510
55.92/48.78	o 509
56.02/48.84	o 508
56.02/48.85	o 507
56.12/48.91	o 506
56.23/49.10	o 505
56.32/49.17	o 503
56.41/49.24	o 502
56.41/49.26	o 501
56.62/49.46	o 498
56.62/49.48	o 497
56.72/49.56	o 496
56.92/49.73	o 495
57.02/49.81	o 494
57.02/49.85	o 493
57.12/49.94	o 492
57.22/50.07	o 491
57.33/50.15	o 490
57.33/50.19	o 489
57.62/50.40	o 488
57.62/50.46	o 487
57.72/50.52	o 486
57.81/50.60	o 485
57.81/50.67	o 484
57.92/50.71	o 483
58.01/50.80	o 482
58.01/50.86	o 481
58.12/50.98	o 480
58.12/50.99	o 479
58.22/51.08	o 478
58.22/51.10	o 477
58.33/51.13	o 476
58.42/51.28	o 475
58.52/51.35	o 474
58.62/51.43	o 473
58.72/51.53	o 471
58.92/51.71	o 468
59.23/52.09	o 467
59.33/52.11	o 466
59.52/52.37	o 465
59.52/52.38	o 464
59.72/52.53	o 462
59.92/52.75	o 461
60.02/52.82	o 460
60.02/52.83	o 459
60.23/53.01	o 458
60.23/53.10	o 457
60.33/53.13	o 456
60.33/53.17	o 455
60.52/53.34	o 454
60.62/53.41	o 452
60.72/53.50	o 451
60.82/53.61	o 450
60.82/53.65	o 449
61.02/53.84	o 448
61.13/53.94	o 447
61.13/53.99	o 446
61.23/54.10	o 445
61.36/54.14	o 444
61.55/54.31	o 443
61.55/54.39	o 442
61.55/54.39	o 441
61.85/54.60	o 440
61.85/54.67	o 439
61.95/54.75	o 438
62.05/54.83	o 437
62.15/54.91	o 436
62.15/54.97	o 434
62.26/55.03	o 433
62.26/55.07	o 432
62.37/55.15	o 431
62.46/55.20	o 430
62.56/55.32	o 429
62.56/55.38	o 428
62.66/55.44	o 427
62.66/55.45	o 426
62.86/55.61	o 425
62.86/55.66	o 424
62.95/55.74	o 423
63.05/55.82	o 422
63.05/55.89	o 421
63.16/55.90	o 420
63.26/56.01	o 419
63.26/56.09	o 418
63.36/56.16	o 417
63.36/56.19	o 416
63.45/56.25	o 415
63.45/56.27	o 414
63.55/56.32	o 413
63.55/56.35	o 412
63.65/56.44	o 411
63.75/56.52	o 410
63.85/56.62	o 409
63.85/56.64	o 408
63.95/56.72	o 407
64.16/56.91	o 406
64.16/56.93	o 405
64.16/56.94	o 404
64.27/57.06	o 403
64.27/57.09	o 402
64.37/57.15	o 401
64.37/57.16	o 400
64.46/57.24	o 399
64.46/57.24	o 398
64.56/57.30	o 397
64.56/57.37	o 396
64.66/57.42	o 395
64.66/57.42	o 394
64.66/57.46	o 393
64.66/57.47	o 392
64.86/57.64	o 391
64.96/57.72	o 390
64.96/57.75	o 389
64.96/57.77	o 388
65.06/57.84	o 387
65.16/57.93	o 385
65.27/58.01	o 384
65.27/58.03	o 383
65.46/58.22	o 382
65.46/58.28	o 381
65.56/58.35	o 380
65.66/58.42	o 379
65.76/58.50	o 378
65.76/58.53	o 377
65.76/58.58	o 376
65.86/58.67	o 375
65.96/58.73	o 374
65.96/58.78	o 373
66.06/58.82	o 372
66.06/58.87	o 371
66.16/58.95	o 370
66.27/59.04	o 369
66.27/59.10	o 368
66.46/59.20	o 366
66.46/59.21	o 365
66.56/59.33	o 364
66.76/59.52	o 363
66.76/59.59	o 362
66.86/59.64	o 361
66.97/59.73	o 360
66.97/59.79	o 359
67.07/59.81	o 358
67.17/59.90	o 357
67.17/59.90	o 355
67.28/60.01	o 354
67.38/60.11	o 353
67.38/60.17	o 351
67.47/60.26	o 350
67.57/60.34	o 349
67.67/60.40	o 348
67.67/60.43	o 347
67.77/60.56	o 346
68.07/60.82	o 344
68.17/60.98	o 343
68.28/61.05	o 342
68.28/61.10	o 341
68.38/61.19	o 340
68.47/61.27	o 339
68.57/61.32	o 338
68.57/61.39	o 337
68.67/61.47	o 336
68.77/61.54	o 335
68.77/61.59	o 334
68.87/61.60	o 333
68.87/61.69	o 332
68.97/61.71	o 331
68.97/61.76	o 328
68.97/61.79	o 327
69.07/61.87	o 326
69.17/61.92	o 325
69.38/62.12	o 324
69.38/62.14	o 323
69.38/62.19	o 322
69.47/62.29	o 321
69.57/62.38	o 320
69.67/62.45	o 319
69.77/62.51	o 318
69.77/62.59	o 317
69.87/62.65	o 316
69.97/62.72	o 315
69.97/62.76	o 314
70.07/62.83	o 313
70.07/62.86	o 312
70.07/62.89	o 311
70.17/62.98	o 310
70.28/63.03	o 309
70.28/63.09	o 308
70.38/63.13	o 307
70.38/63.15	o 306
70.47/63.22	o 305
70.67/63.43	o 304
70.77/63.50	o 303
70.77/63.54	o 302
70.87/63.61	o 301
70.87/63.66	o 300
70.97/63.73	o 299
70.97/63.75	o 298
71.08/63.81	o 297
71.08/63.88	o 296
71.18/63.93	o 295
71.18/63.97	o 294
71.29/64.02	o 293
71.29/64.06	o 292
71.39/64.15	o 291
71.48/64.21	o 290
71.48/64.25	o 289
71.58/64.31	o 288
71.58/64.38	o 287
71.68/64.42	o 286
71.68/64.47	o 285
71.78/64.53	o 284
71.98/64.73	o 283
71.98/64.80	o 282
72.08/64.85	o 281
72.18/64.91	o 279
72.18/64.97	o 278
72.29/65.04	o 277
72.29/65.07	o 276
72.29/65.10	o 275
72.39/65.16	o 274
72.39/65.18	o 273
72.48/65.22	o 272
72.58/65.39	o 271
72.71/65.42	o 270
72.71/65.47	o 269
72.71/65.48	o 268
72.91/65.61	o 267
72.91/65.65	o 265
73.01/65.75	o 264
73.01/65.76	o 263
73.11/65.86	o 262
73.32/66.03	o 261
73.32/66.07	o 260
73.51/66.23	o 259
73.51/66.28	o 258
73.61/66.33	o 257
73.61/66.36	o 256
73.71/66.42	o 255
73.71/66.49	o 254
73.81/66.55	o 253
73.91/66.60	o 252
73.91/66.67	o 251
74.01/66.70	o 250
74.01/66.77	o 249
74.11/66.83	o 248
74.11/66.89	o 247
74.21/66.95	o 246
74.21/66.98	o 245
74.32/67.05	o 244
74.42/67.13	o 243
74.61/67.33	o 242
74.61/67.38	o 241
74.61/67.40	o 240
74.71/67.44	o 239
74.81/67.52	o 238
74.81/67.58	o 237
74.91/67.62	o 236
75.01/67.71	o 235
75.01/67.75	o 234
75.01/67.79	o 233
75.11/67.89	o 232
75.21/67.92	o 231
75.32/68.03	o 230
75.32/68.07	o 229
75.42/68.16	o 228
75.51/68.23	o 227
75.51/68.27	o 226
75.51/68.28	o 225
75.61/68.35	o 224
75.61/68.40	o 223
75.71/68.45	o 222
75.91/68.64	o 221
75.91/68.69	o 220
76.01/68.75	o 219
76.01/68.78	o 218
76.11/68.84	o 217
76.11/68.89	o 216
76.21/68.95	o 215
76.32/69.02	o 214
76.32/69.02	o 213
76.42/69.16	o 212
76.51/69.20	o 211
76.51/69.27	o 210
76.61/69.32	o 209
76.61/69.39	o 208
76.71/69.46	o 207
76.81/69.51	o 206
76.81/69.58	o 205
76.91/69.63	o 204
77.01/69.70	o 203
77.01/69.75	o 202
77.01/69.76	o 201
77.21/69.94	o 200
77.21/69.97	o 199
77.32/70.08	o 198
77.42/70.14	o 197
77.51/70.22	o 196
77.51/70.29	o 195
77.61/70.31	o 194
77.61/70.35	o 193
77.71/70.42	o 192
77.71/70.49	o 191
77.81/70.54	o 190
77.91/70.60	o 189
77.91/70.66	o 188
78.01/70.72	o 187
78.01/70.76	o 186
78.11/70.85	o 185
78.11/70.89	o 184
78.21/70.96	o 183
78.21/70.99	o 182
78.32/71.04	o 181
78.51/71.24	o 180
78.51/71.25	o 179
78.61/71.33	o 178
78.71/71.42	o 177
78.71/71.46	o 176
78.81/71.54	o 175
78.81/71.58	o 174
78.91/71.64	o 173
78.91/71.69	o 172
79.01/71.73	o 171
79.11/71.81	o 170
79.11/71.87	o 169
79.21/71.93	o 168
79.21/71.99	o 167
79.32/72.05	o 166
79.42/72.11	o 165
79.42/72.16	o 164
79.51/72.21	o 163
79.51/72.28	o 162
79.61/72.33	o 161
79.81/72.54	o 160
79.81/72.58	o 159
79.91/72.65	o 158
79.91/72.69	o 157
80.01/72.77	o 156
80.11/72.82	o 155
80.11/72.88	o 153
80.32/73.01	o 152
80.32/73.05	o 151
80.42/73.12	o 150
80.42/73.15	o 149
80.51/73.21	o 148
80.51/73.26	o 147
80.61/73.32	o 146
80.61/73.37	o 145
80.71/73.41	o 144
80.81/73.58	o 143
80.91/73.64	o 142
81.11/73.84	o 141
81.11/73.89	o 140
81.21/73.94	o 139
81.21/73.99	o 138
81.32/74.04	o 137
81.32/74.09	o 136
81.42/74.14	o 135
81.51/74.20	o 134
81.51/74.24	o 133
81.51/74.27	o 132
81.61/74.33	o 131
81.71/74.40	o 130
81.71/74.45	o 129
81.82/74.54	o 128
81.82/74.58	o 127
81.91/74.65	o 126
82.01/74.71	o 125
82.01/74.76	o 124
82.12/74.80	o 123
82.12/74.84	o 122
82.12/74.89	o 121
82.21/74.92	o 120
82.21/74.97	o 119
82.43/75.15	o 118
82.52/75.20	o 117
82.52/75.24	o 116
82.52/75.29	o 115
82.62/75.33	o 114
82.62/75.37	o 113
82.72/75.43	o 112
82.72/75.48	o 111
82.81/75.53	o 110
82.81/75.58	o 109
82.92/75.64	o 108
82.92/75.69	o 107
83.06/75.79	o 106
83.16/75.83	o 105
83.16/75.87	o 104
83.26/75.92	o 103
83.26/75.95	o 102
83.38/76.01	o 101
83.38/76.07	o 100
83.49/76.12	o 99
83.49/76.16	o 98
83.58/76.21	o 97
83.58/76.26	o 96
83.78/76.46	o 95
83.88/76.51	o 94
83.88/76.54	o 93
83.88/76.58	o 92
83.98/76.63	o 91
83.98/76.67	o 90
84.08/76.72	o 89
84.08/76.77	o 88
84.18/76.82	o 87
84.18/76.87	o 86
84.28/76.92	o 85
84.28/76.96	o 84
84.39/77.01	o 83
84.39/77.05	o 82
84.39/77.10	o 81
84.49/77.14	o 80
84.49/77.19	o 79
84.58/77.23	o 78
84.58/77.28	o 77
84.68/77.32	o 76
84.68/77.37	o 75
84.78/77.41	o 74
84.78/77.46	o 73
84.88/77.51	o 72
84.88/77.56	o 71
85.08/77.76	o 70
85.18/77.80	o 69
85.18/77.85	o 68
85.18/77.89	o 67
85.28/77.94	o 66
85.28/77.99	o 65
85.39/78.03	o 64
85.39/78.09	o 63
85.49/78.13	o 62
85.49/78.17	o 61
85.58/78.22	o 60
85.58/78.26	o 59
85.68/78.30	o 58
85.68/78.34	o 57
85.68/78.38	o 56
85.78/78.43	o 55
85.78/78.48	o 54
85.88/78.52	o 53
85.88/78.57	o 52
85.98/78.61	o 51
85.98/78.67	o 50
86.08/78.71	o 49
86.08/78.75	o 48
86.18/78.80	o 47
86.18/78.83	o 46
86.18/78.88	o 45
86.39/79.07	o 44
86.49/79.11	o 43
86.49/79.17	o 42
86.58/79.22	o 41
86.58/79.26	o 40
86.68/79.31	o 39
86.68/79.34	o 38
86.68/79.39	o 37
86.78/79.43	o 36
86.78/79.48	o 35
86.89/79.52	o 34
86.89/79.56	o 33
86.99/79.61	o 32
86.99/79.66	o 31
87.09/79.70	o 30
87.09/79.75	o 29
87.09/79.79	o 28
87.19/79.83	o 27
87.19/79.88	o 26
87.29/79.92	o 25
87.29/79.97	o 24
87.40/80.02	o 23
87.40/80.07	o 22
87.52/80.12	o 21
87.52/80.16	o 20
87.71/80.37	o 19
87.81/80.41	o 18
87.81/80.47	o 17
88.01/80.65	o 16
88.01/80.69	o 15
88.11/80.74	o 14
88.11/80.79	o 13
88.21/80.84	o 12
88.49/81.06	o 11
88.69/81.13	o 10
88.69/81.19	o 9
88.79/81.25	o 8
2520.06/2481.70	s SATISFIABLE
2520.06/2481.70	v <instantiation>
2520.06/2481.70	v 	<list>
2520.06/2481.70	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.06/2481.70	v 	</list>
2520.06/2481.70	v 	<values>
2520.06/2481.70	v 		4 0 1 0 5 2 1 0 5 0 7 2 0 8 1 2 0 6 3 8 7 1 7 7 3 7 6 1 1 8 0 4 7 6 6 1 4 0 6 3 4 7 8 8 0 8 6 8 2 5 8 5 8 7 6 0 2 2 8 2 2 2 7 0 5 0 3 0 3 4 3 4 0 4 3 3 4 3 4 4 0 3 1 3 2 8 7 3 6 8 6 6 8 5 2 2 7 6 5 6 2 7 6 6 6 0 6 1 7 1 1 0 2 0 1 2 5 1 1 5 1 1 1 4 0 1 0 2 5 4 4 3 3 7 3 6 4 5 4 7 3 3 7 7 4 3 3 8 2 4 7 0 3 1 4 5 3 6 8 8 8 0 6 0 3 3 3 6 5 5 0 5 3 8 5 5 3 3 3 3 4 4 0 8 6 6 3 4 5 1 5 4 6 3 5 5 0 3 8 5 8 3 1 1 8 6 5 0 8 0 5 8 8 6 5 5 5 4 4 5 1 0 3 0 0 4 4 1 5 8 4 1 4 3 1 3 3 3 4 6 8 6 8 5 6 3 8 6 3 6 8 8 6 6 8 8 6 6 6 6 8 5 5 0 8 2 2 1 8 2 2 8 0 0 1 1 1 0 0 1 0 4 4 5 4 4 4 5 0 3 5 4 4 3 6 3 3 6 4 0 3 8 5 4 6 0 3 1 2 1 2 2 8 2 1 1 8 5 1 2 6 8 7 2 2 6 2 7 7 7 7 2 1 3 4 1 1 2 7 7 4 4 8 4 2 4 7 4 2 1 2 6 8 1 2 7 2 7 2 2 8 1 7 7 2 7 8 2 7 8 2 4 5 4 5 7 3 1 5 2 4 4 3 8 4 7 7 2 4 2 4 7 2 2 2 8 4 8 5 5 7 5 2 7 4 7 2 4 5 5 2 8 2 2 5 1 5 2 2 1 5 1 8 2 5 7 7 2 1 2 7 1 2 1 4 4 6 4 4 4 5 5 7 6 2 5 4 4 6 4 4 7 4 4 4 2 7 2 2 2 7 7 8 3 6 4 6 3 1 5 0 3 3 3 3 3 5 5 5 6 3 5 3 8 5 4 3 4 3 4 1 3 5 6 0 5 6 4 3 4 5 1 3 1 8 6 0 1 6 3 6 0 6 0 3 7 6 6 6 0 6 6 6 0 3 7 3 0 6 6 0 3 3 3 6 6 1 6 6 6 6 1 6 6 0 6 1 6 0 0 4 6 5 0 6 0 0 6 6 8 0 6 5 6 6 6 6 1 1 3 8 0 0 0 8 6 0 3 1 0 0 6 0 3 1 0 1 1 1 5 4 5 1 6 0 0 6 5 0 0 6 0 5 6 4 6 4 6 0 3 0 4 6 6 6 1 2 5 0 0 7 7 8 8 4 8 2 8 7 8 8 8 8 7 7 8 7 2 3 7 2 8 7 7 8 1 8 2 7 2 7 8 8 8 7 8 8 8 2 3 2 0 2 5 7 7 5 5 8 2 3 5 7 8 8 5 7 7 8 3 7 2 2 2 4 5 7 5 7 5 7 2 5 2 7 2 2 7 8 3 5 5 8 3 2 8 5 2 5 7 5 5 8 5 4 4 3 4 8 4 4 7 8 8 5 2 8 4 5 5 2 4 5 7 3 2 8 3 8 8 3 7 5 8 4 4 4 2 4 5 2 2 5 4 5 4 7 4 5 5 5 7 5 3 2 2 8 7 5 2 8 4 0 1 1 2 5 0 6 1 5 5 1 0 4 4 2 1 0 4 5 8 5 1 5 5 6 6 0 0 0 1 0 4 6 1 6 6 1 6 1 4 1 1 0 4 5 6 5 4 6 0 0 4 6 1 4 0 5 1 4 1 1 6 4 6 6 6 1 1 7 1 2 1 0 1 1 6 6 6 6 1 0 6 0 6 0 1 8 6 0 4 6 1 1 0 8 8 4 4 1 0 1 1 4 1 6 1 1 8 1 1 8 1 1 1 6 0 8 0 0 1 1 8 1 1 6 1 6 4 7 0 4 4 6 1 1 6 8 6 1 6 1 6 1 6 1 0 4 6 0 1 6 1 7 7 7 7 4 4 3 2 2 2 7 5 7 7 3 7 3 3 7 3 7 3 5 3 6 6 6 3 3 2 2 7 2 6 6 3 6 7 6 3 6 3 7 4 2 0 4 2 5 7 4 5 5 2 5 2 5 2 2 2 7 3 3 3 7 3 6 3 4 4 4 6 2 4 7 5 6 3 7 7 6 2 6 7 2 0 7 7 5 4 0 7 5 4 3 5 5 7 3 2 5 5 4 7 5 0 7 3 2 0 7 7 2 5 5 0 5 2 0 2 5 3 7 7 7 7 4 4 4 5 4 4 6 5 4 6 3 3 2 6 7 6 2 7 6 2 2 5 2 3 5 7 2 2 8 7 0 2 6 3 1 
2520.06/2481.70	v 	</values>
2520.06/2481.70	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 (10943 MiB free)
  memory of node 1: 16384 MiB (13089 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307807-1534275873/watcher-4307807-1534275873 -o /tmp/evaluation-result-4307807-1534275873/solver-4307807-1534275873 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534270652-30546 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1330762290 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307807-1534275873.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
Current StackSize limit: 8192 KiB

solver pid=31170, runsolver pid=31167

[startup+0.108256 s]*
/proc/loadavg: 3.49 2.43 1.78 4/219 31185
/proc/meminfo: memFree=24592612/32770624 swapFree=67108856/67108860
[pid=31170] ppid=31167 vsize=14082736 memory=32864 CPUtime=0.13 cores=1,3,5,7
/proc/31170/stat : 31170 (java) S 31167 31170 28719 0 -1 1077944320 7157 0 0 0 11 2 0 0 20 0 15 0 245150493 14420721664 8216 33554432000 4194304 4196468 140736726931520 140736726914064 139815243976439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
/proc/31170/statm: 3520684 8216 3154 1 0 3482761 0
[pid=31170/tid=31172] ppid=31167 vsize=14082736 memory=-8629632960754257787 CPUtime=0.1 cores=1,3,5,7
/proc/31170/task/31172/stat : 31172 (java) R 31167 31170 28719 0 -1 4202560 5161 0 0 0 9 1 0 0 20 0 15 0 245150493 14420721664 8216 33554432000 4194304 4196468 140736726931520 139815248188240 139815228056926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31173] ppid=31167 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31173/stat : 31173 (java) S 31167 31170 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245150494 14420721664 8216 33554432000 4194304 4196468 140736726931520 139814839974800 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31174] ppid=31167 vsize=14082736 memory=140043011876480 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31174/stat : 31174 (java) S 31167 31170 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245150494 14420721664 8216 33554432000 4194304 4196468 140736726931520 139814838922000 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31175] ppid=31167 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31175/stat : 31175 (java) S 31167 31170 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245150494 14420721664 8216 33554432000 4194304 4196468 140736726931520 139814837869712 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31176] ppid=31167 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31176/stat : 31176 (java) S 31167 31170 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245150494 14420721664 8216 33554432000 4194304 4196468 140736726931520 139814836816912 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31177] ppid=31167 vsize=14082736 memory=140043011876480 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31177/stat : 31177 (java) S 31167 31170 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245150495 14420721664 8216 33554432000 4194304 4196468 140736726931520 139814718343280 139815243987586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31178] ppid=31167 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31178/stat : 31178 (java) S 31167 31170 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245150495 14420721664 8216 33554432000 4194304 4196468 140736726931520 139814717289248 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31179] ppid=31167 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31179/stat : 31179 (java) S 31167 31170 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245150496 14420721664 8216 33554432000 4194304 4196468 140736726931520 139814716236912 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31180] ppid=31167 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31180/stat : 31180 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14420721664 8216 33554432000 4194304 4196468 140736726931520 139814715185232 139815243995035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31181] ppid=31167 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31181/stat : 31181 (java) S 31167 31170 28719 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 245150498 14420721664 8216 33554432000 4194304 4196468 140736726931520 139814714133104 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31182] ppid=31167 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31182/stat : 31182 (java) S 31167 31170 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245150498 14420721664 8216 33554432000 4194304 4196468 140736726931520 139814713080304 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31183] ppid=31167 vsize=14082736 memory=140043011876480 CPUtime=0.01 cores=1,3,5,7
/proc/31170/task/31183/stat : 31183 (java) S 31167 31170 28719 0 -1 1077944384 303 0 0 0 1 0 0 0 20 0 15 0 245150498 14420721664 8216 33554432000 4194304 4196468 140736726931520 139814712028016 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31184] ppid=31167 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31184/stat : 31184 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14420721664 8216 33554432000 4194304 4196468 140736726931520 139814710975456 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31185] ppid=31167 vsize=14082736 memory=140043011876480 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31185/stat : 31185 (java) S 31167 31170 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245150498 14420721664 8216 33554432000 4194304 4196468 140736726931520 139814709922224 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32864 KiB

[startup+0.214931 s]*
/proc/loadavg: 3.49 2.43 1.78 5/219 31185
/proc/meminfo: memFree=24577200/32770624 swapFree=67108856/67108860
[pid=31170] ppid=31167 vsize=14082736 memory=46816 CPUtime=0.32 cores=1,3,5,7
/proc/31170/stat : 31170 (java) S 31167 31170 28719 0 -1 1077944320 10287 0 0 0 29 3 0 0 20 0 15 0 245150493 14420721664 11704 33554432000 4194304 4196468 140736726931520 140736726914064 139815243976439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
/proc/31170/statm: 3520684 11704 3408 1 0 3482761 0
[pid=31170/tid=31172] ppid=31167 vsize=14082736 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/31170/task/31172/stat : 31172 (java) R 31167 31170 28719 0 -1 4202560 7858 0 0 0 19 2 0 0 20 0 15 0 245150493 14420721664 11704 33554432000 4194304 4196468 140736726931520 139815248204976 139815243988374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31173] ppid=31167 vsize=14082736 memory=364 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31173/stat : 31173 (java) S 31167 31170 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245150494 14420721664 11704 33554432000 4194304 4196468 140736726931520 139814839974800 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31174] ppid=31167 vsize=14082736 memory=288370419163588224 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31174/stat : 31174 (java) S 31167 31170 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245150494 14420721664 11704 33554432000 4194304 4196468 140736726931520 139814838922000 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31175] ppid=31167 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31175/stat : 31175 (java) S 31167 31170 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245150494 14420721664 11704 33554432000 4194304 4196468 140736726931520 139814837869712 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31176] ppid=31167 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31176/stat : 31176 (java) S 31167 31170 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245150494 14420721664 11704 33554432000 4194304 4196468 140736726931520 139814836816912 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31177] ppid=31167 vsize=14082736 memory=140043011876480 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31177/stat : 31177 (java) S 31167 31170 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245150495 14420721664 11704 33554432000 4194304 4196468 140736726931520 139814718343280 139815243987586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31178] ppid=31167 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31178/stat : 31178 (java) S 31167 31170 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245150495 14420721664 11704 33554432000 4194304 4196468 140736726931520 139814717289248 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31179] ppid=31167 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31179/stat : 31179 (java) S 31167 31170 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245150496 14420721664 11704 33554432000 4194304 4196468 140736726931520 139814716236912 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31180] ppid=31167 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31180/stat : 31180 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14420721664 11704 33554432000 4194304 4196468 140736726931520 139814715185232 139815243995035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31181] ppid=31167 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31170/task/31181/stat : 31181 (java) S 31167 31170 28719 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 15 0 245150498 14420721664 11704 33554432000 4194304 4196468 140736726931520 139814714133104 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31182] ppid=31167 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31170/task/31182/stat : 31182 (java) S 31167 31170 28719 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 15 0 245150498 14420721664 11704 33554432000 4194304 4196468 140736726931520 139814713080304 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31183] ppid=31167 vsize=14082736 memory=140043011876480 CPUtime=0.06 cores=1,3,5,7
/proc/31170/task/31183/stat : 31183 (java) R 31167 31170 28719 0 -1 4202560 411 0 0 0 6 0 0 0 20 0 15 0 245150498 14420721664 11704 33554432000 4194304 4196468 140736726931520 139814712023056 139815222929208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31184] ppid=31167 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31184/stat : 31184 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14420721664 11704 33554432000 4194304 4196468 140736726931520 139814710975456 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31185] ppid=31167 vsize=14082736 memory=140043011876480 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31185/stat : 31185 (java) S 31167 31170 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245150498 14420721664 11704 33554432000 4194304 4196468 140736726931520 139814709922224 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46816 KiB

[startup+0.310767 s]*
/proc/loadavg: 3.29 2.41 1.78 3/219 31185
/proc/meminfo: memFree=24574036/32770624 swapFree=67108856/67108860
[pid=31170] ppid=31167 vsize=14082736 memory=50180 CPUtime=0.44 cores=1,3,5,7
/proc/31170/stat : 31170 (java) S 31167 31170 28719 0 -1 1077944320 10663 0 0 0 41 3 0 0 20 0 15 0 245150493 14420721664 12545 33554432000 4194304 4196468 140736726931520 140736726914064 139815243976439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
/proc/31170/statm: 3520684 12545 3411 1 0 3482761 0
[pid=31170/tid=31172] ppid=31167 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/31170/task/31172/stat : 31172 (java) R 31167 31170 28719 0 -1 4202560 8183 0 0 0 28 2 0 0 20 0 15 0 245150493 14420721664 12545 33554432000 4194304 4196468 140736726931520 139815248165712 139815225539977 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31173] ppid=31167 vsize=14082736 memory=4294982659 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31173/stat : 31173 (java) S 31167 31170 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245150494 14420721664 12545 33554432000 4194304 4196468 140736726931520 139814839974800 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31174] ppid=31167 vsize=14082736 memory=288370419163588224 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31174/stat : 31174 (java) S 31167 31170 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245150494 14420721664 12545 33554432000 4194304 4196468 140736726931520 139814838922000 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31175] ppid=31167 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31175/stat : 31175 (java) S 31167 31170 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245150494 14420721664 12545 33554432000 4194304 4196468 140736726931520 139814837869712 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31176] ppid=31167 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31176/stat : 31176 (java) S 31167 31170 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245150494 14420721664 12545 33554432000 4194304 4196468 140736726931520 139814836816912 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31177] ppid=31167 vsize=14082736 memory=140043011876480 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31177/stat : 31177 (java) S 31167 31170 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245150495 14420721664 12545 33554432000 4194304 4196468 140736726931520 139814718343280 139815243987586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31178] ppid=31167 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31178/stat : 31178 (java) S 31167 31170 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245150495 14420721664 12545 33554432000 4194304 4196468 140736726931520 139814717289248 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31179] ppid=31167 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31179/stat : 31179 (java) S 31167 31170 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245150496 14420721664 12545 33554432000 4194304 4196468 140736726931520 139814716236912 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31180] ppid=31167 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31180/stat : 31180 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14420721664 12545 33554432000 4194304 4196468 140736726931520 139814715185232 139815243995035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31181] ppid=31167 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31170/task/31181/stat : 31181 (java) S 31167 31170 28719 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 15 0 245150498 14420721664 12545 33554432000 4194304 4196468 140736726931520 139814714133104 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31182] ppid=31167 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31170/task/31182/stat : 31182 (java) S 31167 31170 28719 0 -1 1077944384 284 0 0 0 2 0 0 0 20 0 15 0 245150498 14420721664 12545 33554432000 4194304 4196468 140736726931520 139814713080304 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31183] ppid=31167 vsize=14082736 memory=140043011876480 CPUtime=0.08 cores=1,3,5,7
/proc/31170/task/31183/stat : 31183 (java) S 31167 31170 28719 0 -1 1077944384 444 0 0 0 8 0 0 0 20 0 15 0 245150498 14420721664 12545 33554432000 4194304 4196468 140736726931520 139814712028016 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31184] ppid=31167 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31184/stat : 31184 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14420721664 12545 33554432000 4194304 4196468 140736726931520 139814710975456 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31185] ppid=31167 vsize=14082736 memory=140043011876480 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31185/stat : 31185 (java) S 31167 31170 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245150498 14420721664 12545 33554432000 4194304 4196468 140736726931520 139814709922224 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50180 KiB

[startup+0.700748 s]
/proc/loadavg: 3.29 2.41 1.78 3/219 31185
/proc/meminfo: memFree=24549604/32770624 swapFree=67108856/67108860
[pid=31170] ppid=31167 vsize=14084804 memory=88136 CPUtime=0.99 cores=1,3,5,7
/proc/31170/stat : 31170 (java) S 31167 31170 28719 0 -1 1077944320 17434 0 0 0 94 5 0 0 20 0 15 0 245150493 14422839296 22034 33554432000 4194304 4196468 140736726931520 140736726914064 139815243976439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
/proc/31170/statm: 3521201 22034 3497 1 0 3483273 0
[pid=31170/tid=31172] ppid=31167 vsize=14084804 memory=273947107036456 CPUtime=0.67 cores=1,3,5,7
/proc/31170/task/31172/stat : 31172 (java) R 31167 31170 28719 0 -1 4202560 14508 0 0 0 63 4 0 0 20 0 15 0 245150493 14422839296 22034 33554432000 4194304 4196468 140736726931520 139815248202176 139815243998365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31173] ppid=31167 vsize=14084804 memory=3834592127481040488 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31173/stat : 31173 (java) S 31167 31170 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245150494 14422839296 22034 33554432000 4194304 4196468 140736726931520 139814839974800 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31174] ppid=31167 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31174/stat : 31174 (java) S 31167 31170 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245150494 14422839296 22034 33554432000 4194304 4196468 140736726931520 139814838922000 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31175] ppid=31167 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31175/stat : 31175 (java) S 31167 31170 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245150494 14422839296 22034 33554432000 4194304 4196468 140736726931520 139814837869712 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31176] ppid=31167 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31176/stat : 31176 (java) S 31167 31170 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245150494 14422839296 22034 33554432000 4194304 4196468 140736726931520 139814836816912 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31177] ppid=31167 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31177/stat : 31177 (java) S 31167 31170 28719 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245150495 14422839296 22034 33554432000 4194304 4196468 140736726931520 139814718343280 139815243987586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31178] ppid=31167 vsize=14084804 memory=-6079119013371405927 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31178/stat : 31178 (java) S 31167 31170 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245150495 14422839296 22034 33554432000 4194304 4196468 140736726931520 139814717289248 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31179] ppid=31167 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31179/stat : 31179 (java) S 31167 31170 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245150496 14422839296 22034 33554432000 4194304 4196468 140736726931520 139814716236912 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31180] ppid=31167 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31180/stat : 31180 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14422839296 22034 33554432000 4194304 4196468 140736726931520 139814715185232 139815243995035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31181] ppid=31167 vsize=14084804 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/31170/task/31181/stat : 31181 (java) S 31167 31170 28719 0 -1 1077944384 547 0 0 0 8 0 0 0 20 0 15 0 245150498 14422839296 22034 33554432000 4194304 4196468 140736726931520 139814714133104 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31182] ppid=31167 vsize=14084804 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/31170/task/31182/stat : 31182 (java) S 31167 31170 28719 0 -1 1077944384 424 0 0 0 6 0 0 0 20 0 15 0 245150498 14422839296 22034 33554432000 4194304 4196468 140736726931520 139814713080304 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31183] ppid=31167 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/31170/task/31183/stat : 31183 (java) S 31167 31170 28719 0 -1 1077944384 572 0 0 0 15 0 0 0 20 0 15 0 245150498 14422839296 22034 33554432000 4194304 4196468 140736726931520 139814712028016 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31184] ppid=31167 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31184/stat : 31184 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14422839296 22034 33554432000 4194304 4196468 140736726931520 139814710975456 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31185] ppid=31167 vsize=14084804 memory=36916 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31185/stat : 31185 (java) S 31167 31170 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245150498 14422839296 22034 33554432000 4194304 4196468 140736726931520 139814709922224 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88136 KiB

[startup+1.50083 s]
/proc/loadavg: 3.29 2.41 1.78 5/219 31185
/proc/meminfo: memFree=24497236/32770624 swapFree=67108856/67108860
[pid=31170] ppid=31167 vsize=14086852 memory=221936 CPUtime=3.31 cores=1,3,5,7
/proc/31170/stat : 31170 (java) S 31167 31170 28719 0 -1 1077944320 24642 0 0 0 320 11 0 0 20 0 15 0 245150493 14424936448 55484 33554432000 4194304 4196468 140736726931520 140736726914064 139815243976439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
/proc/31170/statm: 3521713 55484 3570 1 0 3483785 0
[pid=31170/tid=31172] ppid=31167 vsize=14086852 memory=3303 CPUtime=1.45 cores=1,3,5,7
/proc/31170/task/31172/stat : 31172 (java) R 31167 31170 28719 0 -1 4202560 17094 0 0 0 139 6 0 0 20 0 15 0 245150493 14424936448 55484 33554432000 4194304 4196468 140736726931520 139815248212192 139814886804452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31173] ppid=31167 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31173/stat : 31173 (java) S 31167 31170 28719 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 245150494 14424936448 55484 33554432000 4194304 4196468 140736726931520 139814839974800 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31174] ppid=31167 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31174/stat : 31174 (java) S 31167 31170 28719 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 245150494 14424936448 55484 33554432000 4194304 4196468 140736726931520 139814838922000 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31175] ppid=31167 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31175/stat : 31175 (java) S 31167 31170 28719 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 245150494 14424936448 55484 33554432000 4194304 4196468 140736726931520 139814837869712 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31176] ppid=31167 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31176/stat : 31176 (java) S 31167 31170 28719 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 245150494 14424936448 55484 33554432000 4194304 4196468 140736726931520 139814836816912 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31177] ppid=31167 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31177/stat : 31177 (java) S 31167 31170 28719 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 245150495 14424936448 55484 33554432000 4194304 4196468 140736726931520 139814718343280 139815243987586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0

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

/proc/31170/task/31172/stat : 31172 (java) R 31167 31170 28719 0 -1 4202560 97882 0 0 0 236601 72 0 0 20 0 15 0 245150493 14429130752 743694 33554432000 4194304 4196468 140736726931520 139815248214448 139814891718440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31173] ppid=31167 vsize=14090948 memory=2974776 CPUtime=10.24 cores=1,3,5,7
/proc/31170/task/31173/stat : 31173 (java) S 31167 31170 28719 0 -1 1077944384 37562 0 0 0 980 44 0 0 20 0 15 0 245150494 14429130752 743694 33554432000 4194304 4196468 140736726931520 139814839974800 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31174] ppid=31167 vsize=14090948 memory=2974776 CPUtime=10.22 cores=1,3,5,7
/proc/31170/task/31174/stat : 31174 (java) S 31167 31170 28719 0 -1 1077944384 32795 0 0 0 978 44 0 0 20 0 15 0 245150494 14429130752 743694 33554432000 4194304 4196468 140736726931520 139814838922000 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31175] ppid=31167 vsize=14090948 memory=2974776 CPUtime=10.21 cores=1,3,5,7
/proc/31170/task/31175/stat : 31175 (java) S 31167 31170 28719 0 -1 1077944384 33755 0 0 0 979 42 0 0 20 0 15 0 245150494 14429130752 743694 33554432000 4194304 4196468 140736726931520 139814837869712 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31176] ppid=31167 vsize=14090948 memory=2974776 CPUtime=10.24 cores=1,3,5,7
/proc/31170/task/31176/stat : 31176 (java) S 31167 31170 28719 0 -1 1077944384 36494 0 0 0 979 45 0 0 20 0 15 0 245150494 14429130752 743694 33554432000 4194304 4196468 140736726931520 139814836816912 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31177] ppid=31167 vsize=14090948 memory=2974776 CPUtime=3.61 cores=1,3,5,7
/proc/31170/task/31177/stat : 31177 (java) S 31167 31170 28719 0 -1 1077944384 27111 0 0 0 333 28 0 0 20 0 15 0 245150495 14429130752 743694 33554432000 4194304 4196468 140736726931520 139814718343280 139815243987586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31178] ppid=31167 vsize=14090948 memory=2974776 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31178/stat : 31178 (java) S 31167 31170 28719 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 245150495 14429130752 743694 33554432000 4194304 4196468 140736726931520 139814717289312 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31179] ppid=31167 vsize=14090948 memory=2974776 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31179/stat : 31179 (java) S 31167 31170 28719 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 245150496 14429130752 743694 33554432000 4194304 4196468 140736726931520 139814716236928 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31180] ppid=31167 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31180/stat : 31180 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14429130752 743694 33554432000 4194304 4196468 140736726931520 139814715185232 139815243995035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31181] ppid=31167 vsize=14090948 memory=140042911803352 CPUtime=2.61 cores=1,3,5,7
/proc/31170/task/31181/stat : 31181 (java) S 31167 31170 28719 0 -1 1077944384 9886 0 0 0 259 2 0 0 20 0 15 0 245150498 14429130752 743694 33554432000 4194304 4196468 140736726931520 139814714133104 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31182] ppid=31167 vsize=14090948 memory=2974776 CPUtime=2.83 cores=1,3,5,7
/proc/31170/task/31182/stat : 31182 (java) S 31167 31170 28719 0 -1 1077944384 8232 0 0 0 280 3 0 0 20 0 15 0 245150498 14429130752 743694 33554432000 4194304 4196468 140736726931520 139814713080304 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31183] ppid=31167 vsize=14090948 memory=2974776 CPUtime=1 cores=1,3,5,7
/proc/31170/task/31183/stat : 31183 (java) S 31167 31170 28719 0 -1 1077944384 9828 0 0 0 98 2 0 0 20 0 15 0 245150498 14429130752 743694 33554432000 4194304 4196468 140736726931520 139814712028016 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31184] ppid=31167 vsize=14090948 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31184/stat : 31184 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14429130752 743694 33554432000 4194304 4196468 140736726931520 139814710975456 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31185] ppid=31167 vsize=14090948 memory=7288 CPUtime=1.24 cores=1,3,5,7
/proc/31170/task/31185/stat : 31185 (java) S 31167 31170 28719 0 -1 1077944384 1615 0 0 0 56 68 0 0 20 0 15 0 245150498 14429130752 743694 33554432000 4194304 4196468 140736726931520 139814709922224 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
Current children cumulated CPU time: 2419.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2974776 KiB

[startup+2442.3 s]
/proc/loadavg: 1.41 1.45 1.49 3/218 31435
/proc/meminfo: memFree=21675116/32770624 swapFree=67108856/67108860
[pid=31170] ppid=31167 vsize=14090948 memory=2970160 CPUtime=2480.03 cores=1,3,5,7
/proc/31170/stat : 31170 (java) S 31167 31170 28719 0 -1 1077944320 299549 0 0 0 247681 322 0 0 20 0 15 0 245150493 14429130752 742540 33554432000 4194304 4196468 140736726931520 140736726914064 139815243976439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
/proc/31170/statm: 3522737 742540 3606 1 0 3484809 0
[pid=31170/tid=31172] ppid=31167 vsize=14090948 memory=2974776 CPUtime=2426.22 cores=1,3,5,7
/proc/31170/task/31172/stat : 31172 (java) R 31167 31170 28719 0 -1 4202560 98932 0 0 0 242549 73 0 0 20 0 15 0 245150493 14429130752 742540 33554432000 4194304 4196468 140736726931520 139815248214448 139814884607924 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31173] ppid=31167 vsize=14090948 memory=2974776 CPUtime=10.57 cores=1,3,5,7
/proc/31170/task/31173/stat : 31173 (java) S 31167 31170 28719 0 -1 1077944384 37871 0 0 0 1012 45 0 0 20 0 15 0 245150494 14429130752 742540 33554432000 4194304 4196468 140736726931520 139814839974800 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31174] ppid=31167 vsize=14090948 memory=2974776 CPUtime=10.56 cores=1,3,5,7
/proc/31170/task/31174/stat : 31174 (java) S 31167 31170 28719 0 -1 1077944384 33297 0 0 0 1011 45 0 0 20 0 15 0 245150494 14429130752 742540 33554432000 4194304 4196468 140736726931520 139814838922000 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31175] ppid=31167 vsize=14090948 memory=2973240 CPUtime=10.55 cores=1,3,5,7
/proc/31170/task/31175/stat : 31175 (java) S 31167 31170 28719 0 -1 1077944384 34076 0 0 0 1012 43 0 0 20 0 15 0 245150494 14429130752 742540 33554432000 4194304 4196468 140736726931520 139814837869712 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31176] ppid=31167 vsize=14090948 memory=2970160 CPUtime=10.58 cores=1,3,5,7
/proc/31170/task/31176/stat : 31176 (java) S 31167 31170 28719 0 -1 1077944384 36925 0 0 0 1012 46 0 0 20 0 15 0 245150494 14429130752 742540 33554432000 4194304 4196468 140736726931520 139814836816912 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31177] ppid=31167 vsize=14090948 memory=2970160 CPUtime=3.73 cores=1,3,5,7
/proc/31170/task/31177/stat : 31177 (java) S 31167 31170 28719 0 -1 1077944384 27434 0 0 0 344 29 0 0 20 0 15 0 245150495 14429130752 742540 33554432000 4194304 4196468 140736726931520 139814718343280 139815243987586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31178] ppid=31167 vsize=14090948 memory=2970160 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31178/stat : 31178 (java) S 31167 31170 28719 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 245150495 14429130752 742540 33554432000 4194304 4196468 140736726931520 139814717289312 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31179] ppid=31167 vsize=14090948 memory=2970160 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31179/stat : 31179 (java) S 31167 31170 28719 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 245150496 14429130752 742540 33554432000 4194304 4196468 140736726931520 139814716236928 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31180] ppid=31167 vsize=14090948 memory=2970672 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31180/stat : 31180 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14429130752 742540 33554432000 4194304 4196468 140736726931520 139814715185232 139815243995035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31181] ppid=31167 vsize=14090948 memory=2973240 CPUtime=2.61 cores=1,3,5,7
/proc/31170/task/31181/stat : 31181 (java) S 31167 31170 28719 0 -1 1077944384 9890 0 0 0 259 2 0 0 20 0 15 0 245150498 14429130752 742540 33554432000 4194304 4196468 140736726931520 139814714133104 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31182] ppid=31167 vsize=14090948 memory=2970160 CPUtime=2.83 cores=1,3,5,7
/proc/31170/task/31182/stat : 31182 (java) S 31167 31170 28719 0 -1 1077944384 8236 0 0 0 280 3 0 0 20 0 15 0 245150498 14429130752 742540 33554432000 4194304 4196468 140736726931520 139814713080304 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31183] ppid=31167 vsize=14090948 memory=2970160 CPUtime=1.01 cores=1,3,5,7
/proc/31170/task/31183/stat : 31183 (java) S 31167 31170 28719 0 -1 1077944384 9832 0 0 0 99 2 0 0 20 0 15 0 245150498 14429130752 742540 33554432000 4194304 4196468 140736726931520 139814712028016 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31184] ppid=31167 vsize=14090948 memory=2970160 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31184/stat : 31184 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14429130752 742540 33554432000 4194304 4196468 140736726931520 139814710975456 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31185] ppid=31167 vsize=14090948 memory=2970160 CPUtime=1.28 cores=1,3,5,7
/proc/31170/task/31185/stat : 31185 (java) S 31167 31170 28719 0 -1 1077944384 1641 0 0 0 58 70 0 0 20 0 15 0 245150498 14429130752 742540 33554432000 4194304 4196468 140736726931520 139814709922224 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
Current children cumulated CPU time: 2480.03 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2970160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2481.7 s]
/proc/loadavg: 1.44 1.45 1.49 3/218 31435
/proc/meminfo: memFree=21672708/32770624 swapFree=67108856/67108860
[pid=31170] ppid=31167 vsize=14090948 memory=2971440 CPUtime=2520.06 cores=1,3,5,7
/proc/31170/stat : 31170 (java) S 31167 31170 28719 0 -1 1077944320 302184 0 0 0 251679 327 0 0 20 0 15 0 245150493 14429130752 742860 33554432000 4194304 4196468 140736726931520 140736726914064 139815243976439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
/proc/31170/statm: 3522737 742860 3606 1 0 3484809 0
[pid=31170/tid=31172] ppid=31167 vsize=14090948 memory=2971440 CPUtime=2465.3 cores=1,3,5,7
/proc/31170/task/31172/stat : 31172 (java) R 31167 31170 28719 0 -1 4202560 99752 0 0 0 246457 73 0 0 20 0 15 0 245150493 14429130752 742860 33554432000 4194304 4196468 140736726931520 139815248214448 139814891756382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31173] ppid=31167 vsize=14090948 memory=2971440 CPUtime=10.78 cores=1,3,5,7
/proc/31170/task/31173/stat : 31173 (java) S 31167 31170 28719 0 -1 1077944384 38371 0 0 0 1032 46 0 0 20 0 15 0 245150494 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814839974800 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31174] ppid=31167 vsize=14090948 memory=0 CPUtime=10.77 cores=1,3,5,7
/proc/31170/task/31174/stat : 31174 (java) S 31167 31170 28719 0 -1 1077944384 33704 0 0 0 1031 46 0 0 20 0 15 0 245150494 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814838922000 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31175] ppid=31167 vsize=14090948 memory=3472328296227679313 CPUtime=10.76 cores=1,3,5,7
/proc/31170/task/31175/stat : 31175 (java) S 31167 31170 28719 0 -1 1077944384 34379 0 0 0 1033 43 0 0 20 0 15 0 245150494 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814837869712 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31176] ppid=31167 vsize=14090948 memory=2971440 CPUtime=10.78 cores=1,3,5,7
/proc/31170/task/31176/stat : 31176 (java) S 31167 31170 28719 0 -1 1077944384 37194 0 0 0 1032 46 0 0 20 0 15 0 245150494 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814836816912 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31177] ppid=31167 vsize=14090948 memory=2971440 CPUtime=3.82 cores=1,3,5,7
/proc/31170/task/31177/stat : 31177 (java) S 31167 31170 28719 0 -1 1077944384 27734 0 0 0 352 30 0 0 20 0 15 0 245150495 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814718343280 139815243987586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31178] ppid=31167 vsize=14090948 memory=2971440 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31178/stat : 31178 (java) S 31167 31170 28719 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 245150495 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814717289312 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31179] ppid=31167 vsize=14090948 memory=2971440 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31179/stat : 31179 (java) S 31167 31170 28719 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 245150496 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814716236928 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31180] ppid=31167 vsize=14090948 memory=2971440 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31180/stat : 31180 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814715185232 139815243995035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31181] ppid=31167 vsize=14090948 memory=2970160 CPUtime=2.61 cores=1,3,5,7
/proc/31170/task/31181/stat : 31181 (java) S 31167 31170 28719 0 -1 1077944384 9894 0 0 0 259 2 0 0 20 0 15 0 245150498 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814714133104 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31182] ppid=31167 vsize=14090948 memory=2971440 CPUtime=2.83 cores=1,3,5,7
/proc/31170/task/31182/stat : 31182 (java) S 31167 31170 28719 0 -1 1077944384 8240 0 0 0 280 3 0 0 20 0 15 0 245150498 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814713080304 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31183] ppid=31167 vsize=14090948 memory=2971440 CPUtime=1.01 cores=1,3,5,7
/proc/31170/task/31183/stat : 31183 (java) S 31167 31170 28719 0 -1 1077944384 9836 0 0 0 99 2 0 0 20 0 15 0 245150498 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814712028016 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31184] ppid=31167 vsize=14090948 memory=2971440 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31184/stat : 31184 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814710975456 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31185] ppid=31167 vsize=14090948 memory=0 CPUtime=1.3 cores=1,3,5,7
/proc/31170/task/31185/stat : 31185 (java) S 31167 31170 28719 0 -1 1077944384 1665 0 0 0 59 71 0 0 20 0 15 0 245150498 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814709922224 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2971440 KiB

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

[startup+2481.72 s]
# the end of solver process 31170 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.81 s, system=3.28209 s

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

[startup+2481.7 s]
/proc/loadavg: 1.44 1.45 1.49 3/218 31435
/proc/meminfo: memFree=21672708/32770624 swapFree=67108856/67108860
[pid=31170] ppid=31167 vsize=14090948 memory=2971440 CPUtime=2520.06 cores=1,3,5,7
/proc/31170/stat : 31170 (java) S 31167 31170 28719 0 -1 1077944320 302184 0 0 0 251679 327 0 0 20 0 15 0 245150493 14429130752 742860 33554432000 4194304 4196468 140736726931520 140736726914064 139815243976439 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
/proc/31170/statm: 3522737 742860 3606 1 0 3484809 0
[pid=31170/tid=31172] ppid=31167 vsize=14090948 memory=2971440 CPUtime=2465.3 cores=1,3,5,7
/proc/31170/task/31172/stat : 31172 (java) R 31167 31170 28719 0 -1 4202560 99752 0 0 0 246457 73 0 0 20 0 15 0 245150493 14429130752 742860 33554432000 4194304 4196468 140736726931520 139815248214448 139814891756382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31173] ppid=31167 vsize=14090948 memory=2971440 CPUtime=10.78 cores=1,3,5,7
/proc/31170/task/31173/stat : 31173 (java) S 31167 31170 28719 0 -1 1077944384 38371 0 0 0 1032 46 0 0 20 0 15 0 245150494 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814839974800 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31174] ppid=31167 vsize=14090948 memory=0 CPUtime=10.77 cores=1,3,5,7
/proc/31170/task/31174/stat : 31174 (java) S 31167 31170 28719 0 -1 1077944384 33704 0 0 0 1031 46 0 0 20 0 15 0 245150494 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814838922000 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31175] ppid=31167 vsize=14090948 memory=3472328296227679313 CPUtime=10.76 cores=1,3,5,7
/proc/31170/task/31175/stat : 31175 (java) S 31167 31170 28719 0 -1 1077944384 34379 0 0 0 1033 43 0 0 20 0 15 0 245150494 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814837869712 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31176] ppid=31167 vsize=14090948 memory=2971440 CPUtime=10.78 cores=1,3,5,7
/proc/31170/task/31176/stat : 31176 (java) S 31167 31170 28719 0 -1 1077944384 37194 0 0 0 1032 46 0 0 20 0 15 0 245150494 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814836816912 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31177] ppid=31167 vsize=14090948 memory=2971440 CPUtime=3.82 cores=1,3,5,7
/proc/31170/task/31177/stat : 31177 (java) S 31167 31170 28719 0 -1 1077944384 27734 0 0 0 352 30 0 0 20 0 15 0 245150495 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814718343280 139815243987586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31178] ppid=31167 vsize=14090948 memory=2971440 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31178/stat : 31178 (java) S 31167 31170 28719 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 245150495 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814717289312 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31179] ppid=31167 vsize=14090948 memory=2971440 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31179/stat : 31179 (java) S 31167 31170 28719 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 245150496 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814716236928 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31180] ppid=31167 vsize=14090948 memory=2971440 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31180/stat : 31180 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814715185232 139815243995035 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31181] ppid=31167 vsize=14090948 memory=2970160 CPUtime=2.61 cores=1,3,5,7
/proc/31170/task/31181/stat : 31181 (java) S 31167 31170 28719 0 -1 1077944384 9894 0 0 0 259 2 0 0 20 0 15 0 245150498 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814714133104 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31182] ppid=31167 vsize=14090948 memory=2971440 CPUtime=2.83 cores=1,3,5,7
/proc/31170/task/31182/stat : 31182 (java) S 31167 31170 28719 0 -1 1077944384 8240 0 0 0 280 3 0 0 20 0 15 0 245150498 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814713080304 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31183] ppid=31167 vsize=14090948 memory=2971440 CPUtime=1.01 cores=1,3,5,7
/proc/31170/task/31183/stat : 31183 (java) S 31167 31170 28719 0 -1 1077944384 9836 0 0 0 99 2 0 0 20 0 15 0 245150498 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814712028016 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31184] ppid=31167 vsize=14090948 memory=2971440 CPUtime=0 cores=1,3,5,7
/proc/31170/task/31184/stat : 31184 (java) S 31167 31170 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245150498 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814710975456 139815243986645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
[pid=31170/tid=31185] ppid=31167 vsize=14090948 memory=0 CPUtime=1.3 cores=1,3,5,7
/proc/31170/task/31185/stat : 31185 (java) S 31167 31170 28719 0 -1 1077944384 1665 0 0 0 59 71 0 0 20 0 15 0 245150498 14429130752 742860 33554432000 4194304 4196468 140736726931520 139814709922224 139815243987586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 16670720 140736726934600 140736726934793 140736726934793 140736726937551 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2971440 KiB

Child status: 143
Real time (s): 2481.72
CPU time (s): 2520.09
CPU user time (s): 2516.81
CPU system time (s): 3.28209
CPU usage (%): 101.546
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 3845516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.81
system time used= 3.28209
maximum resident set size= 3845900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302539
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 155498
involuntary context switches= 5132


# summary of solver processes directly reported to runsolver:
#   pid: 31170
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516.81
#   total CPU system time (s): 3.28209

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9278 second user time and 22.8623 second system time

The end

Launcher Data 

Begin job on node132 at 2018-08-14 21:44:33
IDJOB=4307807
IDBENCH=141142
IDSOLVER=2791
FILE ID=node132/4307807-1534275873
RUNJOBID= node132-1534270652-30546
PBS_JOBID= 21038125
Free space on /tmp= 38864 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/GraphColoring/GraphColoring-5-fullins-4_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307807-1534275873/watcher-4307807-1534275873 -o /tmp/evaluation-result-4307807-1534275873/solver-4307807-1534275873 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534270652-30546 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1330762290 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307807-1534275873.xml

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

MD5SUM BENCH= 9a110b3288dcdd83da8fcc132ac433c6
RANDOM SEED=1330762290

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:        24610416 kB
MemAvailable:   31717700 kB
Buffers:          212264 kB
Cached:          7121028 kB
SwapCached:            4 kB
Active:          4068496 kB
Inactive:        3507348 kB
Active(anon):     192452 kB
Inactive(anon):   102672 kB
Active(file):    3876044 kB
Inactive(file):  3404676 kB
Unevictable:        6984 kB
Mlocked:            6984 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:             36224 kB
Writeback:             4 kB
AnonPages:        249800 kB
Mapped:            70500 kB
Shmem:             49820 kB
Slab:             283228 kB
SReclaimable:     255024 kB
SUnreclaim:        28204 kB
KernelStack:        3600 kB
PageTables:         6252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1217956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 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= 38832 MiB
End job on node132 at 2018-08-14 22:25:55