Trace number 4454311

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
pb-oll-rs 2024-07-19SAT (TO)1063 3600.13 3609.2

DiagnosticValue
AM1LB790
LOWERBOUND984
NAM1S788
NCORES194
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED13

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
MD5SUM2f43827d921579f008f60b037bb7dde7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1036
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1963
Total number of constraints4000
Number of constraints which are clauses4000
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 1963
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 1963
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1963
Number of bits of the biggest sum of numbers11
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.00/0.00	c [STEP] parsing instance
0.00/0.03	c [STEP] solving
0.00/0.03	c #variables 1963 #constraints 4000
0.00/0.03	c SMALL=int, LARGE=long long
0.00/0.03	c bounds - >= 0 @ 0.023842
0.00/0.03	c stratification level: 0
0.10/0.21	c bounds - >= 791 @ 0.043186
0.10/0.21	c bounds - >= 792 @ 0.050198
0.10/0.21	c bounds - >= 793 @ 0.050198
0.10/0.21	c bounds - >= 794 @ 0.050812
0.10/0.21	c bounds - >= 795 @ 0.051444
0.10/0.21	c bounds - >= 796 @ 0.052082
0.10/0.21	c bounds - >= 797 @ 0.052767
0.10/0.21	c bounds - >= 798 @ 0.053455
0.10/0.21	c bounds - >= 799 @ 0.054091
0.10/0.21	c bounds - >= 800 @ 0.054742
0.10/0.21	c bounds - >= 801 @ 0.055385
0.10/0.21	c bounds - >= 802 @ 0.056027
0.10/0.21	c bounds - >= 803 @ 0.056694
0.10/0.21	c bounds - >= 804 @ 0.057358
0.10/0.21	c bounds - >= 805 @ 0.058027
0.10/0.21	c bounds - >= 806 @ 0.058744
0.10/0.21	c bounds - >= 807 @ 0.059141
0.10/0.21	c bounds - >= 808 @ 0.059438
0.10/0.21	c bounds - >= 809 @ 0.060082
0.10/0.21	c bounds - >= 810 @ 0.060826
0.10/0.21	c bounds - >= 811 @ 0.061133
0.10/0.21	c bounds - >= 812 @ 0.061477
0.10/0.21	c bounds - >= 813 @ 0.062125
0.10/0.21	c bounds - >= 814 @ 0.062849
0.10/0.21	c bounds - >= 815 @ 0.063124
0.10/0.21	c bounds - >= 816 @ 0.063415
0.10/0.21	c bounds - >= 817 @ 0.064152
0.10/0.21	c bounds - >= 818 @ 0.064927
0.10/0.21	c bounds - >= 819 @ 0.065116
0.10/0.21	c bounds - >= 820 @ 0.065533
0.10/0.21	c bounds - >= 821 @ 0.066329
0.10/0.21	c bounds - >= 822 @ 0.067137
0.10/0.21	c bounds - >= 823 @ 0.067933
0.10/0.21	c bounds - >= 824 @ 0.068098
0.10/0.21	c bounds - >= 825 @ 0.068098
0.10/0.21	c bounds - >= 826 @ 0.068098
0.10/0.21	c bounds - >= 827 @ 0.06849
0.10/0.21	c bounds - >= 828 @ 0.069327
0.10/0.21	c bounds - >= 829 @ 0.070178
0.10/0.21	c bounds - >= 830 @ 0.071027
0.10/0.21	c bounds - >= 831 @ 0.071883
0.10/0.21	c bounds - >= 832 @ 0.072041
0.10/0.21	c bounds - >= 833 @ 0.072041
0.10/0.21	c bounds - >= 834 @ 0.072578
0.10/0.21	c bounds - >= 835 @ 0.07343
0.10/0.21	c bounds - >= 836 @ 0.074362
0.10/0.21	c bounds - >= 837 @ 0.07527
0.10/0.21	c bounds - >= 838 @ 0.076121
0.10/0.21	c bounds - >= 839 @ 0.076974
0.10/0.21	c bounds - >= 840 @ 0.077856
0.10/0.21	c bounds - >= 841 @ 0.078749
0.10/0.21	c bounds - >= 842 @ 0.078995
0.10/0.21	c bounds - >= 843 @ 0.078999
0.10/0.21	c bounds - >= 844 @ 0.079285
0.10/0.21	c bounds - >= 845 @ 0.07994
0.10/0.21	c bounds - >= 846 @ 0.080792
0.10/0.21	c bounds - >= 847 @ 0.081647
0.10/0.21	c bounds - >= 848 @ 0.081988
0.10/0.21	c bounds - >= 849 @ 0.081991
0.10/0.21	c bounds - >= 850 @ 0.082355
0.10/0.21	c bounds - >= 851 @ 0.083307
0.10/0.21	c bounds - >= 852 @ 0.084218
0.10/0.21	c bounds - >= 853 @ 0.085169
0.10/0.21	c bounds - >= 854 @ 0.086138
0.10/0.21	c bounds - >= 855 @ 0.087082
0.10/0.21	c bounds - >= 856 @ 0.088008
0.10/0.21	c bounds - >= 857 @ 0.088943
0.10/0.21	c bounds - >= 858 @ 0.089912
0.10/0.21	c bounds - >= 859 @ 0.090851
0.10/0.21	c bounds - >= 860 @ 0.091789
0.10/0.21	c bounds - >= 861 @ 0.092729
0.10/0.21	c bounds - >= 862 @ 0.093668
0.10/0.21	c bounds - >= 863 @ 0.093923
0.10/0.21	c bounds - >= 864 @ 0.094546
0.10/0.21	c bounds - >= 865 @ 0.09492
0.10/0.21	c bounds - >= 866 @ 0.094923
0.10/0.21	c bounds - >= 867 @ 0.09553
0.10/0.21	c bounds - >= 868 @ 0.096471
0.10/0.21	c bounds - >= 869 @ 0.097434
0.10/0.21	c bounds - >= 870 @ 0.097912
0.10/0.21	c bounds - >= 871 @ 0.097915
0.10/0.21	c bounds - >= 872 @ 0.097918
0.10/0.21	c bounds - >= 873 @ 0.098283
0.10/0.21	c bounds - >= 874 @ 0.098917
0.10/0.21	c bounds - >= 875 @ 0.099204
0.10/0.21	c bounds - >= 876 @ 0.100157
0.10/0.21	c bounds - >= 877 @ 0.101112
0.10/0.21	c bounds - >= 878 @ 0.102075
0.10/0.21	c bounds - >= 879 @ 0.103032
0.10/0.21	c bounds - >= 880 @ 0.10399
0.10/0.21	c bounds - >= 881 @ 0.104657
0.10/0.21	c bounds - >= 882 @ 0.105059
0.10/0.21	c bounds - >= 883 @ 0.106028
0.10/0.21	c bounds - >= 884 @ 0.107117
0.10/0.21	c bounds - >= 885 @ 0.108096
0.10/0.21	c bounds - >= 886 @ 0.109066
0.10/0.21	c bounds - >= 887 @ 0.110038
0.10/0.21	c bounds - >= 888 @ 0.111009
0.10/0.21	c bounds - >= 889 @ 0.112002
0.10/0.21	c bounds - >= 890 @ 0.112983
0.10/0.21	c bounds - >= 891 @ 0.113984
0.10/0.21	c bounds - >= 892 @ 0.114974
0.10/0.21	c bounds - >= 893 @ 0.115992
0.10/0.21	c bounds - >= 894 @ 0.116986
0.10/0.21	c bounds - >= 895 @ 0.117974
0.10/0.21	c bounds - >= 896 @ 0.119016
0.10/0.21	c bounds - >= 897 @ 0.120042
0.10/0.21	c bounds - >= 898 @ 0.121057
0.10/0.21	c bounds - >= 899 @ 0.122064
0.10/0.21	c bounds - >= 900 @ 0.123092
0.10/0.21	c bounds - >= 901 @ 0.124114
0.10/0.21	c bounds - >= 902 @ 0.125125
0.10/0.21	c bounds - >= 903 @ 0.126146
0.10/0.21	c bounds - >= 904 @ 0.126767
0.10/0.21	c bounds - >= 905 @ 0.12677
0.10/0.21	c bounds - >= 906 @ 0.126771
0.10/0.21	c bounds - >= 907 @ 0.126774
0.10/0.21	c bounds - >= 908 @ 0.126777
0.10/0.21	c bounds - >= 909 @ 0.12678
0.10/0.21	c bounds - >= 910 @ 0.127885
0.10/0.21	c bounds - >= 911 @ 0.128978
0.10/0.21	c bounds - >= 912 @ 0.12975
0.10/0.21	c bounds - >= 913 @ 0.129764
0.10/0.21	c bounds - >= 914 @ 0.130382
0.10/0.21	c bounds - >= 915 @ 0.13076
0.10/0.21	c bounds - >= 916 @ 0.131796
0.10/0.21	c bounds - >= 917 @ 0.132977
0.10/0.21	c bounds - >= 918 @ 0.134143
0.10/0.21	c bounds - >= 919 @ 0.135292
0.10/0.21	c bounds - >= 920 @ 0.136479
0.10/0.21	c bounds - >= 921 @ 0.137621
0.10/0.21	c bounds - >= 922 @ 0.137757
0.10/0.21	c bounds - >= 923 @ 0.138893
0.10/0.21	c bounds - >= 924 @ 0.140011
0.10/0.21	c bounds - >= 925 @ 0.141168
0.10/0.21	c bounds - >= 926 @ 0.141706
0.10/0.21	c bounds - >= 927 @ 0.142506
0.10/0.21	c bounds - >= 928 @ 0.142702
0.10/0.21	c bounds - >= 929 @ 0.143889
0.10/0.21	c bounds - >= 930 @ 0.145056
0.10/0.21	c bounds - >= 931 @ 0.146274
0.10/0.21	c bounds - >= 932 @ 0.147485
0.21/0.26	c bounds - >= 933 @ 0.148711
0.21/0.26	c bounds - >= 934 @ 0.149643
0.21/0.26	c bounds - >= 935 @ 0.150217
0.21/0.26	c bounds - >= 936 @ 0.150648
0.21/0.26	c bounds - >= 937 @ 0.15169
0.21/0.26	c bounds - >= 938 @ 0.152911
0.21/0.26	c bounds - >= 939 @ 0.153633
0.21/0.26	c bounds - >= 940 @ 0.153636
0.21/0.26	c bounds - >= 941 @ 0.153928
0.21/0.26	c bounds - >= 942 @ 0.155111
0.21/0.26	c bounds - >= 943 @ 0.155624
0.21/0.26	c bounds - >= 944 @ 0.155917
0.21/0.26	c bounds - >= 945 @ 0.156622
0.21/0.26	c bounds - >= 946 @ 0.156626
0.21/0.26	c bounds - >= 947 @ 0.15692
0.21/0.26	c bounds - >= 948 @ 0.157625
0.21/0.26	c bounds - >= 949 @ 0.157626
0.21/0.26	c bounds - >= 950 @ 0.157918
0.21/0.26	c bounds - >= 951 @ 0.159068
0.21/0.26	c bounds - >= 952 @ 0.15962
0.21/0.26	c bounds - >= 953 @ 0.16067
0.21/0.26	c bounds - >= 954 @ 0.162137
0.21/0.26	c bounds - >= 955 @ 0.162605
0.21/0.26	c bounds - >= 956 @ 0.163918
0.21/0.26	c bounds - >= 957 @ 0.165315
0.21/0.26	c bounds - >= 958 @ 0.165879
0.21/0.26	c bounds - >= 959 @ 0.166589
0.21/0.26	c bounds - >= 960 @ 0.167046
0.21/0.26	c bounds - >= 961 @ 0.167879
0.21/0.26	c finalizing WCE round: reformulating cores
68.50/68.71	c #Conflicts:       1000 | #Constraints:       6258
68.50/68.71	c #Conflicts:       2000 | #Constraints:       7303
68.50/68.71	c INPROCESSING
68.50/68.71	c GARBAGE COLLECT
68.50/68.71	c #Conflicts:       3000 | #Constraints:       7070
68.50/68.71	c #Conflicts:       4000 | #Constraints:       8127
68.50/68.71	c INPROCESSING
68.50/68.71	c GARBAGE COLLECT
68.50/68.71	c #Conflicts:       5000 | #Constraints:       7505
68.50/68.71	c #Conflicts:       6000 | #Constraints:       8544
68.50/68.71	c INPROCESSING
68.50/68.71	c GARBAGE COLLECT
68.50/68.71	c #Conflicts:       7000 | #Constraints:       7534
68.50/68.71	c #Conflicts:       8000 | #Constraints:       8546
68.50/68.71	c #Conflicts:       9000 | #Constraints:       9552
68.50/68.71	c INPROCESSING
68.50/68.71	c GARBAGE COLLECT
68.50/68.71	c #Conflicts:      10000 | #Constraints:       8309
68.50/68.71	c #Conflicts:      11000 | #Constraints:       9312
68.50/68.71	c #Conflicts:      12000 | #Constraints:      10314
68.50/68.71	c INPROCESSING
68.50/68.71	c GARBAGE COLLECT
68.50/68.71	c #Conflicts:      13000 | #Constraints:       8749
68.50/68.71	c #Conflicts:      14000 | #Constraints:       9751
68.50/68.71	c #Conflicts:      15000 | #Constraints:      10753
68.50/68.71	c INPROCESSING
68.50/68.71	c GARBAGE COLLECT
68.50/68.71	c #Conflicts:      16000 | #Constraints:       8981
68.50/68.71	c #Conflicts:      17000 | #Constraints:       9983
68.50/68.71	c #Conflicts:      18000 | #Constraints:      10985
68.50/68.71	c INPROCESSING
68.50/68.71	c GARBAGE COLLECT
68.50/68.71	c #Conflicts:      19000 | #Constraints:       9009
68.50/68.71	c #Conflicts:      20000 | #Constraints:      10011
68.50/68.71	c #Conflicts:      21000 | #Constraints:      11016
68.50/68.71	c INPROCESSING
68.50/68.71	c GARBAGE COLLECT
68.50/68.71	c #Conflicts:      22000 | #Constraints:       8817
68.50/68.71	c #Conflicts:      23000 | #Constraints:       9829
68.50/68.71	c #Conflicts:      24000 | #Constraints:      10834
68.50/68.71	c #Conflicts:      25000 | #Constraints:      11852
68.50/68.71	c INPROCESSING
68.50/68.71	c GARBAGE COLLECT
68.50/68.71	c #Conflicts:      26000 | #Constraints:       9425
68.50/68.71	c #Conflicts:      27000 | #Constraints:      10427
68.50/68.71	c #Conflicts:      28000 | #Constraints:      11429
68.50/68.71	c #Conflicts:      29000 | #Constraints:      12437
68.50/68.71	c INPROCESSING
68.50/68.71	c GARBAGE COLLECT
68.50/68.71	c bounds 1063 >= 961 @ 16.2541
68.50/68.71	c bounds 1063 >= 962 @ 16.2597
68.50/68.71	c bounds 1063 >= 963 @ 16.2642
68.50/68.71	c bounds 1063 >= 964 @ 16.268
68.50/68.71	c bounds 1063 >= 965 @ 16.2733
68.50/68.71	c bounds 1063 >= 966 @ 16.2797
68.50/68.71	c bounds 1063 >= 967 @ 16.2913
68.50/68.71	c bounds 1063 >= 968 @ 16.295
68.50/68.71	c bounds 1063 >= 969 @ 16.2956
68.50/68.71	c bounds 1063 >= 970 @ 16.3052
68.50/68.71	c bounds 1063 >= 971 @ 16.3132
68.50/68.71	c bounds 1063 >= 972 @ 16.324
68.50/68.71	c bounds 1063 >= 973 @ 16.3384
68.50/68.71	c bounds 1063 >= 974 @ 16.3603
68.50/68.71	c bounds 1063 >= 975 @ 16.3733
68.50/68.71	c bounds 1063 >= 976 @ 16.3912
68.50/68.71	c bounds 1063 >= 977 @ 16.4156
68.50/68.71	c bounds 1063 >= 978 @ 16.4415
68.50/68.71	c bounds 1063 >= 979 @ 16.4646
68.50/68.71	c bounds 1063 >= 980 @ 16.5307
68.50/68.71	c bounds 1063 >= 981 @ 16.6146
68.50/68.71	c bounds 1063 >= 982 @ 16.6742
68.50/68.71	c bounds 1063 >= 983 @ 16.8001
68.50/68.71	c bounds 1063 >= 984 @ 17.9872
68.50/68.71	c #Conflicts:      30000 | #Constraints:      10203
68.50/68.71	c #Conflicts:      31000 | #Constraints:      11203
68.50/68.71	c #Conflicts:      32000 | #Constraints:      12203
68.50/68.71	c #Conflicts:      33000 | #Constraints:      13203
68.50/68.71	c INPROCESSING
68.50/68.71	c GARBAGE COLLECT
68.50/68.71	c #Conflicts:      34000 | #Constraints:      10337
68.50/68.71	c #Conflicts:      35000 | #Constraints:      11337
68.50/68.71	c #Conflicts:      36000 | #Constraints:      12337
68.50/68.71	c #Conflicts:      37000 | #Constraints:      13337
68.50/68.71	c INPROCESSING
68.50/68.71	c GARBAGE COLLECT
68.50/68.71	c #Conflicts:      38000 | #Constraints:      10291
68.50/68.71	c #Conflicts:      39000 | #Constraints:      11291
68.50/68.71	c #Conflicts:      40000 | #Constraints:      12291
68.50/68.71	c #Conflicts:      41000 | #Constraints:      13291
68.50/68.71	c INPROCESSING
68.50/68.71	c GARBAGE COLLECT
68.50/68.71	c #Conflicts:      42000 | #Constraints:      10077
68.50/68.71	c #Conflicts:      43000 | #Constraints:      11077
68.50/68.71	c #Conflicts:      44000 | #Constraints:      12077
68.50/68.71	c #Conflicts:      45000 | #Constraints:      13077
68.50/68.71	c #Conflicts:      46000 | #Constraints:      14077
68.50/68.71	c INPROCESSING
68.50/68.71	c GARBAGE COLLECT
68.50/68.71	c #Conflicts:      47000 | #Constraints:      10658
68.50/68.71	c #Conflicts:      48000 | #Constraints:      11658
68.50/68.71	c #Conflicts:      49000 | #Constraints:      12658
68.50/68.71	c #Conflicts:      50000 | #Constraints:      13658
68.50/68.71	c #Conflicts:      51000 | #Constraints:      14658
68.50/68.71	c INPROCESSING
68.50/68.71	c GARBAGE COLLECT
68.50/68.71	c #Conflicts:      52000 | #Constraints:      11057
68.50/68.71	c #Conflicts:      53000 | #Constraints:      12057
68.50/68.71	c #Conflicts:      54000 | #Constraints:      13057
68.50/68.71	c #Conflicts:      55000 | #Constraints:      14057
207.04/207.69	c #Conflicts:      56000 | #Constraints:      15057
207.04/207.69	c INPROCESSING
207.04/207.69	c GARBAGE COLLECT
207.04/207.69	c #Conflicts:      57000 | #Constraints:      11249
207.04/207.69	c #Conflicts:      58000 | #Constraints:      12249
207.04/207.69	c #Conflicts:      59000 | #Constraints:      13249
207.04/207.69	c #Conflicts:      60000 | #Constraints:      14249
207.04/207.69	c #Conflicts:      61000 | #Constraints:      15249
207.04/207.69	c INPROCESSING
207.04/207.69	c GARBAGE COLLECT
207.04/207.69	c #Conflicts:      62000 | #Constraints:      11264
207.04/207.69	c #Conflicts:      63000 | #Constraints:      12264
207.04/207.69	c #Conflicts:      64000 | #Constraints:      13264
207.04/207.69	c #Conflicts:      65000 | #Constraints:      14264
207.04/207.69	c #Conflicts:      66000 | #Constraints:      15264
207.04/207.69	c INPROCESSING
207.04/207.69	c GARBAGE COLLECT
207.04/207.69	c #Conflicts:      67000 | #Constraints:      11071
207.04/207.69	c #Conflicts:      68000 | #Constraints:      12071
207.04/207.69	c #Conflicts:      69000 | #Constraints:      13071
207.04/207.69	c #Conflicts:      70000 | #Constraints:      14071
207.04/207.69	c #Conflicts:      71000 | #Constraints:      15071
207.04/207.69	c #Conflicts:      72000 | #Constraints:      16071
207.04/207.69	c INPROCESSING
207.04/207.69	c GARBAGE COLLECT
207.04/207.69	c #Conflicts:      73000 | #Constraints:      11672
207.04/207.69	c #Conflicts:      74000 | #Constraints:      12672
207.04/207.69	c #Conflicts:      75000 | #Constraints:      13672
207.04/207.69	c #Conflicts:      76000 | #Constraints:      14672
207.04/207.69	c #Conflicts:      77000 | #Constraints:      15672
207.04/207.69	c #Conflicts:      78000 | #Constraints:      16672
207.04/207.69	c INPROCESSING
207.04/207.69	c GARBAGE COLLECT
207.04/207.69	c #Conflicts:      79000 | #Constraints:      12069
207.04/207.69	c #Conflicts:      80000 | #Constraints:      13069
207.04/207.69	c #Conflicts:      81000 | #Constraints:      14069
207.04/207.69	c #Conflicts:      82000 | #Constraints:      15069
207.04/207.69	c #Conflicts:      83000 | #Constraints:      16069
207.04/207.69	c #Conflicts:      84000 | #Constraints:      17069
207.04/207.69	c INPROCESSING
207.04/207.69	c GARBAGE COLLECT
207.04/207.69	c #Conflicts:      85000 | #Constraints:      12266
207.04/207.69	c #Conflicts:      86000 | #Constraints:      13266
207.04/207.69	c #Conflicts:      87000 | #Constraints:      14266
207.04/207.69	c #Conflicts:      88000 | #Constraints:      15266
207.04/207.69	c #Conflicts:      89000 | #Constraints:      16266
207.04/207.69	c #Conflicts:      90000 | #Constraints:      17266
207.04/207.69	c INPROCESSING
207.04/207.69	c GARBAGE COLLECT
207.04/207.69	c #Conflicts:      91000 | #Constraints:      12275
207.04/207.69	c #Conflicts:      92000 | #Constraints:      13275
207.04/207.69	c #Conflicts:      93000 | #Constraints:      14275
207.04/207.69	c #Conflicts:      94000 | #Constraints:      15275
207.04/207.69	c #Conflicts:      95000 | #Constraints:      16275
207.04/207.69	c #Conflicts:      96000 | #Constraints:      17275
207.04/207.69	c INPROCESSING
207.04/207.69	c GARBAGE COLLECT
207.04/207.69	c #Conflicts:      97000 | #Constraints:      12068
207.04/207.69	c #Conflicts:      98000 | #Constraints:      13068
207.04/207.69	c #Conflicts:      99000 | #Constraints:      14068
207.04/207.69	c #Conflicts:     100000 | #Constraints:      15068
207.04/207.69	c #Conflicts:     101000 | #Constraints:      16068
207.04/207.69	c #Conflicts:     102000 | #Constraints:      17068
207.04/207.69	c #Conflicts:     103000 | #Constraints:      18068
207.04/207.69	c INPROCESSING
207.04/207.69	c GARBAGE COLLECT
207.04/207.69	c #Conflicts:     104000 | #Constraints:      12676
207.04/207.69	c #Conflicts:     105000 | #Constraints:      13676
207.04/207.69	c #Conflicts:     106000 | #Constraints:      14676
207.04/207.69	c #Conflicts:     107000 | #Constraints:      15676
207.04/207.69	c #Conflicts:     108000 | #Constraints:      16676
207.04/207.69	c #Conflicts:     109000 | #Constraints:      17676
207.04/207.69	c #Conflicts:     110000 | #Constraints:      18676
207.04/207.69	c INPROCESSING
207.04/207.69	c GARBAGE COLLECT
207.04/207.69	c #Conflicts:     111000 | #Constraints:      13074
207.04/207.69	c #Conflicts:     112000 | #Constraints:      14074
207.04/207.69	c #Conflicts:     113000 | #Constraints:      15074
207.04/207.69	c #Conflicts:     114000 | #Constraints:      16074
207.04/207.69	c #Conflicts:     115000 | #Constraints:      17074
207.04/207.69	c #Conflicts:     116000 | #Constraints:      18074
207.04/207.69	c #Conflicts:     117000 | #Constraints:      19074
207.04/207.69	c INPROCESSING
207.04/207.69	c GARBAGE COLLECT
207.04/207.69	c #Conflicts:     118000 | #Constraints:      13262
207.04/207.69	c #Conflicts:     119000 | #Constraints:      14262
207.04/207.69	c #Conflicts:     120000 | #Constraints:      15262
207.04/207.69	c #Conflicts:     121000 | #Constraints:      16262
207.04/207.69	c #Conflicts:     122000 | #Constraints:      17262
207.04/207.69	c #Conflicts:     123000 | #Constraints:      18262
207.04/207.69	c #Conflicts:     124000 | #Constraints:      19262
207.04/207.69	c INPROCESSING
207.04/207.69	c GARBAGE COLLECT
207.04/207.69	c #Conflicts:     125000 | #Constraints:      13266
207.04/207.69	c #Conflicts:     126000 | #Constraints:      14266
207.04/207.69	c #Conflicts:     127000 | #Constraints:      15266
398.25/399.37	c #Conflicts:     128000 | #Constraints:      16266
398.25/399.37	c #Conflicts:     129000 | #Constraints:      17266
398.25/399.37	c #Conflicts:     130000 | #Constraints:      18266
398.25/399.37	c #Conflicts:     131000 | #Constraints:      19266
398.25/399.37	c INPROCESSING
398.25/399.37	c GARBAGE COLLECT
398.25/399.37	c #Conflicts:     132000 | #Constraints:      13075
398.25/399.37	c #Conflicts:     133000 | #Constraints:      14075
398.25/399.37	c #Conflicts:     134000 | #Constraints:      15075
398.25/399.37	c #Conflicts:     135000 | #Constraints:      16075
398.25/399.37	c #Conflicts:     136000 | #Constraints:      17075
398.25/399.37	c #Conflicts:     137000 | #Constraints:      18075
398.25/399.37	c #Conflicts:     138000 | #Constraints:      19075
398.25/399.37	c #Conflicts:     139000 | #Constraints:      20075
398.25/399.37	c INPROCESSING
398.25/399.37	c GARBAGE COLLECT
398.25/399.37	c #Conflicts:     140000 | #Constraints:      13683
398.25/399.37	c #Conflicts:     141000 | #Constraints:      14683
398.25/399.37	c #Conflicts:     142000 | #Constraints:      15683
398.25/399.37	c #Conflicts:     143000 | #Constraints:      16683
398.25/399.37	c #Conflicts:     144000 | #Constraints:      17683
398.25/399.37	c #Conflicts:     145000 | #Constraints:      18683
398.25/399.37	c #Conflicts:     146000 | #Constraints:      19683
398.25/399.37	c #Conflicts:     147000 | #Constraints:      20683
398.25/399.37	c INPROCESSING
398.25/399.37	c GARBAGE COLLECT
398.25/399.37	c #Conflicts:     148000 | #Constraints:      14087
398.25/399.37	c #Conflicts:     149000 | #Constraints:      15087
398.25/399.37	c #Conflicts:     150000 | #Constraints:      16087
398.25/399.37	c #Conflicts:     151000 | #Constraints:      17087
398.25/399.37	c #Conflicts:     152000 | #Constraints:      18087
398.25/399.37	c #Conflicts:     153000 | #Constraints:      19087
398.25/399.37	c #Conflicts:     154000 | #Constraints:      20087
398.25/399.37	c #Conflicts:     155000 | #Constraints:      21087
398.25/399.37	c INPROCESSING
398.25/399.37	c GARBAGE COLLECT
398.25/399.37	c #Conflicts:     156000 | #Constraints:      14276
398.25/399.37	c #Conflicts:     157000 | #Constraints:      15276
398.25/399.37	c #Conflicts:     158000 | #Constraints:      16276
398.25/399.37	c #Conflicts:     159000 | #Constraints:      17276
398.25/399.37	c #Conflicts:     160000 | #Constraints:      18276
398.25/399.37	c #Conflicts:     161000 | #Constraints:      19276
398.25/399.37	c #Conflicts:     162000 | #Constraints:      20276
398.25/399.37	c #Conflicts:     163000 | #Constraints:      21276
398.25/399.37	c INPROCESSING
398.25/399.37	c GARBAGE COLLECT
398.25/399.37	c #Conflicts:     164000 | #Constraints:      14271
398.25/399.37	c #Conflicts:     165000 | #Constraints:      15271
398.25/399.37	c #Conflicts:     166000 | #Constraints:      16271
398.25/399.37	c #Conflicts:     167000 | #Constraints:      17271
398.25/399.37	c #Conflicts:     168000 | #Constraints:      18271
398.25/399.37	c #Conflicts:     169000 | #Constraints:      19271
398.25/399.37	c #Conflicts:     170000 | #Constraints:      20271
398.25/399.37	c #Conflicts:     171000 | #Constraints:      21271
398.25/399.37	c INPROCESSING
398.25/399.37	c GARBAGE COLLECT
398.25/399.37	c #Conflicts:     172000 | #Constraints:      14064
398.25/399.37	c #Conflicts:     173000 | #Constraints:      15064
398.25/399.37	c #Conflicts:     174000 | #Constraints:      16064
398.25/399.37	c #Conflicts:     175000 | #Constraints:      17064
398.25/399.37	c #Conflicts:     176000 | #Constraints:      18064
398.25/399.37	c #Conflicts:     177000 | #Constraints:      19064
398.25/399.37	c #Conflicts:     178000 | #Constraints:      20064
398.25/399.37	c #Conflicts:     179000 | #Constraints:      21064
398.25/399.37	c #Conflicts:     180000 | #Constraints:      22064
398.25/399.37	c INPROCESSING
398.25/399.37	c GARBAGE COLLECT
398.25/399.37	c #Conflicts:     181000 | #Constraints:      14663
398.25/399.37	c #Conflicts:     182000 | #Constraints:      15663
398.25/399.37	c #Conflicts:     183000 | #Constraints:      16663
398.25/399.37	c #Conflicts:     184000 | #Constraints:      17663
398.25/399.37	c #Conflicts:     185000 | #Constraints:      18663
398.25/399.37	c #Conflicts:     186000 | #Constraints:      19663
398.25/399.37	c #Conflicts:     187000 | #Constraints:      20663
398.25/399.37	c #Conflicts:     188000 | #Constraints:      21663
398.25/399.37	c #Conflicts:     189000 | #Constraints:      22663
398.25/399.37	c INPROCESSING
398.25/399.37	c GARBAGE COLLECT
398.25/399.37	c #Conflicts:     190000 | #Constraints:      15081
398.25/399.37	c #Conflicts:     191000 | #Constraints:      16081
398.25/399.37	c #Conflicts:     192000 | #Constraints:      17081
398.25/399.37	c #Conflicts:     193000 | #Constraints:      18081
398.25/399.37	c #Conflicts:     194000 | #Constraints:      19081
398.25/399.37	c #Conflicts:     195000 | #Constraints:      20081
398.25/399.37	c #Conflicts:     196000 | #Constraints:      21081
398.25/399.37	c #Conflicts:     197000 | #Constraints:      22081
398.25/399.37	c #Conflicts:     198000 | #Constraints:      23081
398.25/399.37	c INPROCESSING
398.25/399.37	c GARBAGE COLLECT
398.25/399.37	c #Conflicts:     199000 | #Constraints:      15280
398.25/399.37	c #Conflicts:     200000 | #Constraints:      16280
589.26/590.85	c #Conflicts:     201000 | #Constraints:      17280
589.26/590.85	c #Conflicts:     202000 | #Constraints:      18280
589.26/590.85	c #Conflicts:     203000 | #Constraints:      19280
589.26/590.85	c #Conflicts:     204000 | #Constraints:      20280
589.26/590.85	c #Conflicts:     205000 | #Constraints:      21280
589.26/590.85	c #Conflicts:     206000 | #Constraints:      22280
589.26/590.85	c #Conflicts:     207000 | #Constraints:      23280
589.26/590.85	c INPROCESSING
589.26/590.85	c GARBAGE COLLECT
589.26/590.85	c #Conflicts:     208000 | #Constraints:      15275
589.26/590.85	c #Conflicts:     209000 | #Constraints:      16275
589.26/590.85	c #Conflicts:     210000 | #Constraints:      17275
589.26/590.85	c #Conflicts:     211000 | #Constraints:      18275
589.26/590.85	c #Conflicts:     212000 | #Constraints:      19275
589.26/590.85	c #Conflicts:     213000 | #Constraints:      20275
589.26/590.85	c #Conflicts:     214000 | #Constraints:      21275
589.26/590.85	c #Conflicts:     215000 | #Constraints:      22275
589.26/590.85	c #Conflicts:     216000 | #Constraints:      23275
589.26/590.85	c INPROCESSING
589.26/590.85	c GARBAGE COLLECT
589.26/590.85	c #Conflicts:     217000 | #Constraints:      15074
589.26/590.85	c #Conflicts:     218000 | #Constraints:      16074
589.26/590.86	c #Conflicts:     219000 | #Constraints:      17074
589.26/590.86	c #Conflicts:     220000 | #Constraints:      18074
589.26/590.86	c #Conflicts:     221000 | #Constraints:      19074
589.26/590.86	c #Conflicts:     222000 | #Constraints:      20074
589.26/590.86	c #Conflicts:     223000 | #Constraints:      21074
589.26/590.86	c #Conflicts:     224000 | #Constraints:      22074
589.26/590.86	c #Conflicts:     225000 | #Constraints:      23074
589.26/590.86	c #Conflicts:     226000 | #Constraints:      24074
589.26/590.86	c INPROCESSING
589.26/590.86	c GARBAGE COLLECT
589.26/590.86	c #Conflicts:     227000 | #Constraints:      15677
589.26/590.86	c #Conflicts:     228000 | #Constraints:      16677
589.26/590.86	c #Conflicts:     229000 | #Constraints:      17677
589.26/590.86	c #Conflicts:     230000 | #Constraints:      18677
589.26/590.86	c #Conflicts:     231000 | #Constraints:      19677
589.26/590.86	c #Conflicts:     232000 | #Constraints:      20677
589.26/590.86	c #Conflicts:     233000 | #Constraints:      21677
589.26/590.86	c #Conflicts:     234000 | #Constraints:      22677
589.26/590.86	c #Conflicts:     235000 | #Constraints:      23677
589.26/590.86	c #Conflicts:     236000 | #Constraints:      24677
589.26/590.86	c INPROCESSING
589.26/590.86	c GARBAGE COLLECT
589.26/590.86	c #Conflicts:     237000 | #Constraints:      16070
589.26/590.86	c #Conflicts:     238000 | #Constraints:      17070
589.26/590.86	c #Conflicts:     239000 | #Constraints:      18070
589.26/590.86	c #Conflicts:     240000 | #Constraints:      19070
589.26/590.86	c #Conflicts:     241000 | #Constraints:      20070
589.26/590.86	c #Conflicts:     242000 | #Constraints:      21070
589.26/590.86	c #Conflicts:     243000 | #Constraints:      22070
589.26/590.86	c #Conflicts:     244000 | #Constraints:      23070
589.26/590.86	c #Conflicts:     245000 | #Constraints:      24070
589.26/590.86	c #Conflicts:     246000 | #Constraints:      25070
589.26/590.86	c INPROCESSING
589.26/590.86	c GARBAGE COLLECT
589.26/590.86	c #Conflicts:     247000 | #Constraints:      16260
589.26/590.86	c #Conflicts:     248000 | #Constraints:      17260
589.26/590.86	c #Conflicts:     249000 | #Constraints:      18260
589.26/590.86	c #Conflicts:     250000 | #Constraints:      19260
589.26/590.86	c #Conflicts:     251000 | #Constraints:      20260
589.26/590.86	c #Conflicts:     252000 | #Constraints:      21260
589.26/590.86	c #Conflicts:     253000 | #Constraints:      22260
589.26/590.86	c #Conflicts:     254000 | #Constraints:      23260
589.26/590.86	c #Conflicts:     255000 | #Constraints:      24260
589.26/590.86	c #Conflicts:     256000 | #Constraints:      25260
589.26/590.86	c INPROCESSING
589.26/590.86	c GARBAGE COLLECT
589.26/590.86	c #Conflicts:     257000 | #Constraints:      16254
589.26/590.86	c #Conflicts:     258000 | #Constraints:      17254
589.26/590.86	c #Conflicts:     259000 | #Constraints:      18254
589.26/590.86	c #Conflicts:     260000 | #Constraints:      19254
589.26/590.86	c #Conflicts:     261000 | #Constraints:      20254
589.26/590.86	c #Conflicts:     262000 | #Constraints:      21254
589.26/590.86	c #Conflicts:     263000 | #Constraints:      22254
589.26/590.86	c #Conflicts:     264000 | #Constraints:      23254
589.26/590.86	c #Conflicts:     265000 | #Constraints:      24254
589.26/590.86	c #Conflicts:     266000 | #Constraints:      25254
589.26/590.86	c INPROCESSING
589.26/590.86	c GARBAGE COLLECT
589.26/590.86	c #Conflicts:     267000 | #Constraints:      16063
589.26/590.86	c #Conflicts:     268000 | #Constraints:      17063
589.26/590.86	c #Conflicts:     269000 | #Constraints:      18063
589.26/590.86	c #Conflicts:     270000 | #Constraints:      19063
589.26/590.86	c #Conflicts:     271000 | #Constraints:      20063
589.26/590.86	c #Conflicts:     272000 | #Constraints:      21063
589.26/590.86	c #Conflicts:     273000 | #Constraints:      22063
589.26/590.86	c #Conflicts:     274000 | #Constraints:      23063
965.17/967.77	c #Conflicts:     275000 | #Constraints:      24063
965.17/967.77	c #Conflicts:     276000 | #Constraints:      25063
965.17/967.77	c #Conflicts:     277000 | #Constraints:      26063
965.17/967.77	c INPROCESSING
965.17/967.77	c GARBAGE COLLECT
965.17/967.77	c #Conflicts:     278000 | #Constraints:      16663
965.17/967.77	c #Conflicts:     279000 | #Constraints:      17663
965.17/967.77	c #Conflicts:     280000 | #Constraints:      18663
965.17/967.77	c #Conflicts:     281000 | #Constraints:      19663
965.17/967.77	c #Conflicts:     282000 | #Constraints:      20663
965.17/967.77	c #Conflicts:     283000 | #Constraints:      21663
965.17/967.77	c #Conflicts:     284000 | #Constraints:      22663
965.17/967.77	c #Conflicts:     285000 | #Constraints:      23663
965.17/967.77	c #Conflicts:     286000 | #Constraints:      24663
965.17/967.77	c #Conflicts:     287000 | #Constraints:      25663
965.17/967.77	c #Conflicts:     288000 | #Constraints:      26663
965.17/967.77	c INPROCESSING
965.17/967.77	c GARBAGE COLLECT
965.17/967.77	c #Conflicts:     289000 | #Constraints:      17067
965.17/967.77	c #Conflicts:     290000 | #Constraints:      18067
965.17/967.77	c #Conflicts:     291000 | #Constraints:      19067
965.17/967.77	c #Conflicts:     292000 | #Constraints:      20067
965.17/967.77	c #Conflicts:     293000 | #Constraints:      21067
965.17/967.77	c #Conflicts:     294000 | #Constraints:      22067
965.17/967.77	c #Conflicts:     295000 | #Constraints:      23067
965.17/967.77	c #Conflicts:     296000 | #Constraints:      24067
965.17/967.77	c #Conflicts:     297000 | #Constraints:      25067
965.17/967.77	c #Conflicts:     298000 | #Constraints:      26067
965.17/967.77	c #Conflicts:     299000 | #Constraints:      27067
965.17/967.77	c INPROCESSING
965.17/967.77	c GARBAGE COLLECT
965.17/967.77	c #Conflicts:     300000 | #Constraints:      17269
965.17/967.77	c #Conflicts:     301000 | #Constraints:      18269
965.17/967.77	c #Conflicts:     302000 | #Constraints:      19269
965.17/967.77	c #Conflicts:     303000 | #Constraints:      20269
965.17/967.77	c #Conflicts:     304000 | #Constraints:      21269
965.17/967.77	c #Conflicts:     305000 | #Constraints:      22269
965.17/967.77	c #Conflicts:     306000 | #Constraints:      23269
965.17/967.77	c #Conflicts:     307000 | #Constraints:      24269
965.17/967.77	c #Conflicts:     308000 | #Constraints:      25269
965.17/967.77	c #Conflicts:     309000 | #Constraints:      26269
965.17/967.77	c #Conflicts:     310000 | #Constraints:      27269
965.17/967.77	c INPROCESSING
965.17/967.77	c GARBAGE COLLECT
965.17/967.77	c #Conflicts:     311000 | #Constraints:      17284
965.17/967.77	c #Conflicts:     312000 | #Constraints:      18284
965.17/967.77	c #Conflicts:     313000 | #Constraints:      19284
965.17/967.77	c #Conflicts:     314000 | #Constraints:      20284
965.17/967.77	c #Conflicts:     315000 | #Constraints:      21284
965.17/967.77	c #Conflicts:     316000 | #Constraints:      22284
965.17/967.77	c #Conflicts:     317000 | #Constraints:      23284
965.17/967.77	c #Conflicts:     318000 | #Constraints:      24284
965.17/967.77	c #Conflicts:     319000 | #Constraints:      25284
965.17/967.77	c #Conflicts:     320000 | #Constraints:      26284
965.17/967.77	c #Conflicts:     321000 | #Constraints:      27284
965.17/967.77	c INPROCESSING
965.17/967.77	c GARBAGE COLLECT
965.17/967.77	c #Conflicts:     322000 | #Constraints:      17084
965.17/967.77	c #Conflicts:     323000 | #Constraints:      18084
965.17/967.77	c #Conflicts:     324000 | #Constraints:      19084
965.17/967.77	c #Conflicts:     325000 | #Constraints:      20084
965.17/967.77	c #Conflicts:     326000 | #Constraints:      21084
965.17/967.77	c #Conflicts:     327000 | #Constraints:      22084
965.17/967.77	c #Conflicts:     328000 | #Constraints:      23084
965.17/967.77	c #Conflicts:     329000 | #Constraints:      24084
965.17/967.77	c #Conflicts:     330000 | #Constraints:      25084
965.17/967.78	c #Conflicts:     331000 | #Constraints:      26084
965.17/967.78	c #Conflicts:     332000 | #Constraints:      27084
965.17/967.78	c #Conflicts:     333000 | #Constraints:      28084
965.17/967.78	c INPROCESSING
965.17/967.78	c GARBAGE COLLECT
965.17/967.78	c #Conflicts:     334000 | #Constraints:      17693
965.17/967.78	c #Conflicts:     335000 | #Constraints:      18693
965.17/967.78	c #Conflicts:     336000 | #Constraints:      19693
965.17/967.78	c #Conflicts:     337000 | #Constraints:      20693
965.17/967.78	c #Conflicts:     338000 | #Constraints:      21693
965.17/967.78	c #Conflicts:     339000 | #Constraints:      22693
965.17/967.78	c #Conflicts:     340000 | #Constraints:      23693
965.17/967.78	c #Conflicts:     341000 | #Constraints:      24693
965.17/967.78	c #Conflicts:     342000 | #Constraints:      25693
965.17/967.78	c #Conflicts:     343000 | #Constraints:      26693
965.17/967.78	c #Conflicts:     344000 | #Constraints:      27693
965.17/967.78	c #Conflicts:     345000 | #Constraints:      28693
965.17/967.78	c INPROCESSING
965.17/967.78	c GARBAGE COLLECT
965.17/967.78	c #Conflicts:     346000 | #Constraints:      18092
965.17/967.78	c #Conflicts:     347000 | #Constraints:      19092
965.17/967.78	c #Conflicts:     348000 | #Constraints:      20092
1346.78/1350.21	c #Conflicts:     349000 | #Constraints:      21092
1346.78/1350.21	c #Conflicts:     350000 | #Constraints:      22092
1346.78/1350.21	c #Conflicts:     351000 | #Constraints:      23092
1346.78/1350.21	c #Conflicts:     352000 | #Constraints:      24092
1346.78/1350.21	c #Conflicts:     353000 | #Constraints:      25092
1346.78/1350.21	c #Conflicts:     354000 | #Constraints:      26092
1346.78/1350.21	c #Conflicts:     355000 | #Constraints:      27092
1346.78/1350.21	c #Conflicts:     356000 | #Constraints:      28092
1346.78/1350.21	c #Conflicts:     357000 | #Constraints:      29092
1346.78/1350.21	c INPROCESSING
1346.78/1350.21	c GARBAGE COLLECT
1346.78/1350.21	c #Conflicts:     358000 | #Constraints:      18291
1346.78/1350.21	c #Conflicts:     359000 | #Constraints:      19291
1346.78/1350.21	c #Conflicts:     360000 | #Constraints:      20291
1346.78/1350.21	c #Conflicts:     361000 | #Constraints:      21291
1346.78/1350.21	c #Conflicts:     362000 | #Constraints:      22291
1346.78/1350.21	c #Conflicts:     363000 | #Constraints:      23291
1346.78/1350.21	c #Conflicts:     364000 | #Constraints:      24291
1346.78/1350.21	c #Conflicts:     365000 | #Constraints:      25291
1346.78/1350.21	c #Conflicts:     366000 | #Constraints:      26291
1346.78/1350.21	c #Conflicts:     367000 | #Constraints:      27291
1346.78/1350.21	c #Conflicts:     368000 | #Constraints:      28291
1346.78/1350.21	c #Conflicts:     369000 | #Constraints:      29291
1346.78/1350.21	c INPROCESSING
1346.78/1350.21	c GARBAGE COLLECT
1346.78/1350.21	c #Conflicts:     370000 | #Constraints:      18289
1346.78/1350.21	c #Conflicts:     371000 | #Constraints:      19289
1346.78/1350.21	c #Conflicts:     372000 | #Constraints:      20289
1346.78/1350.21	c #Conflicts:     373000 | #Constraints:      21289
1346.78/1350.21	c #Conflicts:     374000 | #Constraints:      22289
1346.78/1350.21	c #Conflicts:     375000 | #Constraints:      23289
1346.78/1350.21	c #Conflicts:     376000 | #Constraints:      24289
1346.78/1350.21	c #Conflicts:     377000 | #Constraints:      25289
1346.78/1350.21	c #Conflicts:     378000 | #Constraints:      26289
1346.78/1350.21	c #Conflicts:     379000 | #Constraints:      27289
1346.78/1350.21	c #Conflicts:     380000 | #Constraints:      28289
1346.78/1350.21	c #Conflicts:     381000 | #Constraints:      29289
1346.78/1350.21	c INPROCESSING
1346.78/1350.21	c GARBAGE COLLECT
1346.78/1350.21	c #Conflicts:     382000 | #Constraints:      18089
1346.78/1350.21	c #Conflicts:     383000 | #Constraints:      19089
1346.78/1350.21	c #Conflicts:     384000 | #Constraints:      20089
1346.78/1350.21	c #Conflicts:     385000 | #Constraints:      21089
1346.78/1350.21	c #Conflicts:     386000 | #Constraints:      22089
1346.78/1350.21	c #Conflicts:     387000 | #Constraints:      23089
1346.78/1350.21	c #Conflicts:     388000 | #Constraints:      24089
1346.78/1350.21	c #Conflicts:     389000 | #Constraints:      25089
1346.78/1350.21	c #Conflicts:     390000 | #Constraints:      26089
1346.78/1350.21	c #Conflicts:     391000 | #Constraints:      27089
1346.78/1350.21	c #Conflicts:     392000 | #Constraints:      28089
1346.78/1350.21	c #Conflicts:     393000 | #Constraints:      29089
1346.78/1350.21	c #Conflicts:     394000 | #Constraints:      30089
1346.78/1350.21	c INPROCESSING
1346.78/1350.21	c GARBAGE COLLECT
1346.78/1350.21	c #Conflicts:     395000 | #Constraints:      18694
1346.78/1350.21	c #Conflicts:     396000 | #Constraints:      19694
1346.78/1350.21	c #Conflicts:     397000 | #Constraints:      20694
1346.78/1350.21	c #Conflicts:     398000 | #Constraints:      21694
1346.78/1350.21	c #Conflicts:     399000 | #Constraints:      22694
1346.78/1350.21	c #Conflicts:     400000 | #Constraints:      23694
1346.78/1350.21	c #Conflicts:     401000 | #Constraints:      24694
1346.78/1350.21	c #Conflicts:     402000 | #Constraints:      25694
1346.78/1350.21	c #Conflicts:     403000 | #Constraints:      26694
1346.78/1350.21	c #Conflicts:     404000 | #Constraints:      27694
1346.78/1350.21	c #Conflicts:     405000 | #Constraints:      28694
1346.78/1350.21	c #Conflicts:     406000 | #Constraints:      29694
1346.78/1350.21	c #Conflicts:     407000 | #Constraints:      30694
1346.78/1350.21	c INPROCESSING
1346.78/1350.21	c GARBAGE COLLECT
1346.78/1350.21	c #Conflicts:     408000 | #Constraints:      19094
1346.78/1350.21	c #Conflicts:     409000 | #Constraints:      20094
1346.78/1350.21	c #Conflicts:     410000 | #Constraints:      21094
1346.78/1350.21	c #Conflicts:     411000 | #Constraints:      22094
1346.78/1350.21	c #Conflicts:     412000 | #Constraints:      23094
1346.78/1350.21	c #Conflicts:     413000 | #Constraints:      24094
1346.78/1350.21	c #Conflicts:     414000 | #Constraints:      25094
1346.78/1350.21	c #Conflicts:     415000 | #Constraints:      26094
1346.78/1350.21	c #Conflicts:     416000 | #Constraints:      27094
1346.78/1350.21	c #Conflicts:     417000 | #Constraints:      28094
1346.78/1350.21	c #Conflicts:     418000 | #Constraints:      29094
1346.78/1350.21	c #Conflicts:     419000 | #Constraints:      30094
1346.78/1350.21	c #Conflicts:     420000 | #Constraints:      31094
1346.78/1350.21	c INPROCESSING
1346.78/1350.21	c GARBAGE COLLECT
1346.78/1350.21	c #Conflicts:     421000 | #Constraints:      19299
1346.78/1350.21	c #Conflicts:     422000 | #Constraints:      20299
1346.78/1350.21	c #Conflicts:     423000 | #Constraints:      21299
2087.29/2092.63	c #Conflicts:     424000 | #Constraints:      22299
2087.29/2092.63	c #Conflicts:     425000 | #Constraints:      23299
2087.29/2092.63	c #Conflicts:     426000 | #Constraints:      24299
2087.29/2092.63	c #Conflicts:     427000 | #Constraints:      25299
2087.29/2092.63	c #Conflicts:     428000 | #Constraints:      26299
2087.29/2092.63	c #Conflicts:     429000 | #Constraints:      27299
2087.29/2092.63	c #Conflicts:     430000 | #Constraints:      28299
2087.29/2092.63	c #Conflicts:     431000 | #Constraints:      29299
2087.29/2092.63	c #Conflicts:     432000 | #Constraints:      30299
2087.29/2092.63	c #Conflicts:     433000 | #Constraints:      31299
2087.29/2092.63	c INPROCESSING
2087.29/2092.63	c GARBAGE COLLECT
2087.29/2092.63	c #Conflicts:     434000 | #Constraints:      19315
2087.29/2092.63	c #Conflicts:     435000 | #Constraints:      20315
2087.29/2092.63	c #Conflicts:     436000 | #Constraints:      21315
2087.29/2092.63	c #Conflicts:     437000 | #Constraints:      22315
2087.29/2092.63	c #Conflicts:     438000 | #Constraints:      23315
2087.29/2092.63	c #Conflicts:     439000 | #Constraints:      24315
2087.29/2092.63	c #Conflicts:     440000 | #Constraints:      25315
2087.29/2092.63	c #Conflicts:     441000 | #Constraints:      26315
2087.29/2092.63	c #Conflicts:     442000 | #Constraints:      27315
2087.29/2092.63	c #Conflicts:     443000 | #Constraints:      28315
2087.29/2092.63	c #Conflicts:     444000 | #Constraints:      29315
2087.29/2092.63	c #Conflicts:     445000 | #Constraints:      30315
2087.29/2092.63	c #Conflicts:     446000 | #Constraints:      31315
2087.29/2092.63	c INPROCESSING
2087.29/2092.63	c GARBAGE COLLECT
2087.29/2092.63	c #Conflicts:     447000 | #Constraints:      19120
2087.29/2092.63	c #Conflicts:     448000 | #Constraints:      20120
2087.29/2092.63	c #Conflicts:     449000 | #Constraints:      21120
2087.29/2092.63	c #Conflicts:     450000 | #Constraints:      22120
2087.29/2092.63	c #Conflicts:     451000 | #Constraints:      23120
2087.29/2092.63	c #Conflicts:     452000 | #Constraints:      24120
2087.29/2092.63	c #Conflicts:     453000 | #Constraints:      25120
2087.29/2092.63	c #Conflicts:     454000 | #Constraints:      26120
2087.29/2092.63	c #Conflicts:     455000 | #Constraints:      27120
2087.29/2092.63	c #Conflicts:     456000 | #Constraints:      28120
2087.29/2092.63	c #Conflicts:     457000 | #Constraints:      29120
2087.29/2092.63	c #Conflicts:     458000 | #Constraints:      30120
2087.29/2092.63	c #Conflicts:     459000 | #Constraints:      31120
2087.29/2092.63	c #Conflicts:     460000 | #Constraints:      32120
2087.29/2092.63	c INPROCESSING
2087.29/2092.63	c GARBAGE COLLECT
2087.29/2092.63	c #Conflicts:     461000 | #Constraints:      19742
2087.29/2092.63	c #Conflicts:     462000 | #Constraints:      20742
2087.29/2092.63	c #Conflicts:     463000 | #Constraints:      21742
2087.29/2092.63	c #Conflicts:     464000 | #Constraints:      22742
2087.29/2092.63	c #Conflicts:     465000 | #Constraints:      23742
2087.29/2092.63	c #Conflicts:     466000 | #Constraints:      24742
2087.29/2092.63	c #Conflicts:     467000 | #Constraints:      25742
2087.29/2092.63	c #Conflicts:     468000 | #Constraints:      26742
2087.29/2092.63	c #Conflicts:     469000 | #Constraints:      27742
2087.29/2092.63	c #Conflicts:     470000 | #Constraints:      28742
2087.29/2092.63	c #Conflicts:     471000 | #Constraints:      29742
2087.29/2092.63	c #Conflicts:     472000 | #Constraints:      30742
2087.29/2092.63	c #Conflicts:     473000 | #Constraints:      31742
2087.29/2092.63	c #Conflicts:     474000 | #Constraints:      32742
2087.29/2092.63	c INPROCESSING
2087.29/2092.63	c GARBAGE COLLECT
2087.29/2092.63	c #Conflicts:     475000 | #Constraints:      20126
2087.29/2092.63	c #Conflicts:     476000 | #Constraints:      21126
2087.29/2092.63	c #Conflicts:     477000 | #Constraints:      22126
2087.29/2092.63	c #Conflicts:     478000 | #Constraints:      23126
2087.29/2092.63	c #Conflicts:     479000 | #Constraints:      24126
2087.29/2092.63	c #Conflicts:     480000 | #Constraints:      25126
2087.29/2092.63	c #Conflicts:     481000 | #Constraints:      26126
2087.29/2092.63	c #Conflicts:     482000 | #Constraints:      27126
2087.29/2092.63	c #Conflicts:     483000 | #Constraints:      28126
2087.29/2092.63	c #Conflicts:     484000 | #Constraints:      29126
2087.29/2092.63	c #Conflicts:     485000 | #Constraints:      30126
2087.29/2092.63	c #Conflicts:     486000 | #Constraints:      31126
2087.29/2092.63	c #Conflicts:     487000 | #Constraints:      32126
2087.29/2092.63	c #Conflicts:     488000 | #Constraints:      33126
2087.29/2092.63	c INPROCESSING
2087.29/2092.63	c GARBAGE COLLECT
2087.29/2092.63	c #Conflicts:     489000 | #Constraints:      20316
2087.29/2092.63	c #Conflicts:     490000 | #Constraints:      21316
2087.29/2092.63	c #Conflicts:     491000 | #Constraints:      22316
2087.29/2092.63	c #Conflicts:     492000 | #Constraints:      23316
2087.29/2092.63	c #Conflicts:     493000 | #Constraints:      24316
2087.29/2092.63	c #Conflicts:     494000 | #Constraints:      25316
2087.29/2092.63	c #Conflicts:     495000 | #Constraints:      26316
2087.29/2092.63	c #Conflicts:     496000 | #Constraints:      27316
2087.29/2092.63	c #Conflicts:     497000 | #Constraints:      28316
2087.29/2092.63	c #Conflicts:     498000 | #Constraints:      29316
2087.29/2092.63	c #Conflicts:     499000 | #Constraints:      30316
2711.11/2718.02	c #Conflicts:     500000 | #Constraints:      31316
2711.11/2718.02	c #Conflicts:     501000 | #Constraints:      32316
2711.11/2718.02	c #Conflicts:     502000 | #Constraints:      33316
2711.11/2718.02	c INPROCESSING
2711.11/2718.02	c GARBAGE COLLECT
2711.11/2718.02	c #Conflicts:     503000 | #Constraints:      20323
2711.11/2718.02	c #Conflicts:     504000 | #Constraints:      21323
2711.11/2718.02	c #Conflicts:     505000 | #Constraints:      22323
2711.11/2718.02	c #Conflicts:     506000 | #Constraints:      23323
2711.11/2718.02	c #Conflicts:     507000 | #Constraints:      24323
2711.11/2718.02	c #Conflicts:     508000 | #Constraints:      25323
2711.11/2718.02	c #Conflicts:     509000 | #Constraints:      26323
2711.11/2718.02	c #Conflicts:     510000 | #Constraints:      27323
2711.11/2718.02	c #Conflicts:     511000 | #Constraints:      28323
2711.11/2718.02	c #Conflicts:     512000 | #Constraints:      29323
2711.11/2718.02	c #Conflicts:     513000 | #Constraints:      30323
2711.11/2718.02	c #Conflicts:     514000 | #Constraints:      31323
2711.11/2718.02	c #Conflicts:     515000 | #Constraints:      32323
2711.11/2718.02	c #Conflicts:     516000 | #Constraints:      33323
2711.11/2718.02	c INPROCESSING
2711.11/2718.02	c GARBAGE COLLECT
2711.11/2718.02	c #Conflicts:     517000 | #Constraints:      20099
2711.11/2718.02	c #Conflicts:     518000 | #Constraints:      21099
2711.11/2718.02	c #Conflicts:     519000 | #Constraints:      22099
2711.11/2718.02	c #Conflicts:     520000 | #Constraints:      23099
2711.11/2718.02	c #Conflicts:     521000 | #Constraints:      24099
2711.11/2718.02	c #Conflicts:     522000 | #Constraints:      25099
2711.11/2718.02	c #Conflicts:     523000 | #Constraints:      26099
2711.11/2718.02	c #Conflicts:     524000 | #Constraints:      27099
2711.11/2718.02	c #Conflicts:     525000 | #Constraints:      28099
2711.11/2718.02	c #Conflicts:     526000 | #Constraints:      29099
2711.11/2718.02	c #Conflicts:     527000 | #Constraints:      30099
2711.11/2718.02	c #Conflicts:     528000 | #Constraints:      31099
2711.11/2718.02	c #Conflicts:     529000 | #Constraints:      32099
2711.11/2718.02	c #Conflicts:     530000 | #Constraints:      33099
2711.11/2718.02	c #Conflicts:     531000 | #Constraints:      34099
2711.11/2718.02	c INPROCESSING
2711.11/2718.02	c GARBAGE COLLECT
2711.11/2718.02	c #Conflicts:     532000 | #Constraints:      20705
2711.11/2718.02	c #Conflicts:     533000 | #Constraints:      21705
2711.11/2718.02	c #Conflicts:     534000 | #Constraints:      22705
2711.11/2718.02	c #Conflicts:     535000 | #Constraints:      23705
2711.11/2718.02	c #Conflicts:     536000 | #Constraints:      24705
2711.11/2718.02	c #Conflicts:     537000 | #Constraints:      25705
2711.11/2718.02	c #Conflicts:     538000 | #Constraints:      26705
2711.11/2718.02	c #Conflicts:     539000 | #Constraints:      27705
2711.11/2718.02	c #Conflicts:     540000 | #Constraints:      28705
2711.11/2718.02	c #Conflicts:     541000 | #Constraints:      29705
2711.11/2718.02	c #Conflicts:     542000 | #Constraints:      30705
2711.11/2718.02	c #Conflicts:     543000 | #Constraints:      31705
2711.11/2718.02	c #Conflicts:     544000 | #Constraints:      32705
2711.11/2718.02	c #Conflicts:     545000 | #Constraints:      33705
2711.11/2718.02	c #Conflicts:     546000 | #Constraints:      34705
2711.11/2718.02	c INPROCESSING
2711.11/2718.02	c GARBAGE COLLECT
2711.11/2718.02	c #Conflicts:     547000 | #Constraints:      21097
2711.11/2718.02	c #Conflicts:     548000 | #Constraints:      22097
2711.11/2718.02	c #Conflicts:     549000 | #Constraints:      23097
2711.11/2718.02	c #Conflicts:     550000 | #Constraints:      24097
2711.11/2718.02	c #Conflicts:     551000 | #Constraints:      25097
2711.11/2718.02	c #Conflicts:     552000 | #Constraints:      26097
2711.11/2718.02	c #Conflicts:     553000 | #Constraints:      27097
2711.11/2718.02	c #Conflicts:     554000 | #Constraints:      28097
2711.11/2718.02	c #Conflicts:     555000 | #Constraints:      29097
2711.11/2718.02	c #Conflicts:     556000 | #Constraints:      30097
2711.11/2718.02	c #Conflicts:     557000 | #Constraints:      31097
2711.11/2718.02	c #Conflicts:     558000 | #Constraints:      32097
2711.11/2718.02	c #Conflicts:     559000 | #Constraints:      33097
2711.11/2718.02	c #Conflicts:     560000 | #Constraints:      34097
2711.11/2718.02	c #Conflicts:     561000 | #Constraints:      35097
2711.11/2718.02	c INPROCESSING
2711.11/2718.02	c GARBAGE COLLECT
2711.11/2718.02	c #Conflicts:     562000 | #Constraints:      21309
2711.11/2718.02	c #Conflicts:     563000 | #Constraints:      22309
2711.11/2718.02	c #Conflicts:     564000 | #Constraints:      23309
2711.11/2718.02	c #Conflicts:     565000 | #Constraints:      24309
2711.11/2718.02	c #Conflicts:     566000 | #Constraints:      25309
2711.11/2718.02	c #Conflicts:     567000 | #Constraints:      26309
2711.11/2718.02	c #Conflicts:     568000 | #Constraints:      27309
2711.11/2718.02	c #Conflicts:     569000 | #Constraints:      28309
2711.11/2718.02	c #Conflicts:     570000 | #Constraints:      29309
2711.11/2718.02	c #Conflicts:     571000 | #Constraints:      30309
2711.11/2718.02	c #Conflicts:     572000 | #Constraints:      31309
2711.11/2718.02	c #Conflicts:     573000 | #Constraints:      32309
2711.11/2718.02	c #Conflicts:     574000 | #Constraints:      33309
2711.11/2718.02	c #Conflicts:     575000 | #Constraints:      34309
3049.69/3057.41	c #Conflicts:     576000 | #Constraints:      35309
3049.69/3057.41	c INPROCESSING
3049.69/3057.41	c GARBAGE COLLECT
3049.69/3057.41	c #Conflicts:     577000 | #Constraints:      21308
3049.69/3057.41	c #Conflicts:     578000 | #Constraints:      22308
3049.69/3057.41	c #Conflicts:     579000 | #Constraints:      23308
3049.69/3057.41	c #Conflicts:     580000 | #Constraints:      24308
3049.69/3057.41	c #Conflicts:     581000 | #Constraints:      25308
3049.69/3057.41	c #Conflicts:     582000 | #Constraints:      26308
3049.69/3057.41	c #Conflicts:     583000 | #Constraints:      27308
3049.69/3057.41	c #Conflicts:     584000 | #Constraints:      28308
3049.69/3057.41	c #Conflicts:     585000 | #Constraints:      29308
3049.69/3057.41	c #Conflicts:     586000 | #Constraints:      30308
3049.69/3057.41	c #Conflicts:     587000 | #Constraints:      31308
3049.69/3057.41	c #Conflicts:     588000 | #Constraints:      32308
3049.69/3057.41	c #Conflicts:     589000 | #Constraints:      33308
3049.69/3057.41	c #Conflicts:     590000 | #Constraints:      34308
3049.69/3057.41	c #Conflicts:     591000 | #Constraints:      35308
3049.69/3057.41	c INPROCESSING
3049.69/3057.41	c GARBAGE COLLECT
3049.69/3057.41	c #Conflicts:     592000 | #Constraints:      21090
3049.69/3057.41	c #Conflicts:     593000 | #Constraints:      22090
3049.69/3057.41	c #Conflicts:     594000 | #Constraints:      23090
3049.69/3057.41	c #Conflicts:     595000 | #Constraints:      24090
3049.69/3057.41	c #Conflicts:     596000 | #Constraints:      25090
3049.69/3057.41	c #Conflicts:     597000 | #Constraints:      26090
3049.69/3057.41	c #Conflicts:     598000 | #Constraints:      27090
3049.69/3057.41	c #Conflicts:     599000 | #Constraints:      28090
3049.69/3057.41	c #Conflicts:     600000 | #Constraints:      29090
3049.69/3057.41	c #Conflicts:     601000 | #Constraints:      30090
3049.69/3057.41	c #Conflicts:     602000 | #Constraints:      31090
3049.69/3057.41	c #Conflicts:     603000 | #Constraints:      32090
3049.69/3057.41	c #Conflicts:     604000 | #Constraints:      33090
3049.69/3057.41	c #Conflicts:     605000 | #Constraints:      34090
3049.69/3057.41	c #Conflicts:     606000 | #Constraints:      35090
3049.69/3057.41	c #Conflicts:     607000 | #Constraints:      36090
3049.69/3057.41	c INPROCESSING
3049.69/3057.41	c GARBAGE COLLECT
3049.69/3057.41	c #Conflicts:     608000 | #Constraints:      21711
3049.69/3057.41	c #Conflicts:     609000 | #Constraints:      22711
3049.69/3057.41	c #Conflicts:     610000 | #Constraints:      23711
3049.69/3057.41	c #Conflicts:     611000 | #Constraints:      24711
3049.69/3057.41	c #Conflicts:     612000 | #Constraints:      25711
3049.69/3057.41	c #Conflicts:     613000 | #Constraints:      26711
3049.69/3057.41	c #Conflicts:     614000 | #Constraints:      27711
3049.69/3057.41	c #Conflicts:     615000 | #Constraints:      28711
3049.69/3057.41	c #Conflicts:     616000 | #Constraints:      29711
3049.69/3057.41	c #Conflicts:     617000 | #Constraints:      30711
3049.69/3057.41	c #Conflicts:     618000 | #Constraints:      31711
3049.69/3057.41	c #Conflicts:     619000 | #Constraints:      32711
3049.69/3057.41	c #Conflicts:     620000 | #Constraints:      33711
3049.69/3057.41	c #Conflicts:     621000 | #Constraints:      34711
3049.69/3057.41	c #Conflicts:     622000 | #Constraints:      35711
3049.69/3057.41	c #Conflicts:     623000 | #Constraints:      36711
3049.69/3057.41	c INPROCESSING
3049.69/3057.41	c GARBAGE COLLECT
3049.69/3057.41	c #Conflicts:     624000 | #Constraints:      22100
3049.69/3057.41	c #Conflicts:     625000 | #Constraints:      23100
3049.69/3057.41	c #Conflicts:     626000 | #Constraints:      24100
3049.69/3057.41	c #Conflicts:     627000 | #Constraints:      25100
3049.69/3057.41	c #Conflicts:     628000 | #Constraints:      26100
3049.69/3057.41	c #Conflicts:     629000 | #Constraints:      27100
3049.69/3057.41	c #Conflicts:     630000 | #Constraints:      28100
3049.69/3057.41	c #Conflicts:     631000 | #Constraints:      29100
3049.69/3057.41	c #Conflicts:     632000 | #Constraints:      30100
3049.69/3057.41	c #Conflicts:     633000 | #Constraints:      31100
3049.69/3057.41	c #Conflicts:     634000 | #Constraints:      32100
3049.69/3057.41	c #Conflicts:     635000 | #Constraints:      33100
3049.69/3057.41	c #Conflicts:     636000 | #Constraints:      34100
3049.69/3057.41	c #Conflicts:     637000 | #Constraints:      35100
3049.69/3057.41	c #Conflicts:     638000 | #Constraints:      36100
3049.69/3057.41	c #Conflicts:     639000 | #Constraints:      37100
3049.69/3057.41	c INPROCESSING
3049.69/3057.41	c GARBAGE COLLECT
3049.69/3057.41	c #Conflicts:     640000 | #Constraints:      22289
3049.69/3057.41	c #Conflicts:     641000 | #Constraints:      23289
3049.69/3057.41	c #Conflicts:     642000 | #Constraints:      24289
3049.69/3057.41	c #Conflicts:     643000 | #Constraints:      25289
3049.69/3057.41	c #Conflicts:     644000 | #Constraints:      26289
3049.69/3057.41	c #Conflicts:     645000 | #Constraints:      27289
3049.69/3057.41	c #Conflicts:     646000 | #Constraints:      28289
3049.69/3057.41	c #Conflicts:     647000 | #Constraints:      29289
3049.69/3057.41	c #Conflicts:     648000 | #Constraints:      30289
3049.69/3057.41	c #Conflicts:     649000 | #Constraints:      31289
3049.69/3057.41	c #Conflicts:     650000 | #Constraints:      32289
3456.31/3465.08	c #Conflicts:     651000 | #Constraints:      33289
3456.31/3465.08	c #Conflicts:     652000 | #Constraints:      34289
3456.31/3465.08	c #Conflicts:     653000 | #Constraints:      35289
3456.31/3465.08	c #Conflicts:     654000 | #Constraints:      36289
3456.31/3465.08	c #Conflicts:     655000 | #Constraints:      37289
3456.31/3465.08	c INPROCESSING
3456.31/3465.08	c GARBAGE COLLECT
3456.31/3465.08	c #Conflicts:     656000 | #Constraints:      22303
3456.31/3465.08	c #Conflicts:     657000 | #Constraints:      23303
3456.31/3465.08	c #Conflicts:     658000 | #Constraints:      24303
3456.31/3465.08	c #Conflicts:     659000 | #Constraints:      25303
3456.31/3465.08	c #Conflicts:     660000 | #Constraints:      26303
3456.31/3465.08	c #Conflicts:     661000 | #Constraints:      27303
3456.31/3465.08	c #Conflicts:     662000 | #Constraints:      28303
3456.31/3465.08	c #Conflicts:     663000 | #Constraints:      29303
3456.31/3465.08	c #Conflicts:     664000 | #Constraints:      30303
3456.31/3465.08	c #Conflicts:     665000 | #Constraints:      31303
3456.31/3465.08	c #Conflicts:     666000 | #Constraints:      32303
3456.31/3465.08	c #Conflicts:     667000 | #Constraints:      33303
3456.31/3465.08	c #Conflicts:     668000 | #Constraints:      34303
3456.31/3465.08	c #Conflicts:     669000 | #Constraints:      35303
3456.31/3465.08	c #Conflicts:     670000 | #Constraints:      36303
3456.31/3465.08	c #Conflicts:     671000 | #Constraints:      37303
3456.31/3465.08	c INPROCESSING
3456.31/3465.08	c GARBAGE COLLECT
3456.31/3465.08	c #Conflicts:     672000 | #Constraints:      22110
3456.31/3465.08	c #Conflicts:     673000 | #Constraints:      23110
3456.31/3465.08	c #Conflicts:     674000 | #Constraints:      24110
3456.31/3465.08	c #Conflicts:     675000 | #Constraints:      25110
3456.31/3465.08	c #Conflicts:     676000 | #Constraints:      26110
3456.31/3465.08	c #Conflicts:     677000 | #Constraints:      27110
3456.31/3465.08	c #Conflicts:     678000 | #Constraints:      28110
3456.31/3465.08	c #Conflicts:     679000 | #Constraints:      29110
3456.31/3465.08	c #Conflicts:     680000 | #Constraints:      30110
3456.31/3465.08	c #Conflicts:     681000 | #Constraints:      31110
3456.31/3465.08	c #Conflicts:     682000 | #Constraints:      32110
3456.31/3465.08	c #Conflicts:     683000 | #Constraints:      33110
3456.31/3465.08	c #Conflicts:     684000 | #Constraints:      34110
3456.31/3465.08	c #Conflicts:     685000 | #Constraints:      35110
3456.31/3465.08	c #Conflicts:     686000 | #Constraints:      36110
3456.31/3465.08	c #Conflicts:     687000 | #Constraints:      37110
3456.31/3465.08	c #Conflicts:     688000 | #Constraints:      38110
3456.31/3465.08	c INPROCESSING
3456.31/3465.08	c GARBAGE COLLECT
3456.31/3465.08	c #Conflicts:     689000 | #Constraints:      22736
3456.31/3465.08	c #Conflicts:     690000 | #Constraints:      23736
3456.31/3465.08	c #Conflicts:     691000 | #Constraints:      24736
3456.31/3465.08	c #Conflicts:     692000 | #Constraints:      25736
3456.31/3465.08	c #Conflicts:     693000 | #Constraints:      26736
3456.31/3465.08	c #Conflicts:     694000 | #Constraints:      27736
3456.31/3465.08	c #Conflicts:     695000 | #Constraints:      28736
3456.31/3465.08	c #Conflicts:     696000 | #Constraints:      29736
3456.31/3465.08	c #Conflicts:     697000 | #Constraints:      30736
3456.31/3465.08	c #Conflicts:     698000 | #Constraints:      31736
3456.31/3465.08	c #Conflicts:     699000 | #Constraints:      32736
3456.31/3465.08	c #Conflicts:     700000 | #Constraints:      33736
3456.31/3465.08	c #Conflicts:     701000 | #Constraints:      34736
3456.31/3465.08	c #Conflicts:     702000 | #Constraints:      35736
3456.31/3465.08	c #Conflicts:     703000 | #Constraints:      36736
3456.31/3465.08	c #Conflicts:     704000 | #Constraints:      37736
3456.31/3465.08	c #Conflicts:     705000 | #Constraints:      38736
3456.31/3465.08	c INPROCESSING
3456.31/3465.08	c GARBAGE COLLECT
3456.31/3465.08	c #Conflicts:     706000 | #Constraints:      23135
3456.31/3465.08	c #Conflicts:     707000 | #Constraints:      24135
3456.31/3465.08	c #Conflicts:     708000 | #Constraints:      25135
3456.31/3465.08	c #Conflicts:     709000 | #Constraints:      26135
3456.31/3465.08	c #Conflicts:     710000 | #Constraints:      27135
3456.31/3465.08	c #Conflicts:     711000 | #Constraints:      28135
3456.31/3465.08	c #Conflicts:     712000 | #Constraints:      29135
3456.31/3465.08	c #Conflicts:     713000 | #Constraints:      30135
3456.31/3465.08	c #Conflicts:     714000 | #Constraints:      31135
3456.31/3465.08	c #Conflicts:     715000 | #Constraints:      32135
3456.31/3465.08	c #Conflicts:     716000 | #Constraints:      33135
3456.31/3465.08	c #Conflicts:     717000 | #Constraints:      34135
3456.31/3465.08	c #Conflicts:     718000 | #Constraints:      35135
3456.31/3465.08	c #Conflicts:     719000 | #Constraints:      36135
3456.31/3465.08	c #Conflicts:     720000 | #Constraints:      37135
3456.31/3465.08	c #Conflicts:     721000 | #Constraints:      38135
3456.31/3465.08	c #Conflicts:     722000 | #Constraints:      39135
3456.31/3465.08	c INPROCESSING
3456.31/3465.08	c GARBAGE COLLECT
3456.31/3465.08	c #Conflicts:     723000 | #Constraints:      23334
3456.31/3465.08	c #Conflicts:     724000 | #Constraints:      24334
3456.31/3465.08	c #Conflicts:     725000 | #Constraints:      25334
3456.31/3465.08	c #Conflicts:     726000 | #Constraints:      26334
3600.04/3609.18	c #Conflicts:     727000 | #Constraints:      27334
3600.04/3609.18	c #Conflicts:     728000 | #Constraints:      28334
3600.04/3609.18	c #Conflicts:     729000 | #Constraints:      29334
3600.04/3609.18	c #Conflicts:     730000 | #Constraints:      30334
3600.04/3609.18	c #Conflicts:     731000 | #Constraints:      31334
3600.04/3609.18	c #Conflicts:     732000 | #Constraints:      32334
3600.04/3609.18	c #Conflicts:     733000 | #Constraints:      33334
3600.04/3609.18	c #Conflicts:     734000 | #Constraints:      34334
3600.04/3609.18	c #Conflicts:     735000 | #Constraints:      35334
3600.04/3609.18	c #Conflicts:     736000 | #Constraints:      36334
3600.04/3609.18	c #Conflicts:     737000 | #Constraints:      37334
3600.04/3609.18	c #Conflicts:     738000 | #Constraints:      38334
3600.04/3609.18	c #Conflicts:     739000 | #Constraints:      39334
3600.04/3609.18	c INPROCESSING
3600.04/3609.18	c GARBAGE COLLECT
3600.04/3609.18	c #Conflicts:     740000 | #Constraints:      23336
3600.04/3609.18	c #Conflicts:     741000 | #Constraints:      24336
3600.04/3609.18	c #Conflicts:     742000 | #Constraints:      25336
3600.04/3609.18	c #Conflicts:     743000 | #Constraints:      26336
3600.04/3609.18	c #Conflicts:     744000 | #Constraints:      27336
3600.04/3609.18	c #Conflicts:     745000 | #Constraints:      28336
3600.04/3609.18	c #Conflicts:     746000 | #Constraints:      29336
3600.04/3609.18	c #Conflicts:     747000 | #Constraints:      30336
3600.04/3609.18	c #Conflicts:     748000 | #Constraints:      31336
3600.04/3609.18	c #Conflicts:     749000 | #Constraints:      32336
3600.04/3609.18	c #Conflicts:     750000 | #Constraints:      33336
3600.04/3609.18	c #Conflicts:     751000 | #Constraints:      34336
3600.04/3609.18	c #Conflicts:     752000 | #Constraints:      35336
3600.04/3609.18	c #Conflicts:     753000 | #Constraints:      36336
3600.04/3609.18	c #Conflicts:     754000 | #Constraints:      37336
3600.04/3609.18	c #Conflicts:     755000 | #Constraints:      38336
3600.04/3609.18	c Program interrupted by user.
3600.04/3609.18	c cpu time 3590.77 s
3600.04/3609.18	c deterministic time 406896159343 4.07e+11
3600.04/3609.18	c optimization time 117.37 s
3600.04/3609.18	c total solve time 3473.38 s
3600.04/3609.18	c core-guided solve time 3473.38 s
3600.04/3609.18	c propagation time 2817.97 s
3600.04/3609.18	c conflict analysis time 549.32 s
3600.04/3609.18	c propagations 70341017
3600.04/3609.18	c resolve steps 3657061
3600.04/3609.18	c decisions 4997388
3600.04/3609.18	c conflicts 755849
3600.04/3609.18	c restarts 1583
3600.04/3609.18	c inprocessing phases 77
3600.04/3609.18	c input clauses 4897
3600.04/3609.18	c input cardinalities 684
3600.04/3609.18	c input general constraints 226
3600.04/3609.18	c input average constraint length 120.68
3600.04/3609.18	c input average constraint degree 52.88
3600.04/3609.18	c learned clauses 91539
3600.04/3609.18	c learned cardinalities 38994
3600.04/3609.18	c learned general constraints 625492
3600.04/3609.18	c learned average constraint length 1143.61
3600.04/3609.18	c learned average constraint degree 380822.64
3600.04/3609.18	c watched constraints 269489
3600.04/3609.18	c counting constraints 356229
3600.04/3609.18	c gcd simplifications 14579
3600.04/3609.18	c detected cardinalities 1208
3600.04/3609.18	c weakened non-implied lits 66929296
3600.04/3609.18	c weakened non-implying lits 4927
3600.04/3609.18	c original variables 1963
3600.04/3609.18	c clausal propagations 28200152
3600.04/3609.18	c cardinality propagations 2360897
3600.04/3609.18	c watched propagations 6662512
3600.04/3609.18	c counting propagations 30297910
3600.04/3609.18	c watch lookups 64034439683
3600.04/3609.18	c watch backjump lookups 62644938641
3600.04/3609.18	c watch checks 248105269265
3600.04/3609.18	c propagation checks 30134414561
3600.04/3609.18	c constraint additions 1825664534
3600.04/3609.18	c trail pops 76094253
3600.04/3609.18	c formula constraints 4000
3600.04/3609.18	c learned constraints 756025
3600.04/3609.18	c bound constraints 350
3600.04/3609.18	c core-guided constraints 1457
3600.04/3609.18	c encountered formula constraints 2592980
3600.04/3609.18	c encountered learned constraints 1608784
3600.04/3609.18	c encountered bound constraints 137
3600.04/3609.18	c encountered core-guided constraints 211009
3600.04/3609.18	c LP total time 0 s
3600.04/3609.18	c LP solve time 0 s
3600.04/3609.18	c LP constraints added 0
3600.04/3609.18	c LP constraints removed 0
3600.04/3609.18	c LP pivots internal 0
3600.04/3609.18	c LP pivots root 0
3600.04/3609.18	c LP calls 0
3600.04/3609.18	c LP optimalities 0
3600.04/3609.18	c LP no pivot count 0
3600.04/3609.18	c LP infeasibilities 0
3600.04/3609.18	c LP valid Farkas constraints 0
3600.04/3609.18	c LP learned Farkas constraints 0
3600.04/3609.18	c LP basis resets 0
3600.04/3609.18	c LP cycling count 0
3600.04/3609.18	c LP singular count 0
3600.04/3609.18	c LP no primal count 0
3600.04/3609.18	c LP no farkas count 0
3600.04/3609.18	c LP other issue count 0
3600.04/3609.18	c LP Gomory cuts 0
3600.04/3609.18	c LP learned cuts 0
3600.04/3609.18	c LP deleted cuts 0
3600.04/3609.18	c LP encountered Gomory constraints 0
3600.04/3609.18	c LP encountered Farkas constraints 0
3600.04/3609.18	c LP encountered learned Farkas constraints 0
3600.04/3609.18	c CG auxiliary variables introduced 1068
3600.04/3609.18	c CG solutions found 1
3600.04/3609.18	c CG cores constructed 194
3600.04/3609.18	c CG core cardinality constraints returned 0
3600.04/3609.18	c CG unit cores 0
3600.04/3609.18	c CG single cores 194
3600.04/3609.18	c CG blocks removed during cardinality reduction 0
3600.04/3609.18	c CG first core best 0
3600.04/3609.18	c CG decision core best 0
3600.04/3609.18	c CG core reduction tie 0
3600.04/3609.18	c CG core degree average 1.00
3600.04/3609.18	c CG core slack average 4.34
3600.04/3609.18	c CG exhausted 0
3600.04/3609.18	c CG exhaust time 15.997 s
3600.04/3609.18	c CG trimmed 13
3600.04/3609.18	c CG trim time 0.013898 s
3600.04/3609.18	c CG minimized 0
3600.04/3609.18	c CG minimize time 0 s
3600.04/3609.18	c CG am1 prop time 0.007156 s
3600.04/3609.18	c CG # am1s reformulated 788
3600.04/3609.18	c CG lower bound derived from am1s 790
3600.04/3609.18	c CG # clausal cores 194
3600.04/3609.18	c CG # cardinality cores 0
3600.04/3609.18	c CG # pb cores 0
3600.04/3609.18	c CG # pb reforms 0
3600.04/3609.18	c CG # cores discarded because of pb reform 0
3600.04/3609.18	d LOWERBOUND 984
3600.04/3609.18	d NCORES 194
3600.04/3609.18	d NPBCORES 0
3600.04/3609.18	d NPBREFORM 0
3600.04/3609.18	d NTRIMMED 13
3600.04/3609.18	d NEXHAUSTED 0
3600.04/3609.18	d NAM1S 788
3600.04/3609.18	d AM1LB 790
3600.04/3609.18	o 1063
3600.04/3609.18	s SATISFIABLE
3600.04/3609.18	v x1 -x2 x3 -x4 x5 x6 -x7 x8 -x9 -x10 x11 -x12 x13 x14 x15 x16 -x17 -x18 -x19 x20 x21 x22 x23 -x24 -x25 x26 x27 x28 x29 -x30 x31 x32 -x33 x34 x35 x36 x37 -x38 x39 -x40 -x41 x42 x43 x44 x45 x46 -x47 x48 x49 x50 -x51 x52 x53 x54 x55 x56 x57 x58 -x59 -x60 -x61 -x62 -x63 x64 x65 x66 x67 x68 x69 -x70 x71 -x72 x73 x74 x75 -x76 -x77 -x78 -x79 x80 x81 x82 -x83 x84 -x85 x86 x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 x109 x110 -x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 -x121 -x122 -x123 x124 -x125 -x126 x127 -x128 x129 x130 x131 x132 x133 x134 -x135 -x136 x137 -x138 x139 x140 x141 x142 x143 -x144 -x145 x146 x147 -x148 x149 x150 x151 -x152 -x153 x154 -x155 x156 -x157 x158 -x159 x160 x161 x162 -x163 -x164 x165 -x166 x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 x175 x176 x177 -x178 -x179 -x180 -x181 -x182 x183 x184 x185 -x186 x187 x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 x196 x197 x198 -x199 x200 x201 -x202 -x203 -x204 x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 x214 x215 x216 x217 -x218 x219 x220 x221 x222 x223 -x224 -x225 x226 x227 x228 x229 x230 -x231 -x232 -x233 x234 x235 x236 x237 -x238 x239 x240 x241 -x242 x243 x244 -x245 -x246 -x247 x248 x249 x250 x251 x252 -x253 -x254 x255 x256 -x257 x258 -x259 x260 x261 -x262 -x263 -x264 x265 x266 x267 -x268 -x269 -x270 x271 x272 x273 x274 -x275 x276 -x277 -x278 x279 x280 -x281 -x282 -x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 x292 x293 x294 -x295 -x296 x297 -x298 x299 -x300 -x301 -x302 x303 x304 -x305 -x306 x307 x308 -x309 x310 x311 -x312 -x313 -x314 x315 x316 x317 x318 -x319 -x320 x321 x322 x323 x324 x325 x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 x334 -x335 x336 x337 -x338 x339 -x340 x341 x342 -x343 -x344 x345 -x346 x347 x348 -x349 x350 x351 x352 -x353 x354 x355 x356 x357 -x358 -x359 -x360 x361 x362 -x363 -x364 -x365 x366 x367 -x368 x369 x370 x371 x372 x373 x374 -x375 -x376 -x377 -x378 x379 x380 x381 -x382 x383 x384 x385 x386 -x387 -x388 -x389 x390 x391 x392 -x393 -x394 -x395 -x396 x397 x398 x399 x400 -x401 -x402 x403 x404 -x405 -x406 -x407 -x408 x409 x410 -x411 -x412 -x413 x414 x415 x416 -x417 x418 -x419 -x420 -x421 x422 x423 -x424 x425 -x426 -x427 x428 -x429 x430 x431 -x432 x433 x434 x435 x436 -x437 -x438 x439 x440 -x441 x442 x443 -x444 -x445 x446 -x447 x448 x449 x450 x451 x452 x453 -x454 -x455 x456 -x457 x458 -x459 -x460 x461 x462 -x463 x464 -x465 x466 x467 -x468 -x469 -x470 x471 x472 -x473 x474 -x475 x476 -x477 x478 x479 -x480 x481 x482 -x483 x484 x485 x486 -x487 x488 x489 x490 x491 -x492 x493 x494 -x495 x496 x497 x498 -x499 x500 x501 -x502 -x503 x504 x505 -x506 x507 -x508 -x509 -x510 x511 x512 x513 x514 x515 x516 x517 -x518 x519 x520 x521 x522 -x523 x524 -x525 x526 -x527 x528 x529 x530 x531 -x532 -x533 -x534 -x535 x536 -x537 x538 x539 x540 -x541 -x542 -x543 -x544 -x545 x546 x547 x548 x549 -x550 -x551 x552 x553 x554 -x555 -x556 x557 -x558 x559 x560 x561 x562 x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 x575 x576 -x577 x578 -x579 x580 x581 x582 -x583 -x584 -x585 x586 x587 -x588 -x589 -x590 -x591 x592 x593 x594 x595 -x596 x597 -x598 -x599 -x600 -x601 x602 x603 x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 x615 x616 x617 x618 -x619 -x620 x621 -x622 -x623 -x624 x625 -x626 x627 x628 -x629 x630 x631 x632 x633 -x634 x635 -x636 x637 x638 -x639 -x640 -x641 x642 x643 x644 x645 -x646 -x647 -x648 x649 x650 -x651 x652 x653 -x654 x655 x656 x657 -x658 -x659 -x660 -x661 x662 x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 x675 x676 -x677 -x678 x679 x680 -x681 -x682 x683 -x684 x685 -x686 x687 x688 x689 -x690 x691 -x692 -x693 x694 x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 x715 x716 -x717 x718 x719 -x720 x721 x722 x723 x724 -x725 -x726 x727 x728 x729 x730 -x731 x732 x733 x734 x735 -x736 x737 -x738 x739 -x740 -x741 x742 x743 x744 -x745 x746 x747 x748 x749 -x750 x751 x752 -x753 -x754 x755 -x756 x757 x758 x759 x760 -x761 -x762 -x763 -x764 x765 x766 x767 -x768 -x769 -x770 -x771 x772 x773 -x774 x775 x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 x787 x788 -x789 x790 x791 x792 -x793 x794 x795 x796 -x797 -x798 -x799 -x800 x801 x802 -x803 x804 x805 x806 -x807 x808 x809 -x810 -x811 -x812 -x813 x814 x815 -x816 x817 -x818 x819 x820 x821 -x822 x823 -x824 -x825 -x826 -x827 x828 x829 x830 -x831 -x832 x833 -x834 x835 x836 -x837 x838 -x839 x840 -x841 x842 x843 -x844 x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 x854 x855 -x856 x857 x858 -x859 x860 -x861 x862 x863 -x864 -x865 -x866 x867 x868 x869 -x870 x871 x872 x873 -x874 x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 x884 -x885 x886 -x887 -x888 x889 x890 x891 x892 x893 -x894 x895 x896 x897 x898 -x899 -x900 -x901 x902 x903 x904 -x905 -x906 x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 x917 -x918 x919 x920 x921 -x922 -x923 x924 -x925 -x926 x927 x928 x929 -x930 -x931 -x932 x933 x934 -x935 -x936 -x937 -x938 -x939 x940 x941 x942 x943 x944 x945 -x946 x947 x948 -x949 x950 x951 x952 x953 x954 x955 x956 x957 -x958 -x959 x960 x961 x962 x963 -x964 x965 -x966 -x967 -x968 x969 -x970 x971 -x972 x973 x974 x975 -x976 x977 -x978 -x979 x980 x981 -x982 -x983 -x984 -x985 x986 x987 x988 -x989 -x990 x991 x992 x993 -x994 x995 -x996 -x997 x998 x999 -x1000 x1001 x1002 x1003 -x1004 -x1005 x1006 -x1007 -x1008 x1009 x1010 x1011 -x1012 x1013 -x1014 x1015 -x1016 x1017 -x1018 x1019 x1020 x1021 -x1022 x1023 -x1024 -x1025 x1026 x1027 x1028 x1029 -x1030 x1031 -x1032 x1033 -x1034 x1035 -x1036 -x1037 x1038 x1039 -x1040 -x1041 x1042 x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 x1053 x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 x1066 -x1067 -x1068 x1069 x1070 x1071 x1072 -x1073 x1074 x1075 x1076 x1077 -x1078 -x1079 x1080 x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 x1090 -x1091 x1092 x1093 x1094 x1095 x1096 x1097 x1098 -x1099 -x1100 x1101 x1102 x1103 x1104 -x1105 x1106 -x1107 -x1108 x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 x1116 x1117 -x1118 x1119 x1120 x1121 x1122 x1123 x1124 -x1125 x1126 -x1127 -x1128 x1129 -x1130 x1131 x1132 x1133 x1134 -x1135 -x1136 -x1137 -x1138 x1139 x1140 -x1141 x1142 x1143 x1144 x1145 x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 x1156 x1157 -x1158 -x1159 x1160 x1161 -x1162 -x1163 -x1164 x1165 x1166 x1167 x1168 -x1169 -x1170 -x1171 -x1172 x1173 x1174 -x1175 x1176 x1177 -x1178 x1179 -x1180 x1181 -x1182 x1183 -x1184 -x1185 -x1186 x1187 x1188 x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 x1197 x1198 x1199 x1200 -x1201 x1202 -x1203 x1204 x1205 x1206 -x1207 -x1208 x1209 -x1210 -x1211 x1212 x1213 x1214 x1215 x1216 -x1217 x1218 x1219 x1220 -x1221 x1222 -x1223 -x1224 x1225 x1226 -x1227 x1228 -x1229 x1230 -x1231 x1232 x1233 -x1234 x1235 -x1236 -x1237 x1238 -x1239 x1240 x1241 -x1242 x1243 -x1244 x1245 -x1246 -x1247 x1248 x1249 x1250 x1251 x1252 -x1253 -x1254 x1255 x1256 x1257 x1258 x1259 x1260 x1261 x1262 x1263 x1264 -x1265 -x1266 -x1267 -x1268 x1269 x1270 -x1271 -x1272 x1273 x1274 -x1275 -x1276 -x1277 x1278 x1279 x1280 -x1281 x1282 x1283 -x1284 x1285 x1286 x1287 -x1288 x1289 x1290 -x1291 -x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 -x1300 x1301 x1302 -x1303 -x1304 x1305 -x1306 x1307 -x1308 x1309 x1310 -x1311 x1312 x1313 -x1314 x1315 x1316 x1317 x1318 x1319 x1320 x1321 -x1322 -x1323 -x1324 x1325 x1326 -x1327 -x1328 x1329 -x1330 x1331 x1332 -x1333 x1334 -x1335 -x1336 x1337 x1338 x1339 x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 x1347 x1348 x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 x1356 -x1357 x1358 -x1359 -x1360 -x1361 x1362 x1363 -x1364 x1365 x1366 x1367 x1368 -x1369 x1370 -x1371 x1372 x1373 x1374 x1375 x1376 -x1377 x1378 -x1379 -x1380 x1381 x1382 -x1383 x1384 x1385 x1386 -x1387 -x1388 -x1389 x1390 x1391 x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 x1399 -x1400 -x1401 x1402 x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 x1414 -x1415 x1416 x1417 x1418 x1419 -x1420 x1421 x1422 x1423 -x1424 x1425 x1426 -x1427 -x1428 -x1429 x1430 -x1431 x1432 x1433 x1434 x1435 x1436 -x1437 -x1438 -x1439 x1440 -x1441 x1442 -x1443 x1444 -x1445 -x1446 -x1447 x1448 x1449 x1450 x1451 -x1452 -x1453 x1454 -x1455 x1456 -x1457 x1458 -x1459 -x1460 -x1461 x1462 x1463 x1464 x1465 x1466 x1467 x1468 -x1469 x1470 x1471 x1472 -x1473 x1474 -x1475 x1476 -x1477 x1478 x1479 -x1480 x1481 -x1482 x1483 -x1484 x1485 -x1486 -x1487 x1488 -x1489 x1490 x1491 -x1492 x1493 x1494 x1495 -x1496 x1497 -x1498 -x1499 -x1500 x1501 -x1502 x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 x1510 -x1511 x1512 -x1513 x1514 -x1515 x1516 x1517 x1518 -x1519 x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 x1531 x1532 -x1533 x1534 x1535 -x1536 -x1537 -x1538 x1539 x1540 x1541 x1542 x1543 x1544 -x1545 x1546 x1547 -x1548 -x1549 x1550 x1551 x1552 x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 x1563 -x1564 x1565 x1566 -x1567 x1568 -x1569 -x1570 x1571 x1572 x1573 -x1574 x1575 x1576 -x1577 x1578 x1579 -x1580 x1581 -x1582 -x1583 x1584 -x1585 x1586 x1587 x1588 -x1589 x1590 x1591 x1592 -x1593 x1594 x1595 x1596 -x1597 -x1598 x1599 x1600 x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 x1610 -x1611 x1612 x1613 x1614 x1615 x1616 x1617 x1618 x1619 -x1620 x1621 -x1622 -x1623 -x1624 x1625 -x1626 x1627 x1628 -x1629 x1630 -x1631 x1632 -x1633 x1634 -x1635 -x1636 x1637 x1638 -x1639 x1640 x1641 x1642 x1643 -x1644 x1645 x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 x1653 -x1654 x1655 -x1656 -x1657 -x1658 x1659 -x1660 x1661 x1662 -x1663 x1664 -x1665 x1666 x1667 -x1668 -x1669 -x1670 x1671 -x1672 x1673 x1674 -x1675 x1676 x1677 x1678 -x1679 -x1680 x1681 x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 x1690 -x1691 -x1692 x1693 -x1694 x1695 -x1696 -x1697 x1698 x1699 x1700 -x1701 x1702 -x1703 -x1704 x1705 x1706 x1707 x1708 x1709 -x1710 x1711 -x1712 x1713 -x1714 x1715 -x1716 x1717 -x1718 -x1719 x1720 x1721 x1722 x1723 -x1724 -x1725 x1726 -x1727 x1728 -x1729 x1730 -x1731 -x1732 -x1733 x1734 x1735 x1736 x1737 x1738 x1739 x1740 x1741 -x1742 -x1743 -x1744 -x1745 x1746 x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 x1755 -x1756 x1757 x1758 -x1759 x1760 x1761 x1762 -x1763 -x1764 x1765 x1766 x1767 x1768 x1769 -x1770 x1771 -x1772 x1773 -x1774 -x1775 x1776 -x1777 -x1778 x1779 x1780 x1781 x1782 -x1783 -x1784 x1785 -x1786 x1787 x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 x1796 x1797 x1798 x1799 x1800 -x1801 x1802 -x1803 -x1804 -x1805 x1806 -x1807 x1808 x1809 -x1810 x1811 x1812 -x1813 x1814 x1815 -x1816 -x1817 -x1818 x1819 x1820 x1821 -x1822 x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 x1830 -x1831 x1832 x1833 x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 x1851 x1852 x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 x1863 -x1864 x1865 x1866 -x1867 x1868 x1869 x1870 x1871 x1872 -x1873 x1874 x1875 x1876 x1877 x1878 x1879 x1880 x1881 -x1882 -x1883 x1884 x1885 -x1886 x1887 x1888 x1889 -x1890 x1891 -x1892 x1893 x1894 -x1895 -x1896 -x1897 x1898 x1899 -x1900 -x1901 -x1902 x1903 -x1904 x1905 -x1906 -x1907 x1908 -x1909 -x1910 x1911 -x1912 x1913 -x1914 -x1915 x1916 -x1917 x1918 -x1919 x1920 -x1921 x1922 -x1923 x1924 x1925 x1926 -x1927 x1928 x1929 x1930 x1931 -x1932 x1933 -x1934 -x1935 x1936 x1937 -x1938 x1939 x1940 x1941 x1942 -x1943 -x1944 x1945 -x1946 x1947 x1948 x1949 x1950 x1951 x1952 -x1953 x1954 -x1955 x1956 x1957 x1958 -x1959 -x1960 -x1961 -x1962 x1963

