Trace number 4455330

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
RoundingSat nolog (2)? (TO) 3602.07 3612.21

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
MD5SUM9f3f50f555350d326304759fc873d478
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark36
Best CPU time to get the best result obtained on this benchmark74.5212
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5048
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint18
Maximum length of a constraint45
Number of terms in the objective function 5048
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5048
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5048
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.79/0.82	c #variables 5048 #constraints 65280
11.76/11.81	c bounds - >= 0 @ 0.736475
11.76/11.81	c bounds 1004 >= 0 @ 8.67158
11.76/11.81	c bounds 1004 >= 1 @ 8.67296
11.76/11.81	c bounds 1004 >= 2 @ 8.6761
11.76/11.81	c bounds 1004 >= 3 @ 8.68029
11.76/11.81	c bounds 1004 >= 4 @ 8.68094
11.76/11.81	c bounds 1004 >= 5 @ 8.6852
11.76/11.81	c bounds 1004 >= 6 @ 8.68653
11.76/11.81	c bounds 1004 >= 7 @ 8.68892
11.76/11.81	c bounds 1004 >= 8 @ 8.68992
11.76/11.81	c bounds 1004 >= 9 @ 8.68992
11.76/11.81	c bounds 1004 >= 10 @ 8.69215
11.76/11.81	c bounds 1004 >= 11 @ 8.69412
11.76/11.81	c bounds 1004 >= 12 @ 8.69603
11.76/11.81	c bounds 1004 >= 13 @ 8.6969
11.76/11.81	c bounds 1004 >= 14 @ 8.69887
11.76/11.81	c bounds 1004 >= 15 @ 8.6999
11.76/11.81	c bounds 1004 >= 16 @ 8.6999
11.76/11.81	c bounds 1004 >= 17 @ 8.70244
11.76/11.81	c bounds 1004 >= 18 @ 8.70309
11.76/11.81	c bounds 1004 >= 19 @ 8.70967
11.76/11.81	c bounds 1004 >= 20 @ 8.71473
11.76/11.81	c bounds 1004 >= 21 @ 8.71837
11.76/11.81	c bounds 1004 >= 22 @ 8.72069
11.76/11.81	c bounds 1004 >= 23 @ 8.72505
11.76/11.81	c bounds 1004 >= 24 @ 8.73503
11.76/11.81	c bounds 1004 >= 25 @ 8.75081
11.76/11.81	c bounds 1004 >= 26 @ 8.82587
11.76/11.81	c bounds 1003 >= 26 @ 8.93981
11.76/11.81	c bounds 1003 >= 27 @ 9.12046
11.76/11.81	c bounds 1002 >= 27 @ 9.13179
11.76/11.81	c bounds 1001 >= 27 @ 9.14266
11.76/11.81	c bounds 1000 >= 27 @ 9.15271
11.76/11.81	c bounds 999 >= 27 @ 9.16222
11.76/11.81	c bounds 998 >= 27 @ 9.17206
11.76/11.81	c bounds 997 >= 27 @ 9.18323
11.76/11.81	c bounds 996 >= 27 @ 9.18892
11.76/11.81	c bounds 995 >= 27 @ 9.19561
11.76/11.81	c bounds 994 >= 27 @ 9.2013
11.76/11.81	c bounds 993 >= 27 @ 9.20697
11.76/11.81	c bounds 992 >= 27 @ 9.21165
11.76/11.81	c bounds 991 >= 27 @ 9.21626
11.76/11.81	c bounds 990 >= 27 @ 9.22017
11.76/11.81	c bounds 989 >= 27 @ 9.22612
11.76/11.81	c bounds 988 >= 27 @ 9.229
11.76/11.81	c bounds 987 >= 27 @ 9.23359
11.76/11.81	c bounds 986 >= 27 @ 9.24053
11.76/11.81	c bounds 985 >= 27 @ 9.2452
11.76/11.81	c bounds 984 >= 27 @ 9.24782
11.76/11.81	c bounds 983 >= 27 @ 9.2534
11.76/11.81	c bounds 982 >= 27 @ 9.25999
11.76/11.81	c bounds 981 >= 27 @ 9.26546
11.76/11.81	c bounds 980 >= 27 @ 9.26831
11.76/11.81	c bounds 979 >= 27 @ 9.27211
11.76/11.81	c bounds 978 >= 27 @ 9.27879
11.76/11.81	c bounds 977 >= 27 @ 9.28056
11.76/11.81	c bounds 976 >= 27 @ 9.28715
11.76/11.81	c bounds 975 >= 27 @ 9.29404
11.76/11.81	c bounds 974 >= 27 @ 9.30075
11.76/11.81	c bounds 973 >= 27 @ 9.30638
11.76/11.81	c bounds 972 >= 27 @ 9.31366
11.76/11.81	c bounds 971 >= 27 @ 9.31912
11.76/11.81	c bounds 970 >= 27 @ 9.32615
11.76/11.81	c bounds 969 >= 27 @ 9.33197
11.76/11.81	c bounds 968 >= 27 @ 9.33707
11.76/11.81	c bounds 967 >= 27 @ 9.34156
11.76/11.81	c bounds 966 >= 27 @ 9.34822
11.76/11.81	c bounds 965 >= 27 @ 9.35318
11.76/11.81	c bounds 964 >= 27 @ 9.36213
11.76/11.81	c #Conflicts:       1000 | #Constraints:      66524
11.76/11.81	c bounds 964 >= 28 @ 10.2067
11.76/11.81	c bounds 963 >= 28 @ 10.2242
11.76/11.81	c bounds 962 >= 28 @ 10.236
11.76/11.81	c bounds 961 >= 28 @ 10.2444
11.76/11.81	c bounds 960 >= 28 @ 10.2535
11.76/11.81	c bounds 959 >= 28 @ 10.2579
11.76/11.81	c bounds 958 >= 28 @ 10.2659
11.76/11.81	c bounds 957 >= 28 @ 10.2758
11.76/11.81	c bounds 956 >= 28 @ 10.2886
11.76/11.81	c bounds 955 >= 28 @ 10.3022
11.76/11.81	c bounds 954 >= 28 @ 10.3113
11.76/11.81	c bounds 953 >= 28 @ 10.3208
11.76/11.81	c bounds 952 >= 28 @ 10.331
11.76/11.81	c bounds 951 >= 28 @ 10.342
11.76/11.81	c bounds 950 >= 28 @ 10.3499
11.76/11.81	c bounds 949 >= 28 @ 10.3554
11.76/11.81	c bounds 948 >= 28 @ 10.3644
11.76/11.81	c bounds 947 >= 28 @ 10.3704
11.76/11.81	c bounds 946 >= 28 @ 10.379
11.76/11.81	c bounds 945 >= 28 @ 10.3868
11.76/11.81	c bounds 944 >= 28 @ 10.3995
11.76/11.81	c bounds 943 >= 28 @ 10.408
11.76/11.81	c bounds 942 >= 28 @ 10.4176
11.76/11.81	c bounds 941 >= 28 @ 10.4269
11.76/11.81	c bounds 940 >= 28 @ 10.4361
11.76/11.81	c bounds 939 >= 28 @ 10.4429
11.76/11.81	c bounds 938 >= 28 @ 10.448
11.76/11.81	c bounds 937 >= 28 @ 10.4561
11.76/11.81	c bounds 936 >= 28 @ 10.463
11.76/11.81	c bounds 935 >= 28 @ 10.4723
11.76/11.81	c bounds 934 >= 28 @ 10.4824
11.76/11.81	c bounds 933 >= 28 @ 10.4893
11.76/11.81	c bounds 932 >= 28 @ 10.5007
11.76/11.81	c bounds 931 >= 28 @ 10.5085
11.76/11.81	c bounds 930 >= 28 @ 10.5148
11.76/11.81	c bounds 929 >= 28 @ 10.5227
11.76/11.81	c bounds 928 >= 28 @ 10.5306
11.76/11.81	c bounds 927 >= 28 @ 10.5411
11.76/11.81	c bounds 926 >= 28 @ 10.5489
11.76/11.81	c bounds 925 >= 28 @ 10.56
11.76/11.81	c bounds 924 >= 28 @ 10.571
11.76/11.81	c bounds 923 >= 28 @ 10.5792
11.76/11.81	c bounds 922 >= 28 @ 10.5871
11.76/11.81	c bounds 921 >= 28 @ 10.5946
11.76/11.81	c bounds 920 >= 28 @ 10.6041
11.76/11.81	c bounds 919 >= 28 @ 10.6139
11.76/11.81	c bounds 918 >= 28 @ 10.625
11.76/11.81	c bounds 917 >= 28 @ 10.6321
11.76/11.81	c bounds 916 >= 28 @ 10.6389
11.76/11.81	c bounds 915 >= 28 @ 10.6487
11.76/11.81	c bounds 914 >= 28 @ 10.6575
11.76/11.81	c bounds 913 >= 28 @ 10.6656
11.76/11.81	c bounds 912 >= 28 @ 10.6717
11.76/11.81	c bounds 911 >= 28 @ 10.6799
11.76/11.81	c bounds 910 >= 28 @ 10.6912
11.76/11.81	c bounds 909 >= 28 @ 10.7046
11.76/11.81	c bounds 908 >= 28 @ 10.7159
11.76/11.81	c bounds 907 >= 28 @ 10.724
11.76/11.81	c bounds 906 >= 28 @ 10.732
11.76/11.81	c bounds 905 >= 28 @ 10.7414
11.76/11.81	c bounds 904 >= 28 @ 10.7521
11.76/11.81	c bounds 903 >= 28 @ 10.7608
11.76/11.81	c bounds 902 >= 28 @ 10.771
11.76/11.81	c bounds 901 >= 28 @ 10.7795
11.76/11.81	c bounds 900 >= 28 @ 10.7894
11.76/11.81	c bounds 899 >= 28 @ 10.7982
11.76/11.81	c bounds 898 >= 28 @ 10.8062
11.76/11.81	c bounds 897 >= 28 @ 10.8164
11.76/11.81	c bounds 896 >= 28 @ 10.8252
11.76/11.81	c bounds 895 >= 28 @ 10.8344
11.76/11.81	c bounds 894 >= 28 @ 10.8404
732.08/734.13	c bounds 893 >= 28 @ 10.8464
732.08/734.13	c bounds 892 >= 28 @ 10.8541
732.08/734.13	c bounds 891 >= 28 @ 10.8617
732.08/734.13	c bounds 890 >= 28 @ 10.8677
732.08/734.13	c bounds 889 >= 28 @ 10.8795
732.08/734.13	c bounds 888 >= 28 @ 10.8902
732.08/734.13	c bounds 887 >= 28 @ 10.9005
732.08/734.13	c bounds 886 >= 28 @ 10.9106
732.08/734.13	c bounds 885 >= 28 @ 10.9177
732.08/734.13	c bounds 884 >= 28 @ 10.9263
732.08/734.13	c bounds 883 >= 28 @ 10.936
732.08/734.13	c bounds 882 >= 28 @ 10.9472
732.08/734.13	c bounds 881 >= 28 @ 10.9564
732.08/734.13	c bounds 880 >= 28 @ 10.9663
732.08/734.13	c bounds 879 >= 28 @ 10.9745
732.08/734.13	c bounds 878 >= 28 @ 10.9813
732.08/734.13	c bounds 877 >= 28 @ 10.989
732.08/734.13	c bounds 876 >= 28 @ 10.996
732.08/734.13	c bounds 875 >= 28 @ 11.0051
732.08/734.13	c bounds 874 >= 28 @ 11.0168
732.08/734.13	c bounds 873 >= 28 @ 11.0265
732.08/734.13	c bounds 872 >= 28 @ 11.0333
732.08/734.13	c bounds 871 >= 28 @ 11.0409
732.08/734.13	c bounds 870 >= 28 @ 11.05
732.08/734.13	c bounds 869 >= 28 @ 11.0574
732.08/734.13	c bounds 868 >= 28 @ 11.0656
732.08/734.13	c bounds 867 >= 28 @ 11.0718
732.08/734.13	c bounds 866 >= 28 @ 11.0813
732.08/734.13	c bounds 865 >= 28 @ 11.0875
732.08/734.13	c bounds 864 >= 28 @ 11.0972
732.08/734.13	c bounds 863 >= 28 @ 11.109
732.08/734.13	c bounds 862 >= 28 @ 11.1163
732.08/734.13	c bounds 861 >= 28 @ 11.1242
732.08/734.13	c bounds 860 >= 28 @ 11.1334
732.08/734.13	c bounds 859 >= 28 @ 11.1405
732.08/734.13	c bounds 858 >= 28 @ 11.1505
732.08/734.13	c bounds 857 >= 28 @ 11.1586
732.08/734.13	c bounds 856 >= 28 @ 11.1663
732.08/734.13	c bounds 855 >= 28 @ 11.1779
732.08/734.13	c bounds 854 >= 28 @ 11.1885
732.08/734.13	c bounds 853 >= 28 @ 11.1942
732.08/734.13	c bounds 852 >= 28 @ 11.2057
732.08/734.13	c bounds 851 >= 28 @ 11.2115
732.08/734.13	c bounds 850 >= 28 @ 11.2183
732.08/734.13	c bounds 849 >= 28 @ 11.2272
732.08/734.13	c bounds 848 >= 28 @ 11.2358
732.08/734.13	c bounds 847 >= 28 @ 11.2455
732.08/734.13	c bounds 846 >= 28 @ 11.2529
732.08/734.13	c bounds 845 >= 28 @ 11.2621
732.08/734.13	c bounds 844 >= 28 @ 11.2721
732.08/734.13	c bounds 843 >= 28 @ 11.2797
732.08/734.13	c bounds 842 >= 28 @ 11.2901
732.08/734.13	c bounds 841 >= 28 @ 11.2968
732.08/734.13	c bounds 840 >= 28 @ 11.3036
732.08/734.13	c bounds 839 >= 28 @ 11.3155
732.08/734.13	c bounds 838 >= 28 @ 11.3252
732.08/734.13	c bounds 837 >= 28 @ 11.3311
732.08/734.13	c bounds 836 >= 28 @ 11.3378
732.08/734.13	c bounds 835 >= 28 @ 11.3466
732.08/734.13	c bounds 834 >= 28 @ 11.3557
732.08/734.13	c bounds 833 >= 28 @ 11.3627
732.08/734.13	c bounds 832 >= 28 @ 11.3729
732.08/734.13	c bounds 831 >= 28 @ 11.3797
732.08/734.13	c bounds 830 >= 28 @ 11.3883
732.08/734.13	c bounds 829 >= 28 @ 11.3972
732.08/734.13	c bounds 828 >= 28 @ 11.4057
732.08/734.13	c bounds 827 >= 28 @ 11.4122
732.08/734.13	c bounds 826 >= 28 @ 11.4193
732.08/734.13	c bounds 825 >= 28 @ 11.4306
732.08/734.13	c #Conflicts:       2000 | #Constraints:      67696
732.08/734.13	c INPROCESSING
732.08/734.13	c GARBAGE COLLECT
732.08/734.13	c bounds 824 >= 28 @ 729.546
732.08/734.13	c bounds 823 >= 28 @ 729.554
732.08/734.13	c bounds 822 >= 28 @ 729.562
732.08/734.13	c bounds 821 >= 28 @ 729.57
732.08/734.13	c bounds 820 >= 28 @ 729.581
732.08/734.13	c bounds 819 >= 28 @ 729.587
732.08/734.13	c bounds 818 >= 28 @ 729.597
732.08/734.13	c bounds 817 >= 28 @ 729.606
732.08/734.13	c bounds 816 >= 28 @ 729.616
732.08/734.13	c bounds 815 >= 28 @ 729.623
732.08/734.13	c bounds 814 >= 28 @ 729.631
732.08/734.13	c bounds 813 >= 28 @ 729.641
732.08/734.13	c bounds 812 >= 28 @ 729.648
732.08/734.13	c bounds 811 >= 28 @ 729.657
732.08/734.13	c bounds 810 >= 28 @ 729.666
732.08/734.13	c bounds 809 >= 28 @ 729.675
732.08/734.13	c bounds 808 >= 28 @ 729.683
732.08/734.13	c bounds 807 >= 28 @ 729.696
732.08/734.13	c bounds 806 >= 28 @ 729.706
732.08/734.13	c bounds 805 >= 28 @ 729.715
732.08/734.13	c bounds 804 >= 28 @ 729.726
732.08/734.13	c bounds 803 >= 28 @ 729.735
732.08/734.13	c bounds 802 >= 28 @ 729.746
732.08/734.13	c bounds 801 >= 28 @ 729.754
732.08/734.13	c bounds 800 >= 28 @ 729.763
732.08/734.13	c bounds 799 >= 28 @ 729.77
732.08/734.13	c bounds 798 >= 28 @ 729.777
732.08/734.13	c bounds 797 >= 28 @ 729.787
732.08/734.13	c bounds 796 >= 28 @ 729.794
732.08/734.13	c bounds 795 >= 28 @ 729.8
732.08/734.13	c bounds 794 >= 28 @ 729.806
732.08/734.13	c bounds 793 >= 28 @ 729.811
732.08/734.13	c bounds 792 >= 28 @ 729.818
732.08/734.13	c bounds 791 >= 28 @ 729.824
732.08/734.13	c bounds 790 >= 28 @ 729.831
732.08/734.13	c bounds 789 >= 28 @ 729.836
732.08/734.13	c bounds 788 >= 28 @ 729.842
732.08/734.13	c bounds 787 >= 28 @ 729.849
732.08/734.13	c bounds 786 >= 28 @ 729.857
732.08/734.13	c bounds 785 >= 28 @ 729.866
732.08/734.13	c bounds 784 >= 28 @ 729.873
732.08/734.13	c bounds 783 >= 28 @ 729.882
732.08/734.13	c bounds 782 >= 28 @ 729.888
732.08/734.13	c bounds 781 >= 28 @ 729.898
732.08/734.13	c bounds 780 >= 28 @ 729.906
732.08/734.13	c bounds 779 >= 28 @ 729.914
732.08/734.13	c bounds 778 >= 28 @ 729.922
732.08/734.13	c bounds 777 >= 28 @ 729.927
732.08/734.13	c bounds 776 >= 28 @ 729.934
732.08/734.13	c bounds 775 >= 28 @ 729.943
732.08/734.13	c bounds 774 >= 28 @ 729.951
732.08/734.13	c bounds 773 >= 28 @ 729.959
732.08/734.13	c bounds 772 >= 28 @ 729.965
732.08/734.13	c bounds 771 >= 28 @ 729.974
732.08/734.13	c bounds 770 >= 28 @ 729.98
732.08/734.13	c bounds 769 >= 28 @ 729.988
732.08/734.13	c bounds 768 >= 28 @ 729.993
732.08/734.13	c bounds 767 >= 28 @ 730
732.08/734.13	c bounds 766 >= 28 @ 730.005
732.08/734.13	c bounds 765 >= 28 @ 730.013
732.08/734.13	c bounds 764 >= 28 @ 730.022
732.08/734.13	c bounds 763 >= 28 @ 730.029
732.08/734.13	c bounds 762 >= 28 @ 730.036
732.08/734.13	c bounds 761 >= 28 @ 730.044
732.08/734.13	c bounds 760 >= 28 @ 730.051
732.08/734.13	c bounds 759 >= 28 @ 730.058
732.08/734.13	c bounds 758 >= 28 @ 730.069
732.08/734.13	c bounds 757 >= 28 @ 730.076
732.08/734.13	c bounds 756 >= 28 @ 730.085
732.08/734.13	c bounds 755 >= 28 @ 730.094
737.25/739.39	c bounds 754 >= 28 @ 730.101
737.25/739.39	c bounds 753 >= 28 @ 730.109
737.25/739.39	c bounds 752 >= 28 @ 730.118
737.25/739.39	c bounds 751 >= 28 @ 730.124
737.25/739.39	c bounds 750 >= 28 @ 730.132
737.25/739.39	c bounds 749 >= 28 @ 730.138
737.25/739.39	c bounds 748 >= 28 @ 730.143
737.25/739.39	c bounds 747 >= 28 @ 730.149
737.25/739.39	c bounds 746 >= 28 @ 730.154
737.25/739.39	c bounds 745 >= 28 @ 730.16
737.25/739.39	c bounds 744 >= 28 @ 730.168
737.25/739.39	c bounds 743 >= 28 @ 730.173
737.25/739.39	c bounds 742 >= 28 @ 730.179
737.25/739.39	c bounds 741 >= 28 @ 730.187
737.25/739.39	c bounds 740 >= 28 @ 730.196
737.25/739.39	c bounds 739 >= 28 @ 730.202
737.25/739.39	c bounds 738 >= 28 @ 730.21
737.25/739.39	c bounds 737 >= 28 @ 730.219
737.25/739.39	c bounds 736 >= 28 @ 730.228
737.25/739.39	c bounds 735 >= 28 @ 730.235
737.25/739.39	c bounds 734 >= 28 @ 730.245
737.25/739.39	c bounds 733 >= 28 @ 730.252
737.25/739.39	c bounds 732 >= 28 @ 730.257
737.25/739.39	c bounds 731 >= 28 @ 730.265
737.25/739.39	c bounds 730 >= 28 @ 730.272
737.25/739.39	c bounds 729 >= 28 @ 730.275
737.25/739.39	c bounds 728 >= 28 @ 730.282
737.25/739.39	c bounds 727 >= 28 @ 730.287
737.25/739.39	c bounds 726 >= 28 @ 730.295
737.25/739.39	c bounds 725 >= 28 @ 730.301
737.25/739.39	c bounds 724 >= 28 @ 730.304
737.25/739.39	c bounds 723 >= 28 @ 730.311
737.25/739.39	c bounds 722 >= 28 @ 730.319
737.25/739.39	c bounds 721 >= 28 @ 730.326
737.25/739.39	c bounds 720 >= 28 @ 730.335
737.25/739.39	c bounds 719 >= 28 @ 730.344
737.25/739.39	c bounds 718 >= 28 @ 730.357
737.25/739.39	c bounds 717 >= 28 @ 730.366
737.25/739.39	c bounds 716 >= 28 @ 730.376
737.25/739.39	c bounds 715 >= 28 @ 730.384
737.25/739.39	c bounds 714 >= 28 @ 730.393
737.25/739.39	c bounds 713 >= 28 @ 730.4
737.25/739.39	c bounds 712 >= 28 @ 730.409
737.25/739.39	c bounds 711 >= 28 @ 730.415
737.25/739.39	c bounds 710 >= 28 @ 730.422
737.25/739.39	c bounds 709 >= 28 @ 730.43
737.25/739.39	c bounds 708 >= 28 @ 730.437
737.25/739.39	c bounds 707 >= 28 @ 730.444
737.25/739.39	c bounds 706 >= 28 @ 730.454
737.25/739.39	c bounds 705 >= 28 @ 730.465
737.25/739.39	c bounds 704 >= 28 @ 730.473
737.25/739.39	c bounds 703 >= 28 @ 730.482
737.25/739.39	c bounds 702 >= 28 @ 730.491
737.25/739.39	c bounds 701 >= 28 @ 730.499
737.25/739.39	c bounds 700 >= 28 @ 730.508
737.25/739.39	c bounds 699 >= 28 @ 730.514
737.25/739.39	c bounds 698 >= 28 @ 730.523
737.25/739.39	c bounds 697 >= 28 @ 730.532
737.25/739.39	c bounds 696 >= 28 @ 730.542
737.25/739.39	c bounds 695 >= 28 @ 730.548
737.25/739.39	c #Conflicts:       3000 | #Constraints:      67648
737.25/739.39	c #Conflicts:       4000 | #Constraints:      68648
737.25/739.39	c INPROCESSING
737.25/739.39	c GARBAGE COLLECT
737.25/739.39	c bounds 694 >= 28 @ 733.54
737.25/739.39	c bounds 693 >= 28 @ 733.551
737.25/739.39	c bounds 692 >= 28 @ 733.569
737.25/739.39	c bounds 691 >= 28 @ 733.588
737.25/739.39	c bounds 690 >= 28 @ 733.604
737.25/739.39	c bounds 689 >= 28 @ 733.619
737.25/739.39	c bounds 688 >= 28 @ 733.633
737.25/739.39	c bounds 687 >= 28 @ 733.646
737.25/739.39	c bounds 686 >= 28 @ 733.659
737.25/739.39	c bounds 685 >= 28 @ 733.675
737.25/739.39	c bounds 684 >= 28 @ 733.686
737.25/739.39	c bounds 683 >= 28 @ 733.699
737.25/739.39	c bounds 682 >= 28 @ 733.711
737.25/739.39	c bounds 681 >= 28 @ 733.723
737.25/739.39	c bounds 680 >= 28 @ 733.737
737.25/739.39	c bounds 679 >= 28 @ 733.746
737.25/739.39	c bounds 678 >= 28 @ 733.756
737.25/739.39	c bounds 677 >= 28 @ 733.766
737.25/739.39	c bounds 676 >= 28 @ 733.774
737.25/739.39	c bounds 675 >= 28 @ 733.783
737.25/739.39	c bounds 674 >= 28 @ 733.793
737.25/739.39	c bounds 673 >= 28 @ 733.806
737.25/739.39	c bounds 672 >= 28 @ 733.821
737.25/739.39	c bounds 671 >= 28 @ 733.836
737.25/739.39	c bounds 670 >= 28 @ 733.85
737.25/739.39	c bounds 669 >= 28 @ 733.863
737.25/739.39	c bounds 668 >= 28 @ 733.873
737.25/739.39	c bounds 667 >= 28 @ 733.885
737.25/739.39	c bounds 666 >= 28 @ 733.895
737.25/739.39	c bounds 665 >= 28 @ 733.907
737.25/739.39	c bounds 664 >= 28 @ 733.916
737.25/739.39	c bounds 663 >= 28 @ 733.927
737.25/739.39	c bounds 662 >= 28 @ 733.938
737.25/739.39	c bounds 661 >= 28 @ 733.947
737.25/739.39	c bounds 660 >= 28 @ 733.959
737.25/739.39	c bounds 659 >= 28 @ 733.97
737.25/739.39	c bounds 658 >= 28 @ 733.98
737.25/739.39	c bounds 657 >= 28 @ 733.992
737.25/739.39	c bounds 656 >= 28 @ 734.002
737.25/739.39	c bounds 655 >= 28 @ 734.012
737.25/739.39	c bounds 654 >= 28 @ 734.023
737.25/739.39	c bounds 653 >= 28 @ 734.034
737.25/739.39	c bounds 652 >= 28 @ 734.045
737.25/739.39	c bounds 651 >= 28 @ 734.055
737.25/739.39	c bounds 650 >= 28 @ 734.067
737.25/739.39	c bounds 649 >= 28 @ 734.077
737.25/739.39	c bounds 648 >= 28 @ 734.087
737.25/739.39	c bounds 647 >= 28 @ 734.097
737.25/739.39	c bounds 646 >= 28 @ 734.11
737.25/739.39	c bounds 645 >= 28 @ 734.123
737.25/739.39	c bounds 644 >= 28 @ 734.137
737.25/739.39	c bounds 643 >= 28 @ 734.153
737.25/739.39	c bounds 642 >= 28 @ 734.166
737.25/739.39	c bounds 641 >= 28 @ 734.176
737.25/739.39	c bounds 640 >= 28 @ 734.189
737.25/739.39	c bounds 639 >= 28 @ 734.202
737.25/739.39	c bounds 638 >= 28 @ 734.214
737.25/739.39	c bounds 637 >= 28 @ 734.223
737.25/739.39	c bounds 636 >= 28 @ 734.237
737.25/739.39	c bounds 635 >= 28 @ 734.249
737.25/739.39	c bounds 634 >= 28 @ 734.262
737.25/739.39	c bounds 633 >= 28 @ 734.273
737.25/739.39	c bounds 632 >= 28 @ 734.282
737.25/739.39	c bounds 631 >= 28 @ 734.294
737.25/739.39	c bounds 630 >= 28 @ 734.306
737.25/739.39	c bounds 629 >= 28 @ 734.316
737.25/739.39	c bounds 628 >= 28 @ 734.326
737.25/739.39	c bounds 627 >= 28 @ 734.339
737.25/739.39	c bounds 626 >= 28 @ 734.349
737.25/739.39	c bounds 625 >= 28 @ 734.357
737.25/739.39	c bounds 624 >= 28 @ 734.366
737.25/739.39	c bounds 623 >= 28 @ 734.38
737.25/739.39	c bounds 622 >= 28 @ 734.397
737.25/739.39	c bounds 621 >= 28 @ 734.411
737.25/739.39	c bounds 620 >= 28 @ 734.427
737.25/739.39	c bounds 619 >= 28 @ 734.439
737.25/739.39	c bounds 618 >= 28 @ 734.448
739.34/741.47	c bounds 617 >= 28 @ 734.46
739.34/741.47	c bounds 616 >= 28 @ 734.474
739.34/741.47	c bounds 615 >= 28 @ 734.484
739.34/741.47	c bounds 614 >= 28 @ 734.497
739.34/741.47	c bounds 613 >= 28 @ 734.51
739.34/741.47	c bounds 612 >= 28 @ 734.522
739.34/741.47	c bounds 611 >= 28 @ 734.532
739.34/741.47	c bounds 610 >= 28 @ 734.543
739.34/741.47	c bounds 609 >= 28 @ 734.555
739.34/741.47	c bounds 608 >= 28 @ 734.564
739.34/741.47	c bounds 607 >= 28 @ 734.575
739.34/741.47	c bounds 606 >= 28 @ 734.584
739.34/741.47	c bounds 605 >= 28 @ 734.607
739.34/741.47	c bounds 604 >= 28 @ 734.619
739.34/741.47	c bounds 603 >= 28 @ 734.63
739.34/741.47	c bounds 602 >= 28 @ 734.643
739.34/741.47	c bounds 601 >= 28 @ 734.654
739.34/741.47	c bounds 600 >= 28 @ 734.668
739.34/741.47	c bounds 599 >= 28 @ 734.682
739.34/741.47	c bounds 598 >= 28 @ 734.694
739.34/741.47	c bounds 597 >= 28 @ 734.708
739.34/741.47	c bounds 596 >= 28 @ 734.717
739.34/741.47	c bounds 595 >= 28 @ 734.727
739.34/741.47	c bounds 594 >= 28 @ 734.735
739.34/741.47	c bounds 593 >= 28 @ 734.747
739.34/741.47	c bounds 592 >= 28 @ 734.758
739.34/741.47	c bounds 591 >= 28 @ 734.771
739.34/741.47	c bounds 590 >= 28 @ 734.781
739.34/741.47	c bounds 589 >= 28 @ 734.79
739.34/741.47	c bounds 588 >= 28 @ 734.799
739.34/741.47	c bounds 587 >= 28 @ 734.807
739.34/741.47	c bounds 586 >= 28 @ 734.817
739.34/741.47	c bounds 585 >= 28 @ 734.83
739.34/741.47	c bounds 584 >= 28 @ 734.844
739.34/741.47	c bounds 583 >= 28 @ 734.854
739.34/741.47	c bounds 582 >= 28 @ 734.864
739.34/741.47	c bounds 581 >= 28 @ 734.874
739.34/741.47	c bounds 580 >= 28 @ 734.884
739.34/741.47	c bounds 579 >= 28 @ 734.894
739.34/741.47	c bounds 578 >= 28 @ 734.908
739.34/741.47	c bounds 577 >= 28 @ 734.918
739.34/741.47	c bounds 576 >= 28 @ 734.928
739.34/741.47	c bounds 575 >= 28 @ 734.938
739.34/741.47	c bounds 574 >= 28 @ 734.95
739.34/741.47	c bounds 573 >= 28 @ 734.958
739.34/741.47	c bounds 572 >= 28 @ 734.969
739.34/741.47	c bounds 571 >= 28 @ 734.983
739.34/741.47	c bounds 570 >= 28 @ 734.996
739.34/741.47	c bounds 569 >= 28 @ 735.005
739.34/741.47	c bounds 568 >= 28 @ 735.016
739.34/741.47	c bounds 567 >= 28 @ 735.027
739.34/741.47	c bounds 566 >= 28 @ 735.045
739.34/741.47	c bounds 565 >= 28 @ 735.058
739.34/741.47	c bounds 564 >= 28 @ 735.069
739.34/741.47	c bounds 563 >= 28 @ 735.083
739.34/741.47	c bounds 562 >= 28 @ 735.096
739.34/741.47	c bounds 561 >= 28 @ 735.107
739.34/741.47	c bounds 560 >= 28 @ 735.118
739.34/741.47	c bounds 559 >= 28 @ 735.127
739.34/741.47	c bounds 558 >= 28 @ 735.137
739.34/741.47	c bounds 557 >= 28 @ 735.147
739.34/741.47	c bounds 556 >= 28 @ 735.156
739.34/741.47	c bounds 555 >= 28 @ 735.163
739.34/741.47	c bounds 554 >= 28 @ 735.174
739.34/741.47	c bounds 553 >= 28 @ 735.184
739.34/741.47	c bounds 552 >= 28 @ 735.198
739.34/741.47	c bounds 551 >= 28 @ 735.211
739.34/741.47	c bounds 550 >= 28 @ 735.221
739.34/741.47	c bounds 549 >= 28 @ 735.232
739.34/741.47	c bounds 548 >= 28 @ 735.242
739.34/741.47	c bounds 547 >= 28 @ 735.252
739.34/741.47	c bounds 546 >= 28 @ 735.26
739.34/741.47	c bounds 545 >= 28 @ 735.272
739.34/741.47	c bounds 544 >= 28 @ 735.281
739.34/741.47	c bounds 543 >= 28 @ 735.29
739.34/741.47	c bounds 542 >= 28 @ 735.301
739.34/741.47	c bounds 541 >= 28 @ 735.309
739.34/741.47	c bounds 540 >= 28 @ 735.317
739.34/741.47	c bounds 539 >= 28 @ 735.33
739.34/741.47	c bounds 538 >= 28 @ 735.343
739.34/741.47	c bounds 537 >= 28 @ 735.353
739.34/741.47	c bounds 536 >= 28 @ 735.364
739.34/741.47	c bounds 535 >= 28 @ 735.375
739.34/741.47	c bounds 534 >= 28 @ 735.384
739.34/741.47	c bounds 533 >= 28 @ 735.395
739.34/741.47	c bounds 532 >= 28 @ 735.405
739.34/741.47	c bounds 531 >= 28 @ 735.417
739.34/741.47	c bounds 530 >= 28 @ 735.429
739.34/741.47	c bounds 529 >= 28 @ 735.438
739.34/741.47	c bounds 528 >= 28 @ 735.448
739.34/741.47	c bounds 527 >= 28 @ 735.459
739.34/741.47	c bounds 526 >= 28 @ 735.475
739.34/741.47	c bounds 525 >= 28 @ 735.489
739.34/741.47	c bounds 524 >= 28 @ 735.507
739.34/741.47	c bounds 523 >= 28 @ 735.521
739.34/741.47	c bounds 522 >= 28 @ 735.532
739.34/741.47	c bounds 521 >= 28 @ 735.545
739.34/741.47	c bounds 520 >= 28 @ 735.556
739.34/741.47	c bounds 519 >= 28 @ 735.566
739.34/741.47	c bounds 518 >= 28 @ 735.574
739.34/741.47	c bounds 517 >= 28 @ 735.585
739.34/741.47	c bounds 516 >= 28 @ 735.592
739.34/741.47	c bounds 515 >= 28 @ 735.602
739.34/741.47	c bounds 514 >= 28 @ 735.611
739.34/741.47	c bounds 513 >= 28 @ 735.624
739.34/741.47	c bounds 512 >= 28 @ 735.636
739.34/741.47	c bounds 511 >= 28 @ 735.646
739.34/741.47	c bounds 510 >= 28 @ 735.66
739.34/741.47	c bounds 509 >= 28 @ 735.671
739.34/741.47	c bounds 508 >= 28 @ 735.677
739.34/741.47	c bounds 507 >= 28 @ 735.686
739.34/741.47	c bounds 506 >= 28 @ 735.699
739.34/741.47	c bounds 505 >= 28 @ 735.706
739.34/741.47	c bounds 504 >= 28 @ 735.717
739.34/741.47	c bounds 503 >= 28 @ 735.729
739.34/741.47	c bounds 502 >= 28 @ 735.74
739.34/741.47	c bounds 501 >= 28 @ 735.752
739.34/741.47	c bounds 500 >= 28 @ 735.763
739.34/741.47	c bounds 499 >= 28 @ 735.774
739.34/741.47	c bounds 498 >= 28 @ 735.784
739.34/741.47	c bounds 497 >= 28 @ 735.79
739.34/741.47	c bounds 496 >= 28 @ 735.801
739.34/741.47	c bounds 495 >= 28 @ 735.813
739.34/741.47	c bounds 494 >= 28 @ 735.824
739.34/741.47	c bounds 493 >= 28 @ 735.833
739.34/741.47	c bounds 492 >= 28 @ 735.842
739.34/741.47	c bounds 491 >= 28 @ 735.854
739.34/741.47	c bounds 490 >= 28 @ 735.864
739.34/741.47	c bounds 489 >= 28 @ 735.877
739.34/741.47	c bounds 488 >= 28 @ 735.885
739.34/741.47	c bounds 487 >= 28 @ 735.894
739.34/741.47	c bounds 486 >= 28 @ 735.905
739.34/741.47	c bounds 485 >= 28 @ 735.916
739.34/741.47	c bounds 484 >= 28 @ 735.923
739.34/741.47	c bounds 483 >= 28 @ 735.932
739.34/741.47	c bounds 482 >= 28 @ 735.944
739.34/741.47	c bounds 481 >= 28 @ 735.953
739.34/741.47	c bounds 480 >= 28 @ 735.966
739.34/741.47	c bounds 479 >= 28 @ 735.977
739.34/741.47	c bounds 478 >= 28 @ 735.988
739.34/741.47	c bounds 477 >= 28 @ 736.001
741.24/743.31	c bounds 476 >= 28 @ 736.012
741.24/743.31	c bounds 475 >= 28 @ 736.022
741.24/743.31	c bounds 474 >= 28 @ 736.027
741.24/743.31	c bounds 473 >= 28 @ 736.036
741.24/743.31	c bounds 472 >= 28 @ 736.046
741.24/743.31	c bounds 471 >= 28 @ 736.058
741.24/743.31	c bounds 470 >= 28 @ 736.066
741.24/743.31	c bounds 469 >= 28 @ 736.078
741.24/743.31	c bounds 468 >= 28 @ 736.086
741.24/743.31	c bounds 467 >= 28 @ 736.094
741.24/743.31	c bounds 466 >= 28 @ 736.102
741.24/743.31	c bounds 465 >= 28 @ 736.111
741.24/743.31	c bounds 464 >= 28 @ 736.122
741.24/743.31	c bounds 463 >= 28 @ 736.128
741.24/743.31	c bounds 462 >= 28 @ 736.138
741.24/743.31	c bounds 461 >= 28 @ 736.145
741.24/743.31	c bounds 460 >= 28 @ 736.156
741.24/743.31	c bounds 459 >= 28 @ 736.164
741.24/743.31	c bounds 458 >= 28 @ 736.174
741.24/743.31	c bounds 457 >= 28 @ 736.182
741.24/743.31	c bounds 456 >= 28 @ 736.19
741.24/743.31	c bounds 455 >= 28 @ 736.199
741.24/743.31	c bounds 454 >= 28 @ 736.208
741.24/743.31	c bounds 453 >= 28 @ 736.219
741.24/743.31	c bounds 452 >= 28 @ 736.228
741.24/743.31	c bounds 451 >= 28 @ 736.234
741.24/743.31	c bounds 450 >= 28 @ 736.243
741.24/743.31	c bounds 449 >= 28 @ 736.253
741.24/743.31	c bounds 448 >= 28 @ 736.263
741.24/743.31	c bounds 447 >= 28 @ 736.272
741.24/743.31	c bounds 446 >= 28 @ 736.282
741.24/743.31	c bounds 445 >= 28 @ 736.292
741.24/743.31	c bounds 444 >= 28 @ 736.3
741.24/743.31	c bounds 443 >= 28 @ 736.309
741.24/743.31	c bounds 442 >= 28 @ 736.318
741.24/743.31	c bounds 441 >= 28 @ 736.327
741.24/743.31	c bounds 440 >= 28 @ 736.336
741.24/743.31	c bounds 439 >= 28 @ 736.347
741.24/743.31	c bounds 438 >= 28 @ 736.356
741.24/743.31	c bounds 437 >= 28 @ 736.364
741.24/743.31	c bounds 436 >= 28 @ 736.375
741.24/743.31	c bounds 435 >= 28 @ 736.383
741.24/743.31	c bounds 434 >= 28 @ 736.392
741.24/743.31	c bounds 433 >= 28 @ 736.399
741.24/743.31	c bounds 432 >= 28 @ 736.407
741.24/743.31	c bounds 431 >= 28 @ 736.417
741.24/743.31	c bounds 430 >= 28 @ 736.426
741.24/743.31	c bounds 429 >= 28 @ 736.432
741.24/743.31	c bounds 428 >= 28 @ 736.438
741.24/743.31	c bounds 427 >= 28 @ 736.448
741.24/743.31	c bounds 426 >= 28 @ 736.463
741.24/743.31	c bounds 425 >= 28 @ 736.482
741.24/743.31	c bounds 424 >= 28 @ 736.492
741.24/743.31	c bounds 423 >= 28 @ 736.504
741.24/743.31	c bounds 422 >= 28 @ 736.517
741.24/743.31	c bounds 421 >= 28 @ 736.532
741.24/743.31	c bounds 420 >= 28 @ 736.54
741.24/743.31	c bounds 419 >= 28 @ 736.55
741.24/743.31	c bounds 418 >= 28 @ 736.562
741.24/743.31	c bounds 417 >= 28 @ 736.572
741.24/743.31	c bounds 416 >= 28 @ 736.58
741.24/743.31	c bounds 415 >= 28 @ 736.591
741.24/743.31	c bounds 414 >= 28 @ 736.601
741.24/743.31	c bounds 413 >= 28 @ 736.613
741.24/743.31	c bounds 412 >= 28 @ 736.623
741.24/743.31	c bounds 411 >= 28 @ 736.632
741.24/743.31	c bounds 410 >= 28 @ 736.643
741.24/743.31	c bounds 409 >= 28 @ 736.653
741.24/743.31	c bounds 408 >= 28 @ 736.665
741.24/743.31	c bounds 407 >= 28 @ 736.676
741.24/743.31	c bounds 406 >= 28 @ 736.684
741.24/743.31	c bounds 405 >= 28 @ 736.695
741.24/743.31	c bounds 404 >= 28 @ 736.705
741.24/743.31	c bounds 403 >= 28 @ 736.716
741.24/743.31	c bounds 402 >= 28 @ 736.727
741.24/743.31	c bounds 401 >= 28 @ 736.735
741.24/743.31	c bounds 400 >= 28 @ 736.743
741.24/743.31	c bounds 399 >= 28 @ 736.755
741.24/743.31	c bounds 398 >= 28 @ 736.764
741.24/743.31	c bounds 397 >= 28 @ 736.774
741.24/743.31	c bounds 396 >= 28 @ 736.785
741.24/743.31	c bounds 395 >= 28 @ 736.793
741.24/743.31	c bounds 394 >= 28 @ 736.798
741.24/743.31	c bounds 393 >= 28 @ 736.809
741.24/743.31	c bounds 392 >= 28 @ 736.815
741.24/743.31	c bounds 391 >= 28 @ 736.823
741.24/743.31	c bounds 390 >= 28 @ 736.83
741.24/743.31	c bounds 389 >= 28 @ 736.839
741.24/743.31	c bounds 388 >= 28 @ 736.846
741.24/743.31	c bounds 387 >= 28 @ 736.855
741.24/743.31	c bounds 386 >= 28 @ 736.865
741.24/743.31	c bounds 385 >= 28 @ 736.871
741.24/743.31	c bounds 384 >= 28 @ 736.882
741.24/743.31	c bounds 383 >= 28 @ 736.891
741.24/743.31	c bounds 382 >= 28 @ 736.9
741.24/743.31	c bounds 381 >= 28 @ 736.908
741.24/743.31	c bounds 380 >= 28 @ 736.917
741.24/743.31	c bounds 379 >= 28 @ 736.926
741.24/743.31	c bounds 378 >= 28 @ 736.933
741.24/743.31	c bounds 377 >= 28 @ 736.941
741.24/743.31	c bounds 376 >= 28 @ 736.951
741.24/743.31	c bounds 375 >= 28 @ 736.959
741.24/743.31	c bounds 374 >= 28 @ 736.97
741.24/743.31	c bounds 373 >= 28 @ 736.98
741.24/743.31	c bounds 372 >= 28 @ 736.987
741.24/743.31	c bounds 371 >= 28 @ 736.999
741.24/743.31	c bounds 370 >= 28 @ 737.009
741.24/743.31	c bounds 369 >= 28 @ 737.018
741.24/743.31	c bounds 368 >= 28 @ 737.025
741.24/743.31	c bounds 367 >= 28 @ 737.033
741.24/743.31	c bounds 366 >= 28 @ 737.041
741.24/743.31	c bounds 365 >= 28 @ 737.051
741.24/743.31	c bounds 364 >= 28 @ 737.059
741.24/743.31	c bounds 363 >= 28 @ 737.066
741.24/743.31	c bounds 362 >= 28 @ 737.074
741.24/743.31	c bounds 361 >= 28 @ 737.082
741.24/743.31	c bounds 360 >= 28 @ 737.093
741.24/743.31	c bounds 359 >= 28 @ 737.103
741.24/743.31	c bounds 358 >= 28 @ 737.11
741.24/743.31	c bounds 357 >= 28 @ 737.117
741.24/743.31	c bounds 356 >= 28 @ 737.127
741.24/743.31	c bounds 355 >= 28 @ 737.135
741.24/743.31	c bounds 354 >= 28 @ 737.142
741.24/743.31	c bounds 353 >= 28 @ 737.151
741.24/743.31	c bounds 352 >= 28 @ 737.16
741.24/743.31	c bounds 351 >= 28 @ 737.168
741.24/743.31	c bounds 350 >= 28 @ 737.174
741.24/743.31	c bounds 349 >= 28 @ 737.183
741.24/743.31	c bounds 348 >= 28 @ 737.192
741.24/743.31	c bounds 347 >= 28 @ 737.199
741.24/743.31	c bounds 346 >= 28 @ 737.207
741.24/743.31	c bounds 345 >= 28 @ 737.215
741.24/743.31	c bounds 344 >= 28 @ 737.222
741.24/743.31	c bounds 343 >= 28 @ 737.23
741.24/743.31	c bounds 342 >= 28 @ 737.238
741.24/743.31	c bounds 341 >= 28 @ 737.246
741.24/743.31	c bounds 340 >= 28 @ 737.255
741.24/743.31	c bounds 339 >= 28 @ 737.263
741.24/743.31	c bounds 338 >= 28 @ 737.271
741.24/743.31	c bounds 337 >= 28 @ 737.283
741.24/743.31	c bounds 336 >= 28 @ 737.297
741.24/743.31	c bounds 335 >= 28 @ 737.306
743.23/745.31	c bounds 334 >= 28 @ 737.316
743.23/745.31	c bounds 333 >= 28 @ 737.323
743.23/745.31	c bounds 332 >= 28 @ 737.333
743.23/745.31	c bounds 331 >= 28 @ 737.341
743.23/745.31	c bounds 330 >= 28 @ 737.35
743.23/745.31	c bounds 329 >= 28 @ 737.36
743.23/745.31	c bounds 328 >= 28 @ 737.37
743.23/745.31	c bounds 327 >= 28 @ 737.377
743.23/745.31	c bounds 326 >= 28 @ 737.384
743.23/745.31	c bounds 325 >= 28 @ 737.393
743.23/745.31	c bounds 324 >= 28 @ 737.399
743.23/745.31	c bounds 323 >= 28 @ 737.403
743.23/745.31	c bounds 322 >= 28 @ 737.41
743.23/745.31	c bounds 321 >= 28 @ 737.417
743.23/745.31	c bounds 320 >= 28 @ 737.425
743.23/745.31	c bounds 319 >= 28 @ 737.433
743.23/745.31	c bounds 318 >= 28 @ 737.44
743.23/745.31	c bounds 317 >= 28 @ 737.444
743.23/745.31	c bounds 316 >= 28 @ 737.45
743.23/745.31	c bounds 315 >= 28 @ 737.457
743.23/745.31	c bounds 314 >= 28 @ 737.464
743.23/745.31	c bounds 313 >= 28 @ 737.469
743.23/745.31	c bounds 312 >= 28 @ 737.477
743.23/745.31	c bounds 311 >= 28 @ 737.487
743.23/745.31	c bounds 310 >= 28 @ 737.495
743.23/745.31	c bounds 309 >= 28 @ 737.502
743.23/745.31	c bounds 308 >= 28 @ 737.509
743.23/745.31	c bounds 307 >= 28 @ 737.515
743.23/745.31	c bounds 306 >= 28 @ 737.523
743.23/745.31	c bounds 305 >= 28 @ 737.531
743.23/745.31	c bounds 304 >= 28 @ 737.536
743.23/745.31	c bounds 303 >= 28 @ 737.542
743.23/745.31	c bounds 302 >= 28 @ 737.551
743.23/745.31	c bounds 301 >= 28 @ 737.558
743.23/745.31	c bounds 300 >= 28 @ 737.566
743.23/745.31	c bounds 299 >= 28 @ 737.572
743.23/745.31	c bounds 298 >= 28 @ 737.578
743.23/745.31	c bounds 297 >= 28 @ 737.586
743.23/745.31	c bounds 296 >= 28 @ 737.602
743.23/745.31	c bounds 295 >= 28 @ 737.609
743.23/745.31	c bounds 294 >= 28 @ 737.619
743.23/745.31	c bounds 293 >= 28 @ 737.627
743.23/745.31	c bounds 292 >= 28 @ 737.635
743.23/745.31	c bounds 291 >= 28 @ 737.642
743.23/745.31	c bounds 290 >= 28 @ 737.653
743.23/745.31	c bounds 289 >= 28 @ 737.662
743.23/745.31	c bounds 288 >= 28 @ 737.672
743.23/745.31	c bounds 287 >= 28 @ 737.681
743.23/745.31	c bounds 286 >= 28 @ 737.691
743.23/745.31	c bounds 285 >= 28 @ 737.697
743.23/745.31	c bounds 284 >= 28 @ 737.708
743.23/745.31	c bounds 283 >= 28 @ 737.716
743.23/745.31	c bounds 282 >= 28 @ 737.725
743.23/745.31	c bounds 281 >= 28 @ 737.734
743.23/745.31	c bounds 280 >= 28 @ 737.737
743.23/745.31	c bounds 279 >= 28 @ 737.745
743.23/745.31	c bounds 278 >= 28 @ 737.755
743.23/745.31	c bounds 277 >= 28 @ 737.761
743.23/745.31	c bounds 276 >= 28 @ 737.768
743.23/745.31	c bounds 275 >= 28 @ 737.775
743.23/745.31	c bounds 274 >= 28 @ 737.782
743.23/745.31	c bounds 273 >= 28 @ 737.788
743.23/745.31	c bounds 272 >= 28 @ 737.795
743.23/745.31	c bounds 271 >= 28 @ 737.805
743.23/745.31	c bounds 270 >= 28 @ 737.813
743.23/745.31	c bounds 269 >= 28 @ 737.819
743.23/745.31	c bounds 268 >= 28 @ 737.827
743.23/745.31	c bounds 267 >= 28 @ 737.836
743.23/745.31	c bounds 266 >= 28 @ 737.845
743.23/745.31	c bounds 265 >= 28 @ 737.852
743.23/745.31	c bounds 264 >= 28 @ 737.862
743.23/745.32	c bounds 263 >= 28 @ 737.869
743.23/745.32	c bounds 262 >= 28 @ 737.874
743.23/745.32	c bounds 261 >= 28 @ 737.881
743.23/745.32	c bounds 260 >= 28 @ 737.888
743.23/745.32	c bounds 259 >= 28 @ 737.898
743.23/745.32	c bounds 258 >= 28 @ 737.905
743.23/745.32	c bounds 257 >= 28 @ 737.913
743.23/745.32	c bounds 256 >= 28 @ 737.919
743.23/745.32	c bounds 255 >= 28 @ 737.925
743.23/745.32	c bounds 254 >= 28 @ 737.934
743.23/745.32	c bounds 253 >= 28 @ 737.941
743.23/745.32	c bounds 252 >= 28 @ 737.948
743.23/745.32	c bounds 251 >= 28 @ 737.954
743.23/745.32	c bounds 250 >= 28 @ 737.96
743.23/745.32	c bounds 249 >= 28 @ 737.968
743.23/745.32	c bounds 248 >= 28 @ 737.978
743.23/745.32	c bounds 247 >= 28 @ 737.989
743.23/745.32	c bounds 246 >= 28 @ 738
743.23/745.32	c bounds 245 >= 28 @ 738.009
743.23/745.32	c bounds 244 >= 28 @ 738.02
743.23/745.32	c bounds 243 >= 28 @ 738.028
743.23/745.32	c bounds 242 >= 28 @ 738.047
743.23/745.32	c bounds 241 >= 28 @ 738.065
743.23/745.32	c bounds 240 >= 28 @ 738.079
743.23/745.32	c bounds 239 >= 28 @ 738.105
743.23/745.32	c bounds 238 >= 28 @ 738.132
743.23/745.32	c bounds 237 >= 28 @ 738.143
743.23/745.32	c bounds 236 >= 28 @ 738.174
743.23/745.32	c bounds 235 >= 28 @ 738.202
743.23/745.32	c bounds 234 >= 28 @ 738.231
743.23/745.32	c bounds 233 >= 28 @ 738.248
743.23/745.32	c bounds 232 >= 28 @ 738.264
743.23/745.32	c bounds 231 >= 28 @ 738.277
743.23/745.32	c bounds 230 >= 28 @ 738.288
743.23/745.32	c bounds 229 >= 28 @ 738.298
743.23/745.32	c bounds 228 >= 28 @ 738.308
743.23/745.32	c bounds 227 >= 28 @ 738.321
743.23/745.32	c bounds 226 >= 28 @ 738.33
743.23/745.32	c bounds 225 >= 28 @ 738.339
743.23/745.32	c bounds 224 >= 28 @ 738.349
743.23/745.32	c bounds 223 >= 28 @ 738.358
743.23/745.32	c bounds 222 >= 28 @ 738.366
743.23/745.32	c bounds 221 >= 28 @ 738.376
743.23/745.32	c bounds 220 >= 28 @ 738.384
743.23/745.32	c bounds 219 >= 28 @ 738.393
743.23/745.32	c bounds 218 >= 28 @ 738.404
743.23/745.32	c bounds 217 >= 28 @ 738.412
743.23/745.32	c bounds 216 >= 28 @ 738.419
743.23/745.32	c bounds 215 >= 28 @ 738.428
743.23/745.32	c bounds 214 >= 28 @ 738.435
743.23/745.32	c bounds 213 >= 28 @ 738.443
743.23/745.32	c bounds 212 >= 28 @ 738.449
743.23/745.32	c bounds 211 >= 28 @ 738.464
743.23/745.32	c bounds 210 >= 28 @ 738.484
743.23/745.32	c bounds 209 >= 28 @ 738.505
743.23/745.32	c bounds 208 >= 28 @ 738.521
743.23/745.32	c bounds 207 >= 28 @ 738.548
743.23/745.32	c bounds 206 >= 28 @ 738.563
743.23/745.32	c bounds 205 >= 28 @ 738.577
743.23/745.32	c bounds 204 >= 28 @ 738.593
743.23/745.32	c bounds 203 >= 28 @ 738.608
743.23/745.32	c bounds 202 >= 28 @ 738.625
743.23/745.32	c bounds 201 >= 28 @ 738.642
743.23/745.32	c bounds 200 >= 28 @ 738.654
743.23/745.32	c bounds 199 >= 28 @ 738.666
743.23/745.32	c bounds 198 >= 28 @ 738.678
743.23/745.32	c bounds 197 >= 28 @ 738.697
743.23/745.32	c bounds 196 >= 28 @ 738.705
743.23/745.32	c bounds 195 >= 28 @ 738.714
743.23/745.32	c bounds 194 >= 28 @ 738.724
743.23/745.32	c bounds 193 >= 28 @ 738.73
744.63/746.75	c bounds 192 >= 28 @ 738.737
744.63/746.75	c bounds 191 >= 28 @ 738.741
744.63/746.75	c bounds 190 >= 28 @ 738.749
744.63/746.75	c bounds 189 >= 28 @ 738.759
744.63/746.75	c bounds 188 >= 28 @ 738.77
744.63/746.75	c bounds 187 >= 28 @ 738.779
744.63/746.75	c bounds 186 >= 28 @ 738.795
744.63/746.75	c bounds 185 >= 28 @ 738.805
744.63/746.75	c bounds 184 >= 28 @ 738.816
744.63/746.75	c bounds 183 >= 28 @ 738.828
744.63/746.75	c bounds 182 >= 28 @ 738.838
744.63/746.75	c bounds 181 >= 28 @ 738.852
744.63/746.75	c bounds 180 >= 28 @ 738.861
744.63/746.75	c bounds 179 >= 28 @ 738.87
744.63/746.75	c bounds 178 >= 28 @ 738.882
744.63/746.75	c bounds 177 >= 28 @ 738.892
744.63/746.75	c bounds 176 >= 28 @ 738.904
744.63/746.75	c bounds 175 >= 28 @ 738.91
744.63/746.75	c bounds 174 >= 28 @ 738.916
744.63/746.75	c bounds 173 >= 28 @ 738.923
744.63/746.75	c bounds 172 >= 28 @ 738.926
744.63/746.75	c bounds 171 >= 28 @ 738.929
744.63/746.75	c bounds 170 >= 28 @ 738.937
744.63/746.75	c bounds 169 >= 28 @ 738.942
744.63/746.75	c bounds 168 >= 28 @ 738.95
744.63/746.75	c bounds 167 >= 28 @ 738.956
744.63/746.75	c bounds 166 >= 28 @ 738.962
744.63/746.75	c bounds 165 >= 28 @ 738.968
744.63/746.75	c bounds 164 >= 28 @ 738.977
744.63/746.75	c bounds 163 >= 28 @ 738.986
744.63/746.75	c bounds 162 >= 28 @ 738.993
744.63/746.75	c bounds 161 >= 28 @ 738.997
744.63/746.75	c bounds 160 >= 28 @ 739.002
744.63/746.75	c bounds 159 >= 28 @ 739.007
744.63/746.75	c bounds 158 >= 28 @ 739.012
744.63/746.75	c bounds 157 >= 28 @ 739.02
744.63/746.75	c bounds 156 >= 28 @ 739.026
744.63/746.75	c bounds 155 >= 28 @ 739.032
744.63/746.75	c bounds 154 >= 28 @ 739.039
744.63/746.75	c bounds 153 >= 28 @ 739.043
744.63/746.75	c bounds 152 >= 28 @ 739.048
744.63/746.75	c bounds 151 >= 28 @ 739.054
744.63/746.75	c bounds 150 >= 28 @ 739.061
744.63/746.75	c bounds 149 >= 28 @ 739.066
744.63/746.75	c bounds 148 >= 28 @ 739.073
744.63/746.75	c bounds 147 >= 28 @ 739.078
744.63/746.75	c bounds 146 >= 28 @ 739.084
744.63/746.75	c bounds 145 >= 28 @ 739.089
744.63/746.75	c bounds 144 >= 28 @ 739.096
744.63/746.75	c bounds 143 >= 28 @ 739.1
744.63/746.75	c bounds 142 >= 28 @ 739.106
744.63/746.75	c bounds 141 >= 28 @ 739.114
744.63/746.75	c bounds 140 >= 28 @ 739.118
744.63/746.75	c bounds 139 >= 28 @ 739.126
744.63/746.75	c bounds 138 >= 28 @ 739.13
744.63/746.75	c bounds 137 >= 28 @ 739.134
744.63/746.75	c bounds 136 >= 28 @ 739.138
744.63/746.75	c bounds 135 >= 28 @ 739.143
744.63/746.75	c bounds 134 >= 28 @ 739.146
744.63/746.75	c bounds 133 >= 28 @ 739.151
744.63/746.75	c bounds 132 >= 28 @ 739.156
744.63/746.75	c bounds 131 >= 28 @ 739.16
744.63/746.75	c bounds 130 >= 28 @ 739.164
744.63/746.75	c bounds 129 >= 28 @ 739.172
744.63/746.75	c bounds 128 >= 28 @ 739.177
744.63/746.75	c bounds 127 >= 28 @ 739.183
744.63/746.75	c bounds 126 >= 28 @ 739.187
744.63/746.75	c bounds 125 >= 28 @ 739.193
744.63/746.75	c bounds 124 >= 28 @ 739.199
744.63/746.75	c bounds 123 >= 28 @ 739.206
744.63/746.75	c bounds 122 >= 28 @ 739.212
744.63/746.75	c bounds 121 >= 28 @ 739.216
744.63/746.75	c bounds 120 >= 28 @ 739.223
744.63/746.75	c bounds 119 >= 28 @ 739.228
744.63/746.75	c bounds 118 >= 28 @ 739.233
744.63/746.75	c bounds 117 >= 28 @ 739.24
744.63/746.75	c bounds 116 >= 28 @ 739.245
744.63/746.75	c bounds 115 >= 28 @ 739.25
744.63/746.75	c bounds 114 >= 28 @ 739.255
744.63/746.75	c bounds 113 >= 28 @ 739.263
744.63/746.75	c bounds 112 >= 28 @ 739.271
744.63/746.75	c bounds 111 >= 28 @ 739.275
744.63/746.75	c bounds 110 >= 28 @ 739.281
744.63/746.75	c bounds 109 >= 28 @ 739.286
744.63/746.75	c bounds 108 >= 28 @ 739.291
744.63/746.75	c bounds 107 >= 28 @ 739.297
744.63/746.75	c bounds 106 >= 28 @ 739.303
744.63/746.75	c bounds 105 >= 28 @ 739.309
744.63/746.75	c bounds 104 >= 28 @ 739.314
744.63/746.75	c bounds 103 >= 28 @ 739.32
744.63/746.75	c bounds 102 >= 28 @ 739.325
744.63/746.75	c bounds 101 >= 28 @ 739.329
744.63/746.75	c bounds 100 >= 28 @ 739.336
744.63/746.75	c bounds 99 >= 28 @ 739.341
744.63/746.75	c bounds 98 >= 28 @ 739.346
744.63/746.75	c bounds 97 >= 28 @ 739.352
744.63/746.75	c bounds 96 >= 28 @ 739.357
744.63/746.75	c bounds 95 >= 28 @ 739.362
744.63/746.75	c bounds 94 >= 28 @ 739.365
744.63/746.75	c bounds 93 >= 28 @ 739.37
744.63/746.75	c bounds 92 >= 28 @ 739.376
744.63/746.75	c bounds 91 >= 28 @ 739.38
744.63/746.75	c bounds 90 >= 28 @ 739.385
744.63/746.75	c bounds 89 >= 28 @ 739.39
744.63/746.75	c bounds 88 >= 28 @ 739.394
744.63/746.75	c bounds 87 >= 28 @ 739.4
744.63/746.75	c bounds 86 >= 28 @ 739.405
744.63/746.75	c bounds 85 >= 28 @ 739.41
744.63/746.75	c bounds 84 >= 28 @ 739.414
744.63/746.75	c bounds 83 >= 28 @ 739.419
744.63/746.75	c bounds 82 >= 28 @ 739.424
744.63/746.75	c bounds 81 >= 28 @ 739.429
744.63/746.75	c bounds 80 >= 28 @ 739.431
744.63/746.75	c bounds 79 >= 28 @ 739.435
744.63/746.75	c bounds 78 >= 28 @ 739.442
744.63/746.75	c bounds 77 >= 28 @ 739.449
744.63/746.75	c bounds 76 >= 28 @ 739.454
744.63/746.75	c bounds 75 >= 28 @ 739.458
744.63/746.75	c bounds 74 >= 28 @ 739.464
744.63/746.75	c bounds 73 >= 28 @ 739.469
744.63/746.75	c bounds 72 >= 28 @ 739.472
744.63/746.75	c bounds 71 >= 28 @ 739.478
744.63/746.75	c bounds 70 >= 28 @ 739.482
744.63/746.75	c bounds 69 >= 28 @ 739.485
744.63/746.75	c bounds 68 >= 28 @ 739.487
744.63/746.75	c bounds 67 >= 28 @ 739.494
744.63/746.75	c bounds 66 >= 28 @ 739.497
744.63/746.75	c bounds 65 >= 28 @ 739.502
744.63/746.75	c bounds 64 >= 28 @ 739.505
744.63/746.75	c bounds 63 >= 28 @ 739.512
744.63/746.75	c bounds 62 >= 28 @ 739.515
744.63/746.75	c bounds 61 >= 28 @ 739.519
744.63/746.75	c bounds 60 >= 28 @ 739.523
744.63/746.75	c bounds 59 >= 28 @ 739.527
744.63/746.75	c bounds 58 >= 28 @ 739.532
744.63/746.75	c bounds 57 >= 28 @ 739.535
744.63/746.75	c bounds 56 >= 28 @ 739.538
744.63/746.75	c bounds 55 >= 28 @ 739.543
744.63/746.75	c bounds 54 >= 28 @ 739.547
744.63/746.75	c bounds 53 >= 28 @ 739.554
744.63/746.75	c bounds 52 >= 28 @ 739.564
744.63/746.75	c bounds 51 >= 28 @ 739.583
744.63/746.75	c bounds 50 >= 28 @ 739.605
3051.64/3060.33	c bounds 49 >= 28 @ 739.621
3051.64/3060.33	c bounds 48 >= 28 @ 739.64
3051.64/3060.33	c bounds 47 >= 28 @ 739.655
3051.64/3060.33	c bounds 46 >= 28 @ 739.671
3051.64/3060.33	c bounds 45 >= 28 @ 739.688
3051.64/3060.33	c #Conflicts:       5000 | #Constraints:      68588
3051.64/3060.33	c bounds 44 >= 28 @ 739.711
3051.64/3060.33	c bounds 43 >= 28 @ 739.725
3051.64/3060.33	c bounds 42 >= 28 @ 739.75
3051.64/3060.33	c bounds 41 >= 28 @ 739.767
3051.64/3060.33	c bounds 40 >= 28 @ 739.788
3051.64/3060.33	c bounds 39 >= 28 @ 739.799
3051.64/3060.33	c bounds 38 >= 28 @ 739.815
3051.64/3060.33	c bounds 37 >= 28 @ 739.828
3051.64/3060.33	c #Conflicts:       6000 | #Constraints:      69596
3051.64/3060.33	c INPROCESSING
3051.64/3060.33	c GARBAGE COLLECT
3051.64/3060.33	c #Conflicts:       7000 | #Constraints:      67939
3051.64/3060.33	c bounds 36 >= 28 @ 920.566
3051.64/3060.33	c #Conflicts:       8000 | #Constraints:      68940
3051.64/3060.33	c #Conflicts:       9000 | #Constraints:      69940
3051.64/3060.33	c INPROCESSING
3051.64/3060.33	c GARBAGE COLLECT
3051.64/3060.33	WSVECS04 Frhs2[26]: 6 -1.00005 0 shouldn't be
3051.64/3060.33	WSVECS04 Frhs2[3473]: 6 -1.00006 0 shouldn't be
3051.64/3060.33	WSVECS04 Frhs2[3474]: 6 -1.00006 0 shouldn't be
3051.64/3060.33	WSVECS04 Frhs2[4262]: 6 -1.00008 0 shouldn't be
3572.53/3582.69	WSVECS04 Frhs2[4]: 6 -1.00007 0 shouldn't be
3572.53/3582.69	WSVECS04 Frhs2[6]: 6 -1.00009 0 shouldn't be
3572.53/3582.69	WSVECS04 Frhs2[39]: 6 -1.00004 0 shouldn't be
3572.53/3582.69	WSVECS04 Frhs2[150]: 6 -1.00002 0 shouldn't be

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) 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: 64096 MiB (60136 MiB free)
  memory of node 1: 64473 MiB (60096 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455330-1721462072/watcher-4455330-1721462072 -o /tmp/evaluation-result-4455330-1721462072/solver-4455330-1721462072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721458472-1056349 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455330-1721462072.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1058363, runsolver pid=1058360

[startup+0.100104 s]*
/proc/loadavg: 4.55 4.22 4.08 5/239 1058364
/proc/meminfo: memFree=123079276/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=38724 memory=8580 CPUtime=0.1 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 1229 0 0 0 10 0 0 0 20 0 1 0 198365954 39653376 2145 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 9681 2145 1292 922 0 1633 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38724 KiB
Current children cumulated memory: 8580 KiB

[startup+0.212742 s]*
/proc/loadavg: 4.55 4.22 4.08 5/239 1058364
/proc/meminfo: memFree=123041864/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=39060 memory=11152 CPUtime=0.21 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 1308 0 0 0 20 1 0 0 20 0 1 0 198365954 39997440 2788 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 9765 2788 1292 922 0 1717 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 11152 KiB

[startup+0.312658 s]*
/proc/loadavg: 4.55 4.22 4.08 5/239 1058364
/proc/meminfo: memFree=123009740/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=41916 memory=14324 CPUtime=0.31 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 1593 0 0 0 29 2 0 0 20 0 1 0 198365954 42921984 3581 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 10479 3581 1292 922 0 2431 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 14324 KiB

[startup+0.700325 s]
/proc/loadavg: 4.55 4.22 4.08 5/239 1058364
/proc/meminfo: memFree=122952132/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=47324 memory=19368 CPUtime=0.68 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 2370 0 0 0 63 5 0 0 20 0 1 0 198365954 48459776 4842 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 11831 4842 1292 922 0 3783 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47324 KiB
Current children cumulated memory: 19368 KiB

[startup+1.50033 s]
/proc/loadavg: 4.55 4.22 4.08 5/237 1058364
/proc/meminfo: memFree=122693796/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=246248 memory=213188 CPUtime=1.49 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 27275 0 0 0 132 17 0 0 20 0 1 0 198365954 252157952 53297 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 61562 53297 1643 922 0 53514 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 246248 KiB
Current children cumulated memory: 213188 KiB

[startup+3.11304 s]
/proc/loadavg: 4.51 4.21 4.08 6/243 1058421
/proc/meminfo: memFree=122945136/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=246248 memory=213188 CPUtime=3.09 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 27313 0 0 0 292 17 0 0 20 0 1 0 198365954 252157952 53297 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 61562 53297 1643 922 0 53514 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 246248 KiB
Current children cumulated memory: 213188 KiB

[startup+6.30031 s]
/proc/loadavg: 4.51 4.21 4.08 5/243 1058421
/proc/meminfo: memFree=122449352/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=246248 memory=213572 CPUtime=6.27 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 27351 0 0 0 609 18 0 0 20 0 1 0 198365954 252157952 53393 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 61562 53393 1739 922 0 53514 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 246248 KiB
Current children cumulated memory: 213572 KiB

[startup+12.7003 s]
/proc/loadavg: 4.55 4.23 4.08 5/243 1058422
/proc/meminfo: memFree=122429312/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=257924 memory=232540 CPUtime=12.66 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 27972 0 0 0 1141 125 0 0 20 0 1 0 198365954 264114176 58135 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 64481 58135 1831 922 0 56433 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 257924 KiB
Current children cumulated memory: 232540 KiB

[startup+25.5004 s]
/proc/loadavg: 4.57 4.25 4.09 5/243 1058424
/proc/meminfo: memFree=118193328/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=293184 memory=264196 CPUtime=25.41 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 29852 0 0 0 2410 131 0 0 20 0 1 0 198365954 300220416 66049 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 73296 66049 1863 922 0 65248 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 293184 KiB
Current children cumulated memory: 264196 KiB

[startup+51.1127 s]
/proc/loadavg: 4.64 4.29 4.11 5/243 1058428
/proc/meminfo: memFree=118821668/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=415460 memory=380424 CPUtime=50.93 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 34006 0 0 0 4959 134 0 0 20 0 1 0 198365954 425431040 95106 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 103865 95106 1863 922 0 95817 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 415460 KiB
Current children cumulated memory: 380424 KiB

[startup+102.3 s]
/proc/loadavg: 4.63 4.35 4.14 5/242 1058820
/proc/meminfo: memFree=117757672/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=468176 memory=424268 CPUtime=101.96 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 34889 0 0 0 10059 137 0 0 20 0 1 0 198365954 479412224 106067 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 117044 106067 1863 922 0 108996 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 468176 KiB
Current children cumulated memory: 424268 KiB

[startup+162.3 s]
/proc/loadavg: 4.33 4.32 4.14 5/242 1058830
/proc/meminfo: memFree=116158348/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=468740 memory=439780 CPUtime=161.8 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 39112 0 0 0 16038 142 0 0 20 0 1 0 198365954 479989760 109945 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 117185 109945 1863 922 0 109137 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 468740 KiB
Current children cumulated memory: 439780 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 4.29 4.14 5/242 1058840
/proc/meminfo: memFree=115831972/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=619020 memory=509584 CPUtime=221.64 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 43350 0 0 0 22014 150 0 0 20 0 1 0 198365954 633876480 127396 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 154755 127396 1863 922 0 146707 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 619020 KiB
Current children cumulated memory: 509584 KiB

[startup+282.3 s]
/proc/loadavg: 4.27 4.28 4.15 5/243 1059020
/proc/meminfo: memFree=113983516/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=656564 memory=569300 CPUtime=281.48 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 45327 0 0 0 27995 153 0 0 20 0 1 0 198365954 672321536 142325 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 164141 142325 1863 922 0 156093 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 656564 KiB
Current children cumulated memory: 569300 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.24 4.14 5/243 1059030
/proc/meminfo: memFree=113257880/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=656848 memory=573728 CPUtime=341.33 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 46002 0 0 0 33977 156 0 0 20 0 1 0 198365954 672612352 143432 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 164212 143432 1863 922 0 156164 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 656848 KiB
Current children cumulated memory: 573728 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.23 4.14 5/244 1059055
/proc/meminfo: memFree=113187616/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=717948 memory=597800 CPUtime=401.18 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 47262 0 0 0 39958 160 0 0 20 0 1 0 198365954 735178752 149450 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 179487 149450 1863 922 0 171439 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 717948 KiB
Current children cumulated memory: 597800 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.21 4.14 5/244 1059065
/proc/meminfo: memFree=113060672/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=717948 memory=597800 CPUtime=461.03 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 47454 0 0 0 45942 161 0 0 20 0 1 0 198365954 735178752 149450 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 179487 149450 1863 922 0 171439 0

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

[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/244 1060141
/proc/meminfo: memFree=110040996/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=968864 memory=809272 CPUtime=3033.69 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 67798 0 0 0 302770 599 0 0 20 0 1 0 198365954 992116736 202318 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 242216 202318 1863 922 0 234168 0
Current children cumulated CPU time: 3033.69 s
Current children cumulated vsize: 968864 KiB
Current children cumulated memory: 809272 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/241 1060152
/proc/meminfo: memFree=110040348/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=968864 memory=809276 CPUtime=3093.53 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 68046 0 0 0 308753 600 0 0 20 0 1 0 198365954 992116736 202319 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 242216 202319 1863 922 0 234168 0
Current children cumulated CPU time: 3093.53 s
Current children cumulated vsize: 968864 KiB
Current children cumulated memory: 809276 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/241 1060162
/proc/meminfo: memFree=110040012/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=968864 memory=809276 CPUtime=3153.36 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 68306 0 0 0 314736 600 0 0 20 0 1 0 198365954 992116736 202319 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 242216 202319 1863 922 0 234168 0
Current children cumulated CPU time: 3153.36 s
Current children cumulated vsize: 968864 KiB
Current children cumulated memory: 809276 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/241 1060172
/proc/meminfo: memFree=109985508/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=968864 memory=809276 CPUtime=3213.2 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 68579 0 0 0 320719 601 0 0 20 0 1 0 198365954 992116736 202319 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 242216 202319 1863 922 0 234168 0
Current children cumulated CPU time: 3213.2 s
Current children cumulated vsize: 968864 KiB
Current children cumulated memory: 809276 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/241 1060184
/proc/meminfo: memFree=109663588/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=968864 memory=809276 CPUtime=3273.04 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 68825 0 0 0 326702 602 0 0 20 0 1 0 198365954 992116736 202319 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 242216 202319 1863 922 0 234168 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 968864 KiB
Current children cumulated memory: 809276 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/241 1060194
/proc/meminfo: memFree=109627536/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=968864 memory=809276 CPUtime=3332.88 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 69084 0 0 0 332685 603 0 0 20 0 1 0 198365954 992116736 202319 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 242216 202319 1863 922 0 234168 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 968864 KiB
Current children cumulated memory: 809276 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/244 1060209
/proc/meminfo: memFree=109625968/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=968864 memory=809276 CPUtime=3392.73 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 69318 0 0 0 338668 605 0 0 20 0 1 0 198365954 992116736 202319 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 242216 202319 1863 922 0 234168 0
Current children cumulated CPU time: 3392.73 s
Current children cumulated vsize: 968864 KiB
Current children cumulated memory: 809276 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/244 1060219
/proc/meminfo: memFree=109602800/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=968864 memory=809276 CPUtime=3452.56 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 69603 0 0 0 344650 606 0 0 20 0 1 0 198365954 992116736 202319 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 242216 202319 1863 922 0 234168 0
Current children cumulated CPU time: 3452.56 s
Current children cumulated vsize: 968864 KiB
Current children cumulated memory: 809276 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/244 1060230
/proc/meminfo: memFree=109575568/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=968864 memory=809276 CPUtime=3512.4 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 69823 0 0 0 350633 607 0 0 20 0 1 0 198365954 992116736 202319 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 242216 202319 1863 922 0 234168 0
Current children cumulated CPU time: 3512.4 s
Current children cumulated vsize: 968864 KiB
Current children cumulated memory: 809276 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/244 1060240
/proc/meminfo: memFree=109571484/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=968864 memory=809276 CPUtime=3572.23 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 70136 0 0 0 356615 608 0 0 20 0 1 0 198365954 992116736 202319 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 242216 202319 1863 922 0 234168 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 968864 KiB
Current children cumulated memory: 809276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.11 4.12 4.09 5/244 1060247
/proc/meminfo: memFree=109572912/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=968864 memory=809276 CPUtime=3600.06 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 70239 0 0 0 359397 609 0 0 20 0 1 0 198365954 992116736 202319 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 242216 202319 1863 922 0 234168 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 968864 KiB
Current children cumulated memory: 809276 KiB

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

Sending SIGKILL to process tree (bottom up)

[startup+3612.21 s]
# the end of solver process 1058363 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3595.97 s, system=6.09984 s

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

[startup+3611.2 s]
/proc/loadavg: 4.11 4.12 4.09 5/244 1060247
/proc/meminfo: memFree=109572912/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=968864 memory=809276 CPUtime=3601.06 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 70239 0 0 0 359497 609 0 0 20 0 1 0 198365954 992116736 202319 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 242216 202319 1863 922 0 234168 0
Current children cumulated CPU time: 3601.06 s
Current children cumulated vsize: 968864 KiB
Current children cumulated memory: 809276 KiB

[startup+3612 s]*
/proc/loadavg: 4.11 4.12 4.09 4/241 1060251
/proc/meminfo: memFree=112228332/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=968864 memory=809276 CPUtime=3601.87 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 70239 0 0 0 359578 609 0 0 20 0 1 0 198365954 992116736 202319 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 242216 202319 1863 922 0 234168 0
Current children cumulated CPU time: 3601.87 s
Current children cumulated vsize: 968864 KiB
Current children cumulated memory: 809276 KiB

[startup+3612.2 s]
/proc/loadavg: 4.11 4.12 4.09 4/241 1060251
/proc/meminfo: memFree=112228332/131655788 swapFree=131071996/131071996
[pid=1058363] ppid=1058360 vsize=968864 memory=809276 CPUtime=3602.05 cores=5,7
/proc/1058363/stat : 1058363 (roundingsat) R 1058360 1058363 1056336 0 -1 4194304 70239 0 0 0 359596 609 0 0 20 0 1 0 198365954 992116736 202319 134679101440 4194304 7968373 140721274911280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 21975040 140721274917820 140721274917984 140721274917984 140721274925001 0
/proc/1058363/statm: 242216 202319 1863 922 0 234168 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 968864 KiB
Current children cumulated memory: 809276 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3612.21
CPU time (s): 3602.07
CPU user time (s): 3595.97
CPU system time (s): 6.09984
CPU usage (%): 99.7193
Max. virtual memory (cumulated for all children) (KiB): 968864
Max. memory (cumulated for all children) (KiB): 809276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.97
system time used= 6.09984
maximum resident set size= 809276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70239
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 1108


# summary of solver processes directly reported to runsolver:
#   pid: 1058363
#   total CPU time (s): 3602.07
#   total CPU user time (s): 3595.97
#   total CPU system time (s): 6.09984

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3775 second user time and 35.0721 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-20 09:54:43
IDJOB=4455330
IDBENCH=155403
IDSOLVER=3084
FILE ID=nodeC005/4455330-1721462072
RUNJOBID= nodeC005-1721458472-1056349
SLURM_JOB_ID= 7545703
Free space on /tmp= 723332 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455330-1721462072/watcher-4455330-1721462072 -o /tmp/evaluation-result-4455330-1721462072/solver-4455330-1721462072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721458472-1056349 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455330-1721462072.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=160143730

nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3605.051
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3670.610
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.348
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.278
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.688
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.766
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1696.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.196
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123132684 kB
MemAvailable:   129190516 kB
Buffers:          561132 kB
Cached:          6272032 kB
SwapCached:            0 kB
Active:          1188280 kB
Inactive:        6617476 kB
Active(anon):       3448 kB
Inactive(anon):  1015388 kB
Active(file):    1184832 kB
Inactive(file):  5602088 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            469364 kB
Writeback:             0 kB
AnonPages:        968992 kB
Mapped:           113588 kB
Shmem:             45896 kB
KReclaimable:     222224 kB
Slab:             343076 kB
SReclaimable:     222224 kB
SUnreclaim:       120852 kB
KernelStack:        3816 kB
PageTables:        11252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1348260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62432 kB
HardwareCorrupted:     0 kB
AnonHugePages:    829440 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      303944 kB
DirectMap2M:    40495104 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723076 MiB
End job on nodeC005 at 2024-07-20 10:54:56