Trace number 4503018

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt 63f22adSAT (TO)36 3600.07 3611.81

General information on the benchmark

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

Solver Data 

0.00/0.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4503018-1751482040.opb'
0.18/0.26	c 	read 21.21MB  (240.15ms)
0.18/0.26	c	 [cnf: #variables 5048 #clauses 65281 #duplicates 0 #arr 2462648]
0.18/0.26	c 
0.18/0.26	c make graph and approximate orbits
0.28/0.37	c	 [group: #orbits ~= 82] (115.65ms)
0.28/0.37	c 
0.28/0.37	c detect special group actions
0.28/0.37	c 	probe for Johnson action (limit=64)
0.48/0.51	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.72	c 	probe for row symmetry (limit=64, splits=16.78M)
4.26/4.38	c 	 (4010.32ms)
4.26/4.38	c 
4.26/4.38	c detect symmetries on remainder
4.26/4.38	c 	[graph: #vertices 80425 #edges 4945488]
4.26/4.39	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
4.85/4.95	c 	 [group: #symmetries 5.12*10^2 #generators 6] (567.46ms)
4.85/4.95	c 
4.85/4.95	c optimize generators (opt_passes=64, conjugate_limit=256)
4.85/4.95	c 	(0.03ms)
4.85/4.95	c 
4.85/4.95	c finalize break order and special generators
4.85/4.95	c 
4.85/4.95	c add generic predicates (break_depth=20)
4.85/4.95	c 	added predicates for 6 generators (1.11ms)
4.85/4.95	c 
4.85/4.95	c generation finished
4.85/4.95	c 	[sbp: #constraints 348 #add_vars 114]
4.85/4.95	c 
4.85/4.95	c write result to 'HOME/instance-4503018-1751482040.opb.pre'
4.85/5.00	c 	wrote 21.29MB (44.30ms)
4.85/5.00	c ------------------------------------------------------------------
4.85/5.00	c                4010.32ms 80.51% detect_special
4.85/5.00	c                 567.46ms 11.39% detect_generic
4.85/5.00	c                 240.15ms  4.82% parse
4.85/5.00	c                 115.65ms  2.32% approx_orbits
4.85/5.00	c                  44.30ms  0.89% output
4.85/5.00	c                   1.39ms  0.03% other
4.85/5.00	c                   1.11ms  0.02% break_generic
4.85/5.00	c                   0.44ms  0.01% finalize_order
4.85/5.00	c                   0.03ms  0.00% optimize_gens
4.85/5.00	c         ───────────────────────────────────────────────
4.85/5.00	c                4980.85ms   100% total
4.85/5.00	c ------------------------------------------------------------------
4.96/5.02	c RoundingSat 2
4.96/5.02	c branch pb25
4.96/5.02	c commit 63f22ad
4.97/5.89	c #variables 5162 #constraints 65628
4.97/5.89	c objective is ce32 
4.97/5.89	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.97/5.89	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.97/5.89	c bounds - >= 0 @ 0.756781
15.91/16.01	c bounds 973 >= 0 @ 10.7514
15.91/16.01	c bounds 973 >= 1 @ 10.7535
15.91/16.01	c bounds 973 >= 2 @ 10.7543
15.91/16.02	c bounds 973 >= 3 @ 10.757
15.91/16.02	c bounds 973 >= 4 @ 10.7577
15.91/16.03	c bounds 973 >= 5 @ 10.7643
15.91/16.03	c bounds 973 >= 6 @ 10.7672
15.91/16.04	c bounds 973 >= 7 @ 10.768
15.91/16.04	c bounds 973 >= 8 @ 10.7687
15.91/16.04	c bounds 973 >= 9 @ 10.7716
15.91/16.05	c bounds 973 >= 10 @ 10.7737
15.91/16.05	c bounds 973 >= 11 @ 10.7745
15.91/16.06	c bounds 973 >= 12 @ 10.7755
15.91/16.06	c bounds 973 >= 13 @ 10.7756
15.91/16.06	c bounds 973 >= 14 @ 10.7775
15.91/16.07	c bounds 973 >= 15 @ 10.779
15.91/16.07	c bounds 973 >= 16 @ 10.7798
15.91/16.08	c bounds 973 >= 17 @ 10.7847
15.91/16.08	c bounds 973 >= 18 @ 10.7854
15.91/16.09	c bounds 973 >= 19 @ 10.7957
15.91/16.10	c bounds 973 >= 20 @ 10.7987
16.01/16.10	c bounds 973 >= 21 @ 10.8011
16.01/16.11	c bounds 973 >= 22 @ 10.8037
16.01/16.12	c bounds 973 >= 23 @ 10.8076
16.01/16.13	c bounds 973 >= 24 @ 10.813
16.01/16.14	c bounds 973 >= 25 @ 10.8267
16.01/16.19	c bounds 973 >= 26 @ 10.8652
16.30/16.40	c bounds 973 >= 27 @ 11.0586
16.30/16.43	c bounds 972 >= 27 @ 11.0879
16.30/16.44	c bounds 971 >= 27 @ 11.0932
16.30/16.45	c bounds 970 >= 27 @ 11.0981
16.30/16.45	c bounds 969 >= 27 @ 11.1029
16.30/16.46	c bounds 968 >= 27 @ 11.1068
16.30/16.47	c bounds 967 >= 27 @ 11.1107
16.30/16.47	c bounds 966 >= 27 @ 11.1165
16.30/16.48	c bounds 965 >= 27 @ 11.1222
16.30/16.49	c bounds 964 >= 27 @ 11.1283
16.40/16.50	c bounds 963 >= 27 @ 11.134
16.40/16.50	c bounds 962 >= 27 @ 11.1381
16.40/16.51	c bounds 961 >= 27 @ 11.1414
16.40/16.52	c bounds 960 >= 27 @ 11.1457
16.40/16.53	c bounds 959 >= 27 @ 11.15
16.40/16.53	c bounds 958 >= 27 @ 11.1551
16.40/16.54	c bounds 957 >= 27 @ 11.1572
16.40/16.55	c bounds 956 >= 27 @ 11.1604
16.40/16.55	c bounds 955 >= 27 @ 11.1645
16.40/16.56	c bounds 954 >= 27 @ 11.1687
16.40/16.57	c bounds 953 >= 27 @ 11.1738
16.40/16.58	c bounds 952 >= 27 @ 11.1789
16.40/16.58	c bounds 951 >= 27 @ 11.1802
16.40/16.59	c bounds 950 >= 27 @ 11.1833
16.50/16.60	c bounds 949 >= 27 @ 11.1862
16.50/16.61	c bounds 948 >= 27 @ 11.1906
16.50/16.61	c bounds 947 >= 27 @ 11.1984
16.50/16.62	c bounds 946 >= 27 @ 11.2018
16.50/16.63	c bounds 945 >= 27 @ 11.2051
16.50/16.64	c bounds 944 >= 27 @ 11.2082
16.50/16.64	c bounds 943 >= 27 @ 11.2133
16.50/16.65	c bounds 942 >= 27 @ 11.2194
16.50/16.66	c bounds 941 >= 27 @ 11.2256
16.50/16.66	c bounds 940 >= 27 @ 11.2317
16.50/16.67	c bounds 939 >= 27 @ 11.2358
16.50/16.68	c bounds 938 >= 27 @ 11.2418
16.50/16.69	c bounds 937 >= 27 @ 11.245
16.50/16.69	c bounds 936 >= 27 @ 11.2502
16.60/16.70	c bounds 935 >= 27 @ 11.2534
16.60/16.71	c bounds 934 >= 27 @ 11.2576
16.60/16.71	c bounds 933 >= 27 @ 11.2617
16.60/16.72	c bounds 932 >= 27 @ 11.2676
16.60/16.73	c bounds 931 >= 27 @ 11.2732
16.60/16.74	c bounds 930 >= 27 @ 11.2773
16.60/16.75	c bounds 929 >= 27 @ 11.2831
16.60/16.75	c bounds 928 >= 27 @ 11.2872
16.60/16.76	c bounds 927 >= 27 @ 11.2917
16.60/16.77	c bounds 926 >= 27 @ 11.295
16.60/16.77	c bounds 925 >= 27 @ 11.2976
16.60/16.78	c bounds 924 >= 27 @ 11.2994
16.60/16.79	c bounds 923 >= 27 @ 11.3033
16.60/16.80	c bounds 922 >= 27 @ 11.3085
16.71/16.80	c bounds 921 >= 27 @ 11.3146
16.71/16.81	c bounds 920 >= 27 @ 11.3194
16.71/16.82	c bounds 919 >= 27 @ 11.3259
16.71/16.83	c bounds 918 >= 27 @ 11.3306
16.71/16.83	c bounds 917 >= 27 @ 11.3332
16.71/16.84	c bounds 916 >= 27 @ 11.3378
16.71/16.85	c bounds 915 >= 27 @ 11.3417
16.71/16.85	c bounds 914 >= 27 @ 11.3448
17.30/17.49	c #Conflicts:       1000 | #Constraints:      66906
17.30/17.49	c bounds 914 >= 28 @ 11.9615
17.40/17.51	c bounds 913 >= 28 @ 11.9741
17.40/17.52	c bounds 912 >= 28 @ 11.98
17.40/17.53	c bounds 911 >= 28 @ 11.9871
17.40/17.53	c bounds 910 >= 28 @ 11.9932
17.40/17.54	c bounds 909 >= 28 @ 12.0006
17.40/17.55	c bounds 908 >= 28 @ 12.0066
17.40/17.56	c bounds 907 >= 28 @ 12.0134
17.40/17.57	c bounds 906 >= 28 @ 12.0199
17.40/17.58	c bounds 905 >= 28 @ 12.0252
17.40/17.59	c bounds 904 >= 28 @ 12.0326
17.40/17.59	c bounds 903 >= 28 @ 12.0401
17.50/17.60	c bounds 902 >= 28 @ 12.0455
17.50/17.61	c bounds 901 >= 28 @ 12.049
17.50/17.62	c bounds 900 >= 28 @ 12.0554
17.50/17.63	c bounds 899 >= 28 @ 12.0599
17.50/17.64	c bounds 898 >= 28 @ 12.0664
17.50/17.65	c bounds 897 >= 28 @ 12.0748
17.50/17.65	c bounds 896 >= 28 @ 12.0815
17.50/17.66	c bounds 895 >= 28 @ 12.0869
17.50/17.67	c bounds 894 >= 28 @ 12.0913
17.50/17.68	c bounds 893 >= 28 @ 12.0978
17.50/17.69	c bounds 892 >= 28 @ 12.1042
17.60/17.70	c bounds 891 >= 28 @ 12.1086
17.60/17.71	c bounds 890 >= 28 @ 12.1141
17.60/17.71	c bounds 889 >= 28 @ 12.1204
17.60/17.72	c bounds 888 >= 28 @ 12.1259
17.60/17.73	c bounds 887 >= 28 @ 12.1323
17.60/17.74	c bounds 886 >= 28 @ 12.1377
17.60/17.75	c bounds 885 >= 28 @ 12.146
17.60/17.76	c bounds 884 >= 28 @ 12.1552
17.60/17.77	c bounds 883 >= 28 @ 12.1607
17.60/17.78	c bounds 882 >= 28 @ 12.1682
17.60/17.79	c bounds 881 >= 28 @ 12.1747
17.60/17.79	c bounds 880 >= 28 @ 12.1831
17.70/17.80	c bounds 879 >= 28 @ 12.1877
17.70/17.81	c bounds 878 >= 28 @ 12.1932
17.70/17.82	c bounds 877 >= 28 @ 12.1967
17.70/17.83	c bounds 876 >= 28 @ 12.2021
17.70/17.84	c bounds 875 >= 28 @ 12.2129
17.70/17.85	c bounds 874 >= 28 @ 12.221
17.70/17.86	c bounds 873 >= 28 @ 12.2259
17.70/17.87	c bounds 872 >= 28 @ 12.2345
17.70/17.88	c bounds 871 >= 28 @ 12.2402
17.70/17.88	c bounds 870 >= 28 @ 12.2488
17.70/17.89	c bounds 869 >= 28 @ 12.2525
17.80/17.90	c bounds 868 >= 28 @ 12.2594
17.80/17.91	c bounds 867 >= 28 @ 12.2652
17.80/17.92	c bounds 866 >= 28 @ 12.2721
17.80/17.93	c bounds 865 >= 28 @ 12.2805
17.80/17.94	c bounds 864 >= 28 @ 12.2868
17.80/17.95	c bounds 863 >= 28 @ 12.2914
17.80/17.96	c bounds 862 >= 28 @ 12.2982
17.80/17.97	c bounds 861 >= 28 @ 12.3069
17.80/17.97	c bounds 860 >= 28 @ 12.3127
17.80/17.98	c bounds 859 >= 28 @ 12.3193
17.80/17.99	c bounds 858 >= 28 @ 12.3249
17.91/18.00	c bounds 857 >= 28 @ 12.3318
17.91/18.01	c bounds 856 >= 28 @ 12.3396
17.91/18.02	c bounds 855 >= 28 @ 12.3443
17.91/18.03	c bounds 854 >= 28 @ 12.348
17.91/18.04	c bounds 853 >= 28 @ 12.3538
17.91/18.05	c bounds 852 >= 28 @ 12.3604
17.91/18.06	c bounds 851 >= 28 @ 12.3644
17.91/18.07	c bounds 850 >= 28 @ 12.3702
17.91/18.08	c bounds 849 >= 28 @ 12.3789
17.91/18.09	c bounds 848 >= 28 @ 12.3861
17.91/18.10	c bounds 847 >= 28 @ 12.3922
18.00/18.11	c bounds 846 >= 28 @ 12.3972
18.00/18.12	c bounds 845 >= 28 @ 12.4031
18.00/18.12	c bounds 844 >= 28 @ 12.409
18.00/18.13	c bounds 843 >= 28 @ 12.4129
18.00/18.14	c bounds 842 >= 28 @ 12.417
18.00/18.15	c bounds 841 >= 28 @ 12.4229
18.00/18.16	c bounds 840 >= 28 @ 12.4277
18.00/18.17	c bounds 839 >= 28 @ 12.4345
18.00/18.18	c bounds 838 >= 28 @ 12.4414
18.00/18.19	c bounds 837 >= 28 @ 12.4492
18.10/18.20	c bounds 836 >= 28 @ 12.4543
18.10/18.21	c bounds 835 >= 28 @ 12.4609
18.10/18.21	c bounds 834 >= 28 @ 12.4667
18.10/18.22	c bounds 833 >= 28 @ 12.4736
18.10/18.23	c bounds 832 >= 28 @ 12.4795
18.10/18.24	c bounds 831 >= 28 @ 12.485
18.10/18.25	c bounds 830 >= 28 @ 12.4908
18.10/18.26	c bounds 829 >= 28 @ 12.4979
18.10/18.27	c bounds 828 >= 28 @ 12.5047
18.10/18.28	c bounds 827 >= 28 @ 12.5095
18.10/18.28	c bounds 826 >= 28 @ 12.5163
18.10/18.29	c bounds 825 >= 28 @ 12.5241
18.20/18.30	c bounds 824 >= 28 @ 12.5319
18.20/18.31	c bounds 823 >= 28 @ 12.538
18.20/18.32	c bounds 822 >= 28 @ 12.5439
18.20/18.33	c bounds 821 >= 28 @ 12.5526
18.20/18.34	c bounds 820 >= 28 @ 12.5575
18.20/18.35	c bounds 819 >= 28 @ 12.5642
18.20/18.36	c bounds 818 >= 28 @ 12.57
18.20/18.37	c bounds 817 >= 28 @ 12.5787
18.20/18.38	c bounds 816 >= 28 @ 12.589
18.20/18.39	c bounds 815 >= 28 @ 12.5973
18.30/18.40	c bounds 814 >= 28 @ 12.6043
18.30/18.41	c bounds 813 >= 28 @ 12.6104
18.30/18.42	c bounds 812 >= 28 @ 12.6172
18.30/18.43	c bounds 811 >= 28 @ 12.6224
18.30/18.44	c bounds 810 >= 28 @ 12.63
18.30/18.45	c bounds 809 >= 28 @ 12.6347
18.30/18.46	c bounds 808 >= 28 @ 12.6404
18.30/18.46	c bounds 807 >= 28 @ 12.6452
18.30/18.47	c bounds 806 >= 28 @ 12.6525
18.30/18.48	c bounds 805 >= 28 @ 12.6583
18.30/18.49	c bounds 804 >= 28 @ 12.665
18.40/18.50	c bounds 803 >= 28 @ 12.6707
18.40/18.51	c bounds 802 >= 28 @ 12.6773
18.40/18.52	c bounds 801 >= 28 @ 12.6829
18.40/18.53	c bounds 800 >= 28 @ 12.6887
18.40/18.54	c bounds 799 >= 28 @ 12.6973
18.40/18.55	c bounds 798 >= 28 @ 12.7021
18.40/18.55	c bounds 797 >= 28 @ 12.7078
18.40/18.56	c bounds 796 >= 28 @ 12.7154
18.40/18.58	c bounds 795 >= 28 @ 12.7231
18.40/18.59	c bounds 794 >= 28 @ 12.7314
18.40/18.60	c bounds 793 >= 28 @ 12.7373
18.50/18.60	c bounds 792 >= 28 @ 12.7431
18.50/18.61	c bounds 791 >= 28 @ 12.7498
18.50/18.62	c bounds 790 >= 28 @ 12.754
18.50/18.63	c bounds 789 >= 28 @ 12.7598
18.50/18.64	c bounds 788 >= 28 @ 12.7646
18.50/18.65	c bounds 787 >= 28 @ 12.7674
18.50/18.66	c bounds 786 >= 28 @ 12.7731
18.50/18.67	c bounds 785 >= 28 @ 12.7808
18.50/18.68	c bounds 784 >= 28 @ 12.7849
18.50/18.69	c bounds 783 >= 28 @ 12.7897
18.50/18.69	c bounds 782 >= 28 @ 12.7964
18.59/18.70	c bounds 781 >= 28 @ 12.805
18.59/18.71	c bounds 780 >= 28 @ 12.8109
18.59/18.72	c bounds 779 >= 28 @ 12.8168
18.59/18.73	c bounds 778 >= 28 @ 12.8227
18.59/18.74	c bounds 777 >= 28 @ 12.8286
18.59/18.75	c bounds 776 >= 28 @ 12.8345
18.59/18.76	c bounds 775 >= 28 @ 12.8403
18.59/18.77	c bounds 774 >= 28 @ 12.8492
18.59/18.77	c bounds 773 >= 28 @ 12.857
18.59/18.78	c bounds 772 >= 28 @ 12.8629
18.59/18.79	c bounds 771 >= 28 @ 12.8687
18.70/18.80	c bounds 770 >= 28 @ 12.8765
18.70/18.81	c bounds 769 >= 28 @ 12.8824
18.70/18.82	c bounds 768 >= 28 @ 12.8892
18.70/18.83	c bounds 767 >= 28 @ 12.896
18.70/18.84	c bounds 766 >= 28 @ 12.901
18.70/18.85	c bounds 765 >= 28 @ 12.9095
18.70/18.86	c bounds 764 >= 28 @ 12.9149
18.70/18.86	c bounds 763 >= 28 @ 12.9198
18.70/18.88	c bounds 762 >= 28 @ 12.9293
18.70/18.89	c bounds 761 >= 28 @ 12.9381
18.80/18.90	c bounds 760 >= 28 @ 12.9485
18.80/18.91	c bounds 759 >= 28 @ 12.9595
18.80/18.93	c bounds 758 >= 28 @ 12.9704
639.65/641.66	c #Conflicts:       2000 | #Constraints:      68092
639.65/641.66	c INPROCESSING
639.65/641.66	c GARBAGE COLLECT
639.65/641.66	c bounds 757 >= 28 @ 633.611
639.65/641.67	c bounds 756 >= 28 @ 633.614
639.65/641.68	c bounds 755 >= 28 @ 633.62
639.65/641.69	c bounds 754 >= 28 @ 633.625
639.76/641.70	c bounds 753 >= 28 @ 633.63
639.76/641.71	c bounds 752 >= 28 @ 633.637
639.76/641.71	c bounds 751 >= 28 @ 633.641
639.76/641.72	c bounds 750 >= 28 @ 633.647
639.76/641.73	c bounds 749 >= 28 @ 633.655
639.76/641.74	c bounds 748 >= 28 @ 633.66
639.76/641.75	c bounds 747 >= 28 @ 633.666
639.76/641.76	c bounds 746 >= 28 @ 633.672
639.76/641.77	c bounds 745 >= 28 @ 633.677
639.76/641.77	c bounds 744 >= 28 @ 633.681
639.76/641.78	c bounds 743 >= 28 @ 633.687
639.76/641.79	c bounds 742 >= 28 @ 633.691
639.85/641.80	c bounds 741 >= 28 @ 633.694
639.85/641.81	c bounds 740 >= 28 @ 633.701
639.85/641.81	c bounds 739 >= 28 @ 633.709
639.85/641.82	c bounds 738 >= 28 @ 633.714
639.85/641.83	c bounds 737 >= 28 @ 633.718
639.85/641.84	c bounds 736 >= 28 @ 633.728
639.85/641.85	c bounds 735 >= 28 @ 633.737
639.85/641.86	c bounds 734 >= 28 @ 633.745
639.85/641.88	c bounds 733 >= 28 @ 633.754
639.85/641.89	c bounds 732 >= 28 @ 633.76
639.95/641.90	c bounds 731 >= 28 @ 633.769
639.95/641.91	c bounds 730 >= 28 @ 633.78
639.95/641.93	c bounds 729 >= 28 @ 633.795
639.95/641.94	c bounds 728 >= 28 @ 633.806
639.95/641.96	c bounds 727 >= 28 @ 633.819
639.95/641.97	c bounds 726 >= 28 @ 633.828
639.95/641.98	c bounds 725 >= 28 @ 633.836
639.95/642.00	c bounds 724 >= 28 @ 633.844
640.06/642.01	c bounds 723 >= 28 @ 633.854
640.06/642.02	c bounds 722 >= 28 @ 633.86
640.06/642.03	c bounds 721 >= 28 @ 633.869
640.06/642.04	c bounds 720 >= 28 @ 633.88
640.06/642.05	c bounds 719 >= 28 @ 633.888
640.06/642.06	c bounds 718 >= 28 @ 633.896
640.06/642.07	c bounds 717 >= 28 @ 633.903
640.06/642.09	c bounds 716 >= 28 @ 633.912
640.06/642.10	c bounds 715 >= 28 @ 633.917
640.16/642.11	c bounds 714 >= 28 @ 633.923
640.16/642.12	c bounds 713 >= 28 @ 633.933
640.16/642.13	c bounds 712 >= 28 @ 633.942
640.16/642.14	c bounds 711 >= 28 @ 633.948
640.16/642.15	c bounds 710 >= 28 @ 633.953
640.16/642.16	c bounds 709 >= 28 @ 633.96
640.16/642.16	c bounds 708 >= 28 @ 633.968
640.16/642.17	c bounds 707 >= 28 @ 633.973
640.16/642.18	c bounds 706 >= 28 @ 633.98
640.16/642.19	c bounds 705 >= 28 @ 633.985
640.25/642.20	c bounds 704 >= 28 @ 633.988
640.25/642.21	c bounds 703 >= 28 @ 633.995
640.25/642.22	c bounds 702 >= 28 @ 633.998
640.25/642.23	c bounds 701 >= 28 @ 634.003
640.25/642.23	c bounds 700 >= 28 @ 634.008
640.25/642.24	c bounds 699 >= 28 @ 634.014
640.25/642.25	c bounds 698 >= 28 @ 634.016
640.25/642.26	c bounds 697 >= 28 @ 634.02
640.25/642.27	c bounds 696 >= 28 @ 634.026
640.25/642.28	c bounds 695 >= 28 @ 634.031
640.25/642.29	c bounds 694 >= 28 @ 634.037
640.25/642.29	c bounds 693 >= 28 @ 634.042
640.35/642.30	c bounds 692 >= 28 @ 634.045
640.35/642.31	c bounds 691 >= 28 @ 634.05
640.35/642.32	c bounds 690 >= 28 @ 634.059
640.35/642.33	c bounds 689 >= 28 @ 634.063
640.35/642.34	c bounds 688 >= 28 @ 634.073
640.35/642.35	c bounds 687 >= 28 @ 634.08
640.35/642.36	c bounds 686 >= 28 @ 634.086
640.35/642.37	c bounds 685 >= 28 @ 634.09
640.35/642.38	c bounds 684 >= 28 @ 634.098
640.46/642.40	c bounds 683 >= 28 @ 634.11
640.46/642.41	c bounds 682 >= 28 @ 634.119
640.46/642.42	c bounds 681 >= 28 @ 634.124
640.46/642.43	c bounds 680 >= 28 @ 634.135
640.46/642.44	c bounds 679 >= 28 @ 634.144
640.46/642.45	c bounds 678 >= 28 @ 634.153
640.46/642.46	c bounds 677 >= 28 @ 634.158
640.46/642.47	c bounds 676 >= 28 @ 634.166
640.46/642.49	c bounds 675 >= 28 @ 634.176
640.55/642.50	c bounds 674 >= 28 @ 634.187
640.55/642.51	c bounds 673 >= 28 @ 634.198
640.55/642.53	c bounds 672 >= 28 @ 634.207
640.55/642.54	c bounds 671 >= 28 @ 634.212
640.55/642.55	c bounds 670 >= 28 @ 634.224
640.55/642.56	c bounds 669 >= 28 @ 634.233
640.55/642.57	c bounds 668 >= 28 @ 634.242
640.55/642.58	c bounds 667 >= 28 @ 634.25
640.65/642.60	c bounds 666 >= 28 @ 634.259
640.65/642.61	c bounds 665 >= 28 @ 634.27
640.65/642.62	c bounds 664 >= 28 @ 634.277
640.65/642.63	c bounds 663 >= 28 @ 634.282
640.65/642.64	c bounds 662 >= 28 @ 634.29
640.65/642.65	c bounds 661 >= 28 @ 634.297
640.65/642.66	c bounds 660 >= 28 @ 634.304
640.65/642.67	c bounds 659 >= 28 @ 634.314
640.65/642.68	c bounds 658 >= 28 @ 634.319
640.65/642.69	c bounds 657 >= 28 @ 634.326
640.75/642.70	c bounds 656 >= 28 @ 634.33
640.75/642.71	c bounds 655 >= 28 @ 634.337
640.75/642.72	c bounds 654 >= 28 @ 634.342
640.75/642.72	c bounds 653 >= 28 @ 634.349
640.75/642.73	c bounds 652 >= 28 @ 634.351
640.75/642.74	c bounds 651 >= 28 @ 634.357
640.75/642.75	c bounds 650 >= 28 @ 634.363
640.75/642.75	c bounds 649 >= 28 @ 634.37
640.75/642.76	c bounds 648 >= 28 @ 634.376
640.75/642.77	c bounds 647 >= 28 @ 634.38
640.75/642.78	c bounds 646 >= 28 @ 634.386
640.75/642.79	c bounds 645 >= 28 @ 634.395
640.86/642.80	c bounds 644 >= 28 @ 634.399
640.86/642.81	c bounds 643 >= 28 @ 634.407
640.86/642.82	c bounds 642 >= 28 @ 634.413
640.86/642.82	c bounds 641 >= 28 @ 634.418
640.86/642.83	c bounds 640 >= 28 @ 634.425
640.86/642.84	c bounds 639 >= 28 @ 634.429
640.86/642.85	c bounds 638 >= 28 @ 634.435
640.86/642.86	c bounds 637 >= 28 @ 634.44
640.86/642.87	c bounds 636 >= 28 @ 634.444
640.86/642.87	c bounds 635 >= 28 @ 634.448
640.86/642.88	c bounds 634 >= 28 @ 634.453
640.86/642.89	c bounds 633 >= 28 @ 634.458
640.95/642.90	c bounds 632 >= 28 @ 634.465
640.95/642.91	c bounds 631 >= 28 @ 634.47
640.95/642.92	c bounds 630 >= 28 @ 634.475
640.95/642.93	c bounds 629 >= 28 @ 634.481
640.95/642.94	c bounds 628 >= 28 @ 634.488
640.95/642.94	c bounds 627 >= 28 @ 634.495
640.95/642.95	c bounds 626 >= 28 @ 634.501
640.95/642.96	c bounds 625 >= 28 @ 634.504
640.95/642.97	c bounds 624 >= 28 @ 634.509
640.95/642.98	c bounds 623 >= 28 @ 634.515
640.95/642.98	c bounds 622 >= 28 @ 634.517
640.95/642.99	c bounds 621 >= 28 @ 634.523
641.06/643.00	c bounds 620 >= 28 @ 634.531
641.06/643.01	c bounds 619 >= 28 @ 634.537
641.06/643.02	c bounds 618 >= 28 @ 634.543
641.06/643.03	c bounds 617 >= 28 @ 634.55
641.06/643.04	c bounds 616 >= 28 @ 634.556
641.06/643.04	c bounds 615 >= 28 @ 634.559
641.06/643.05	c bounds 614 >= 28 @ 634.563
641.06/643.06	c bounds 613 >= 28 @ 634.568
641.06/643.07	c bounds 612 >= 28 @ 634.573
641.06/643.08	c bounds 611 >= 28 @ 634.579
641.06/643.08	c bounds 610 >= 28 @ 634.585
641.06/643.09	c bounds 609 >= 28 @ 634.591
641.06/643.10	c bounds 608 >= 28 @ 634.595
641.15/643.11	c bounds 607 >= 28 @ 634.6
641.15/643.11	c bounds 606 >= 28 @ 634.606
641.15/643.12	c bounds 605 >= 28 @ 634.612
641.15/643.13	c bounds 604 >= 28 @ 634.617
641.15/643.14	c bounds 603 >= 28 @ 634.624
641.15/643.14	c bounds 602 >= 28 @ 634.628
641.15/643.15	c bounds 601 >= 28 @ 634.636
641.15/643.16	c bounds 600 >= 28 @ 634.64
641.15/643.18	c bounds 599 >= 28 @ 634.652
641.25/643.20	c bounds 598 >= 28 @ 634.671
641.25/643.24	c bounds 597 >= 28 @ 634.707
641.25/643.28	c bounds 596 >= 28 @ 634.74
643.35/645.30	c #Conflicts:       3000 | #Constraints:      67995
643.35/645.30	c #Conflicts:       4000 | #Constraints:      68995
643.35/645.30	c INPROCESSING
643.35/645.30	c GARBAGE COLLECT
643.35/645.30	c bounds 595 >= 28 @ 636.711
643.35/645.30	c bounds 594 >= 28 @ 636.718
643.35/645.31	c bounds 593 >= 28 @ 636.723
643.35/645.32	c bounds 592 >= 28 @ 636.731
643.35/645.33	c bounds 591 >= 28 @ 636.741
643.35/645.35	c bounds 590 >= 28 @ 636.751
643.35/645.36	c bounds 589 >= 28 @ 636.759
643.35/645.37	c bounds 588 >= 28 @ 636.767
643.35/645.38	c bounds 587 >= 28 @ 636.774
643.35/645.39	c bounds 586 >= 28 @ 636.78
643.35/645.39	c bounds 585 >= 28 @ 636.784
643.44/645.40	c bounds 584 >= 28 @ 636.792
643.44/645.41	c bounds 583 >= 28 @ 636.798
643.44/645.42	c bounds 582 >= 28 @ 636.804
643.44/645.43	c bounds 581 >= 28 @ 636.813
643.44/645.44	c bounds 580 >= 28 @ 636.822
643.44/645.45	c bounds 579 >= 28 @ 636.832
643.44/645.46	c bounds 578 >= 28 @ 636.838
643.44/645.48	c bounds 577 >= 28 @ 636.849
643.44/645.49	c bounds 576 >= 28 @ 636.863
643.54/645.51	c bounds 575 >= 28 @ 636.874
643.54/645.52	c bounds 574 >= 28 @ 636.887
643.54/645.54	c bounds 573 >= 28 @ 636.897
643.54/645.55	c bounds 572 >= 28 @ 636.909
643.54/645.57	c bounds 571 >= 28 @ 636.92
643.54/645.58	c bounds 570 >= 28 @ 636.933
643.64/645.60	c bounds 569 >= 28 @ 636.944
643.64/645.61	c bounds 568 >= 28 @ 636.958
643.64/645.62	c bounds 567 >= 28 @ 636.969
643.64/645.64	c bounds 566 >= 28 @ 636.981
643.64/645.65	c bounds 565 >= 28 @ 636.994
643.64/645.67	c bounds 564 >= 28 @ 637.007
643.64/645.68	c bounds 563 >= 28 @ 637.018
643.75/645.70	c bounds 562 >= 28 @ 637.03
643.75/645.72	c bounds 561 >= 28 @ 637.052
643.75/645.77	c bounds 560 >= 28 @ 637.097
643.85/645.80	c bounds 559 >= 28 @ 637.12
643.85/645.81	c bounds 558 >= 28 @ 637.134
643.85/645.83	c bounds 557 >= 28 @ 637.149
643.85/645.89	c bounds 556 >= 28 @ 637.206
643.95/645.92	c bounds 555 >= 28 @ 637.231
643.95/645.93	c bounds 554 >= 28 @ 637.243
643.95/645.95	c bounds 553 >= 28 @ 637.253
643.95/645.97	c bounds 552 >= 28 @ 637.275
643.95/645.98	c bounds 551 >= 28 @ 637.286
643.95/646.00	c bounds 550 >= 28 @ 637.296
644.05/646.01	c bounds 549 >= 28 @ 637.309
644.05/646.02	c bounds 548 >= 28 @ 637.319
644.05/646.04	c bounds 547 >= 28 @ 637.331
644.05/646.05	c bounds 546 >= 28 @ 637.342
644.05/646.06	c bounds 545 >= 28 @ 637.349
644.05/646.07	c bounds 544 >= 28 @ 637.356
644.05/646.08	c bounds 543 >= 28 @ 637.365
644.05/646.09	c bounds 542 >= 28 @ 637.376
644.15/646.11	c bounds 541 >= 28 @ 637.386
644.15/646.12	c bounds 540 >= 28 @ 637.401
644.15/646.14	c bounds 539 >= 28 @ 637.41
644.15/646.15	c bounds 538 >= 28 @ 637.423
644.15/646.17	c bounds 537 >= 28 @ 637.435
644.15/646.18	c bounds 536 >= 28 @ 637.448
644.15/646.19	c bounds 535 >= 28 @ 637.459
644.24/646.20	c bounds 534 >= 28 @ 637.47
644.24/646.22	c bounds 533 >= 28 @ 637.48
644.24/646.23	c bounds 532 >= 28 @ 637.49
644.24/646.24	c bounds 531 >= 28 @ 637.498
644.24/646.25	c bounds 530 >= 28 @ 637.506
644.24/646.26	c bounds 529 >= 28 @ 637.512
644.24/646.27	c bounds 528 >= 28 @ 637.52
644.24/646.28	c bounds 527 >= 28 @ 637.526
644.24/646.29	c bounds 526 >= 28 @ 637.531
644.34/646.30	c bounds 525 >= 28 @ 637.54
644.34/646.31	c bounds 524 >= 28 @ 637.547
644.34/646.31	c bounds 523 >= 28 @ 637.551
644.34/646.32	c bounds 522 >= 28 @ 637.558
644.34/646.33	c bounds 521 >= 28 @ 637.566
644.34/646.34	c bounds 520 >= 28 @ 637.574
644.34/646.35	c bounds 519 >= 28 @ 637.576
644.34/646.36	c bounds 518 >= 28 @ 637.582
644.34/646.36	c bounds 517 >= 28 @ 637.589
644.34/646.37	c bounds 516 >= 28 @ 637.593
644.34/646.38	c bounds 515 >= 28 @ 637.602
644.34/646.39	c bounds 514 >= 28 @ 637.605
644.34/646.39	c bounds 513 >= 28 @ 637.61
644.44/646.40	c bounds 512 >= 28 @ 637.616
644.44/646.41	c bounds 511 >= 28 @ 637.622
644.44/646.41	c bounds 510 >= 28 @ 637.625
644.44/646.42	c bounds 509 >= 28 @ 637.63
644.44/646.43	c bounds 508 >= 28 @ 637.635
644.44/646.44	c bounds 507 >= 28 @ 637.638
644.44/646.44	c bounds 506 >= 28 @ 637.643
644.44/646.45	c bounds 505 >= 28 @ 637.65
644.44/646.46	c bounds 504 >= 28 @ 637.657
644.44/646.47	c bounds 503 >= 28 @ 637.663
644.44/646.47	c bounds 502 >= 28 @ 637.669
644.44/646.48	c bounds 501 >= 28 @ 637.675
644.44/646.49	c bounds 500 >= 28 @ 637.681
644.44/646.49	c bounds 499 >= 28 @ 637.685
644.54/646.50	c bounds 498 >= 28 @ 637.69
644.54/646.51	c bounds 497 >= 28 @ 637.695
644.54/646.52	c bounds 496 >= 28 @ 637.699
644.54/646.52	c bounds 495 >= 28 @ 637.703
644.54/646.53	c bounds 494 >= 28 @ 637.709
644.54/646.54	c bounds 493 >= 28 @ 637.716
644.54/646.54	c bounds 492 >= 28 @ 637.722
644.54/646.55	c bounds 491 >= 28 @ 637.727
644.54/646.56	c bounds 490 >= 28 @ 637.731
644.54/646.57	c bounds 489 >= 28 @ 637.736
644.54/646.57	c bounds 488 >= 28 @ 637.741
644.54/646.58	c bounds 487 >= 28 @ 637.748
644.54/646.59	c bounds 486 >= 28 @ 637.755
644.54/646.60	c bounds 485 >= 28 @ 637.76
644.64/646.60	c bounds 484 >= 28 @ 637.766
644.64/646.61	c bounds 483 >= 28 @ 637.77
644.64/646.62	c bounds 482 >= 28 @ 637.776
644.64/646.62	c bounds 481 >= 28 @ 637.78
644.64/646.63	c bounds 480 >= 28 @ 637.786
644.64/646.64	c bounds 479 >= 28 @ 637.793
644.64/646.65	c bounds 478 >= 28 @ 637.797
644.64/646.65	c bounds 477 >= 28 @ 637.802
644.64/646.66	c bounds 476 >= 28 @ 637.808
644.64/646.67	c bounds 475 >= 28 @ 637.813
644.64/646.67	c bounds 474 >= 28 @ 637.82
644.64/646.68	c bounds 473 >= 28 @ 637.826
644.64/646.69	c bounds 472 >= 28 @ 637.83
644.64/646.70	c bounds 471 >= 28 @ 637.836
644.74/646.70	c bounds 470 >= 28 @ 637.842
644.74/646.71	c bounds 469 >= 28 @ 637.848
644.74/646.72	c bounds 468 >= 28 @ 637.853
644.74/646.73	c bounds 467 >= 28 @ 637.86
644.74/646.73	c bounds 466 >= 28 @ 637.865
644.74/646.74	c bounds 465 >= 28 @ 637.871
644.74/646.75	c bounds 464 >= 28 @ 637.88
644.74/646.76	c bounds 463 >= 28 @ 637.885
644.74/646.76	c bounds 462 >= 28 @ 637.89
644.74/646.77	c bounds 461 >= 28 @ 637.894
644.74/646.78	c bounds 460 >= 28 @ 637.9
644.74/646.79	c bounds 459 >= 28 @ 637.908
644.74/646.79	c bounds 458 >= 28 @ 637.913
644.84/646.80	c bounds 457 >= 28 @ 637.918
644.84/646.81	c bounds 456 >= 28 @ 637.924
644.84/646.82	c bounds 455 >= 28 @ 637.93
644.84/646.82	c bounds 454 >= 28 @ 637.935
644.84/646.83	c bounds 453 >= 28 @ 637.94
644.84/646.84	c bounds 452 >= 28 @ 637.945
644.84/646.84	c bounds 451 >= 28 @ 637.952
644.84/646.85	c bounds 450 >= 28 @ 637.958
644.84/646.86	c bounds 449 >= 28 @ 637.963
644.84/646.87	c bounds 448 >= 28 @ 637.969
644.84/646.87	c bounds 447 >= 28 @ 637.974
644.84/646.88	c bounds 446 >= 28 @ 637.98
644.84/646.89	c bounds 445 >= 28 @ 637.983
644.84/646.90	c bounds 444 >= 28 @ 637.989
644.94/646.90	c bounds 443 >= 28 @ 637.995
644.94/646.91	c bounds 442 >= 28 @ 638.002
644.94/646.92	c bounds 441 >= 28 @ 638.007
644.94/646.92	c bounds 440 >= 28 @ 638.013
644.94/646.93	c bounds 439 >= 28 @ 638.019
644.94/646.94	c bounds 438 >= 28 @ 638.024
644.94/646.94	c bounds 437 >= 28 @ 638.029
644.94/646.95	c bounds 436 >= 28 @ 638.034
644.94/646.96	c bounds 435 >= 28 @ 638.043
644.94/646.97	c bounds 434 >= 28 @ 638.049
644.94/646.98	c bounds 433 >= 28 @ 638.054
644.94/646.98	c bounds 432 >= 28 @ 638.059
644.94/646.99	c bounds 431 >= 28 @ 638.065
644.94/647.00	c bounds 430 >= 28 @ 638.069
645.05/647.01	c bounds 429 >= 28 @ 638.075
645.05/647.01	c bounds 428 >= 28 @ 638.078
645.05/647.02	c bounds 427 >= 28 @ 638.086
645.05/647.03	c bounds 426 >= 28 @ 638.092
645.05/647.04	c bounds 425 >= 28 @ 638.098
645.05/647.04	c bounds 424 >= 28 @ 638.102
645.05/647.05	c bounds 423 >= 28 @ 638.109
645.05/647.06	c bounds 422 >= 28 @ 638.115
645.05/647.07	c bounds 421 >= 28 @ 638.12
645.05/647.07	c bounds 420 >= 28 @ 638.125
645.05/647.08	c bounds 419 >= 28 @ 638.128
645.05/647.09	c bounds 418 >= 28 @ 638.131
645.05/647.09	c bounds 417 >= 28 @ 638.137
645.05/647.10	c bounds 416 >= 28 @ 638.143
645.14/647.11	c bounds 415 >= 28 @ 638.149
645.14/647.11	c bounds 414 >= 28 @ 638.155
645.14/647.12	c bounds 413 >= 28 @ 638.159
645.14/647.13	c bounds 412 >= 28 @ 638.163
645.14/647.13	c bounds 411 >= 28 @ 638.166
645.14/647.14	c bounds 410 >= 28 @ 638.171
645.14/647.15	c bounds 409 >= 28 @ 638.174
645.14/647.16	c bounds 408 >= 28 @ 638.18
645.14/647.16	c bounds 407 >= 28 @ 638.186
645.14/647.17	c bounds 406 >= 28 @ 638.191
645.14/647.18	c bounds 405 >= 28 @ 638.194
645.14/647.19	c bounds 404 >= 28 @ 638.198
645.14/647.19	c bounds 403 >= 28 @ 638.204
645.24/647.20	c bounds 402 >= 28 @ 638.21
645.24/647.21	c bounds 401 >= 28 @ 638.216
645.24/647.22	c bounds 400 >= 28 @ 638.224
645.24/647.23	c bounds 399 >= 28 @ 638.23
645.24/647.23	c bounds 398 >= 28 @ 638.234
645.24/647.24	c bounds 397 >= 28 @ 638.241
645.24/647.25	c bounds 396 >= 28 @ 638.248
645.24/647.25	c bounds 395 >= 28 @ 638.255
645.24/647.26	c bounds 394 >= 28 @ 638.258
645.24/647.27	c bounds 393 >= 28 @ 638.265
645.24/647.27	c bounds 392 >= 28 @ 638.272
645.24/647.28	c bounds 391 >= 28 @ 638.276
645.24/647.29	c bounds 390 >= 28 @ 638.28
645.24/647.29	c bounds 389 >= 28 @ 638.285
645.34/647.30	c bounds 388 >= 28 @ 638.29
645.34/647.31	c bounds 387 >= 28 @ 638.295
645.34/647.31	c bounds 386 >= 28 @ 638.298
645.34/647.32	c bounds 385 >= 28 @ 638.303
645.34/647.33	c bounds 384 >= 28 @ 638.308
645.34/647.34	c bounds 383 >= 28 @ 638.315
645.34/647.34	c bounds 382 >= 28 @ 638.32
645.34/647.35	c bounds 381 >= 28 @ 638.322
645.34/647.36	c bounds 380 >= 28 @ 638.329
645.34/647.36	c bounds 379 >= 28 @ 638.334
645.34/647.37	c bounds 378 >= 28 @ 638.339
645.34/647.38	c bounds 377 >= 28 @ 638.344
645.34/647.38	c bounds 376 >= 28 @ 638.348
645.34/647.39	c bounds 375 >= 28 @ 638.354
645.34/647.40	c bounds 374 >= 28 @ 638.359
645.44/647.40	c bounds 373 >= 28 @ 638.365
645.44/647.41	c bounds 372 >= 28 @ 638.368
645.44/647.42	c bounds 371 >= 28 @ 638.372
645.44/647.42	c bounds 370 >= 28 @ 638.375
645.44/647.43	c bounds 369 >= 28 @ 638.38
645.44/647.43	c bounds 368 >= 28 @ 638.385
645.44/647.44	c bounds 367 >= 28 @ 638.39
645.44/647.45	c bounds 366 >= 28 @ 638.397
645.44/647.46	c bounds 365 >= 28 @ 638.402
645.44/647.46	c bounds 364 >= 28 @ 638.405
645.44/647.47	c bounds 363 >= 28 @ 638.409
645.44/647.47	c bounds 362 >= 28 @ 638.416
645.44/647.48	c bounds 361 >= 28 @ 638.421
645.44/647.49	c bounds 360 >= 28 @ 638.426
645.44/647.49	c bounds 359 >= 28 @ 638.432
645.54/647.50	c bounds 358 >= 28 @ 638.437
645.54/647.51	c bounds 357 >= 28 @ 638.443
645.54/647.51	c bounds 356 >= 28 @ 638.447
645.54/647.52	c bounds 355 >= 28 @ 638.451
645.54/647.53	c bounds 354 >= 28 @ 638.458
645.54/647.54	c bounds 353 >= 28 @ 638.465
645.54/647.54	c bounds 352 >= 28 @ 638.469
645.54/647.55	c bounds 351 >= 28 @ 638.474
645.54/647.56	c bounds 350 >= 28 @ 638.478
645.54/647.56	c bounds 349 >= 28 @ 638.484
645.54/647.57	c bounds 348 >= 28 @ 638.488
645.54/647.57	c bounds 347 >= 28 @ 638.493
645.54/647.58	c bounds 346 >= 28 @ 638.497
645.54/647.59	c bounds 345 >= 28 @ 638.502
645.54/647.59	c bounds 344 >= 28 @ 638.506
645.63/647.60	c bounds 343 >= 28 @ 638.512
645.63/647.61	c bounds 342 >= 28 @ 638.518
645.63/647.62	c bounds 341 >= 28 @ 638.526
645.63/647.63	c bounds 340 >= 28 @ 638.532
645.63/647.63	c bounds 339 >= 28 @ 638.537
645.63/647.64	c bounds 338 >= 28 @ 638.544
645.63/647.64	c bounds 337 >= 28 @ 638.548
645.63/647.65	c bounds 336 >= 28 @ 638.553
645.63/647.66	c bounds 335 >= 28 @ 638.558
645.63/647.66	c bounds 334 >= 28 @ 638.564
645.63/647.67	c bounds 333 >= 28 @ 638.569
645.63/647.68	c bounds 332 >= 28 @ 638.573
645.63/647.68	c bounds 331 >= 28 @ 638.577
645.63/647.69	c bounds 330 >= 28 @ 638.581
645.63/647.70	c bounds 329 >= 28 @ 638.586
645.73/647.70	c bounds 328 >= 28 @ 638.59
645.73/647.71	c bounds 327 >= 28 @ 638.598
645.73/647.72	c bounds 326 >= 28 @ 638.603
645.73/647.72	c bounds 325 >= 28 @ 638.607
645.73/647.73	c bounds 324 >= 28 @ 638.613
645.73/647.74	c bounds 323 >= 28 @ 638.617
645.73/647.74	c bounds 322 >= 28 @ 638.624
645.73/647.75	c bounds 321 >= 28 @ 638.628
645.73/647.75	c bounds 320 >= 28 @ 638.631
645.73/647.76	c bounds 319 >= 28 @ 638.638
645.73/647.77	c bounds 318 >= 28 @ 638.643
645.73/647.77	c bounds 317 >= 28 @ 638.648
645.73/647.78	c bounds 316 >= 28 @ 638.652
645.73/647.79	c bounds 315 >= 28 @ 638.658
645.73/647.79	c bounds 314 >= 28 @ 638.663
645.83/647.80	c bounds 313 >= 28 @ 638.668
645.83/647.81	c bounds 312 >= 28 @ 638.673
645.83/647.81	c bounds 311 >= 28 @ 638.676
645.83/647.82	c bounds 310 >= 28 @ 638.68
645.83/647.82	c bounds 309 >= 28 @ 638.685
645.83/647.83	c bounds 308 >= 28 @ 638.689
645.83/647.84	c bounds 307 >= 28 @ 638.693
645.83/647.84	c bounds 306 >= 28 @ 638.699
645.83/647.85	c bounds 305 >= 28 @ 638.705
645.83/647.86	c bounds 304 >= 28 @ 638.712
645.83/647.87	c bounds 303 >= 28 @ 638.717
645.83/647.87	c bounds 302 >= 28 @ 638.721
645.83/647.88	c bounds 301 >= 28 @ 638.725
645.83/647.89	c bounds 300 >= 28 @ 638.73
645.83/647.89	c bounds 299 >= 28 @ 638.735
645.94/647.90	c bounds 298 >= 28 @ 638.741
645.94/647.91	c bounds 297 >= 28 @ 638.746
645.94/647.91	c bounds 296 >= 28 @ 638.75
645.94/647.92	c bounds 295 >= 28 @ 638.755
645.94/647.93	c bounds 294 >= 28 @ 638.761
645.94/647.93	c bounds 293 >= 28 @ 638.767
645.94/647.94	c bounds 292 >= 28 @ 638.772
645.94/647.95	c bounds 291 >= 28 @ 638.775
645.94/647.95	c bounds 290 >= 28 @ 638.779
645.94/647.96	c bounds 289 >= 28 @ 638.784
645.94/647.96	c bounds 288 >= 28 @ 638.786
645.94/647.97	c bounds 287 >= 28 @ 638.79
645.94/647.98	c bounds 286 >= 28 @ 638.796
645.94/647.98	c bounds 285 >= 28 @ 638.801
645.94/647.99	c bounds 284 >= 28 @ 638.807
645.94/648.00	c bounds 283 >= 28 @ 638.811
646.04/648.00	c bounds 282 >= 28 @ 638.816
646.04/648.01	c bounds 281 >= 28 @ 638.821
646.04/648.02	c bounds 280 >= 28 @ 638.829
646.04/648.03	c bounds 279 >= 28 @ 638.838
646.04/648.04	c bounds 278 >= 28 @ 638.846
646.04/648.05	c bounds 277 >= 28 @ 638.852
646.04/648.05	c bounds 276 >= 28 @ 638.859
646.04/648.06	c bounds 275 >= 28 @ 638.864
646.04/648.07	c bounds 274 >= 28 @ 638.871
646.04/648.08	c bounds 273 >= 28 @ 638.878
646.04/648.08	c bounds 272 >= 28 @ 638.882
646.04/648.09	c bounds 271 >= 28 @ 638.886
646.04/648.10	c bounds 270 >= 28 @ 638.892
646.14/648.10	c bounds 269 >= 28 @ 638.897
646.14/648.11	c bounds 268 >= 28 @ 638.902
646.14/648.12	c bounds 267 >= 28 @ 638.907
646.14/648.12	c bounds 266 >= 28 @ 638.911
646.14/648.13	c bounds 265 >= 28 @ 638.915
646.14/648.13	c bounds 264 >= 28 @ 638.92
646.14/648.14	c bounds 263 >= 28 @ 638.923
646.14/648.15	c bounds 262 >= 28 @ 638.928
646.14/648.15	c bounds 261 >= 28 @ 638.933
646.14/648.16	c bounds 260 >= 28 @ 638.94
646.14/648.17	c bounds 259 >= 28 @ 638.943
646.14/648.17	c bounds 258 >= 28 @ 638.948
646.14/648.18	c bounds 257 >= 28 @ 638.951
646.14/648.18	c bounds 256 >= 28 @ 638.957
646.14/648.19	c bounds 255 >= 28 @ 638.962
646.23/648.20	c bounds 254 >= 28 @ 638.966
646.23/648.20	c bounds 253 >= 28 @ 638.972
646.23/648.21	c bounds 252 >= 28 @ 638.976
646.23/648.22	c bounds 251 >= 28 @ 638.981
646.23/648.22	c bounds 250 >= 28 @ 638.984
646.23/648.23	c bounds 249 >= 28 @ 638.988
646.23/648.23	c bounds 248 >= 28 @ 638.992
646.23/648.24	c bounds 247 >= 28 @ 638.996
646.23/648.25	c bounds 246 >= 28 @ 638.999
646.23/648.25	c bounds 245 >= 28 @ 639.005
646.23/648.26	c bounds 244 >= 28 @ 639.011
646.23/648.27	c bounds 243 >= 28 @ 639.015
646.23/648.27	c bounds 242 >= 28 @ 639.021
646.23/648.28	c bounds 241 >= 28 @ 639.026
646.23/648.28	c bounds 240 >= 28 @ 639.03
646.23/648.29	c bounds 239 >= 28 @ 639.036
646.34/648.30	c bounds 238 >= 28 @ 639.041
646.34/648.30	c bounds 237 >= 28 @ 639.045
646.34/648.31	c bounds 236 >= 28 @ 639.049
646.34/648.32	c bounds 235 >= 28 @ 639.054
646.34/648.32	c bounds 234 >= 28 @ 639.059
646.34/648.33	c bounds 233 >= 28 @ 639.063
646.34/648.33	c bounds 232 >= 28 @ 639.068
646.34/648.34	c bounds 231 >= 28 @ 639.073
646.34/648.35	c bounds 230 >= 28 @ 639.078
646.34/648.35	c bounds 229 >= 28 @ 639.084
646.34/648.36	c bounds 228 >= 28 @ 639.087
646.34/648.37	c bounds 227 >= 28 @ 639.091
646.34/648.37	c bounds 226 >= 28 @ 639.095
646.34/648.38	c bounds 225 >= 28 @ 639.101
646.34/648.38	c bounds 224 >= 28 @ 639.106
646.34/648.39	c bounds 223 >= 28 @ 639.11
646.43/648.40	c bounds 222 >= 28 @ 639.115
646.43/648.40	c bounds 221 >= 28 @ 639.121
646.43/648.41	c bounds 220 >= 28 @ 639.124
646.43/648.41	c bounds 219 >= 28 @ 639.13
646.43/648.42	c bounds 218 >= 28 @ 639.135
646.43/648.43	c bounds 217 >= 28 @ 639.141
646.43/648.43	c bounds 216 >= 28 @ 639.146
646.43/648.44	c bounds 215 >= 28 @ 639.151
646.43/648.44	c bounds 214 >= 28 @ 639.156
646.43/648.45	c bounds 213 >= 28 @ 639.16
646.43/648.46	c bounds 212 >= 28 @ 639.165
646.43/648.46	c bounds 211 >= 28 @ 639.171
646.43/648.47	c bounds 210 >= 28 @ 639.175
646.43/648.48	c bounds 209 >= 28 @ 639.179
646.43/648.48	c bounds 208 >= 28 @ 639.183
646.43/648.49	c bounds 207 >= 28 @ 639.188
646.43/648.49	c bounds 206 >= 28 @ 639.191
646.54/648.50	c bounds 205 >= 28 @ 639.195
646.54/648.51	c bounds 204 >= 28 @ 639.198
646.54/648.51	c bounds 203 >= 28 @ 639.206
646.54/648.52	c bounds 202 >= 28 @ 639.211
646.54/648.53	c bounds 201 >= 28 @ 639.214
646.54/648.53	c bounds 200 >= 28 @ 639.219
646.54/648.54	c bounds 199 >= 28 @ 639.225
646.54/648.55	c bounds 198 >= 28 @ 639.23
646.54/648.55	c bounds 197 >= 28 @ 639.237
646.54/648.56	c bounds 196 >= 28 @ 639.241
646.54/648.56	c bounds 195 >= 28 @ 639.246
646.54/648.57	c bounds 194 >= 28 @ 639.25
646.54/648.58	c bounds 193 >= 28 @ 639.254
646.54/648.58	c bounds 192 >= 28 @ 639.258
646.54/648.59	c bounds 191 >= 28 @ 639.262
646.54/648.59	c bounds 190 >= 28 @ 639.268
646.64/648.60	c bounds 189 >= 28 @ 639.271
646.64/648.60	c bounds 188 >= 28 @ 639.276
646.64/648.61	c bounds 187 >= 28 @ 639.281
646.64/648.62	c bounds 186 >= 28 @ 639.284
646.64/648.62	c bounds 185 >= 28 @ 639.288
646.64/648.63	c bounds 184 >= 28 @ 639.291
646.64/648.63	c bounds 183 >= 28 @ 639.295
646.64/648.64	c bounds 182 >= 28 @ 639.298
646.64/648.65	c bounds 181 >= 28 @ 639.3
646.64/648.65	c bounds 180 >= 28 @ 639.303
646.64/648.66	c bounds 179 >= 28 @ 639.31
646.64/648.67	c bounds 178 >= 28 @ 639.318
646.64/648.68	c bounds 177 >= 28 @ 639.325
646.64/648.68	c bounds 176 >= 28 @ 639.329
646.64/648.69	c bounds 175 >= 28 @ 639.333
646.64/648.70	c bounds 174 >= 28 @ 639.34
646.74/648.71	c bounds 173 >= 28 @ 639.349
646.74/648.71	c bounds 172 >= 28 @ 639.355
646.74/648.72	c bounds 171 >= 28 @ 639.362
646.74/648.73	c bounds 170 >= 28 @ 639.366
646.74/648.73	c bounds 169 >= 28 @ 639.37
646.74/648.74	c bounds 168 >= 28 @ 639.374
646.74/648.74	c bounds 167 >= 28 @ 639.379
646.74/648.75	c bounds 166 >= 28 @ 639.384
646.74/648.76	c bounds 165 >= 28 @ 639.388
646.74/648.76	c bounds 164 >= 28 @ 639.392
646.74/648.77	c bounds 163 >= 28 @ 639.398
646.74/648.77	c bounds 162 >= 28 @ 639.404
646.74/648.78	c bounds 161 >= 28 @ 639.41
646.74/648.78	c bounds 160 >= 28 @ 639.413
646.74/648.79	c bounds 159 >= 28 @ 639.417
646.84/648.80	c bounds 158 >= 28 @ 639.42
646.84/648.80	c bounds 157 >= 28 @ 639.425
646.84/648.81	c bounds 156 >= 28 @ 639.428
646.84/648.81	c bounds 155 >= 28 @ 639.434
646.84/648.82	c bounds 154 >= 28 @ 639.438
646.84/648.82	c bounds 153 >= 28 @ 639.442
646.84/648.83	c bounds 152 >= 28 @ 639.448
646.84/648.83	c bounds 151 >= 28 @ 639.452
646.84/648.84	c bounds 150 >= 28 @ 639.455
646.84/648.85	c bounds 149 >= 28 @ 639.459
646.84/648.85	c bounds 148 >= 28 @ 639.465
646.84/648.86	c bounds 147 >= 28 @ 639.469
646.84/648.86	c bounds 146 >= 28 @ 639.475
646.84/648.87	c bounds 145 >= 28 @ 639.482
646.84/648.88	c bounds 144 >= 28 @ 639.487
646.84/648.89	c bounds 143 >= 28 @ 639.491
646.84/648.89	c bounds 142 >= 28 @ 639.495
646.94/648.90	c bounds 141 >= 28 @ 639.501
646.94/648.90	c bounds 140 >= 28 @ 639.508
646.94/648.91	c bounds 139 >= 28 @ 639.515
646.94/648.92	c bounds 138 >= 28 @ 639.519
646.94/648.92	c bounds 137 >= 28 @ 639.522
646.94/648.93	c bounds 136 >= 28 @ 639.525
646.94/648.94	c bounds 135 >= 28 @ 639.528
646.94/648.94	c bounds 134 >= 28 @ 639.532
646.94/648.95	c bounds 133 >= 28 @ 639.536
646.94/648.95	c bounds 132 >= 28 @ 639.542
646.94/648.96	c bounds 131 >= 28 @ 639.544
646.94/648.96	c bounds 130 >= 28 @ 639.547
646.94/648.97	c bounds 129 >= 28 @ 639.55
646.94/648.98	c bounds 128 >= 28 @ 639.555
646.94/648.98	c bounds 127 >= 28 @ 639.559
646.94/648.99	c bounds 126 >= 28 @ 639.564
646.94/648.99	c bounds 125 >= 28 @ 639.567
646.94/649.00	c bounds 124 >= 28 @ 639.571
647.04/649.01	c bounds 123 >= 28 @ 639.573
647.04/649.01	c bounds 122 >= 28 @ 639.578
647.04/649.02	c bounds 121 >= 28 @ 639.588
647.04/649.04	c bounds 120 >= 28 @ 639.607
647.33/649.36	c bounds 119 >= 28 @ 639.889
648.23/650.22	c #Conflicts:       5000 | #Constraints:      68707
648.23/650.22	c bounds 119 >= 29 @ 640.735
648.23/650.24	c bounds 118 >= 29 @ 640.751
648.23/650.25	c bounds 117 >= 29 @ 640.756
648.23/650.26	c bounds 116 >= 29 @ 640.762
648.23/650.27	c bounds 115 >= 29 @ 640.766
648.23/650.28	c bounds 114 >= 29 @ 640.776
648.33/650.34	c bounds 113 >= 29 @ 640.827
648.33/650.39	c bounds 112 >= 29 @ 640.871
648.43/650.41	c bounds 111 >= 29 @ 640.894
648.43/650.45	c bounds 110 >= 29 @ 640.93
648.43/650.47	c bounds 109 >= 29 @ 640.938
648.53/650.50	c bounds 108 >= 29 @ 640.965
648.53/650.53	c bounds 107 >= 29 @ 640.998
648.53/650.57	c bounds 106 >= 29 @ 641.028
649.53/651.55	c #Conflicts:       6000 | #Constraints:      69768
649.53/651.55	c bounds 105 >= 29 @ 641.981
649.63/651.66	c bounds 104 >= 29 @ 642.085
649.63/651.69	c bounds 103 >= 29 @ 642.112
649.72/651.72	c bounds 102 >= 29 @ 642.133
679.54/681.67	c INPROCESSING
679.54/681.67	c GARBAGE COLLECT
679.54/681.67	c bounds 101 >= 29 @ 671.917
679.54/681.69	c bounds 100 >= 29 @ 671.935
679.64/681.72	c bounds 99 >= 29 @ 671.961
679.64/681.75	c bounds 98 >= 29 @ 671.988
679.64/681.78	c bounds 97 >= 29 @ 672.015
679.75/681.80	c bounds 96 >= 29 @ 672.034
679.75/681.82	c bounds 95 >= 29 @ 672.051
679.75/681.84	c bounds 94 >= 29 @ 672.068
679.75/681.85	c bounds 93 >= 29 @ 672.085
679.75/681.88	c bounds 92 >= 29 @ 672.105
679.75/681.89	c bounds 91 >= 29 @ 672.122
679.84/681.91	c bounds 90 >= 29 @ 672.136
679.84/681.92	c bounds 89 >= 29 @ 672.148
679.84/681.94	c bounds 88 >= 29 @ 672.164
679.84/681.96	c bounds 87 >= 29 @ 672.183
679.84/681.98	c bounds 86 >= 29 @ 672.2
679.84/681.99	c bounds 85 >= 29 @ 672.212
679.95/682.00	c bounds 84 >= 29 @ 672.221
679.95/682.01	c bounds 83 >= 29 @ 672.23
679.95/682.03	c bounds 82 >= 29 @ 672.24
679.95/682.04	c bounds 81 >= 29 @ 672.248
679.95/682.05	c bounds 80 >= 29 @ 672.26
679.95/682.06	c bounds 79 >= 29 @ 672.268
679.95/682.07	c bounds 78 >= 29 @ 672.277
679.95/682.08	c bounds 77 >= 29 @ 672.286
679.95/682.09	c bounds 76 >= 29 @ 672.295
679.95/682.10	c bounds 75 >= 29 @ 672.305
680.04/682.11	c bounds 74 >= 29 @ 672.315
680.04/682.12	c bounds 73 >= 29 @ 672.324
680.04/682.13	c bounds 72 >= 29 @ 672.332
680.04/682.14	c bounds 71 >= 29 @ 672.339
680.04/682.14	c bounds 70 >= 29 @ 672.344
680.04/682.15	c bounds 69 >= 29 @ 672.35
680.04/682.16	c bounds 68 >= 29 @ 672.357
680.04/682.17	c bounds 67 >= 29 @ 672.365
680.04/682.17	c bounds 66 >= 29 @ 672.371
680.04/682.18	c bounds 65 >= 29 @ 672.377
680.04/682.19	c bounds 64 >= 29 @ 672.382
680.15/682.20	c bounds 63 >= 29 @ 672.388
680.15/682.20	c bounds 62 >= 29 @ 672.394
680.15/682.21	c bounds 61 >= 29 @ 672.397
680.15/682.21	c bounds 60 >= 29 @ 672.4
680.15/682.22	c bounds 59 >= 29 @ 672.403
680.15/682.22	c bounds 58 >= 29 @ 672.406
680.15/682.23	c bounds 57 >= 29 @ 672.411
680.15/682.23	c bounds 56 >= 29 @ 672.415
680.15/682.24	c bounds 55 >= 29 @ 672.419
680.15/682.24	c bounds 54 >= 29 @ 672.424
1893.49/1899.53	c #Conflicts:       7000 | #Constraints:      68313
1893.49/1899.53	c #Conflicts:       8000 | #Constraints:      69313
1893.49/1899.53	c #Conflicts:       9000 | #Constraints:      70313
1893.49/1899.53	c INPROCESSING
1893.49/1899.53	c GARBAGE COLLECT
1893.49/1899.53	c bounds 53 >= 29 @ 1885.51
1893.49/1899.56	c bounds 52 >= 29 @ 1885.53
1893.59/1899.63	c bounds 51 >= 29 @ 1885.6
1893.59/1899.68	c bounds 50 >= 29 @ 1885.64
1893.80/1899.83	c bounds 49 >= 29 @ 1885.79
1894.19/1900.24	c bounds 48 >= 29 @ 1886.17
1894.19/1900.27	c bounds 47 >= 29 @ 1886.21
1894.29/1900.31	c bounds 46 >= 29 @ 1886.24
1894.29/1900.37	c bounds 45 >= 29 @ 1886.29
1894.39/1900.42	c bounds 44 >= 29 @ 1886.33
1894.39/1900.43	c bounds 43 >= 29 @ 1886.35
1894.39/1900.44	c bounds 42 >= 29 @ 1886.36
1894.39/1900.46	c bounds 41 >= 29 @ 1886.37
1894.39/1900.47	c bounds 40 >= 29 @ 1886.38
1894.39/1900.48	c bounds 39 >= 29 @ 1886.39
1894.49/1900.50	c bounds 38 >= 29 @ 1886.41
1894.49/1900.51	c bounds 37 >= 29 @ 1886.42
1894.49/1900.55	c bounds 36 >= 29 @ 1886.45
3548.30/3559.96	c #Conflicts:      10000 | #Constraints:      68967
3548.30/3559.96	c #Conflicts:      11000 | #Constraints:      69967
3548.30/3559.96	c #Conflicts:      12000 | #Constraints:      70967
3548.30/3559.96	c INPROCESSING
3548.30/3559.96	c GARBAGE COLLECT
3548.30/3559.96	c #Conflicts:      13000 | #Constraints:      69390
3548.30/3559.96	c #Conflicts:      14000 | #Constraints:      70390
3548.30/3559.96	c #Conflicts:      15000 | #Constraints:      71390
3548.30/3559.96	c INPROCESSING
3548.30/3559.96	c GARBAGE COLLECT
3548.30/3559.96	c #Conflicts:      16000 | #Constraints:      69620
3548.30/3559.96	c #Conflicts:      17000 | #Constraints:      70620
3548.30/3559.96	c #Conflicts:      18000 | #Constraints:      71620
3548.30/3559.96	c INPROCESSING
3548.30/3559.96	c GARBAGE COLLECT
3548.30/3559.96	c #Conflicts:      19000 | #Constraints:      69625
3548.30/3559.96	c #Conflicts:      20000 | #Constraints:      70625
3548.30/3559.96	c #Conflicts:      21000 | #Constraints:      71625
3548.30/3559.96	c bounds 36 >= 30 @ 3539.47
3600.04/3611.80	c INPROCESSING
3600.04/3611.80	c GARBAGE COLLECT
3600.04/3611.80	c #Conflicts:      22000 | #Constraints:      69464
3600.04/3611.80	c #Conflicts:      23000 | #Constraints:      70464
3600.04/3611.80	c #Conflicts:      24000 | #Constraints:      71464
3600.04/3611.80	c #Conflicts:      25000 | #Constraints:      72464
3600.04/3611.80	c INPROCESSING
3600.04/3611.80	c GARBAGE COLLECT
3600.04/3611.80	c Disabling crashed LP
3600.04/3611.80	c cpu time 3590.91 s
3600.04/3611.80	c deterministic time 2007195703 2.01e+09
3600.04/3611.80	c optimization time 0.730304 s
3600.04/3611.80	c total solve time 3589.42 s
3600.04/3611.80	c core-guided solve time 3511.6 s
3600.04/3611.80	c propagation time 1725.98 s
3600.04/3611.80	c conflict analysis time 13.3557 s
3600.04/3611.80	c propagations 31344464
3600.04/3611.80	c resolve steps 141764
3600.04/3611.80	c decisions 4613861
3600.04/3611.80	c conflicts 25202
3600.04/3611.80	c restarts 92
3600.04/3611.80	c inprocessing phases 9
3600.04/3611.80	c garbage collections 9 ,( 100.00 )
3600.04/3611.80	c input clauses 65715 ,( 98.21 )
3600.04/3611.80	c input cardinalities 1083 ,( 1.62 )
3600.04/3611.80	c input general constraints 116 ,( 0.17 )
3600.04/3611.80	c input average constraint length 110.29
3600.04/3611.80	c input average constraint degree 64.96
3600.04/3611.80	c learned clauses 10648 ,( 42.24 )
3600.04/3611.80	c learned cardinalities 2439 ,( 9.67 )
3600.04/3611.80	c learned general constraints 12123 ,( 48.09 )
3600.04/3611.80	c learned average constraint length 1614.96
3600.04/3611.80	c learned average constraint degree 195427931.80
3600.04/3611.80	c watched  CF 32, 64, 128, Arb: 398 , 0 , 0 , 0
3600.04/3611.80	c counting CF 32, 64, 128, Arb: 11842 , 0 , 0 , 0
3600.04/3611.80	c watched   constraints 398 ,( 3.25 ) 
3600.04/3611.80	c counting  constraints 11841 ,( 96.75 ) 
3600.04/3611.80	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 23041340 , 3724644 , 242455086 ,( 2922521 , 239532565 )
3600.04/3611.80	c gcd simplifications 273
3600.04/3611.80	c detected cardinalities 80
3600.04/3611.80	c weakened non-implied lits 32298357
3600.04/3611.80	c weakened non-implying lits 3746
3600.04/3611.80	c original variables 5162
3600.04/3611.80	c clausal propagations 315574
3600.04/3611.80	c cardinality propagations 2351880
3600.04/3611.80	c watched propagations 56056
3600.04/3611.80	c counting propagations 21860002
3600.04/3611.80	c watch lookups 712529910
3600.04/3611.80	c watch backjump lookups 0
3600.04/3611.80	c watch checks 118571851
3600.04/3611.80	c propagation checks 955544368
3600.04/3611.80	c constraint additions 148530449
3600.04/3611.80	c trail pops 35983525
3600.04/3611.80	c formula constraints 65628
3600.04/3611.80	c learned constraints 25206
3600.04/3611.80	c bound constraints 968
3600.04/3611.80	c core-guided constraints 318
3600.04/3611.80	c encountered formula constraints 31674
3600.04/3611.80	c encountered learned constraints 99491
3600.04/3611.80	c encountered bound constraints 427
3600.04/3611.80	c encountered core-guided constraints 35352
3600.04/3611.80	c LP total time 3505.88 s
3600.04/3611.80	c LP solve time 3505.62 s
3600.04/3611.80	c LP constraints added 65628
3600.04/3611.80	c LP constraints removed 0
3600.04/3611.80	c LP pivots internal 52274
3600.04/3611.80	c LP pivots root 25000
3600.04/3611.80	c LP calls 9
3600.04/3611.80	c LP optimalities 1
3600.04/3611.80	c LP no pivot count 0
3600.04/3611.80	c LP infeasibilities 2
3600.04/3611.80	c LP valid Farkas constraints 2
3600.04/3611.80	c LP learned Farkas constraints 2
3600.04/3611.80	c LP basis resets 0
3600.04/3611.80	c LP cycling count 0
3600.04/3611.80	c LP singular count 0
3600.04/3611.80	c LP no primal count 0
3600.04/3611.80	c LP no farkas count 0
3600.04/3611.80	c LP other issue count 0
3600.04/3611.80	c LP Gomory cuts 0
3600.04/3611.80	c LP learned cuts 0
3600.04/3611.80	c LP deleted cuts 0
3600.04/3611.80	c LP encountered Gomory constraints 0
3600.04/3611.80	c LP encountered Farkas constraints 14
3600.04/3611.80	c LP encountered learned Farkas constraints 6
3600.04/3611.80	c CG auxiliary variables introduced 116
3600.04/3611.80	c CG solutions found 938
3600.04/3611.80	c CG cores constructed 30
3600.04/3611.80	c CG core cardinality constraints returned 0
3600.04/3611.80	c CG unit cores 0
3600.04/3611.80	c CG single cores 30
3600.04/3611.80	c CG blocks removed during cardinality reduction 0
3600.04/3611.80	c CG first core best 0
3600.04/3611.80	c CG decision core best 0
3600.04/3611.80	c CG core reduction tie 0
3600.04/3611.80	c CG core degree average 1.00
3600.04/3611.80	c CG core slack average 145.60
3600.04/3611.80	c CG core upper bound improvements 18
3600.04/3611.80	c STR number of successful calls 0
3600.04/3611.80	c STR number of unsuccessful calls 0
3600.04/3611.80	c STR number of inconclusive calls 0
3600.04/3611.80	c STR number of successful attempts 0
3600.04/3611.80	c STR number of unsuccessful attempts 0
3600.04/3611.80	c STR number of inconclusive attempts 0
3600.04/3611.80	c STR average degree increase per successful call inf
3600.04/3611.80	c STR average degree increase per successful attempt inf
3600.04/3611.80	c STR total number of conflicts for successful attempts 0
3600.04/3611.80	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3611.80	c STR total number of conflicts for inconclusive attempts 0
3600.04/3611.80	c STR average number of conflicts per successful attempt inf
3600.04/3611.80	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3611.80	c STR average number of conflicts per inconclusive attempt inf
3600.04/3611.80	c AVG.sumWPerc 90.35 
3600.04/3611.80	c bigint constraints 0 
3600.04/3611.80	o 36
3600.04/3611.80	s SATISFIABLE
3600.04/3611.80	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 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 x3473 x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048
3600.04/3611.80	c Program interrupted by user.

Verifier Data 

OK	36

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: 63708 MiB (61215 MiB free)
  memory of node 1: 64465 MiB (63886 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503018-1751482040/watcher-4503018-1751482040 -o /tmp/evaluation-result-4503018-1751482040/solver-4503018-1751482040 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751481177-82009 --watchdog 3760 run-opt-break.sh HOME/instance-4503018-1751482040.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=82253, runsolver pid=82250
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.13 3.98 3.61 5/269 82255
/proc/meminfo: memFree=128075336/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82255] ppid=82253 vsize=44412 memory=34068 CPUtime=0.08 cores=1,3
/proc/82255/stat : 82255 (pbsuma) R 82253 82253 81997 0 -1 4194304 6726 0 0 0 6 2 0 0 20 0 1 0 63881586 45477888 8517 18446744073709551615 4210688 4653049 140733517493520 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9859072 140733517498723 140733517498930 140733517498930 140733517504495 0
/proc/82255/statm: 11103 8517 960 108 0 8511 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 48604 KiB
Current children cumulated memory: 37140 KiB

[startup+0.205897 s]*
/proc/loadavg: 4.13 3.98 3.61 5/269 82255
/proc/meminfo: memFree=128059208/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82255] ppid=82253 vsize=69668 memory=56248 CPUtime=0.18 cores=1,3
/proc/82255/stat : 82255 (pbsuma) R 82253 82253 81997 0 -1 4194304 11973 0 0 0 15 3 0 0 20 0 1 0 63881586 71340032 14062 18446744073709551615 4210688 4653049 140733517493520 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9859072 140733517498723 140733517498930 140733517498930 140733517504495 0
/proc/82255/statm: 17417 14062 960 108 0 14825 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 73860 KiB
Current children cumulated memory: 59320 KiB

[startup+0.305849 s]*
/proc/loadavg: 4.13 3.98 3.61 5/269 82255
/proc/meminfo: memFree=128034384/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82255] ppid=82253 vsize=106388 memory=92128 CPUtime=0.28 cores=1,3
/proc/82255/stat : 82255 (pbsuma) R 82253 82253 81997 0 -1 4194304 16505 0 0 0 24 4 0 0 20 0 1 0 63881586 108941312 23032 18446744073709551615 4210688 4653049 140733517493520 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9859072 140733517498723 140733517498930 140733517498930 140733517504495 0
/proc/82255/statm: 26597 23032 960 108 0 24005 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 110580 KiB
Current children cumulated memory: 95200 KiB

[startup+0.700213 s]
/proc/loadavg: 4.13 3.98 3.61 5/269 82255
/proc/meminfo: memFree=128002880/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82255] ppid=82253 vsize=118608 memory=102704 CPUtime=0.67 cores=1,3
/proc/82255/stat : 82255 (pbsuma) R 82253 82253 81997 0 -1 4194304 19367 0 0 0 62 5 0 0 20 0 1 0 63881586 121454592 25676 18446744073709551615 4210688 4653049 140733517493520 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9859072 140733517498723 140733517498930 140733517498930 140733517504495 0
/proc/82255/statm: 29652 25676 992 108 0 27060 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122800 KiB
Current children cumulated memory: 105776 KiB

[startup+1.50022 s]
/proc/loadavg: 4.13 3.98 3.61 5/269 82255
/proc/meminfo: memFree=128002956/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82255] ppid=82253 vsize=118608 memory=102704 CPUtime=1.47 cores=1,3
/proc/82255/stat : 82255 (pbsuma) R 82253 82253 81997 0 -1 4194304 19367 0 0 0 142 5 0 0 20 0 1 0 63881586 121454592 25676 18446744073709551615 4210688 4653049 140733517493520 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9859072 140733517498723 140733517498930 140733517498930 140733517504495 0
/proc/82255/statm: 29652 25676 992 108 0 27060 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 122800 KiB
Current children cumulated memory: 105776 KiB

[startup+3.10576 s]
/proc/loadavg: 4.12 3.98 3.62 5/269 82255
/proc/meminfo: memFree=128002992/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82255] ppid=82253 vsize=118608 memory=102704 CPUtime=3.07 cores=1,3
/proc/82255/stat : 82255 (pbsuma) R 82253 82253 81997 0 -1 4194304 19375 0 0 0 302 5 0 0 20 0 1 0 63881586 121454592 25676 18446744073709551615 4210688 4653049 140733517493520 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9859072 140733517498723 140733517498930 140733517498930 140733517504495 0
/proc/82255/statm: 29652 25676 992 108 0 27060 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 122800 KiB
Current children cumulated memory: 105776 KiB