Verifier Data 

OK	1063

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: 64059 MiB (62998 MiB free)
  memory of node 1: 64510 MiB (62856 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454311-1721468647/watcher-4454311-1721468647 -o /tmp/evaluation-result-4454311-1721468647/solver-4454311-1721468647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721468658-1056040 --watchdog 3760 pb-oll-rs HOME/instance-4454311-1721468647.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=1056095, runsolver pid=1056088

[startup+0.100861 s]*
/proc/loadavg: 1.76 2.45 3.28 7/246 1056104
/proc/meminfo: memFree=128859740/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=41192 memory=8740 CPUtime=0.1 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 992 0 0 0 7 3 0 0 20 0 1 0 199023364 42180608 2185 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 10298 2185 1376 291 0 1832 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41192 KiB
Current children cumulated memory: 8740 KiB

[startup+0.214453 s]*
/proc/loadavg: 1.76 2.45 3.28 6/246 1056104
/proc/meminfo: memFree=128849112/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=42264 memory=11944 CPUtime=0.21 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 1301 0 0 0 15 6 0 0 20 0 1 0 199023364 43278336 2986 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 10566 2986 1376 291 0 2100 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42264 KiB
Current children cumulated memory: 11944 KiB

[startup+0.314031 s]*
/proc/loadavg: 1.76 2.45 3.28 6/246 1056104
/proc/meminfo: memFree=128844012/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=42920 memory=12488 CPUtime=0.31 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 1417 0 0 0 20 11 0 0 20 0 1 0 199023364 43950080 3122 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 10730 3122 1376 291 0 2264 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42920 KiB
Current children cumulated memory: 12488 KiB

[startup+0.700296 s]
/proc/loadavg: 1.76 2.45 3.28 6/246 1056104
/proc/meminfo: memFree=128831280/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=46512 memory=17348 CPUtime=0.68 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 2695 0 0 0 49 19 0 0 20 0 1 0 199023364 47628288 4337 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 11628 4337 1376 291 0 3162 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46512 KiB
Current children cumulated memory: 17348 KiB

[startup+1.50034 s]
/proc/loadavg: 1.76 2.45 3.28 6/246 1056104
/proc/meminfo: memFree=128786176/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=72356 memory=39892 CPUtime=1.48 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 7247 0 0 0 123 25 0 0 20 0 1 0 199023364 74092544 9973 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 18089 9973 1376 291 0 9623 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72356 KiB
Current children cumulated memory: 39892 KiB

[startup+3.11375 s]
/proc/loadavg: 1.76 2.45 3.28 6/246 1056106
/proc/meminfo: memFree=128639336/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=101480 memory=65096 CPUtime=3.09 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 11463 0 0 0 274 35 0 0 20 0 1 0 199023364 103915520 16274 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 25370 16274 1424 291 0 16904 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 101480 KiB
Current children cumulated memory: 65096 KiB

[startup+6.30029 s]
/proc/loadavg: 1.94 2.48 3.29 6/246 1056106
/proc/meminfo: memFree=128524412/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=147324 memory=96228 CPUtime=6.26 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 16729 0 0 0 582 44 0 0 20 0 1 0 199023364 150859776 24057 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 36831 24057 1424 291 0 28365 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 147324 KiB
Current children cumulated memory: 96228 KiB

[startup+12.7003 s]
/proc/loadavg: 2.11 2.50 3.29 6/246 1056108
/proc/meminfo: memFree=128426044/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=160480 memory=118380 CPUtime=12.65 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 19696 0 0 0 1211 54 0 0 20 0 1 0 199023364 164331520 29595 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 40120 29595 1424 291 0 31654 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 160480 KiB
Current children cumulated memory: 118380 KiB

[startup+25.5003 s]
/proc/loadavg: 2.60 2.59 3.31 6/246 1056110
/proc/meminfo: memFree=128297064/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=224076 memory=158012 CPUtime=25.41 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 27568 0 0 0 2471 70 0 0 20 0 1 0 199023364 229453824 39503 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 56019 39503 1424 291 0 47553 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 224076 KiB
Current children cumulated memory: 158012 KiB

[startup+51.1138 s]
/proc/loadavg: 3.08 2.71 3.33 6/246 1056113
/proc/meminfo: memFree=128164300/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=244388 memory=199976 CPUtime=50.97 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 33483 0 0 0 5003 94 0 0 20 0 1 0 199023364 250253312 49994 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 61097 49994 1424 291 0 52631 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 244388 KiB
Current children cumulated memory: 199976 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 2.92 3.37 6/243 1056123
/proc/meminfo: memFree=127951300/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=330420 memory=240180 CPUtime=102.02 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 40039 0 0 0 10078 124 0 0 20 0 1 0 199023364 338350080 60045 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 82605 60045 1424 291 0 74139 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 330420 KiB
Current children cumulated memory: 240180 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 3.14 3.42 6/243 1056133
/proc/meminfo: memFree=127803868/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=380088 memory=294128 CPUtime=161.86 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 48941 0 0 0 16027 159 0 0 20 0 1 0 199023364 389210112 73532 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 95022 73532 1424 291 0 86556 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 380088 KiB
Current children cumulated memory: 294128 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.31 3.46 6/243 1056144
/proc/meminfo: memFree=127704408/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=384440 memory=307468 CPUtime=221.71 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 50277 0 0 0 21984 187 0 0 20 0 1 0 199023364 393666560 76867 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 96110 76867 1424 291 0 87644 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 384440 KiB
Current children cumulated memory: 307468 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.47 3.51 6/243 1056155
/proc/meminfo: memFree=127618188/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=392376 memory=325244 CPUtime=281.56 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 52747 0 0 0 27939 217 0 0 20 0 1 0 199023364 401793024 81311 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 98094 81311 1424 291 0 89628 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 392376 KiB
Current children cumulated memory: 325244 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.58 3.55 6/241 1056165
/proc/meminfo: memFree=127539328/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=482088 memory=359864 CPUtime=341.4 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 57376 0 0 0 33896 244 0 0 20 0 1 0 199023364 493658112 89966 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 120522 89966 1424 291 0 112056 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 482088 KiB
Current children cumulated memory: 359864 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.69 3.59 6/243 1056180
/proc/meminfo: memFree=127513360/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=482344 memory=360424 CPUtime=401.24 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 57570 0 0 0 39861 263 0 0 20 0 1 0 199023364 493920256 90106 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 120586 90106 1424 291 0 112120 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 482344 KiB
Current children cumulated memory: 360424 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.77 3.62 6/243 1056190
/proc/meminfo: memFree=127449432/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=483624 memory=366364 CPUtime=461.09 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 58045 0 0 0 45824 285 0 0 20 0 1 0 199023364 495230976 91591 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 120906 91591 1424 291 0 112440 0

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

Current children cumulated memory: 706036 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.06 6/245 1057810
/proc/meminfo: memFree=126195676/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=817728 memory=709248 CPUtime=2914.91 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 104097 0 0 0 290684 807 0 0 20 0 1 0 199023364 837353472 177312 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 204432 177312 1424 291 0 195966 0
Current children cumulated CPU time: 2914.91 s
Current children cumulated vsize: 817728 KiB
Current children cumulated memory: 709248 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.12 4.06 6/245 1057820
/proc/meminfo: memFree=126192040/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=817728 memory=709276 CPUtime=2974.77 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 104460 0 0 0 296659 818 0 0 20 0 1 0 199023364 837353472 177319 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 204432 177319 1424 291 0 195966 0
Current children cumulated CPU time: 2974.77 s
Current children cumulated vsize: 817728 KiB
Current children cumulated memory: 709276 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.06 6/243 1057831
/proc/meminfo: memFree=126190988/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=817728 memory=709364 CPUtime=3034.62 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 104779 0 0 0 302629 833 0 0 20 0 1 0 199023364 837353472 177341 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 204432 177341 1424 291 0 195966 0
Current children cumulated CPU time: 3034.62 s
Current children cumulated vsize: 817728 KiB
Current children cumulated memory: 709364 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.06 6/241 1057842
/proc/meminfo: memFree=126138192/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=817728 memory=709448 CPUtime=3094.48 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 105145 0 0 0 308607 841 0 0 20 0 1 0 199023364 837353472 177362 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 204432 177362 1424 291 0 195966 0
Current children cumulated CPU time: 3094.48 s
Current children cumulated vsize: 817728 KiB
Current children cumulated memory: 709448 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.07 6/241 1057852
/proc/meminfo: memFree=126099708/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=817984 memory=709716 CPUtime=3154.33 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 105505 0 0 0 314582 851 0 0 20 0 1 0 199023364 837615616 177429 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 204496 177429 1424 291 0 196030 0
Current children cumulated CPU time: 3154.33 s
Current children cumulated vsize: 817984 KiB
Current children cumulated memory: 709716 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.07 6/241 1057862
/proc/meminfo: memFree=126098340/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=818240 memory=710020 CPUtime=3214.19 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 105890 0 0 0 320555 864 0 0 20 0 1 0 199023364 837877760 177505 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 204560 177505 1424 291 0 196094 0
Current children cumulated CPU time: 3214.19 s
Current children cumulated vsize: 818240 KiB
Current children cumulated memory: 710020 KiB

[startup+3282.3 s]
/proc/loadavg: 4.30 4.15 4.08 6/241 1057872
/proc/meminfo: memFree=126071400/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=818752 memory=710628 CPUtime=3274.05 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 106339 0 0 0 326529 876 0 0 20 0 1 0 199023364 838402048 177657 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 204688 177657 1424 291 0 196222 0
Current children cumulated CPU time: 3274.05 s
Current children cumulated vsize: 818752 KiB
Current children cumulated memory: 710628 KiB

[startup+3342.3 s]
/proc/loadavg: 4.68 4.30 4.14 6/241 1057883
/proc/meminfo: memFree=126068768/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=818752 memory=710712 CPUtime=3333.9 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 106720 0 0 0 332502 888 0 0 20 0 1 0 199023364 838402048 177678 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 204688 177678 1424 291 0 196222 0
Current children cumulated CPU time: 3333.9 s
Current children cumulated vsize: 818752 KiB
Current children cumulated memory: 710712 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.26 4.14 6/243 1057897
/proc/meminfo: memFree=126067932/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=818752 memory=710724 CPUtime=3393.75 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 107013 0 0 0 338479 896 0 0 20 0 1 0 199023364 838402048 177681 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 204688 177681 1424 291 0 196222 0
Current children cumulated CPU time: 3393.75 s
Current children cumulated vsize: 818752 KiB
Current children cumulated memory: 710724 KiB

[startup+3462.3 s]
/proc/loadavg: 5.81 4.67 4.28 6/243 1057907
/proc/meminfo: memFree=126062036/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=821568 memory=712744 CPUtime=3453.61 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 107815 0 0 0 344455 906 0 0 20 0 1 0 199023364 841285632 178186 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 205392 178186 1424 291 0 196926 0
Current children cumulated CPU time: 3453.61 s
Current children cumulated vsize: 821568 KiB
Current children cumulated memory: 712744 KiB

[startup+3522.3 s]
/proc/loadavg: 5.46 4.83 4.37 6/244 1057919
/proc/meminfo: memFree=126061344/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=821568 memory=712748 CPUtime=3513.47 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 108129 0 0 0 350431 916 0 0 20 0 1 0 199023364 841285632 178187 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 205392 178187 1424 291 0 196926 0
Current children cumulated CPU time: 3513.47 s
Current children cumulated vsize: 821568 KiB
Current children cumulated memory: 712748 KiB

[startup+3582.3 s]
/proc/loadavg: 4.58 4.69 4.35 6/244 1057929
/proc/meminfo: memFree=126051596/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=821568 memory=712752 CPUtime=3573.3 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 108471 0 0 0 356402 928 0 0 20 0 1 0 199023364 841285632 178188 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 205392 178188 1424 291 0 196926 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 821568 KiB
Current children cumulated memory: 712752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.38 4.64 4.34 6/244 1057933
/proc/meminfo: memFree=126050608/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=822264 memory=713272 CPUtime=3600.04 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 108706 0 0 0 359070 934 0 0 20 0 1 0 199023364 841998336 178318 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 205566 178318 1424 291 0 197100 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 822264 KiB
Current children cumulated memory: 713272 KiB

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

[startup+3609.2 s]
# the end of solver process 1056095 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3590.78 s, system=9.35021 s

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

[startup+3609.11 s]
/proc/loadavg: 4.38 4.64 4.34 6/244 1057933
/proc/meminfo: memFree=126050608/131655788 swapFree=131071996/131071996
[pid=1056095] ppid=1056088 vsize=822264 memory=713272 CPUtime=3600.04 cores=4,6
/proc/1056095/stat : 1056095 (pb-oll-rs) R 1056088 1056095 1056029 0 -1 4194304 108706 0 0 0 359070 934 0 0 20 0 1 0 199023364 841998336 178318 134679101440 4194304 5384485 140737456081024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26066944 140737456083989 140737456084066 140737456084066 140737456091083 0
/proc/1056095/statm: 205566 178318 1424 291 0 197100 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 822264 KiB
Current children cumulated memory: 713272 KiB

Child status: 0

Real time (s): 3609.2
CPU time (s): 3600.13
CPU user time (s): 3590.78
CPU system time (s): 9.35021
CPU usage (%): 99.7488
Max. virtual memory (cumulated for all children) (KiB): 822264
Max. memory (cumulated for all children) (KiB): 713272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.78
system time used= 9.35022
maximum resident set size= 713412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108723
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= 187
involuntary context switches= 2619


# summary of solver processes directly reported to runsolver:
#   pid: 1056095
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3590.78
#   total CPU system time (s): 9.35021

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7284 second user time and 38.851 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-20 11:44:19
IDJOB=4454311
IDBENCH=147530
IDSOLVER=3082
FILE ID=nodeC006/4454311-1721468647
RUNJOBID= nodeC006-1721468658-1056040
SLURM_JOB_ID= 7545725
Free space on /tmp= 723776 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454311-1721468647/watcher-4454311-1721468647 -o /tmp/evaluation-result-4454311-1721468647/solver-4454311-1721468647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721468658-1056040 --watchdog 3760  pb-oll-rs HOME/instance-4454311-1721468647.opb

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

MD5SUM BENCH= 2f43827d921579f008f60b037bb7dde7
RANDOM SEED=334280110

nodeC006.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		: 1197.256
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.94
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		: 1197.266
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.26
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.253
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.94
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.252
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.26
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.262
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.94
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		: 3421.936
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.26
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		: 1197.253
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.94
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.248
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.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128880060 kB
MemAvailable:   129920096 kB
Buffers:          568588 kB
Cached:          1312036 kB
SwapCached:            0 kB
Active:          1058680 kB
Inactive:        1147100 kB
Active(anon):       1388 kB
Inactive(anon):   369332 kB
Active(file):    1057292 kB
Inactive(file):   777768 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7624 kB
Writeback:             0 kB
AnonPages:        324804 kB
Mapped:           107076 kB
Shmem:             45896 kB
KReclaimable:      90016 kB
Slab:             194160 kB
SReclaimable:      90016 kB
SUnreclaim:       104144 kB
KernelStack:        3680 kB
PageTables:         9364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     759052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62624 kB
HardwareCorrupted:     0 kB
AnonHugePages:    292864 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:      316232 kB
DirectMap2M:    40482816 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC006 at 2024-07-20 12:44:28