[startup+6.3002 s]
/proc/loadavg: 4.12 3.98 3.62 5/269 82256
/proc/meminfo: memFree=127875408/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=314724 memory=233332 CPUtime=1.27 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 35543 0 0 0 109 18 0 0 20 0 1 0 63882086 322277376 58333 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 78681 58333 2304 1147 0 66108 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 318916 KiB
Current children cumulated memory: 236404 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 3.99 3.62 5/269 82256
/proc/meminfo: memFree=127787252/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=314724 memory=233332 CPUtime=7.64 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 35640 0 0 0 746 18 0 0 20 0 1 0 63882086 322277376 58333 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 78681 58333 2304 1147 0 66108 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 318916 KiB
Current children cumulated memory: 236404 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 3.99 3.63 5/269 82256
/proc/meminfo: memFree=127751300/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=395084 memory=314420 CPUtime=20.41 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 39239 0 0 0 1946 95 0 0 20 0 1 0 63882086 404566016 78605 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 98771 78605 2368 1147 0 86198 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 399276 KiB
Current children cumulated memory: 317492 KiB

[startup+51.106 s]
/proc/loadavg: 4.12 4.00 3.64 5/269 82257
/proc/meminfo: memFree=127645284/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=450672 memory=361084 CPUtime=45.93 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 41767 0 0 0 4496 97 0 0 20 0 1 0 63882086 461488128 90271 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 112668 90271 2368 1147 0 100095 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 454864 KiB
Current children cumulated memory: 364156 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.00 3.66 5/267 82258
/proc/meminfo: memFree=127490024/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=589956 memory=470232 CPUtime=96.98 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 44450 0 0 0 9596 102 0 0 20 0 1 0 63882086 604114944 117558 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 147489 117558 2368 1147 0 134916 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 594148 KiB
Current children cumulated memory: 473304 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.01 3.69 5/267 82260
/proc/meminfo: memFree=127467864/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=643256 memory=527296 CPUtime=156.81 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 45372 0 0 0 15576 105 0 0 20 0 1 0 63882086 658694144 131824 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 160814 131824 2368 1147 0 148241 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 647448 KiB
Current children cumulated memory: 530368 KiB

[startup+222.3 s]
/proc/loadavg: 4.46 4.12 3.75 5/267 82263
/proc/meminfo: memFree=127362560/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=643256 memory=535488 CPUtime=216.63 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 45520 0 0 0 21558 105 0 0 20 0 1 0 63882086 658694144 133872 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 160814 133872 2368 1147 0 148241 0

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

/proc/82256/statm: 256511 215727 2400 1147 0 243938 0
Current children cumulated CPU time: 3032.44 s
Current children cumulated vsize: 1030236 KiB
Current children cumulated memory: 865980 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 82521
/proc/meminfo: memFree=124074388/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=1026044 memory=862908 CPUtime=3087.26 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 76581 0 0 0 308345 381 0 0 20 0 1 0 63882086 1050669056 215727 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 256511 215727 2400 1147 0 243938 0
Current children cumulated CPU time: 3092.23 s
Current children cumulated vsize: 1030236 KiB
Current children cumulated memory: 865980 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/270 82524
/proc/meminfo: memFree=123993740/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=1026044 memory=862908 CPUtime=3147.05 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 76582 0 0 0 314322 383 0 0 20 0 1 0 63882086 1050669056 215727 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 256511 215727 2400 1147 0 243938 0
Current children cumulated CPU time: 3152.02 s
Current children cumulated vsize: 1030236 KiB
Current children cumulated memory: 865980 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/270 82573
/proc/meminfo: memFree=125615108/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=1026044 memory=865272 CPUtime=3206.84 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 76655 0 0 0 320300 384 0 0 20 0 1 0 63882086 1050669056 216318 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 256511 216318 2400 1147 0 243938 0
Current children cumulated CPU time: 3211.81 s
Current children cumulated vsize: 1030236 KiB
Current children cumulated memory: 868344 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/270 82575
/proc/meminfo: memFree=125328240/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=1026044 memory=865272 CPUtime=3266.64 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 76655 0 0 0 326279 385 0 0 20 0 1 0 63882086 1050669056 216318 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 256511 216318 2400 1147 0 243938 0
Current children cumulated CPU time: 3271.61 s
Current children cumulated vsize: 1030236 KiB
Current children cumulated memory: 868344 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 82582
/proc/meminfo: memFree=125126648/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=1026044 memory=865272 CPUtime=3326.43 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 76655 0 0 0 332256 387 0 0 20 0 1 0 63882086 1050669056 216318 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 256511 216318 2400 1147 0 243938 0
Current children cumulated CPU time: 3331.4 s
Current children cumulated vsize: 1030236 KiB
Current children cumulated memory: 868344 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 82585
/proc/meminfo: memFree=125021228/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=1026044 memory=865272 CPUtime=3386.22 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 76658 0 0 0 338234 388 0 0 20 0 1 0 63882086 1050669056 216318 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 256511 216318 2400 1147 0 243938 0
Current children cumulated CPU time: 3391.19 s
Current children cumulated vsize: 1030236 KiB
Current children cumulated memory: 868344 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 82633
/proc/meminfo: memFree=124842440/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=1026044 memory=871672 CPUtime=3446.03 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 76712 0 0 0 344213 390 0 0 20 0 1 0 63882086 1050669056 217918 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 256511 217918 2400 1147 0 243938 0
Current children cumulated CPU time: 3451 s
Current children cumulated vsize: 1030236 KiB
Current children cumulated memory: 874744 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 82635
/proc/meminfo: memFree=124673280/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=1026044 memory=886776 CPUtime=3505.84 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 76860 0 0 0 350193 391 0 0 20 0 1 0 63882086 1050669056 221694 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 256511 221694 2400 1147 0 243938 0
Current children cumulated CPU time: 3510.81 s
Current children cumulated vsize: 1030236 KiB
Current children cumulated memory: 889848 KiB

[startup+3582.3 s]
/proc/loadavg: 4.34 4.15 4.11 5/271 82639
/proc/meminfo: memFree=124516976/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=1076132 memory=912580 CPUtime=3565.66 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 77329 0 0 0 356151 415 0 0 20 0 1 0 63882086 1101959168 228145 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 269033 228145 2400 1147 0 256460 0
Current children cumulated CPU time: 3570.63 s
Current children cumulated vsize: 1080324 KiB
Current children cumulated memory: 915652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.39 4.18 4.12 5/271 82642
/proc/meminfo: memFree=124447464/131250000 swapFree=33010160/33010684
[pid=82253] ppid=82250 vsize=4192 memory=3072 CPUtime=4.97 cores=1,3
/proc/82253/stat : 82253 (run-opt-break.s) S 82250 82253 81997 0 -1 4194304 239 26981 0 0 0 0 490 7 20 0 1 0 63881584 4292608 768 18446744073709551615 94366968631296 94366969525829 140735577590256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94366969764880 94366969812624 94366986342400 140735577594209 140735577594338 140735577594338 140735577599940 0
/proc/82253/statm: 1048 768 704 219 0 110 0
[pid=82256] ppid=82253 vsize=1076132 memory=918724 CPUtime=3595.07 cores=1,3
/proc/82256/stat : 82256 (roundingsat) R 82253 82253 81997 0 -1 4194304 77335 0 0 0 359090 417 0 0 20 0 1 0 63882086 1101959168 229681 18446744073709551615 4227072 8923433 140734571441072 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29552640 140734571448676 140734571448872 140734571448872 140734571454442 0
/proc/82256/statm: 269033 229681 2400 1147 0 256460 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1080324 KiB
Current children cumulated memory: 921796 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3611.8 s]
# the end of solver process 82253 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=4.90024 s, system=0.082479 s
Sleeping 2 seconds

[startup+3611.81 s]
# the end of solver process 82256 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3595.81 s, system=4.25754 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 2

Real time (s): 3611.81
CPU time (s): 3600.07
CPU user time (s): 3595.81
CPU system time (s): 4.25754
CPU usage (%): 99.6749
Max. virtual memory (cumulated for all children) (KiB): 1080324
Max. memory (cumulated for all children) (KiB): 921796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.81
system time used= 4.25754
maximum resident set size= 918980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104577
page faults= 0
swaps= 0
block input operations= 0
block output operations= 41584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 227
involuntary context switches= 20193


# summary of solver processes directly reported to runsolver:
#   pid: 82253,82256
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3595.81
#   total CPU system time (s): 4.25754

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.7649 second user time and 17.3879 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-02 20:47:20
IDJOB=4503018
IDBENCH=155403
IDSOLVER=3359
FILE ID=nodeC016/4503018-1751482040
RUNJOBID= nodeC016-1751481177-82009
SLURM_JOB_ID= 9598526
Free space on /tmp= 432760 MiB

SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503018-1751482040/watcher-4503018-1751482040 -o /tmp/evaluation-result-4503018-1751482040/solver-4503018-1751482040 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751481177-82009 --watchdog 3760  run-opt-break.sh HOME/instance-4503018-1751482040.opb

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

MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=360343254

nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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	: 0xb00002a
cpu MHz		: 3599.767
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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	: 0xb00002a
cpu MHz		: 3598.017
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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	: 0xb00002a
cpu MHz		: 3681.923
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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	: 0xb00002a
cpu MHz		: 3599.306
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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	: 0xb00002a
cpu MHz		: 3599.720
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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	: 0xb00002a
cpu MHz		: 3599.698
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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	: 0xb00002a
cpu MHz		: 3601.899
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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	: 0xb00002a
cpu MHz		: 3643.482
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128103164 kB
MemAvailable:   128213200 kB
Buffers:            2144 kB
Cached:           879040 kB
SwapCached:           28 kB
Active:          2199500 kB
Inactive:         259264 kB
Active(anon):    1590336 kB
Inactive(anon):     5288 kB
Active(file):     609164 kB
Inactive(file):   253976 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             27864 kB
Writeback:            12 kB
AnonPages:       1579544 kB
Mapped:           117996 kB
Shmem:             18044 kB
KReclaimable:     172272 kB
Slab:             264704 kB
SReclaimable:     172272 kB
SUnreclaim:        92432 kB
KernelStack:        4336 kB
PageTables:         6356 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2083676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1136640 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432668 MiB
End job on nodeC016 at 2025-07-02 21:47:32