Trace number 4502830

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-ihs 63f22ad? (TO) 3600.42 3610.26

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
MD5SUMa008918ff26f135f427f5632a2cbbc59
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark60
Best CPU time to get the best result obtained on this benchmark3585.34
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15312
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 constraint64
Maximum length of a constraint92
Number of terms in the objective function 15312
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 15312
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15312
Number of bits of the biggest sum of numbers14
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 RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
1.47/1.57	c #variables 15312 #constraints 65280
1.47/1.57	c objective is ce32 
1.97/2.03	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.97/2.03	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.97/2.03	c GLOBAL bounds - >= 0 @ 1.82201
2.26/2.30	c GLOBAL bounds - >= 0 @ 2.07943
2.26/2.31	c GLOBAL bounds - >= 0 @ 2.09525
2.26/2.34	c GLOBAL bounds - >= 0 @ 2.10872
2.26/2.36	c GLOBAL bounds - >= 0 @ 2.12365
2.26/2.39	c GLOBAL bounds - >= 0 @ 2.14417
2.36/2.41	c GLOBAL bounds - >= 0 @ 2.16003
2.36/2.43	c GLOBAL bounds - >= 0 @ 2.17859
2.36/2.46	c GLOBAL bounds - >= 0 @ 2.19909
2.36/2.49	c GLOBAL bounds - >= 0 @ 2.21715
2.47/2.52	c GLOBAL bounds - >= 0 @ 2.23325
2.47/2.55	c GLOBAL bounds - >= 0 @ 2.25394
2.47/2.58	c GLOBAL bounds - >= 0 @ 2.27511
2.56/2.62	c GLOBAL bounds - >= 0 @ 2.31029
2.56/2.65	c GLOBAL bounds - >= 0 @ 2.33276
2.56/2.68	c GLOBAL bounds - >= 0 @ 2.35237
2.66/2.70	c GLOBAL bounds - >= 0 @ 2.36983
2.66/2.73	c GLOBAL bounds - >= 0 @ 2.39031
2.66/2.76	c GLOBAL bounds - >= 0 @ 2.40564
2.66/2.78	c GLOBAL bounds - >= 0 @ 2.41875
2.76/2.81	c GLOBAL bounds - >= 0 @ 2.43919
2.76/2.83	c GLOBAL bounds - >= 0 @ 2.45171
2.76/2.86	c GLOBAL bounds - >= 0 @ 2.46584
2.76/2.88	c GLOBAL bounds - >= 0 @ 2.47604
2.86/2.90	c GLOBAL bounds - >= 0 @ 2.48855
2.86/2.91	c GLOBAL bounds - >= 0 @ 2.49676
2.86/2.93	c GLOBAL bounds - >= 0 @ 2.50483
2.86/2.95	c GLOBAL bounds - >= 0 @ 2.51603
2.86/2.96	c GLOBAL bounds - >= 0 @ 2.52312
2.86/2.98	c GLOBAL bounds - >= 0 @ 2.53207
2.97/3.01	c GLOBAL bounds - >= 0 @ 2.5499
2.97/3.03	c GLOBAL bounds - >= 0 @ 2.56318
2.97/3.05	c GLOBAL bounds - >= 0 @ 2.575
2.97/3.07	c GLOBAL bounds - >= 0 @ 2.58151
2.97/3.10	c GLOBAL bounds - >= 0 @ 2.60306
3.07/3.13	c GLOBAL bounds - >= 0 @ 2.62128
3.07/3.15	c GLOBAL bounds - >= 0 @ 2.6317
3.07/3.17	c GLOBAL bounds - >= 0 @ 2.64214
3.07/3.19	c GLOBAL bounds - >= 0 @ 2.65044
3.16/3.20	c GLOBAL bounds - >= 0 @ 2.65902
3.16/3.23	c GLOBAL bounds - >= 0 @ 2.67314
3.16/3.25	c GLOBAL bounds - >= 0 @ 2.68619
3.16/3.27	c GLOBAL bounds - >= 0 @ 2.70172
3.26/3.30	c GLOBAL bounds - >= 0 @ 2.7173
3.26/3.32	c GLOBAL bounds - >= 0 @ 2.73026
3.26/3.34	c GLOBAL bounds - >= 0 @ 2.74779
3.26/3.36	c GLOBAL bounds - >= 0 @ 2.75694
3.26/3.38	c GLOBAL bounds - >= 0 @ 2.76582
3.36/3.40	c GLOBAL bounds - >= 0 @ 2.77938
3.36/3.42	c GLOBAL bounds - >= 0 @ 2.78852
3.36/3.43	c GLOBAL bounds - >= 0 @ 2.79758
3.36/3.45	c GLOBAL bounds - >= 0 @ 2.8087
3.36/3.49	c GLOBAL bounds - >= 0 @ 2.83763
3.47/3.52	c GLOBAL bounds - >= 0 @ 2.85527
3.47/3.56	c GLOBAL bounds - >= 0 @ 2.88986
3.56/3.60	c GLOBAL bounds - >= 0 @ 2.91367
3.56/3.62	c GLOBAL bounds - >= 0 @ 2.92802
3.56/3.67	c GLOBAL bounds - >= 0 @ 2.96261
3.67/3.72	c GLOBAL bounds - >= 0 @ 3.00033
3.67/3.75	c GLOBAL bounds - >= 0 @ 3.03053
3.67/3.77	c GLOBAL bounds - >= 0 @ 3.0468
3.76/3.80	c GLOBAL bounds - >= 0 @ 3.06685
3.76/3.84	c GLOBAL bounds - >= 0 @ 3.09615
3.76/3.86	c GLOBAL bounds - >= 0 @ 3.11212
3.76/3.88	c GLOBAL bounds - >= 0 @ 3.12411
3.86/3.91	c GLOBAL bounds - >= 0 @ 3.1386
3.86/3.93	c GLOBAL bounds - >= 0 @ 3.1482
3.86/3.95	c GLOBAL bounds - >= 0 @ 3.16164
3.86/3.97	c GLOBAL bounds - >= 0 @ 3.17538
3.86/3.99	c GLOBAL bounds - >= 0 @ 3.18988
3.97/4.02	c GLOBAL bounds - >= 0 @ 3.20329
3.97/4.04	c GLOBAL bounds - >= 0 @ 3.21814
3.97/4.07	c GLOBAL bounds - >= 0 @ 3.24025
4.06/4.10	c GLOBAL bounds - >= 0 @ 3.26491
4.06/4.13	c GLOBAL bounds - >= 0 @ 3.28414
4.06/4.15	c GLOBAL bounds - >= 0 @ 3.30155
4.06/4.17	c GLOBAL bounds - >= 0 @ 3.31363
4.16/4.20	c GLOBAL bounds - >= 0 @ 3.33498
4.16/4.23	c GLOBAL bounds - >= 0 @ 3.34814
4.16/4.25	c GLOBAL bounds - >= 0 @ 3.36585
4.16/4.27	c GLOBAL bounds - >= 0 @ 3.37755
4.16/4.29	c GLOBAL bounds - >= 0 @ 3.39109
4.26/4.32	c GLOBAL bounds - >= 0 @ 3.41199
4.26/4.35	c GLOBAL bounds - >= 0 @ 3.42748
4.26/4.37	c GLOBAL bounds - >= 0 @ 3.44503
4.26/4.39	c GLOBAL bounds - >= 0 @ 3.46141
4.36/4.42	c GLOBAL bounds - >= 0 @ 3.47921
4.36/4.45	c GLOBAL bounds - >= 0 @ 3.50211
4.46/4.51	c GLOBAL bounds - >= 0 @ 3.53259
4.46/4.54	c GLOBAL bounds - >= 0 @ 3.54975
4.46/4.57	c GLOBAL bounds - >= 0 @ 3.57273
4.56/4.61	c GLOBAL bounds - >= 0 @ 3.60139
4.56/4.65	c GLOBAL bounds - >= 0 @ 3.6295
4.56/4.68	c GLOBAL bounds - >= 0 @ 3.65205
4.66/4.70	c GLOBAL bounds - >= 0 @ 3.67273
4.66/4.73	c GLOBAL bounds - >= 0 @ 3.69233
4.66/4.75	c GLOBAL bounds - >= 0 @ 3.7096
4.66/4.78	c GLOBAL bounds - >= 0 @ 3.72566
4.76/4.80	c GLOBAL bounds - >= 0 @ 3.73856
4.76/4.83	c GLOBAL bounds - >= 0 @ 3.75798
4.76/4.86	c GLOBAL bounds - >= 0 @ 3.77525
4.76/4.88	c GLOBAL bounds - >= 0 @ 3.79344
4.86/4.91	c GLOBAL bounds - >= 0 @ 3.80607
4.86/4.94	c GLOBAL bounds - >= 0 @ 3.82847
4.86/4.97	c GLOBAL bounds - >= 0 @ 3.84915
4.86/5.00	c GLOBAL bounds - >= 0 @ 3.86709
4.97/5.02	c GLOBAL bounds - >= 0 @ 3.88605
4.97/5.05	c GLOBAL bounds - >= 0 @ 3.90039
4.97/5.07	c GLOBAL bounds - >= 0 @ 3.91632
4.97/5.09	c GLOBAL bounds - >= 0 @ 3.92821
5.06/5.11	c GLOBAL bounds - >= 0 @ 3.94021
5.06/5.14	c GLOBAL bounds - >= 0 @ 3.96006
5.06/5.17	c GLOBAL bounds - >= 0 @ 3.9814
5.16/5.20	c GLOBAL bounds - >= 0 @ 4.00463
5.16/5.23	c GLOBAL bounds - >= 0 @ 4.02733
5.16/5.26	c GLOBAL bounds - >= 0 @ 4.05354
5.26/5.33	c GLOBAL bounds - >= 0 @ 4.11026
5.26/5.37	c GLOBAL bounds - >= 0 @ 4.14804
5.35/5.41	c GLOBAL bounds - >= 0 @ 4.16817
5.35/5.44	c GLOBAL bounds - >= 0 @ 4.19202
5.35/5.47	c GLOBAL bounds - >= 0 @ 4.21678
5.46/5.50	c GLOBAL bounds - >= 0 @ 4.23414
5.46/5.53	c GLOBAL bounds - >= 0 @ 4.25925
5.46/5.57	c GLOBAL bounds - >= 0 @ 4.28468
5.46/5.59	c GLOBAL bounds - >= 0 @ 4.30426
5.56/5.63	c GLOBAL bounds - >= 0 @ 4.33151
5.56/5.67	c GLOBAL bounds - >= 0 @ 4.35756
5.66/5.70	c GLOBAL bounds - >= 0 @ 4.38145
5.66/5.73	c GLOBAL bounds - >= 0 @ 4.40206
5.66/5.75	c GLOBAL bounds - >= 0 @ 4.41897
5.66/5.78	c GLOBAL bounds - >= 0 @ 4.43588
5.76/5.81	c GLOBAL bounds - >= 0 @ 4.44984
5.76/5.83	c GLOBAL bounds - >= 0 @ 4.46565
5.76/5.86	c GLOBAL bounds - >= 0 @ 4.48217
5.76/5.88	c GLOBAL bounds - >= 0 @ 4.49597
5.85/5.90	c GLOBAL bounds - >= 0 @ 4.51276
5.85/5.93	c GLOBAL bounds - >= 0 @ 4.53191
5.85/5.95	c GLOBAL bounds - >= 0 @ 4.54463
5.85/5.98	c GLOBAL bounds - >= 0 @ 4.56149
5.96/6.01	c GLOBAL bounds - >= 0 @ 4.58285
5.96/6.03	c GLOBAL bounds - >= 0 @ 4.59927
5.96/6.06	c GLOBAL bounds - >= 0 @ 4.61409
5.96/6.10	c GLOBAL bounds - >= 0 @ 4.6426
6.06/6.16	c GLOBAL bounds - >= 0 @ 4.68885
6.06/6.19	c GLOBAL bounds - >= 0 @ 4.71039
6.15/6.22	c GLOBAL bounds - >= 0 @ 4.73078
6.15/6.25	c GLOBAL bounds - >= 0 @ 4.75201
6.15/6.28	c GLOBAL bounds - >= 0 @ 4.7783
6.26/6.31	c GLOBAL bounds - >= 0 @ 4.80199
6.26/6.35	c GLOBAL bounds - >= 0 @ 4.82885
6.26/6.38	c GLOBAL bounds - >= 0 @ 4.85772
6.36/6.42	c GLOBAL bounds - >= 0 @ 4.88221
6.36/6.46	c GLOBAL bounds - >= 0 @ 4.91732
6.36/6.50	c GLOBAL bounds - >= 0 @ 4.94591
6.45/6.53	c GLOBAL bounds - >= 0 @ 4.97226
6.45/6.57	c GLOBAL bounds - >= 0 @ 5.01332
6.55/6.61	c GLOBAL bounds - >= 0 @ 5.03697
6.55/6.64	c GLOBAL bounds - >= 0 @ 5.06521
6.55/6.68	c GLOBAL bounds - >= 0 @ 5.09567
6.66/6.76	c GLOBAL bounds - >= 0 @ 5.14514
6.75/6.82	c GLOBAL bounds - >= 0 @ 5.18225
6.75/6.86	c GLOBAL bounds - >= 0 @ 5.21329
6.85/6.91	c GLOBAL bounds - >= 0 @ 5.25901
6.85/6.94	c GLOBAL bounds - >= 0 @ 5.28719
6.85/6.99	c GLOBAL bounds - >= 0 @ 5.31959
6.96/7.03	c GLOBAL bounds - >= 0 @ 5.35166
6.96/7.06	c GLOBAL bounds - >= 0 @ 5.37692
7.06/7.11	c GLOBAL bounds - >= 0 @ 5.4082
7.06/7.14	c GLOBAL bounds - >= 0 @ 5.4321
7.06/7.17	c GLOBAL bounds - >= 0 @ 5.45201
7.15/7.20	c GLOBAL bounds - >= 0 @ 5.47282
7.15/7.23	c GLOBAL bounds - >= 0 @ 5.49915
7.15/7.29	c GLOBAL bounds - >= 0 @ 5.54802
7.26/7.33	c GLOBAL bounds - >= 0 @ 5.57867
7.26/7.37	c GLOBAL bounds - >= 0 @ 5.61559
7.35/7.42	c GLOBAL bounds - >= 0 @ 5.64579
7.35/7.46	c GLOBAL bounds - >= 0 @ 5.6785
7.35/7.49	c GLOBAL bounds - >= 0 @ 5.70946
7.46/7.56	c GLOBAL bounds - >= 0 @ 5.76541
7.46/7.59	c GLOBAL bounds - >= 0 @ 5.79684
7.56/7.62	c GLOBAL bounds - >= 0 @ 5.8225
7.56/7.65	c GLOBAL bounds - >= 0 @ 5.83994
7.56/7.69	c GLOBAL bounds - >= 0 @ 5.86998
7.65/7.72	c GLOBAL bounds - >= 0 @ 5.89249
7.65/7.75	c GLOBAL bounds - >= 0 @ 5.91887
7.65/7.80	c GLOBAL bounds - >= 0 @ 5.95135
7.75/7.83	c GLOBAL bounds - >= 0 @ 5.98458
7.75/7.88	c GLOBAL bounds - >= 0 @ 6.01829
7.85/7.92	c GLOBAL bounds - >= 0 @ 6.0463
7.85/7.96	c GLOBAL bounds - >= 0 @ 6.07931
7.85/8.00	c GLOBAL bounds - >= 0 @ 6.10559
7.95/8.03	c GLOBAL bounds - >= 0 @ 6.13299
7.95/8.07	c GLOBAL bounds - >= 0 @ 6.16019
8.06/8.10	c GLOBAL bounds - >= 0 @ 6.18891
8.06/8.13	c GLOBAL bounds - >= 0 @ 6.21781
8.06/8.17	c GLOBAL bounds - >= 0 @ 6.24246
8.15/8.20	c GLOBAL bounds - >= 0 @ 6.26081
8.15/8.23	c GLOBAL bounds - >= 0 @ 6.2844
8.15/8.26	c GLOBAL bounds - >= 0 @ 6.30552
8.15/8.29	c GLOBAL bounds - >= 0 @ 6.32863
8.25/8.33	c GLOBAL bounds - >= 0 @ 6.35222
8.25/8.36	c GLOBAL bounds - >= 0 @ 6.38162
8.35/8.40	c GLOBAL bounds - >= 0 @ 6.40467
8.35/8.42	c GLOBAL bounds - >= 0 @ 6.42743
8.35/8.46	c GLOBAL bounds - >= 0 @ 6.45056
8.35/8.48	c GLOBAL bounds - >= 0 @ 6.46967
8.45/8.51	c GLOBAL bounds - >= 0 @ 6.4902
8.45/8.54	c GLOBAL bounds - >= 0 @ 6.51524
8.45/8.57	c GLOBAL bounds - >= 0 @ 6.53492
8.55/8.60	c GLOBAL bounds - >= 0 @ 6.55436
8.55/8.63	c GLOBAL bounds - >= 0 @ 6.57429
8.55/8.66	c GLOBAL bounds - >= 0 @ 6.59588
8.55/8.69	c GLOBAL bounds - >= 0 @ 6.61538
8.65/8.72	c GLOBAL bounds - >= 0 @ 6.63855
8.65/8.75	c GLOBAL bounds - >= 0 @ 6.65895
8.65/8.78	c GLOBAL bounds - >= 0 @ 6.6862
8.75/8.81	c GLOBAL bounds - >= 0 @ 6.70869
8.75/8.85	c GLOBAL bounds - >= 0 @ 6.73042
8.75/8.87	c GLOBAL bounds - >= 0 @ 6.75437
8.85/8.90	c GLOBAL bounds - >= 0 @ 6.7726
8.85/8.93	c GLOBAL bounds - >= 0 @ 6.79479
8.85/8.96	c GLOBAL bounds - >= 0 @ 6.81732
8.85/8.99	c GLOBAL bounds - >= 0 @ 6.83532
8.96/9.02	c GLOBAL bounds - >= 0 @ 6.85739
8.96/9.05	c GLOBAL bounds - >= 0 @ 6.87586
9.06/9.10	c GLOBAL bounds - >= 0 @ 6.91536
9.06/9.13	c GLOBAL bounds - >= 0 @ 6.93615
9.06/9.16	c GLOBAL bounds - >= 0 @ 6.95542
9.06/9.19	c GLOBAL bounds - >= 0 @ 6.97666
9.15/9.22	c GLOBAL bounds - >= 0 @ 6.99797
9.15/9.25	c GLOBAL bounds - >= 0 @ 7.02044
9.15/9.29	c GLOBAL bounds - >= 0 @ 7.0492
9.25/9.33	c GLOBAL bounds - >= 0 @ 7.08538
9.25/9.36	c GLOBAL bounds - >= 0 @ 7.1114
9.35/9.40	c GLOBAL bounds - >= 0 @ 7.13388
9.35/9.43	c GLOBAL bounds - >= 0 @ 7.16122
9.35/9.46	c GLOBAL bounds - >= 0 @ 7.18673
9.44/9.50	c GLOBAL bounds - >= 0 @ 7.21096
9.44/9.53	c GLOBAL bounds - >= 0 @ 7.23745
9.44/9.56	c GLOBAL bounds - >= 0 @ 7.25514
9.44/9.59	c GLOBAL bounds - >= 0 @ 7.27181
9.55/9.62	c GLOBAL bounds - >= 0 @ 7.2904
9.55/9.65	c GLOBAL bounds - >= 0 @ 7.31201
9.55/9.68	c GLOBAL bounds - >= 0 @ 7.33404
9.65/9.71	c GLOBAL bounds - >= 0 @ 7.35522
9.65/9.74	c GLOBAL bounds - >= 0 @ 7.37604
9.65/9.77	c GLOBAL bounds - >= 0 @ 7.39741
9.75/9.80	c GLOBAL bounds - >= 0 @ 7.42024
9.75/9.85	c GLOBAL bounds - >= 0 @ 7.45734
9.75/9.89	c GLOBAL bounds - >= 0 @ 7.48888
9.85/9.92	c GLOBAL bounds - >= 0 @ 7.51562
9.85/9.96	c GLOBAL bounds - >= 0 @ 7.53617
9.85/9.99	c GLOBAL bounds - >= 0 @ 7.55898
9.95/10.02	c GLOBAL bounds - >= 0 @ 7.58507
9.95/10.05	c GLOBAL bounds - >= 0 @ 7.60436
9.95/10.08	c GLOBAL bounds - >= 0 @ 7.63299
10.05/10.12	c GLOBAL bounds - >= 0 @ 7.65668
10.05/10.15	c GLOBAL bounds - >= 0 @ 7.68066
10.05/10.18	c GLOBAL bounds - >= 0 @ 7.70573
10.15/10.21	c GLOBAL bounds - >= 0 @ 7.72756
10.15/10.25	c GLOBAL bounds - >= 0 @ 7.75076
10.15/10.28	c GLOBAL bounds - >= 0 @ 7.77505
10.25/10.31	c GLOBAL bounds - >= 0 @ 7.79461
10.25/10.34	c GLOBAL bounds - >= 0 @ 7.814
10.25/10.38	c GLOBAL bounds - >= 0 @ 7.84293
10.34/10.41	c GLOBAL bounds - >= 0 @ 7.87034
10.34/10.45	c GLOBAL bounds - >= 0 @ 7.90138
10.45/10.50	c GLOBAL bounds - >= 0 @ 7.93558
10.45/10.56	c GLOBAL bounds - >= 0 @ 7.99182
10.54/10.60	c GLOBAL bounds - >= 0 @ 8.02275
10.54/10.64	c GLOBAL bounds - >= 0 @ 8.05293
10.54/10.67	c GLOBAL bounds - >= 0 @ 8.08222
10.64/10.71	c GLOBAL bounds - >= 0 @ 8.11098
10.64/10.74	c GLOBAL bounds - >= 0 @ 8.13635
10.64/10.78	c GLOBAL bounds - >= 0 @ 8.1603
10.75/10.81	c GLOBAL bounds - >= 0 @ 8.18639
10.75/10.85	c GLOBAL bounds - >= 0 @ 8.21094
10.75/10.88	c GLOBAL bounds - >= 0 @ 8.22918
10.85/10.91	c GLOBAL bounds - >= 0 @ 8.25393
10.85/10.94	c GLOBAL bounds - >= 0 @ 8.27799
10.85/10.98	c GLOBAL bounds - >= 0 @ 8.30291
10.95/11.01	c GLOBAL bounds - >= 0 @ 8.32813
10.95/11.05	c GLOBAL bounds - >= 0 @ 8.35524
10.95/11.08	c GLOBAL bounds - >= 0 @ 8.37284
11.05/11.11	c GLOBAL bounds - >= 0 @ 8.39616
11.05/11.14	c GLOBAL bounds - >= 0 @ 8.42319
11.05/11.18	c GLOBAL bounds - >= 0 @ 8.45003
11.15/11.22	c GLOBAL bounds - >= 0 @ 8.4791
11.15/11.25	c GLOBAL bounds - >= 0 @ 8.50736
11.15/11.29	c GLOBAL bounds - >= 0 @ 8.52991
11.24/11.32	c GLOBAL bounds - >= 0 @ 8.55322
11.24/11.35	c GLOBAL bounds - >= 0 @ 8.57731
11.24/11.39	c GLOBAL bounds - >= 0 @ 8.60493
11.35/11.42	c GLOBAL bounds - >= 0 @ 8.63
11.35/11.45	c GLOBAL bounds - >= 0 @ 8.65164
11.35/11.49	c GLOBAL bounds - >= 0 @ 8.67817
11.44/11.52	c GLOBAL bounds - >= 0 @ 8.70072
11.44/11.55	c GLOBAL bounds - >= 0 @ 8.72429
11.44/11.58	c GLOBAL bounds - >= 0 @ 8.75151
11.54/11.61	c GLOBAL bounds - >= 0 @ 8.77018
11.54/11.64	c GLOBAL bounds - >= 0 @ 8.7937
11.54/11.67	c GLOBAL bounds - >= 0 @ 8.81526
11.64/11.71	c GLOBAL bounds - >= 0 @ 8.83957
11.64/11.74	c GLOBAL bounds - >= 0 @ 8.85819
11.64/11.77	c GLOBAL bounds - >= 0 @ 8.88747
11.74/11.80	c GLOBAL bounds - >= 0 @ 8.91039
11.74/11.84	c GLOBAL bounds - >= 0 @ 8.93774
11.74/11.87	c GLOBAL bounds - >= 0 @ 8.96221
11.84/11.90	c GLOBAL bounds - >= 0 @ 8.98105
11.84/11.94	c GLOBAL bounds - >= 0 @ 9.00199
11.84/11.98	c GLOBAL bounds - >= 0 @ 9.03074
11.95/12.04	c GLOBAL bounds - >= 0 @ 9.08859
12.05/12.11	c GLOBAL bounds - >= 0 @ 9.1376
12.14/12.21	c GLOBAL bounds - >= 0 @ 9.22716
12.14/12.27	c GLOBAL bounds - >= 0 @ 9.28347
12.24/12.33	c GLOBAL bounds - >= 0 @ 9.33632
12.24/12.39	c GLOBAL bounds - >= 0 @ 9.38231
12.34/12.44	c GLOBAL bounds - >= 0 @ 9.4205
12.34/12.48	c GLOBAL bounds - >= 0 @ 9.45816
12.44/12.52	c GLOBAL bounds - >= 0 @ 9.493
12.44/12.56	c GLOBAL bounds - >= 0 @ 9.5198
12.54/12.60	c GLOBAL bounds - >= 0 @ 9.5469
12.54/12.64	c GLOBAL bounds - >= 0 @ 9.58165
12.54/12.68	c GLOBAL bounds - >= 0 @ 9.61647
12.64/12.72	c GLOBAL bounds - >= 0 @ 9.64758
12.64/12.77	c GLOBAL bounds - >= 0 @ 9.68384
12.74/12.81	c GLOBAL bounds - >= 0 @ 9.71947
12.74/12.85	c GLOBAL bounds - >= 0 @ 9.75341
12.83/12.90	c GLOBAL bounds - >= 0 @ 9.78931
12.83/12.99	c GLOBAL bounds - >= 0 @ 9.84295
12.95/13.07	c GLOBAL bounds - >= 0 @ 9.89288
13.04/13.16	c GLOBAL bounds - >= 0 @ 9.96462
13.13/13.23	c GLOBAL bounds - >= 0 @ 10.0188
13.23/13.30	c GLOBAL bounds - >= 0 @ 10.0707
13.23/13.37	c GLOBAL bounds - >= 0 @ 10.1277
13.34/13.48	c GLOBAL bounds - >= 0 @ 10.2267
13.44/13.59	c GLOBAL bounds - >= 0 @ 10.3208
13.53/13.64	c GLOBAL bounds - >= 0 @ 10.3716
13.53/13.69	c GLOBAL bounds - >= 0 @ 10.408
13.64/13.74	c GLOBAL bounds - >= 0 @ 10.454
13.64/13.79	c GLOBAL bounds - >= 0 @ 10.5007
13.74/13.84	c GLOBAL bounds - >= 0 @ 10.5376
13.74/13.88	c GLOBAL bounds - >= 0 @ 10.5743
13.84/13.93	c GLOBAL bounds - >= 0 @ 10.6123
13.84/13.98	c GLOBAL bounds - >= 0 @ 10.6537
13.95/14.03	c GLOBAL bounds - >= 0 @ 10.6939
13.95/14.07	c GLOBAL bounds - >= 0 @ 10.7284
14.04/14.11	c GLOBAL bounds - >= 0 @ 10.7599
14.04/14.15	c GLOBAL bounds - >= 0 @ 10.7996
14.04/14.19	c GLOBAL bounds - >= 0 @ 10.8311
14.14/14.24	c GLOBAL bounds - >= 0 @ 10.8663
14.14/14.28	c GLOBAL bounds - >= 0 @ 10.8989
14.23/14.32	c GLOBAL bounds - >= 0 @ 10.9358
14.23/14.37	c GLOBAL bounds - >= 0 @ 10.9686
14.33/14.41	c GLOBAL bounds - >= 0 @ 11.0063
14.33/14.45	c GLOBAL bounds - >= 0 @ 11.0393
14.33/14.48	c GLOBAL bounds - >= 0 @ 11.0669
14.43/14.52	c GLOBAL bounds - >= 0 @ 11.095
14.43/14.55	c GLOBAL bounds - >= 0 @ 11.1242
14.43/14.59	c GLOBAL bounds - >= 0 @ 11.1566
14.54/14.62	c GLOBAL bounds - >= 0 @ 11.1851
14.54/14.66	c GLOBAL bounds - >= 0 @ 11.2123
14.63/14.70	c GLOBAL bounds - >= 0 @ 11.2477
14.63/14.74	c GLOBAL bounds - >= 0 @ 11.2808
14.63/14.78	c GLOBAL bounds - >= 0 @ 11.3115
14.73/14.81	c GLOBAL bounds - >= 0 @ 11.3431
14.73/14.85	c GLOBAL bounds - >= 0 @ 11.3747
14.73/14.89	c GLOBAL bounds - >= 0 @ 11.4077
14.84/14.93	c GLOBAL bounds - >= 0 @ 11.443
14.84/14.98	c GLOBAL bounds - >= 0 @ 11.4813
14.94/15.03	c GLOBAL bounds - >= 0 @ 11.5226
14.94/15.07	c GLOBAL bounds - >= 0 @ 11.5618
15.04/15.12	c GLOBAL bounds - >= 0 @ 11.6012
15.04/15.16	c GLOBAL bounds - >= 0 @ 11.6367
15.13/15.20	c GLOBAL bounds - >= 0 @ 11.67
15.13/15.24	c GLOBAL bounds - >= 0 @ 11.7034
15.13/15.28	c GLOBAL bounds - >= 0 @ 11.7401
15.23/15.32	c GLOBAL bounds - >= 0 @ 11.7704
15.23/15.36	c GLOBAL bounds - >= 0 @ 11.7967
15.23/15.39	c GLOBAL bounds - >= 0 @ 11.8251
15.33/15.43	c GLOBAL bounds - >= 0 @ 11.8502
15.33/15.46	c GLOBAL bounds - >= 0 @ 11.8782
15.43/15.50	c GLOBAL bounds - >= 0 @ 11.8983
15.43/15.53	c GLOBAL bounds - >= 0 @ 11.9253
15.43/15.57	c GLOBAL bounds - >= 0 @ 11.9528
15.53/15.60	c GLOBAL bounds - >= 0 @ 11.9839
15.53/15.64	c GLOBAL bounds - >= 0 @ 12.0118
15.53/15.67	c GLOBAL bounds - >= 0 @ 12.0377
15.63/15.71	c GLOBAL bounds - >= 0 @ 12.0696
15.63/15.74	c GLOBAL bounds - >= 0 @ 12.1016
15.63/15.78	c GLOBAL bounds - >= 0 @ 12.1357
15.73/15.82	c GLOBAL bounds - >= 0 @ 12.1673
15.73/15.86	c GLOBAL bounds - >= 0 @ 12.1999
15.83/15.90	c GLOBAL bounds - >= 0 @ 12.2324
15.83/15.94	c GLOBAL bounds - >= 0 @ 12.264
15.83/15.98	c GLOBAL bounds - >= 0 @ 12.2926
15.94/16.02	c GLOBAL bounds - >= 0 @ 12.3246
15.94/16.05	c GLOBAL bounds - >= 0 @ 12.353
15.94/16.09	c GLOBAL bounds - >= 0 @ 12.3793
16.03/16.12	c GLOBAL bounds - >= 0 @ 12.4067
16.03/16.16	c GLOBAL bounds - >= 0 @ 12.4403
16.13/16.20	c GLOBAL bounds - >= 0 @ 12.4679
16.13/16.24	c GLOBAL bounds - >= 0 @ 12.5004
16.13/16.27	c GLOBAL bounds - >= 0 @ 12.5298
16.23/16.32	c GLOBAL bounds - >= 0 @ 12.5616
16.23/16.37	c GLOBAL bounds - >= 0 @ 12.6007
16.33/16.42	c GLOBAL bounds - >= 0 @ 12.6397
16.33/16.46	c GLOBAL bounds - >= 0 @ 12.6745
16.43/16.51	c GLOBAL bounds - >= 0 @ 12.714
16.43/16.55	c GLOBAL bounds - >= 0 @ 12.7446
16.53/16.60	c GLOBAL bounds - >= 0 @ 12.7819
16.53/16.64	c GLOBAL bounds - >= 0 @ 12.8138
16.53/16.68	c GLOBAL bounds - >= 0 @ 12.8435
16.63/16.72	c GLOBAL bounds - >= 0 @ 12.8805
16.63/16.78	c GLOBAL bounds - >= 0 @ 12.924
16.73/16.82	c GLOBAL bounds - >= 0 @ 12.9637
16.73/16.87	c GLOBAL bounds - >= 0 @ 12.9975
16.83/16.91	c GLOBAL bounds - >= 0 @ 13.0259
16.83/16.95	c GLOBAL bounds - >= 0 @ 13.0587
16.83/17.00	c GLOBAL bounds - >= 0 @ 13.1002
16.93/17.05	c GLOBAL bounds - >= 0 @ 13.1421
16.93/17.09	c GLOBAL bounds - >= 0 @ 13.1769
17.03/17.13	c GLOBAL bounds - >= 0 @ 13.2142
17.03/17.17	c GLOBAL bounds - >= 0 @ 13.2439
17.13/17.21	c GLOBAL bounds - >= 0 @ 13.2737
17.13/17.26	c GLOBAL bounds - >= 0 @ 13.3141
17.23/17.30	c GLOBAL bounds - >= 0 @ 13.3409
17.23/17.33	c GLOBAL bounds - >= 0 @ 13.3692
17.23/17.37	c GLOBAL bounds - >= 0 @ 13.3985
17.33/17.41	c GLOBAL bounds - >= 0 @ 13.4269
17.33/17.45	c GLOBAL bounds - >= 0 @ 13.4563
17.43/17.50	c GLOBAL bounds - >= 0 @ 13.4924
17.43/17.55	c GLOBAL bounds - >= 0 @ 13.5379
17.43/17.59	c GLOBAL bounds - >= 0 @ 13.5731
17.53/17.64	c GLOBAL bounds - >= 0 @ 13.6057
17.53/17.68	c GLOBAL bounds - >= 0 @ 13.6442
17.63/17.72	c GLOBAL bounds - >= 0 @ 13.6747
17.63/17.76	c GLOBAL bounds - >= 0 @ 13.7082
17.73/17.80	c GLOBAL bounds - >= 0 @ 13.739
17.73/17.84	c GLOBAL bounds - >= 0 @ 13.7696
17.73/17.89	c GLOBAL bounds - >= 0 @ 13.8089
17.83/17.93	c GLOBAL bounds - >= 0 @ 13.8431
17.83/17.98	c GLOBAL bounds - >= 0 @ 13.8832
17.93/18.04	c GLOBAL bounds - >= 0 @ 13.9293
18.03/18.11	c GLOBAL bounds - >= 0 @ 13.9932
18.03/18.18	c GLOBAL bounds - >= 0 @ 14.0465
18.12/18.23	c GLOBAL bounds - >= 0 @ 14.0907
18.12/18.27	c GLOBAL bounds - >= 0 @ 14.1327
18.23/18.32	c GLOBAL bounds - >= 0 @ 14.1681
18.23/18.36	c GLOBAL bounds - >= 0 @ 14.2027
18.33/18.43	c GLOBAL bounds - >= 0 @ 14.2688
18.33/18.49	c GLOBAL bounds - >= 0 @ 14.3178
18.43/18.54	c GLOBAL bounds - >= 0 @ 14.3578
18.43/18.58	c GLOBAL bounds - >= 0 @ 14.3933
18.53/18.63	c GLOBAL bounds - >= 0 @ 14.4314
18.62/18.70	c GLOBAL bounds - >= 0 @ 14.4864
18.62/18.76	c GLOBAL bounds - >= 0 @ 14.5396
18.72/18.83	c GLOBAL bounds - >= 0 @ 14.597
18.83/18.90	c GLOBAL bounds - >= 0 @ 14.6597
18.83/18.96	c GLOBAL bounds - >= 0 @ 14.7092
18.92/19.01	c GLOBAL bounds - >= 0 @ 14.7575
18.92/19.07	c #Conflicts:       1000 | #Constraints:      67198
18.92/19.07	c GLOBAL bounds - >= 0 @ 14.8055
19.03/19.12	c GLOBAL bounds - >= 0 @ 14.8507
19.03/19.17	c GLOBAL bounds - >= 0 @ 14.8918
19.12/19.22	c GLOBAL bounds - >= 0 @ 14.9353
19.12/19.27	c GLOBAL bounds - >= 0 @ 14.9795
19.22/19.33	c GLOBAL bounds - >= 0 @ 15.0254
19.22/19.38	c GLOBAL bounds - >= 0 @ 15.0699
19.32/19.44	c GLOBAL bounds - >= 0 @ 15.1185
19.32/19.48	c GLOBAL bounds - >= 0 @ 15.1504
19.43/19.53	c GLOBAL bounds - >= 0 @ 15.19
19.43/19.59	c GLOBAL bounds - >= 0 @ 15.2313
19.53/19.64	c GLOBAL bounds - >= 0 @ 15.2763
19.53/19.69	c GLOBAL bounds - >= 0 @ 15.3186
19.62/19.74	c GLOBAL bounds - >= 0 @ 15.3599
19.73/19.82	c GLOBAL bounds - >= 0 @ 15.4313
19.73/19.88	c GLOBAL bounds - >= 0 @ 15.4867
19.83/19.93	c GLOBAL bounds - >= 0 @ 15.5308
19.83/19.98	c GLOBAL bounds - >= 0 @ 15.5731
19.92/20.04	c GLOBAL bounds - >= 0 @ 15.623
19.92/20.09	c GLOBAL bounds - >= 0 @ 15.6647
20.03/20.14	c GLOBAL bounds - >= 0 @ 15.7017
20.03/20.18	c GLOBAL bounds - >= 0 @ 15.7376
20.12/20.23	c GLOBAL bounds - >= 0 @ 15.7779
20.22/20.30	c GLOBAL bounds - >= 0 @ 15.8381
20.22/20.34	c GLOBAL bounds - >= 0 @ 15.8747
20.22/20.39	c GLOBAL bounds - >= 0 @ 15.9104
20.32/20.44	c GLOBAL bounds - >= 0 @ 15.95
20.32/20.48	c GLOBAL bounds - >= 0 @ 15.989
20.42/20.53	c GLOBAL bounds - >= 0 @ 16.027
20.42/20.57	c GLOBAL bounds - >= 0 @ 16.0651
20.52/20.62	c GLOBAL bounds - >= 0 @ 16.0971
20.52/20.66	c GLOBAL bounds - >= 0 @ 16.139
20.62/20.71	c GLOBAL bounds - >= 0 @ 16.1812
20.62/20.75	c GLOBAL bounds - >= 0 @ 16.2144
20.62/20.79	c GLOBAL bounds - >= 0 @ 16.2482
20.72/20.83	c GLOBAL bounds - >= 0 @ 16.2781
20.72/20.87	c GLOBAL bounds - >= 0 @ 16.3103
20.82/20.96	c GLOBAL bounds - >= 0 @ 16.3767
20.92/21.00	c GLOBAL bounds - >= 0 @ 16.4087
20.92/21.06	c GLOBAL bounds - >= 0 @ 16.4486
21.02/21.10	c GLOBAL bounds - >= 0 @ 16.487
21.02/21.15	c GLOBAL bounds - >= 0 @ 16.5234
21.02/21.19	c GLOBAL bounds - >= 0 @ 16.5523
21.11/21.24	c GLOBAL bounds - >= 0 @ 16.5905
21.11/21.28	c GLOBAL bounds - >= 0 @ 16.6258
21.21/21.32	c GLOBAL bounds - >= 0 @ 16.6579
21.21/21.37	c GLOBAL bounds - >= 0 @ 16.6989
21.32/21.41	c GLOBAL bounds - >= 0 @ 16.737
21.32/21.45	c GLOBAL bounds - >= 0 @ 16.7772
21.42/21.50	c GLOBAL bounds - >= 0 @ 16.8169
21.42/21.55	c GLOBAL bounds - >= 0 @ 16.8585
21.51/21.60	c GLOBAL bounds - >= 0 @ 16.8977
21.51/21.64	c GLOBAL bounds - >= 0 @ 16.9382
21.51/21.68	c GLOBAL bounds - >= 0 @ 16.9713
21.62/21.73	c GLOBAL bounds - >= 0 @ 17.0147
21.62/21.77	c GLOBAL bounds - >= 0 @ 17.0565
21.72/21.81	c GLOBAL bounds - >= 0 @ 17.0887
21.72/21.85	c GLOBAL bounds - >= 0 @ 17.1227
21.72/21.89	c GLOBAL bounds - >= 0 @ 17.1607
21.82/21.94	c GLOBAL bounds - >= 0 @ 17.1977
21.82/21.97	c GLOBAL bounds - >= 0 @ 17.2268
21.92/22.01	c GLOBAL bounds - >= 0 @ 17.2583
21.92/22.05	c GLOBAL bounds - >= 0 @ 17.2885
21.92/22.10	c GLOBAL bounds - >= 0 @ 17.3298
22.02/22.14	c GLOBAL bounds - >= 0 @ 17.3724
22.02/22.18	c GLOBAL bounds - >= 0 @ 17.4074
22.11/22.22	c GLOBAL bounds - >= 0 @ 17.4415
22.11/22.27	c GLOBAL bounds - >= 0 @ 17.4779
22.22/22.31	c GLOBAL bounds - >= 0 @ 17.5141
22.22/22.35	c GLOBAL bounds - >= 0 @ 17.5482
22.31/22.40	c GLOBAL bounds - >= 0 @ 17.5879
22.31/22.44	c GLOBAL bounds - >= 0 @ 17.6235
22.31/22.48	c GLOBAL bounds - >= 0 @ 17.6557
22.42/22.52	c GLOBAL bounds - >= 0 @ 17.6968
22.42/22.57	c GLOBAL bounds - >= 0 @ 17.7364
22.51/22.62	c GLOBAL bounds - >= 0 @ 17.776
22.51/22.66	c GLOBAL bounds - >= 0 @ 17.8163
22.62/22.71	c GLOBAL bounds - >= 0 @ 17.8498
22.62/22.74	c GLOBAL bounds - >= 0 @ 17.8809
22.62/22.78	c GLOBAL bounds - >= 0 @ 17.9132
22.72/22.82	c GLOBAL bounds - >= 0 @ 17.9453
22.72/22.87	c GLOBAL bounds - >= 0 @ 17.9868
22.82/22.94	c GLOBAL bounds - >= 0 @ 18.0444
22.82/22.99	c GLOBAL bounds - >= 0 @ 18.0836
22.92/23.04	c GLOBAL bounds - >= 0 @ 18.1259
22.92/23.09	c GLOBAL bounds - >= 0 @ 18.1656
23.02/23.14	c GLOBAL bounds - >= 0 @ 18.2025
23.02/23.19	c GLOBAL bounds - >= 0 @ 18.2448
23.12/23.24	c GLOBAL bounds - >= 0 @ 18.2875
23.12/23.28	c GLOBAL bounds - >= 0 @ 18.3273
23.21/23.33	c GLOBAL bounds - >= 0 @ 18.3628
23.21/23.37	c GLOBAL bounds - >= 0 @ 18.4
23.31/23.42	c GLOBAL bounds - >= 0 @ 18.4371
23.31/23.45	c GLOBAL bounds - >= 0 @ 18.4687
23.31/23.49	c GLOBAL bounds - >= 0 @ 18.5014
23.41/23.53	c GLOBAL bounds - >= 0 @ 18.5263
23.41/23.58	c GLOBAL bounds - >= 0 @ 18.5593
23.51/23.62	c GLOBAL bounds - >= 0 @ 18.5923
23.51/23.66	c GLOBAL bounds - >= 0 @ 18.622
23.61/23.70	c GLOBAL bounds - >= 0 @ 18.6482
23.61/23.75	c GLOBAL bounds - >= 0 @ 18.6962
23.61/23.79	c GLOBAL bounds - >= 0 @ 18.7307
23.71/23.84	c GLOBAL bounds - >= 0 @ 18.7689
23.71/23.89	c GLOBAL bounds - >= 0 @ 18.8078
23.81/23.93	c GLOBAL bounds - >= 0 @ 18.8451
23.81/23.98	c GLOBAL bounds - >= 0 @ 18.882
23.92/24.01	c GLOBAL bounds - >= 0 @ 18.917
23.92/24.06	c GLOBAL bounds - >= 0 @ 18.956
24.01/24.10	c GLOBAL bounds - >= 0 @ 18.9924
24.01/24.15	c GLOBAL bounds - >= 0 @ 19.0326
24.01/24.19	c GLOBAL bounds - >= 0 @ 19.0608
24.11/24.23	c GLOBAL bounds - >= 0 @ 19.0867
24.11/24.27	c GLOBAL bounds - >= 0 @ 19.1177
24.21/24.31	c GLOBAL bounds - >= 0 @ 19.1578
24.21/24.36	c GLOBAL bounds - >= 0 @ 19.1929
24.21/24.39	c GLOBAL bounds - >= 0 @ 19.224
24.31/24.45	c GLOBAL bounds - >= 0 @ 19.266
24.41/24.50	c GLOBAL bounds - >= 0 @ 19.3121
24.41/24.58	c GLOBAL bounds - >= 0 @ 19.3841
24.51/24.63	c GLOBAL bounds - >= 0 @ 19.4221
24.51/24.69	c GLOBAL bounds - >= 0 @ 19.4666
24.61/24.74	c GLOBAL bounds - >= 0 @ 19.514
24.61/24.79	c GLOBAL bounds - >= 0 @ 19.5546
24.71/24.84	c GLOBAL bounds - >= 0 @ 19.6031
24.81/24.91	c GLOBAL bounds - >= 0 @ 19.6625
24.81/24.96	c GLOBAL bounds - >= 0 @ 19.7003
24.91/25.01	c GLOBAL bounds - >= 0 @ 19.743
24.91/25.06	c GLOBAL bounds - >= 0 @ 19.7806
25.01/25.10	c GLOBAL bounds - >= 0 @ 19.8181
25.01/25.15	c GLOBAL bounds - >= 0 @ 19.8572
25.11/25.20	c GLOBAL bounds - >= 0 @ 19.8926
25.11/25.24	c GLOBAL bounds - >= 0 @ 19.9311
25.11/25.28	c GLOBAL bounds - >= 0 @ 19.9661
25.21/25.33	c GLOBAL bounds - >= 0 @ 20.0033
25.21/25.37	c GLOBAL bounds - >= 0 @ 20.0422
25.31/25.43	c GLOBAL bounds - >= 0 @ 20.0882
25.31/25.48	c GLOBAL bounds - >= 0 @ 20.1332
25.41/25.53	c GLOBAL bounds - >= 0 @ 20.1691
25.41/25.58	c GLOBAL bounds - >= 0 @ 20.213
25.51/25.63	c GLOBAL bounds - >= 0 @ 20.2588
25.51/25.68	c GLOBAL bounds - >= 0 @ 20.3018
25.61/25.73	c GLOBAL bounds - >= 0 @ 20.3416
25.61/25.78	c GLOBAL bounds - >= 0 @ 20.3829
25.71/25.83	c GLOBAL bounds - >= 0 @ 20.4186
25.71/25.87	c GLOBAL bounds - >= 0 @ 20.4547
25.80/25.91	c GLOBAL bounds - >= 0 @ 20.4927
25.80/25.96	c GLOBAL bounds - >= 0 @ 20.5275
25.91/26.01	c GLOBAL bounds - >= 0 @ 20.5682
25.91/26.06	c GLOBAL bounds - >= 0 @ 20.6088
25.91/26.10	c GLOBAL bounds - >= 0 @ 20.6441
26.01/26.14	c GLOBAL bounds - >= 0 @ 20.6798
26.01/26.19	c GLOBAL bounds - >= 0 @ 20.7215
26.10/26.25	c GLOBAL bounds - >= 0 @ 20.7684
26.20/26.30	c GLOBAL bounds - >= 0 @ 20.8178
26.20/26.35	c GLOBAL bounds - >= 0 @ 20.8636
26.30/26.40	c GLOBAL bounds - >= 0 @ 20.9055
26.30/26.44	c GLOBAL bounds - >= 0 @ 20.9435
26.30/26.49	c GLOBAL bounds - >= 0 @ 20.9811
26.40/26.55	c GLOBAL bounds - >= 0 @ 21.0332
26.50/26.60	c GLOBAL bounds - >= 0 @ 21.0763
26.50/26.65	c GLOBAL bounds - >= 0 @ 21.1188
26.60/26.75	c GLOBAL bounds - >= 0 @ 21.2001
26.70/26.81	c GLOBAL bounds - >= 0 @ 21.2528
26.70/26.87	c GLOBAL bounds - >= 0 @ 21.3026
26.80/26.92	c GLOBAL bounds - >= 0 @ 21.3449
26.80/26.96	c GLOBAL bounds - >= 0 @ 21.3834
26.90/27.04	c GLOBAL bounds - >= 0 @ 21.4515
27.10/27.20	c GLOBAL bounds - >= 0 @ 21.6086
27.10/27.28	c GLOBAL bounds - >= 0 @ 21.6858
27.20/27.35	c GLOBAL bounds - >= 0 @ 21.7431
27.30/27.42	c GLOBAL bounds - >= 0 @ 21.8128
27.30/27.48	c GLOBAL bounds - >= 0 @ 21.8593
27.40/27.53	c GLOBAL bounds - >= 0 @ 21.9081
27.40/27.58	c GLOBAL bounds - >= 0 @ 21.9522
27.50/27.64	c GLOBAL bounds - >= 0 @ 21.9971
27.50/27.68	c GLOBAL bounds - >= 0 @ 22.0318
27.60/27.72	c GLOBAL bounds - >= 0 @ 22.0705
27.70/27.80	c GLOBAL bounds - >= 0 @ 22.1147
27.70/27.88	c GLOBAL bounds - >= 0 @ 22.1686
27.80/27.95	c GLOBAL bounds - >= 0 @ 22.2124
27.90/28.01	c GLOBAL bounds - >= 0 @ 22.2587
27.90/28.07	c GLOBAL bounds - >= 0 @ 22.3002
28.01/28.14	c GLOBAL bounds - >= 0 @ 22.3502
28.01/28.19	c GLOBAL bounds - >= 0 @ 22.3933
28.10/28.24	c GLOBAL bounds - >= 0 @ 22.4366
28.10/28.29	c GLOBAL bounds - >= 0 @ 22.469
28.20/28.35	c GLOBAL bounds - >= 0 @ 22.5228
28.30/28.41	c GLOBAL bounds - >= 0 @ 22.5718
28.30/28.47	c GLOBAL bounds - >= 0 @ 22.6162
28.40/28.52	c GLOBAL bounds - >= 0 @ 22.6602
28.40/28.57	c GLOBAL bounds - >= 0 @ 22.6983
28.50/28.61	c GLOBAL bounds - >= 0 @ 22.7334
28.50/28.65	c GLOBAL bounds - >= 0 @ 22.7661
28.50/28.70	c GLOBAL bounds - >= 0 @ 22.8008
28.60/28.74	c GLOBAL bounds - >= 0 @ 22.8424
28.60/28.79	c GLOBAL bounds - >= 0 @ 22.8853
28.69/28.84	c GLOBAL bounds - >= 0 @ 22.9204
28.69/28.89	c GLOBAL bounds - >= 0 @ 22.9587
28.80/28.93	c GLOBAL bounds - >= 0 @ 22.9922
28.80/28.97	c GLOBAL bounds - >= 0 @ 23.0278
28.91/29.01	c GLOBAL bounds - >= 0 @ 23.0607
28.91/29.06	c GLOBAL bounds - >= 0 @ 23.0925
29.01/29.10	c GLOBAL bounds - >= 0 @ 23.1327
29.01/29.14	c GLOBAL bounds - >= 0 @ 23.1645
29.01/29.19	c GLOBAL bounds - >= 0 @ 23.1973
29.10/29.23	c GLOBAL bounds - >= 0 @ 23.2339
29.10/29.27	c GLOBAL bounds - >= 0 @ 23.2663
29.20/29.32	c GLOBAL bounds - >= 0 @ 23.3023
29.20/29.36	c GLOBAL bounds - >= 0 @ 23.3336
29.29/29.41	c GLOBAL bounds - >= 0 @ 23.3704
29.29/29.45	c GLOBAL bounds - >= 0 @ 23.4028
29.29/29.50	c GLOBAL bounds - >= 0 @ 23.4412
29.40/29.56	c GLOBAL bounds - >= 0 @ 23.4977
29.50/29.63	c GLOBAL bounds - >= 0 @ 23.5585
29.50/29.68	c GLOBAL bounds - >= 0 @ 23.5996
29.60/29.73	c GLOBAL bounds - >= 0 @ 23.638
29.60/29.78	c GLOBAL bounds - >= 0 @ 23.6835
29.70/29.83	c GLOBAL bounds - >= 0 @ 23.7227
29.70/29.88	c GLOBAL bounds - >= 0 @ 23.7593
29.80/29.93	c GLOBAL bounds - >= 0 @ 23.8008
29.80/29.98	c GLOBAL bounds - >= 0 @ 23.8403
29.90/30.02	c GLOBAL bounds - >= 0 @ 23.8794
29.90/30.07	c GLOBAL bounds - >= 0 @ 23.9158
30.00/30.12	c GLOBAL bounds - >= 0 @ 23.9527
30.00/30.16	c GLOBAL bounds - >= 0 @ 23.9913
30.09/30.21	c GLOBAL bounds - >= 0 @ 24.0319
30.09/30.26	c GLOBAL bounds - >= 0 @ 24.0715
30.19/30.32	c GLOBAL bounds - >= 0 @ 24.1184
30.19/30.38	c GLOBAL bounds - >= 0 @ 24.1729
30.29/30.43	c GLOBAL bounds - >= 0 @ 24.2219
30.29/30.49	c GLOBAL bounds - >= 0 @ 24.2716
30.39/30.54	c GLOBAL bounds - >= 0 @ 24.3166
30.39/30.59	c GLOBAL bounds - >= 0 @ 24.3617
30.49/30.64	c GLOBAL bounds - >= 0 @ 24.4017
30.60/30.74	c GLOBAL bounds - >= 0 @ 24.4812
30.60/30.79	c GLOBAL bounds - >= 0 @ 24.5234
30.70/30.83	c GLOBAL bounds - >= 0 @ 24.5601
30.70/30.88	c GLOBAL bounds - >= 0 @ 24.6029
30.80/30.94	c GLOBAL bounds - >= 0 @ 24.6463
30.80/31.00	c GLOBAL bounds - >= 0 @ 24.6927
30.89/31.06	c GLOBAL bounds - >= 0 @ 24.7469
31.00/31.14	c GLOBAL bounds - >= 0 @ 24.819
31.10/31.21	c GLOBAL bounds - >= 0 @ 24.8859
31.10/31.27	c GLOBAL bounds - >= 0 @ 24.9389
31.20/31.33	c GLOBAL bounds - >= 0 @ 24.9917
31.20/31.38	c GLOBAL bounds - >= 0 @ 25.0294
31.29/31.43	c GLOBAL bounds - >= 0 @ 25.0692
31.29/31.48	c GLOBAL bounds - >= 0 @ 25.1087
31.39/31.55	c GLOBAL bounds - >= 0 @ 25.1717
31.50/31.62	c GLOBAL bounds - >= 0 @ 25.2305
31.50/31.68	c GLOBAL bounds - >= 0 @ 25.2824
31.59/31.73	c GLOBAL bounds - >= 0 @ 25.3268
31.59/31.79	c GLOBAL bounds - >= 0 @ 25.3797
31.79/31.90	c GLOBAL bounds - >= 0 @ 25.4814
31.90/32.02	c GLOBAL bounds - >= 0 @ 25.5791
31.90/32.10	c GLOBAL bounds - >= 0 @ 25.6475
32.00/32.18	c GLOBAL bounds - >= 0 @ 25.7147
32.09/32.25	c GLOBAL bounds - >= 0 @ 25.7742
32.19/32.30	c GLOBAL bounds - >= 0 @ 25.8238
32.19/32.37	c GLOBAL bounds - >= 0 @ 25.8892
32.29/32.43	c GLOBAL bounds - >= 0 @ 25.936
32.38/32.52	c GLOBAL bounds - >= 0 @ 26.0083
32.38/32.59	c GLOBAL bounds - >= 0 @ 26.0765
32.49/32.65	c GLOBAL bounds - >= 0 @ 26.1225
32.59/32.72	c GLOBAL bounds - >= 0 @ 26.1851
32.68/32.81	c GLOBAL bounds - >= 0 @ 26.2638
32.68/32.86	c GLOBAL bounds - >= 0 @ 26.3093
32.79/32.93	c GLOBAL bounds - >= 0 @ 26.3647
32.79/32.99	c GLOBAL bounds - >= 0 @ 26.4201
32.90/33.05	c GLOBAL bounds - >= 0 @ 26.4734
32.99/33.11	c GLOBAL bounds - >= 0 @ 26.5281
33.19/33.32	c GLOBAL bounds - >= 0 @ 26.7212
33.19/33.39	c GLOBAL bounds - >= 0 @ 26.7785
33.29/33.47	c GLOBAL bounds - >= 0 @ 26.8548
35.38/35.59	c #Conflicts:       2000 | #Constraints:      68746
35.38/35.59	c INPROCESSING
35.38/35.59	c GARBAGE COLLECT
35.38/35.59	c GLOBAL bounds - >= 0 @ 28.9279
35.48/35.66	c GLOBAL bounds - >= 0 @ 28.9885
35.58/35.72	c GLOBAL bounds - >= 0 @ 29.0429
35.58/35.79	c GLOBAL bounds - >= 0 @ 29.1008
35.88/36.02	c GLOBAL bounds - >= 0 @ 29.3281
35.98/36.15	c GLOBAL bounds - >= 0 @ 29.4478
36.08/36.28	c GLOBAL bounds - >= 0 @ 29.5704
36.18/36.34	c GLOBAL bounds - >= 0 @ 29.6243
36.27/36.46	c GLOBAL bounds - >= 0 @ 29.7262
36.37/36.58	c GLOBAL bounds - >= 0 @ 29.8384
36.48/36.64	c GLOBAL bounds - >= 0 @ 29.8951
36.48/36.69	c GLOBAL bounds - >= 0 @ 29.94
36.68/36.80	c GLOBAL bounds - >= 0 @ 30.0407
36.68/36.86	c GLOBAL bounds - >= 0 @ 30.0907
36.78/36.92	c GLOBAL bounds - >= 0 @ 30.1392
36.78/36.97	c GLOBAL bounds - >= 0 @ 30.1903
36.89/37.03	c GLOBAL bounds - >= 0 @ 30.2367
36.89/37.08	c GLOBAL bounds - >= 0 @ 30.2788
36.98/37.14	c GLOBAL bounds - >= 0 @ 30.3313
37.08/37.28	c GLOBAL bounds - >= 0 @ 30.4591
37.28/37.43	c GLOBAL bounds - >= 0 @ 30.5972
37.38/37.55	c GLOBAL bounds - >= 0 @ 30.7079
37.47/37.62	c GLOBAL bounds - >= 0 @ 30.7756
37.57/37.79	c GLOBAL bounds - >= 0 @ 30.9356
37.78/37.97	c GLOBAL bounds - >= 0 @ 31.1004
37.88/38.06	c GLOBAL bounds - >= 0 @ 31.1906
37.98/38.16	c GLOBAL bounds - >= 0 @ 31.2786
38.07/38.22	c GLOBAL bounds - >= 0 @ 31.3344
40.88/41.06	c #Conflicts:       3000 | #Constraints:      68811
40.88/41.06	c GLOBAL bounds - >= 0 @ 34.1451
41.76/41.94	c GLOBAL bounds - >= 0 @ 35.0013
41.97/42.14	c GLOBAL bounds - >= 0 @ 35.1904
42.07/42.20	c GLOBAL bounds - >= 0 @ 35.244
42.07/42.27	c GLOBAL bounds - >= 0 @ 35.3154
43.46/43.64	c GLOBAL bounds - >= 0 @ 36.6184
43.66/43.83	c GLOBAL bounds - >= 0 @ 36.7948
43.86/44.02	c GLOBAL bounds - >= 0 @ 36.984
44.96/45.18	c GLOBAL bounds - >= 0 @ 38.1127
46.35/46.53	c #Conflicts:       4000 | #Constraints:      69829
46.35/46.53	c GLOBAL bounds - >= 0 @ 39.3989
47.75/47.96	c INPROCESSING
47.75/47.96	c GARBAGE COLLECT
47.75/47.96	c GLOBAL bounds - >= 0 @ 40.803
48.35/48.52	c GLOBAL bounds - >= 0 @ 41.3435
48.44/48.60	c GLOBAL bounds - >= 0 @ 41.4149
48.44/48.69	c GLOBAL bounds - >= 0 @ 41.4939
48.55/48.77	c GLOBAL bounds - >= 0 @ 41.5646
48.65/48.88	c GLOBAL bounds - >= 0 @ 41.6694
49.14/49.33	c GLOBAL bounds - >= 0 @ 42.1017
49.55/49.70	c GLOBAL bounds - >= 0 @ 42.4567
49.55/49.79	c GLOBAL bounds - >= 0 @ 42.5272
49.64/49.87	c GLOBAL bounds - >= 0 @ 42.6043
49.74/49.95	c GLOBAL bounds - >= 0 @ 42.6822
49.85/50.02	c GLOBAL bounds - >= 0 @ 42.7396
49.85/50.07	c GLOBAL bounds - >= 0 @ 42.7845
49.95/50.12	c GLOBAL bounds - >= 0 @ 42.8228
49.95/50.17	c GLOBAL bounds - >= 0 @ 42.8728
50.04/50.22	c GLOBAL bounds - >= 0 @ 42.9157
50.04/50.27	c GLOBAL bounds - >= 0 @ 42.9657
50.15/50.35	c GLOBAL bounds - >= 0 @ 43.0305
50.24/50.41	c GLOBAL bounds - >= 0 @ 43.0794
50.24/50.47	c GLOBAL bounds - >= 0 @ 43.1286
50.34/50.52	c GLOBAL bounds - >= 0 @ 43.1716
50.34/50.57	c GLOBAL bounds - >= 0 @ 43.2101
50.45/50.61	c GLOBAL bounds - >= 0 @ 43.2465
50.45/50.66	c GLOBAL bounds - >= 0 @ 43.2888
50.54/50.71	c GLOBAL bounds - >= 0 @ 43.3293
50.54/50.75	c GLOBAL bounds - >= 0 @ 43.3677
50.54/50.80	c GLOBAL bounds - >= 0 @ 43.4071
50.64/50.84	c GLOBAL bounds - >= 0 @ 43.4473
50.64/50.88	c GLOBAL bounds - >= 0 @ 43.4833
50.74/50.92	c GLOBAL bounds - >= 0 @ 43.5172
50.74/50.97	c GLOBAL bounds - >= 0 @ 43.5542
50.85/51.01	c GLOBAL bounds - >= 0 @ 43.5923
50.85/51.05	c GLOBAL bounds - >= 0 @ 43.628
50.85/51.10	c GLOBAL bounds - >= 0 @ 43.6681
50.95/51.14	c GLOBAL bounds - >= 0 @ 43.7083
50.95/51.19	c GLOBAL bounds - >= 0 @ 43.7453
51.04/51.23	c GLOBAL bounds - >= 0 @ 43.7784
51.04/51.28	c GLOBAL bounds - >= 0 @ 43.8164
51.14/51.33	c GLOBAL bounds - >= 0 @ 43.8553
51.14/51.37	c GLOBAL bounds - >= 0 @ 43.8942
51.24/51.42	c GLOBAL bounds - >= 0 @ 43.9324
51.24/51.47	c GLOBAL bounds - >= 0 @ 43.9772
51.44/51.67	c GLOBAL bounds - >= 0 @ 44.1666
51.54/51.73	c GLOBAL bounds - >= 0 @ 44.2199
51.64/51.84	c GLOBAL bounds - >= 0 @ 44.3163
51.73/51.91	c GLOBAL bounds - >= 0 @ 44.3696
51.84/52.01	c GLOBAL bounds - >= 0 @ 44.4569
51.84/52.06	c GLOBAL bounds - >= 0 @ 44.5015
51.94/52.12	c GLOBAL bounds - >= 0 @ 44.544
51.94/52.17	c GLOBAL bounds - >= 0 @ 44.5908
52.04/52.22	c GLOBAL bounds - >= 0 @ 44.6417
52.04/52.27	c GLOBAL bounds - >= 0 @ 44.6857
52.14/52.33	c GLOBAL bounds - >= 0 @ 44.7367
52.23/52.40	c GLOBAL bounds - >= 0 @ 44.8063
52.23/52.46	c GLOBAL bounds - >= 0 @ 44.8485
52.33/52.50	c GLOBAL bounds - >= 0 @ 44.8938
52.33/52.55	c GLOBAL bounds - >= 0 @ 44.9348
52.44/52.60	c GLOBAL bounds - >= 0 @ 44.9754
52.44/52.65	c GLOBAL bounds - >= 0 @ 45.0161
52.53/52.70	c GLOBAL bounds - >= 0 @ 45.0598
52.53/52.75	c GLOBAL bounds - >= 0 @ 45.104
52.53/52.79	c GLOBAL bounds - >= 0 @ 45.1439
52.63/52.84	c GLOBAL bounds - >= 0 @ 45.1841
52.63/52.88	c GLOBAL bounds - >= 0 @ 45.2199
52.73/52.93	c GLOBAL bounds - >= 0 @ 45.2573
52.73/52.98	c GLOBAL bounds - >= 0 @ 45.2938
52.84/53.02	c GLOBAL bounds - >= 0 @ 45.332
52.84/53.07	c GLOBAL bounds - >= 0 @ 45.3669
52.94/53.11	c GLOBAL bounds - >= 0 @ 45.4026
52.94/53.15	c GLOBAL bounds - >= 0 @ 45.4381
52.94/53.19	c GLOBAL bounds - >= 0 @ 45.4686
53.04/53.24	c GLOBAL bounds - >= 0 @ 45.5041
53.04/53.28	c GLOBAL bounds - >= 0 @ 45.5364
53.13/53.32	c GLOBAL bounds - >= 0 @ 45.5706
53.13/53.37	c GLOBAL bounds - >= 0 @ 45.6132
53.24/53.41	c GLOBAL bounds - >= 0 @ 45.6469
53.24/53.45	c GLOBAL bounds - >= 0 @ 45.6822
53.24/53.50	c GLOBAL bounds - >= 0 @ 45.7173
53.33/53.54	c GLOBAL bounds - >= 0 @ 45.7524
53.33/53.58	c GLOBAL bounds - >= 0 @ 45.7899
53.44/53.62	c GLOBAL bounds - >= 0 @ 45.827
53.44/53.66	c GLOBAL bounds - >= 0 @ 45.8581
53.54/53.72	c GLOBAL bounds - >= 0 @ 45.9011
53.54/53.76	c GLOBAL bounds - >= 0 @ 45.9396
53.63/53.81	c GLOBAL bounds - >= 0 @ 45.9798
53.63/53.86	c GLOBAL bounds - >= 0 @ 46.0172
53.73/53.90	c GLOBAL bounds - >= 0 @ 46.0512
53.73/53.94	c GLOBAL bounds - >= 0 @ 46.0893
53.73/53.99	c GLOBAL bounds - >= 0 @ 46.1303
53.84/54.04	c GLOBAL bounds - >= 0 @ 46.1674
53.84/54.08	c GLOBAL bounds - >= 0 @ 46.2043
53.94/54.12	c GLOBAL bounds - >= 0 @ 46.2437
53.94/54.16	c GLOBAL bounds - >= 0 @ 46.2756
54.03/54.20	c GLOBAL bounds - >= 0 @ 46.3124
54.03/54.24	c GLOBAL bounds - >= 0 @ 46.3443
54.03/54.28	c GLOBAL bounds - >= 0 @ 46.3811
54.13/54.31	c GLOBAL bounds - >= 0 @ 46.4108
54.13/54.35	c GLOBAL bounds - >= 0 @ 46.4444
54.13/54.39	c GLOBAL bounds - >= 0 @ 46.4749
54.24/54.43	c GLOBAL bounds - >= 0 @ 46.5097
54.24/54.47	c GLOBAL bounds - >= 0 @ 46.5424
54.33/54.51	c GLOBAL bounds - >= 0 @ 46.5791
54.33/54.55	c GLOBAL bounds - >= 0 @ 46.6126
54.33/54.59	c GLOBAL bounds - >= 0 @ 46.6459
54.43/54.62	c GLOBAL bounds - >= 0 @ 46.677
54.43/54.67	c GLOBAL bounds - >= 0 @ 46.7161
54.53/54.71	c GLOBAL bounds - >= 0 @ 46.7489
54.53/54.75	c GLOBAL bounds - >= 0 @ 46.7819
54.53/54.79	c GLOBAL bounds - >= 0 @ 46.8197
54.63/54.83	c GLOBAL bounds - >= 0 @ 46.8478
54.63/54.87	c GLOBAL bounds - >= 0 @ 46.8785
54.73/54.91	c GLOBAL bounds - >= 0 @ 46.909
54.73/54.95	c GLOBAL bounds - >= 0 @ 46.9374
54.83/55.02	c GLOBAL bounds - >= 0 @ 46.9939
54.83/55.07	c GLOBAL bounds - >= 0 @ 47.0345
54.94/55.11	c GLOBAL bounds - >= 0 @ 47.0709
54.94/55.15	c GLOBAL bounds - >= 0 @ 47.1051
54.94/55.19	c GLOBAL bounds - >= 0 @ 47.1464
55.03/55.24	c GLOBAL bounds - >= 0 @ 47.1822
55.03/55.27	c GLOBAL bounds - >= 0 @ 47.2135
55.13/55.31	c GLOBAL bounds - >= 0 @ 47.2456
55.13/55.35	c GLOBAL bounds - >= 0 @ 47.2796
55.13/55.38	c GLOBAL bounds - >= 0 @ 47.3124
55.23/55.43	c GLOBAL bounds - >= 0 @ 47.3445
55.23/55.47	c GLOBAL bounds - >= 0 @ 47.3793
55.33/55.51	c GLOBAL bounds - >= 0 @ 47.4096
55.33/55.55	c GLOBAL bounds - >= 0 @ 47.4436
55.33/55.59	c GLOBAL bounds - >= 0 @ 47.4726
55.42/55.63	c GLOBAL bounds - >= 0 @ 47.5067
55.42/55.67	c GLOBAL bounds - >= 0 @ 47.5355
55.53/55.71	c GLOBAL bounds - >= 0 @ 47.5662
55.53/55.75	c GLOBAL bounds - >= 0 @ 47.6018
55.53/55.79	c GLOBAL bounds - >= 0 @ 47.6366
55.63/55.83	c GLOBAL bounds - >= 0 @ 47.6691
55.63/55.87	c GLOBAL bounds - >= 0 @ 47.6985
55.72/55.91	c GLOBAL bounds - >= 0 @ 47.7312
55.72/55.96	c GLOBAL bounds - >= 0 @ 47.7701
55.72/56.00	c GLOBAL bounds - >= 0 @ 47.802
55.83/56.04	c GLOBAL bounds - >= 0 @ 47.8308
55.83/56.08	c GLOBAL bounds - >= 0 @ 47.8601
55.94/56.15	c GLOBAL bounds - >= 0 @ 47.9223
56.02/56.20	c GLOBAL bounds - >= 0 @ 47.9576
56.02/56.23	c GLOBAL bounds - >= 0 @ 47.9874
56.02/56.27	c GLOBAL bounds - >= 0 @ 48.0162
56.13/56.31	c GLOBAL bounds - >= 0 @ 48.0467
56.13/56.35	c GLOBAL bounds - >= 0 @ 48.0737
56.13/56.40	c GLOBAL bounds - >= 0 @ 48.1148
56.23/56.44	c GLOBAL bounds - >= 0 @ 48.1544
56.23/56.49	c GLOBAL bounds - >= 0 @ 48.1946
56.33/56.53	c GLOBAL bounds - >= 0 @ 48.2295
56.33/56.57	c GLOBAL bounds - >= 0 @ 48.2644
56.43/56.61	c GLOBAL bounds - >= 0 @ 48.3017
56.43/56.67	c GLOBAL bounds - >= 0 @ 48.3488
56.53/56.72	c GLOBAL bounds - >= 0 @ 48.3976
56.53/56.77	c GLOBAL bounds - >= 0 @ 48.4367
56.63/56.82	c GLOBAL bounds - >= 0 @ 48.4703
56.63/56.86	c GLOBAL bounds - >= 0 @ 48.5086
56.72/56.91	c GLOBAL bounds - >= 0 @ 48.5523
56.72/56.96	c GLOBAL bounds - >= 0 @ 48.5856
56.72/57.00	c GLOBAL bounds - >= 0 @ 48.6193
56.83/57.04	c GLOBAL bounds - >= 0 @ 48.651
56.83/57.08	c GLOBAL bounds - >= 0 @ 48.6834
56.93/57.11	c GLOBAL bounds - >= 0 @ 48.7145
56.93/57.15	c GLOBAL bounds - >= 0 @ 48.7384
56.93/57.19	c GLOBAL bounds - >= 0 @ 48.7663
57.03/57.23	c GLOBAL bounds - >= 0 @ 48.7964
57.03/57.27	c GLOBAL bounds - >= 0 @ 48.8312
57.12/57.30	c GLOBAL bounds - >= 0 @ 48.8599
57.12/57.34	c GLOBAL bounds - >= 0 @ 48.8906
57.12/57.38	c GLOBAL bounds - >= 0 @ 48.9274
57.22/57.42	c GLOBAL bounds - >= 0 @ 48.9591
57.22/57.45	c GLOBAL bounds - >= 0 @ 48.9895
57.22/57.49	c GLOBAL bounds - >= 0 @ 49.0189
57.32/57.53	c GLOBAL bounds - >= 0 @ 49.0482
57.32/57.56	c GLOBAL bounds - >= 0 @ 49.0743
57.43/57.60	c GLOBAL bounds - >= 0 @ 49.1023
57.43/57.63	c GLOBAL bounds - >= 0 @ 49.1313
57.43/57.67	c GLOBAL bounds - >= 0 @ 49.1663
57.53/57.71	c GLOBAL bounds - >= 0 @ 49.1953
57.53/57.75	c GLOBAL bounds - >= 0 @ 49.2223
57.53/57.78	c GLOBAL bounds - >= 0 @ 49.2542
57.62/57.82	c GLOBAL bounds - >= 0 @ 49.2861
57.62/57.86	c GLOBAL bounds - >= 0 @ 49.321
57.73/57.90	c GLOBAL bounds - >= 0 @ 49.3543
57.73/57.93	c GLOBAL bounds - >= 0 @ 49.3811
57.73/57.96	c GLOBAL bounds - >= 0 @ 49.4077
57.73/58.00	c GLOBAL bounds - >= 0 @ 49.4364
57.83/58.04	c GLOBAL bounds - >= 0 @ 49.4707
57.83/58.07	c GLOBAL bounds - >= 0 @ 49.5012
57.93/58.11	c GLOBAL bounds - >= 0 @ 49.5275
57.93/58.14	c GLOBAL bounds - >= 0 @ 49.5609
57.93/58.18	c GLOBAL bounds - >= 0 @ 49.5928
58.02/58.22	c GLOBAL bounds - >= 0 @ 49.6267
58.02/58.26	c GLOBAL bounds - >= 0 @ 49.6583
58.02/58.29	c GLOBAL bounds - >= 0 @ 49.6836
58.12/58.33	c GLOBAL bounds - >= 0 @ 49.7087
58.12/58.36	c GLOBAL bounds - >= 0 @ 49.735
58.22/58.40	c GLOBAL bounds - >= 0 @ 49.7669
58.22/58.44	c GLOBAL bounds - >= 0 @ 49.7989
58.22/58.47	c GLOBAL bounds - >= 0 @ 49.8242
58.33/58.51	c GLOBAL bounds - >= 0 @ 49.8483
58.33/58.54	c GLOBAL bounds - >= 0 @ 49.8744
58.33/58.58	c GLOBAL bounds - >= 0 @ 49.9034
58.42/58.61	c GLOBAL bounds - >= 0 @ 49.928
58.42/58.65	c GLOBAL bounds - >= 0 @ 49.9575
58.42/58.68	c GLOBAL bounds - >= 0 @ 49.9828
58.52/58.72	c GLOBAL bounds - >= 0 @ 50.0065
58.52/58.76	c GLOBAL bounds - >= 0 @ 50.0379
58.63/58.80	c GLOBAL bounds - >= 0 @ 50.0707
58.63/58.83	c GLOBAL bounds - >= 0 @ 50.0971
58.63/58.86	c GLOBAL bounds - >= 0 @ 50.1203
58.72/58.90	c GLOBAL bounds - >= 0 @ 50.1473
58.72/58.93	c GLOBAL bounds - >= 0 @ 50.1772
58.72/58.97	c GLOBAL bounds - >= 0 @ 50.2094
58.82/59.00	c GLOBAL bounds - >= 0 @ 50.2369
58.82/59.03	c GLOBAL bounds - >= 0 @ 50.2592
58.82/59.07	c GLOBAL bounds - >= 0 @ 50.2843
58.82/59.10	c GLOBAL bounds - >= 0 @ 50.3115
58.93/59.14	c GLOBAL bounds - >= 0 @ 50.3404
58.93/59.18	c GLOBAL bounds - >= 0 @ 50.373
59.02/59.21	c GLOBAL bounds - >= 0 @ 50.3953
59.02/59.24	c GLOBAL bounds - >= 0 @ 50.4182
59.02/59.27	c GLOBAL bounds - >= 0 @ 50.44
59.12/59.30	c GLOBAL bounds - >= 0 @ 50.4626
59.12/59.33	c GLOBAL bounds - >= 0 @ 50.4831
59.12/59.37	c GLOBAL bounds - >= 0 @ 50.5107
59.22/59.40	c GLOBAL bounds - >= 0 @ 50.5354
59.22/59.44	c GLOBAL bounds - >= 0 @ 50.5611
59.22/59.47	c GLOBAL bounds - >= 0 @ 50.5885
59.32/59.50	c GLOBAL bounds - >= 0 @ 50.6137
59.32/59.54	c GLOBAL bounds - >= 0 @ 50.6407
59.32/59.57	c GLOBAL bounds - >= 0 @ 50.672
59.42/59.61	c GLOBAL bounds - >= 0 @ 50.7048
59.42/59.65	c GLOBAL bounds - >= 0 @ 50.7352
59.42/59.68	c GLOBAL bounds - >= 0 @ 50.7659
59.52/59.72	c GLOBAL bounds - >= 0 @ 50.7912
59.52/59.75	c GLOBAL bounds - >= 0 @ 50.8152
59.52/59.78	c GLOBAL bounds - >= 0 @ 50.8348
59.61/59.83	c GLOBAL bounds - >= 0 @ 50.877
59.61/59.88	c GLOBAL bounds - >= 0 @ 50.9202
59.83/60.03	c GLOBAL bounds - >= 0 @ 51.0597
69.99/70.28	c #Conflicts:       5000 | #Constraints:      69714
69.99/70.28	c #Conflicts:       6000 | #Constraints:      70714
69.99/70.28	c INPROCESSING
69.99/70.28	c GARBAGE COLLECT
69.99/70.28	c GLOBAL bounds - >= 0 @ 60.9054
72.98/73.21	c #Conflicts:       7000 | #Constraints:      69722
72.98/73.21	c GLOBAL bounds - >= 0 @ 63.7873
76.88/77.19	c #Conflicts:       8000 | #Constraints:      70724
76.88/77.19	c GLOBAL bounds - >= 0 @ 67.6704
77.78/78.07	c GLOBAL bounds - >= 0 @ 68.5093
78.07/78.31	c GLOBAL bounds - >= 0 @ 68.7357
78.17/78.47	c GLOBAL bounds - >= 0 @ 68.8858
78.27/78.58	c GLOBAL bounds - >= 0 @ 68.9919
78.37/78.63	c GLOBAL bounds - >= 0 @ 69.0436
78.47/78.71	c GLOBAL bounds - >= 0 @ 69.1212
78.47/78.79	c GLOBAL bounds - >= 0 @ 69.1931
78.57/78.85	c GLOBAL bounds - >= 0 @ 69.2566
78.57/78.89	c GLOBAL bounds - >= 0 @ 69.2923
78.66/78.92	c GLOBAL bounds - >= 0 @ 69.3213
78.66/78.98	c GLOBAL bounds - >= 0 @ 69.3749
78.77/79.04	c GLOBAL bounds - >= 0 @ 69.4271
78.87/79.12	c GLOBAL bounds - >= 0 @ 69.5086
78.87/79.17	c GLOBAL bounds - >= 0 @ 69.5498
78.96/79.21	c GLOBAL bounds - >= 0 @ 69.591
78.96/79.27	c GLOBAL bounds - >= 0 @ 69.647
79.07/79.31	c GLOBAL bounds - >= 0 @ 69.6833
79.07/79.35	c GLOBAL bounds - >= 0 @ 69.7215
79.07/79.38	c GLOBAL bounds - >= 0 @ 69.7535
79.17/79.43	c GLOBAL bounds - >= 0 @ 69.8002
79.27/79.51	c GLOBAL bounds - >= 0 @ 69.8691
79.56/79.85	c GLOBAL bounds - >= 0 @ 70.19
79.87/80.15	c GLOBAL bounds - >= 0 @ 70.4665
79.96/80.23	c GLOBAL bounds - >= 0 @ 70.54
79.96/80.29	c GLOBAL bounds - >= 0 @ 70.5954
80.07/80.33	c GLOBAL bounds - >= 0 @ 70.6371
80.07/80.37	c GLOBAL bounds - >= 0 @ 70.6726
80.16/80.42	c GLOBAL bounds - >= 0 @ 70.7124
80.16/80.45	c GLOBAL bounds - >= 0 @ 70.748
80.16/80.49	c GLOBAL bounds - >= 0 @ 70.7838
80.26/80.52	c GLOBAL bounds - >= 0 @ 70.8106
80.26/80.56	c GLOBAL bounds - >= 0 @ 70.8398
80.26/80.59	c GLOBAL bounds - >= 0 @ 70.868
80.36/80.62	c GLOBAL bounds - >= 0 @ 70.9055
80.36/80.69	c GLOBAL bounds - >= 0 @ 70.9672
80.47/80.72	c GLOBAL bounds - >= 0 @ 70.9942
80.47/80.76	c GLOBAL bounds - >= 0 @ 71.0312
80.56/80.80	c GLOBAL bounds - >= 0 @ 71.0683
80.56/80.84	c GLOBAL bounds - >= 0 @ 71.1007
80.56/80.87	c GLOBAL bounds - >= 0 @ 71.1291
80.66/80.91	c GLOBAL bounds - >= 0 @ 71.1654
80.66/80.97	c GLOBAL bounds - >= 0 @ 71.2226
80.66/81.00	c GLOBAL bounds - >= 0 @ 71.2487
80.77/81.03	c GLOBAL bounds - >= 0 @ 71.2779
80.77/81.07	c GLOBAL bounds - >= 0 @ 71.3134
80.77/81.10	c GLOBAL bounds - >= 0 @ 71.3372
80.87/81.12	c GLOBAL bounds - >= 0 @ 71.3614
80.87/81.15	c GLOBAL bounds - >= 0 @ 71.3859
80.87/81.19	c GLOBAL bounds - >= 0 @ 71.4172
80.96/81.22	c GLOBAL bounds - >= 0 @ 71.4433
80.96/81.26	c GLOBAL bounds - >= 0 @ 71.4744
81.06/81.32	c GLOBAL bounds - >= 0 @ 71.5364
85.45/85.72	c #Conflicts:       9000 | #Constraints:      71830
85.45/85.72	c INPROCESSING
85.45/85.72	c GARBAGE COLLECT
85.45/85.72	c GLOBAL bounds - >= 0 @ 75.844
85.45/85.78	c GLOBAL bounds - >= 0 @ 75.8961
85.55/85.84	c GLOBAL bounds - >= 0 @ 75.9482
86.25/86.57	c GLOBAL bounds - >= 0 @ 76.3108
86.54/86.84	c GLOBAL bounds - >= 0 @ 76.565
86.64/86.92	c GLOBAL bounds - >= 0 @ 76.6395
86.64/86.96	c GLOBAL bounds - >= 0 @ 76.6735
87.04/87.39	c GLOBAL bounds - >= 0 @ 77.088
87.64/87.98	c GLOBAL bounds - >= 0 @ 77.6583
87.75/88.06	c GLOBAL bounds - >= 0 @ 77.7219
87.94/88.27	c GLOBAL bounds - >= 0 @ 77.9197
88.14/88.42	c GLOBAL bounds - >= 0 @ 78.0526
88.24/88.53	c GLOBAL bounds - >= 0 @ 78.1453
88.55/88.89	c GLOBAL bounds - >= 0 @ 78.4935
88.64/88.95	c GLOBAL bounds - >= 0 @ 78.5428
91.74/92.06	c #Conflicts:      10000 | #Constraints:      70562
91.74/92.06	c GLOBAL bounds - >= 0 @ 81.5617
91.93/92.24	c GLOBAL bounds - >= 0 @ 81.7238
92.03/92.39	c GLOBAL bounds - >= 0 @ 81.8751
92.13/92.45	c GLOBAL bounds - >= 0 @ 81.9205
92.24/92.52	c GLOBAL bounds - >= 0 @ 81.9879
92.24/92.57	c GLOBAL bounds - >= 0 @ 82.0301
92.33/92.60	c GLOBAL bounds - >= 0 @ 82.0589
92.33/92.63	c GLOBAL bounds - >= 0 @ 82.0869
92.33/92.67	c GLOBAL bounds - >= 0 @ 82.1233
92.43/92.71	c GLOBAL bounds - >= 0 @ 82.1646
92.43/92.77	c GLOBAL bounds - >= 0 @ 82.2201
92.53/92.81	c GLOBAL bounds - >= 0 @ 82.2556
92.53/92.89	c GLOBAL bounds - >= 0 @ 82.3284
92.63/92.95	c GLOBAL bounds - >= 0 @ 82.3807
92.74/93.03	c GLOBAL bounds - >= 0 @ 82.4513
92.74/93.07	c GLOBAL bounds - >= 0 @ 82.4876
92.83/93.13	c GLOBAL bounds - >= 0 @ 82.5457
95.73/96.01	c #Conflicts:      11000 | #Constraints:      71596
95.73/96.01	c GLOBAL bounds - >= 0 @ 85.3169
95.93/96.25	c GLOBAL bounds - >= 0 @ 85.5332
96.82/97.13	c GLOBAL bounds - >= 0 @ 86.3519
96.92/97.24	c GLOBAL bounds - >= 0 @ 86.4573
97.02/97.36	c GLOBAL bounds - >= 0 @ 86.5543
97.92/98.22	c GLOBAL bounds - >= 0 @ 87.3843
98.72/99.04	c GLOBAL bounds - >= 0 @ 88.1708
98.91/99.24	c GLOBAL bounds - >= 0 @ 88.353
102.40/102.73	c #Conflicts:      12000 | #Constraints:      72612
102.40/102.73	c INPROCESSING
102.40/102.73	c GARBAGE COLLECT
102.40/102.73	c GLOBAL bounds - >= 0 @ 91.7716
104.81/105.15	c GLOBAL bounds - >= 0 @ 94.1211
105.00/105.35	c GLOBAL bounds - >= 0 @ 94.3073
106.80/107.19	c GLOBAL bounds - >= 0 @ 96.0842
111.48/111.80	c #Conflicts:      13000 | #Constraints:      71074
111.48/111.80	c GLOBAL bounds - >= 0 @ 100.633
126.93/127.39	c #Conflicts:      14000 | #Constraints:      72076
126.93/127.39	c #Conflicts:      15000 | #Constraints:      73076
126.93/127.39	c INPROCESSING
126.93/127.39	c GARBAGE COLLECT
126.93/127.39	c #Conflicts:      16000 | #Constraints:      71314
126.93/127.39	c GLOBAL bounds - >= 0 @ 115.909
128.43/128.81	c GLOBAL bounds - >= 0 @ 117.296
141.30/141.78	c #Conflicts:      17000 | #Constraints:      72318
141.30/141.78	c #Conflicts:      18000 | #Constraints:      73318
141.30/141.78	c INPROCESSING
141.30/141.78	c GARBAGE COLLECT
141.30/141.78	c GLOBAL bounds - >= 0 @ 130.052
151.27/151.73	c #Conflicts:      19000 | #Constraints:      71333
151.27/151.73	c #Conflicts:      20000 | #Constraints:      72333
151.27/151.73	c GLOBAL bounds - >= 0 @ 139.81
170.33/170.87	c #Conflicts:      21000 | #Constraints:      73335
170.33/170.87	c INPROCESSING
170.33/170.87	c GARBAGE COLLECT
170.33/170.87	c #Conflicts:      22000 | #Constraints:      71136
170.33/170.87	c #Conflicts:      23000 | #Constraints:      72136
170.33/170.87	c GLOBAL bounds - >= 0 @ 157.921
187.18/187.77	c #Conflicts:      24000 | #Constraints:      73138
187.18/187.77	c #Conflicts:      25000 | #Constraints:      74138
187.18/187.77	c INPROCESSING
187.18/187.77	c GARBAGE COLLECT
187.18/187.77	c GLOBAL bounds - >= 0 @ 174.349
372.09/373.19	c #Conflicts:      26000 | #Constraints:      71739
372.09/373.19	c #Conflicts:      27000 | #Constraints:      72739
372.09/373.19	c #Conflicts:      28000 | #Constraints:      73739
372.09/373.19	c #Conflicts:      29000 | #Constraints:      74739
372.09/373.19	c INPROCESSING
372.09/373.19	c GARBAGE COLLECT
372.09/373.19	c #Conflicts:      30000 | #Constraints:      72141
372.09/373.19	c #Conflicts:      31000 | #Constraints:      73141
372.09/373.19	c #Conflicts:      32000 | #Constraints:      74141
372.09/373.19	c #Conflicts:      33000 | #Constraints:      75141
372.09/373.19	c INPROCESSING
372.09/373.19	c GARBAGE COLLECT
372.09/373.19	c #Conflicts:      34000 | #Constraints:      72344
372.09/373.19	c #Conflicts:      35000 | #Constraints:      73344
372.09/373.19	c #Conflicts:      36000 | #Constraints:      74344
372.09/373.19	c #Conflicts:      37000 | #Constraints:      75344
372.09/373.19	c INPROCESSING
372.09/373.19	c GARBAGE COLLECT
372.09/373.19	c #Conflicts:      38000 | #Constraints:      72349
372.09/373.19	c #Conflicts:      39000 | #Constraints:      73349
372.09/373.19	c #Conflicts:      40000 | #Constraints:      74349
372.09/373.19	c #Conflicts:      41000 | #Constraints:      75349
372.09/373.19	c INPROCESSING
372.09/373.19	c GARBAGE COLLECT
372.09/373.19	c #Conflicts:      42000 | #Constraints:      72156
372.09/373.19	c #Conflicts:      43000 | #Constraints:      73156
372.09/373.19	c #Conflicts:      44000 | #Constraints:      74156
372.09/373.19	c #Conflicts:      45000 | #Constraints:      75156
372.09/373.19	c #Conflicts:      46000 | #Constraints:      76156
372.09/373.19	c INPROCESSING
372.09/373.19	c GARBAGE COLLECT
372.09/373.19	c #Conflicts:      47000 | #Constraints:      72756
372.09/373.19	c #Conflicts:      48000 | #Constraints:      73756
372.09/373.19	c #Conflicts:      49000 | #Constraints:      74756
372.09/373.19	c #Conflicts:      50000 | #Constraints:      75756
372.09/373.19	c #Conflicts:      51000 | #Constraints:      76756
372.09/373.19	c INPROCESSING
372.09/373.19	c GARBAGE COLLECT
372.09/373.19	c #Conflicts:      52000 | #Constraints:      73156
372.09/373.19	c #Conflicts:      53000 | #Constraints:      74156
372.09/373.19	c #Conflicts:      54000 | #Constraints:      75156
372.09/373.19	c GLOBAL bounds - >= 0 @ 356.001
374.18/375.27	c #Conflicts:      55000 | #Constraints:      76158
374.18/375.27	c GLOBAL bounds - >= 0 @ 358.001
883.34/885.75	c #Conflicts:      56000 | #Constraints:      77160
883.34/885.75	c INPROCESSING
883.34/885.75	c GARBAGE COLLECT
883.34/885.75	c #Conflicts:      57000 | #Constraints:      73361
883.34/885.75	c #Conflicts:      58000 | #Constraints:      74361
883.34/885.75	c #Conflicts:      59000 | #Constraints:      75361
883.34/885.75	c #Conflicts:      60000 | #Constraints:      76361
883.34/885.75	c #Conflicts:      61000 | #Constraints:      77361
883.34/885.75	c INPROCESSING
883.34/885.75	c GARBAGE COLLECT
883.34/885.75	c #Conflicts:      62000 | #Constraints:      73354
883.34/885.75	c #Conflicts:      63000 | #Constraints:      74354
883.34/885.75	c #Conflicts:      64000 | #Constraints:      75354
883.34/885.75	c #Conflicts:      65000 | #Constraints:      76354
883.34/885.75	c #Conflicts:      66000 | #Constraints:      77354
883.34/885.75	c INPROCESSING
883.34/885.75	c GARBAGE COLLECT
883.34/885.75	c #Conflicts:      67000 | #Constraints:      73155
883.34/885.75	c #Conflicts:      68000 | #Constraints:      74155
883.34/885.75	c #Conflicts:      69000 | #Constraints:      75155
883.34/885.75	c #Conflicts:      70000 | #Constraints:      76155
883.34/885.75	c #Conflicts:      71000 | #Constraints:      77155
883.34/885.75	c #Conflicts:      72000 | #Constraints:      78155
883.34/885.75	c INPROCESSING
883.34/885.75	c GARBAGE COLLECT
883.34/885.75	c #Conflicts:      73000 | #Constraints:      73757
883.34/885.75	c #Conflicts:      74000 | #Constraints:      74757
883.34/885.75	c #Conflicts:      75000 | #Constraints:      75757
883.34/885.75	c #Conflicts:      76000 | #Constraints:      76757
883.34/885.75	c #Conflicts:      77000 | #Constraints:      77757
883.34/885.75	c #Conflicts:      78000 | #Constraints:      78757
883.34/885.75	c INPROCESSING
883.34/885.75	c GARBAGE COLLECT
883.34/885.75	c #Conflicts:      79000 | #Constraints:      74155
883.34/885.75	c #Conflicts:      80000 | #Constraints:      75155
883.34/885.75	c #Conflicts:      81000 | #Constraints:      76155
883.34/885.75	c #Conflicts:      82000 | #Constraints:      77155
883.34/885.75	c #Conflicts:      83000 | #Constraints:      78155
883.34/885.75	c #Conflicts:      84000 | #Constraints:      79155
883.34/885.75	c INPROCESSING
883.34/885.75	c GARBAGE COLLECT
883.34/885.75	c #Conflicts:      85000 | #Constraints:      74355
883.34/885.75	c #Conflicts:      86000 | #Constraints:      75355
883.34/885.75	c #Conflicts:      87000 | #Constraints:      76355
883.34/885.75	c #Conflicts:      88000 | #Constraints:      77355
883.34/885.75	c #Conflicts:      89000 | #Constraints:      78355
883.34/885.75	c #Conflicts:      90000 | #Constraints:      79355
883.34/885.75	c INPROCESSING
883.34/885.75	c GARBAGE COLLECT
883.34/885.75	c #Conflicts:      91000 | #Constraints:      74355
883.34/885.75	c #Conflicts:      92000 | #Constraints:      75355
883.34/885.75	c #Conflicts:      93000 | #Constraints:      76355
883.34/885.75	c #Conflicts:      94000 | #Constraints:      77355
883.34/885.75	c #Conflicts:      95000 | #Constraints:      78355
883.34/885.75	c #Conflicts:      96000 | #Constraints:      79355
883.34/885.75	c INPROCESSING
883.34/885.75	c GARBAGE COLLECT
883.34/885.75	c #Conflicts:      97000 | #Constraints:      74165
883.34/885.75	c #Conflicts:      98000 | #Constraints:      75165
883.34/885.75	c #Conflicts:      99000 | #Constraints:      76165
883.34/885.75	c #Conflicts:     100000 | #Constraints:      77165
883.34/885.75	c #Conflicts:     101000 | #Constraints:      78165
883.34/885.75	c #Conflicts:     102000 | #Constraints:      79165
883.34/885.75	c #Conflicts:     103000 | #Constraints:      80165
883.34/885.75	c INPROCESSING
883.34/885.75	c GARBAGE COLLECT
883.34/885.75	c #Conflicts:     104000 | #Constraints:      74763
883.34/885.75	c #Conflicts:     105000 | #Constraints:      75763
883.34/885.75	c #Conflicts:     106000 | #Constraints:      76763
883.34/885.75	c #Conflicts:     107000 | #Constraints:      77763
883.34/885.75	c #Conflicts:     108000 | #Constraints:      78763
883.34/885.75	c #Conflicts:     109000 | #Constraints:      79763
883.34/885.75	c #Conflicts:     110000 | #Constraints:      80763
883.34/885.75	c INPROCESSING
883.34/885.75	c GARBAGE COLLECT
883.34/885.75	c #Conflicts:     111000 | #Constraints:      75158
883.34/885.75	c #Conflicts:     112000 | #Constraints:      76158
883.34/885.75	c #Conflicts:     113000 | #Constraints:      77158
883.34/885.75	c #Conflicts:     114000 | #Constraints:      78158
883.34/885.75	c #Conflicts:     115000 | #Constraints:      79158
883.34/885.75	c #Conflicts:     116000 | #Constraints:      80158
883.34/885.75	c #Conflicts:     117000 | #Constraints:      81158
883.34/885.75	c INPROCESSING
883.34/885.75	c GARBAGE COLLECT
883.34/885.75	c #Conflicts:     118000 | #Constraints:      75357
883.34/885.75	c #Conflicts:     119000 | #Constraints:      76357
883.34/885.75	c #Conflicts:     120000 | #Constraints:      77357
883.34/885.75	c #Conflicts:     121000 | #Constraints:      78357
883.34/885.75	c #Conflicts:     122000 | #Constraints:      79357
883.34/885.75	c #Conflicts:     123000 | #Constraints:      80357
883.34/885.75	c #Conflicts:     124000 | #Constraints:      81357
883.34/885.75	c INPROCESSING
883.34/885.75	c GARBAGE COLLECT
883.34/885.75	c #Conflicts:     125000 | #Constraints:      75359
883.34/885.75	c #Conflicts:     126000 | #Constraints:      76359
883.34/885.75	c #Conflicts:     127000 | #Constraints:      77359
1067.34/1070.25	c #Conflicts:     128000 | #Constraints:      78359
1067.34/1070.25	c #Conflicts:     129000 | #Constraints:      79359
1067.34/1070.25	c #Conflicts:     130000 | #Constraints:      80359
1067.34/1070.25	c #Conflicts:     131000 | #Constraints:      81359
1067.34/1070.25	c INPROCESSING
1067.34/1070.25	c GARBAGE COLLECT
1067.34/1070.25	c #Conflicts:     132000 | #Constraints:      75158
1067.34/1070.25	c #Conflicts:     133000 | #Constraints:      76158
1067.34/1070.25	c #Conflicts:     134000 | #Constraints:      77158
1067.34/1070.25	c #Conflicts:     135000 | #Constraints:      78158
1067.34/1070.25	c #Conflicts:     136000 | #Constraints:      79158
1067.34/1070.25	c #Conflicts:     137000 | #Constraints:      80158
1067.34/1070.25	c #Conflicts:     138000 | #Constraints:      81158
1067.34/1070.25	c #Conflicts:     139000 | #Constraints:      82158
1067.34/1070.25	c INPROCESSING
1067.34/1070.25	c GARBAGE COLLECT
1067.34/1070.25	c #Conflicts:     140000 | #Constraints:      75763
1067.34/1070.25	c #Conflicts:     141000 | #Constraints:      76763
1067.34/1070.25	c #Conflicts:     142000 | #Constraints:      77763
1067.34/1070.25	c #Conflicts:     143000 | #Constraints:      78763
1067.34/1070.25	c #Conflicts:     144000 | #Constraints:      79763
1067.34/1070.25	c #Conflicts:     145000 | #Constraints:      80763
1067.34/1070.25	c #Conflicts:     146000 | #Constraints:      81763
1067.34/1070.25	c #Conflicts:     147000 | #Constraints:      82763
1067.34/1070.25	c INPROCESSING
1067.34/1070.25	c GARBAGE COLLECT
1067.34/1070.25	c #Conflicts:     148000 | #Constraints:      76161
1067.34/1070.25	c #Conflicts:     149000 | #Constraints:      77161
1067.34/1070.25	c #Conflicts:     150000 | #Constraints:      78161
1067.34/1070.25	c #Conflicts:     151000 | #Constraints:      79161
1067.34/1070.25	c GLOBAL bounds - >= 0 @ 1041.89
1206.17/1209.46	c #Conflicts:     152000 | #Constraints:      80163
1206.17/1209.46	c #Conflicts:     153000 | #Constraints:      81163
1206.17/1209.46	c #Conflicts:     154000 | #Constraints:      82163
1206.17/1209.46	c #Conflicts:     155000 | #Constraints:      83163
1206.17/1209.46	c INPROCESSING
1206.17/1209.46	c GARBAGE COLLECT
1206.17/1209.46	c #Conflicts:     156000 | #Constraints:      76362
1206.17/1209.46	c #Conflicts:     157000 | #Constraints:      77362
1206.17/1209.46	c #Conflicts:     158000 | #Constraints:      78362
1206.17/1209.46	c #Conflicts:     159000 | #Constraints:      79362
1206.17/1209.46	c #Conflicts:     160000 | #Constraints:      80362
1206.17/1209.46	c #Conflicts:     161000 | #Constraints:      81362
1206.17/1209.46	c #Conflicts:     162000 | #Constraints:      82362
1206.17/1209.46	c #Conflicts:     163000 | #Constraints:      83362
1206.17/1209.46	c INPROCESSING
1206.17/1209.46	c GARBAGE COLLECT
1206.17/1209.46	c #Conflicts:     164000 | #Constraints:      76359
1206.17/1209.46	c #Conflicts:     165000 | #Constraints:      77359
1206.17/1209.46	c #Conflicts:     166000 | #Constraints:      78359
1206.17/1209.46	c #Conflicts:     167000 | #Constraints:      79359
1206.17/1209.46	c #Conflicts:     168000 | #Constraints:      80359
1206.17/1209.46	c #Conflicts:     169000 | #Constraints:      81359
1206.17/1209.46	c #Conflicts:     170000 | #Constraints:      82359
1206.17/1209.46	c #Conflicts:     171000 | #Constraints:      83359
1206.17/1209.46	c GLOBAL bounds - >= 0 @ 1178.2
1223.93/1227.28	c INPROCESSING
1223.93/1227.28	c GARBAGE COLLECT
1223.93/1227.28	c #Conflicts:     172000 | #Constraints:      76158
1223.93/1227.28	c #Conflicts:     173000 | #Constraints:      77158
1223.93/1227.28	c GLOBAL bounds - >= 0 @ 1195.7
1240.48/1243.82	c #Conflicts:     174000 | #Constraints:      78160
1240.48/1243.82	c #Conflicts:     175000 | #Constraints:      79160
1240.48/1243.82	c #Conflicts:     176000 | #Constraints:      80160
1240.48/1243.82	c GLOBAL bounds - >= 0 @ 1211.61
1822.93/1827.83	c #Conflicts:     177000 | #Constraints:      81162
1822.93/1827.83	c #Conflicts:     178000 | #Constraints:      82162
1822.93/1827.83	c #Conflicts:     179000 | #Constraints:      83162
1822.93/1827.83	c #Conflicts:     180000 | #Constraints:      84162
1822.93/1827.83	c INPROCESSING
1822.93/1827.83	c GARBAGE COLLECT
1822.93/1827.83	c #Conflicts:     181000 | #Constraints:      76763
1822.93/1827.83	c #Conflicts:     182000 | #Constraints:      77763
1822.93/1827.83	c #Conflicts:     183000 | #Constraints:      78763
1822.93/1827.83	c #Conflicts:     184000 | #Constraints:      79763
1822.93/1827.83	c #Conflicts:     185000 | #Constraints:      80763
1822.93/1827.83	c #Conflicts:     186000 | #Constraints:      81763
1822.93/1827.83	c #Conflicts:     187000 | #Constraints:      82763
1822.93/1827.83	c #Conflicts:     188000 | #Constraints:      83763
1822.93/1827.83	c #Conflicts:     189000 | #Constraints:      84763
1822.93/1827.83	c INPROCESSING
1822.93/1827.83	c GARBAGE COLLECT
1822.93/1827.83	c #Conflicts:     190000 | #Constraints:      77168
1822.93/1827.83	c #Conflicts:     191000 | #Constraints:      78168
1822.93/1827.83	c #Conflicts:     192000 | #Constraints:      79168
1822.93/1827.83	c #Conflicts:     193000 | #Constraints:      80168
1822.93/1827.83	c #Conflicts:     194000 | #Constraints:      81168
1822.93/1827.83	c #Conflicts:     195000 | #Constraints:      82168
1822.93/1827.83	c #Conflicts:     196000 | #Constraints:      83168
1822.93/1827.83	c #Conflicts:     197000 | #Constraints:      84168
1822.93/1827.83	c #Conflicts:     198000 | #Constraints:      85168
1822.93/1827.83	c INPROCESSING
1822.93/1827.83	c GARBAGE COLLECT
1822.93/1827.83	c #Conflicts:     199000 | #Constraints:      77375
1822.93/1827.83	c #Conflicts:     200000 | #Constraints:      78375
1822.93/1827.83	c #Conflicts:     201000 | #Constraints:      79375
1822.93/1827.83	c #Conflicts:     202000 | #Constraints:      80375
1822.93/1827.83	c #Conflicts:     203000 | #Constraints:      81375
1822.93/1827.83	c #Conflicts:     204000 | #Constraints:      82375
1822.93/1827.83	c #Conflicts:     205000 | #Constraints:      83375
1822.93/1827.83	c #Conflicts:     206000 | #Constraints:      84375
1822.93/1827.83	c #Conflicts:     207000 | #Constraints:      85375
1822.93/1827.83	c INPROCESSING
1822.93/1827.83	c GARBAGE COLLECT
1822.93/1827.83	c #Conflicts:     208000 | #Constraints:      77377
1822.93/1827.83	c #Conflicts:     209000 | #Constraints:      78377
1822.93/1827.83	c #Conflicts:     210000 | #Constraints:      79377
1822.93/1827.83	c #Conflicts:     211000 | #Constraints:      80377
1822.93/1827.83	c #Conflicts:     212000 | #Constraints:      81377
1822.93/1827.83	c #Conflicts:     213000 | #Constraints:      82377
1822.93/1827.83	c #Conflicts:     214000 | #Constraints:      83377
1822.93/1827.83	c #Conflicts:     215000 | #Constraints:      84377
1822.93/1827.83	c #Conflicts:     216000 | #Constraints:      85377
1822.93/1827.83	c INPROCESSING
1822.93/1827.83	c GARBAGE COLLECT
1822.93/1827.83	c #Conflicts:     217000 | #Constraints:      77176
1822.93/1827.83	c #Conflicts:     218000 | #Constraints:      78176
1822.93/1827.83	c #Conflicts:     219000 | #Constraints:      79176
1822.93/1827.83	c #Conflicts:     220000 | #Constraints:      80176
1822.93/1827.83	c #Conflicts:     221000 | #Constraints:      81176
1822.93/1827.83	c #Conflicts:     222000 | #Constraints:      82176
1822.93/1827.83	c #Conflicts:     223000 | #Constraints:      83176
1822.93/1827.83	c #Conflicts:     224000 | #Constraints:      84176
1822.93/1827.83	c #Conflicts:     225000 | #Constraints:      85176
1822.93/1827.83	c #Conflicts:     226000 | #Constraints:      86176
1822.93/1827.83	c INPROCESSING
1822.93/1827.83	c GARBAGE COLLECT
1822.93/1827.83	c #Conflicts:     227000 | #Constraints:      77783
1822.93/1827.83	c #Conflicts:     228000 | #Constraints:      78783
1822.93/1827.83	c #Conflicts:     229000 | #Constraints:      79783
1822.93/1827.83	c #Conflicts:     230000 | #Constraints:      80783
1822.93/1827.83	c #Conflicts:     231000 | #Constraints:      81783
1822.93/1827.83	c #Conflicts:     232000 | #Constraints:      82783
1822.93/1827.83	c #Conflicts:     233000 | #Constraints:      83783
1822.93/1827.83	c #Conflicts:     234000 | #Constraints:      84783
1822.93/1827.83	c #Conflicts:     235000 | #Constraints:      85783
1822.93/1827.83	c #Conflicts:     236000 | #Constraints:      86783
1822.93/1827.83	c INPROCESSING
1822.93/1827.83	c GARBAGE COLLECT
1822.93/1827.83	c #Conflicts:     237000 | #Constraints:      78180
1822.93/1827.83	c #Conflicts:     238000 | #Constraints:      79180
1822.93/1827.83	c #Conflicts:     239000 | #Constraints:      80180
1822.93/1827.83	c #Conflicts:     240000 | #Constraints:      81180
1822.93/1827.83	c #Conflicts:     241000 | #Constraints:      82180
1822.93/1827.83	c #Conflicts:     242000 | #Constraints:      83180
1822.93/1827.83	c #Conflicts:     243000 | #Constraints:      84180
1822.93/1827.83	c #Conflicts:     244000 | #Constraints:      85180
1822.93/1827.83	c #Conflicts:     245000 | #Constraints:      86180
1822.93/1827.83	c #Conflicts:     246000 | #Constraints:      87180
1822.93/1827.83	c INPROCESSING
1822.93/1827.83	c GARBAGE COLLECT
1822.93/1827.83	c #Conflicts:     247000 | #Constraints:      78380
1822.93/1827.83	c #Conflicts:     248000 | #Constraints:      79380
1822.93/1827.83	c #Conflicts:     249000 | #Constraints:      80380
1822.93/1827.83	c #Conflicts:     250000 | #Constraints:      81380
2432.10/2438.62	c #Conflicts:     251000 | #Constraints:      82380
2432.10/2438.62	c #Conflicts:     252000 | #Constraints:      83380
2432.10/2438.62	c #Conflicts:     253000 | #Constraints:      84380
2432.10/2438.62	c #Conflicts:     254000 | #Constraints:      85380
2432.10/2438.62	c #Conflicts:     255000 | #Constraints:      86380
2432.10/2438.62	c #Conflicts:     256000 | #Constraints:      87380
2432.10/2438.62	c INPROCESSING
2432.10/2438.62	c GARBAGE COLLECT
2432.10/2438.62	c #Conflicts:     257000 | #Constraints:      78373
2432.10/2438.62	c #Conflicts:     258000 | #Constraints:      79373
2432.10/2438.62	c #Conflicts:     259000 | #Constraints:      80373
2432.10/2438.62	c #Conflicts:     260000 | #Constraints:      81373
2432.10/2438.62	c #Conflicts:     261000 | #Constraints:      82373
2432.10/2438.62	c #Conflicts:     262000 | #Constraints:      83373
2432.10/2438.62	c #Conflicts:     263000 | #Constraints:      84373
2432.10/2438.62	c #Conflicts:     264000 | #Constraints:      85373
2432.10/2438.62	c #Conflicts:     265000 | #Constraints:      86373
2432.10/2438.62	c #Conflicts:     266000 | #Constraints:      87373
2432.10/2438.62	c INPROCESSING
2432.10/2438.62	c GARBAGE COLLECT
2432.10/2438.62	c #Conflicts:     267000 | #Constraints:      78168
2432.10/2438.62	c #Conflicts:     268000 | #Constraints:      79168
2432.10/2438.62	c #Conflicts:     269000 | #Constraints:      80168
2432.10/2438.62	c #Conflicts:     270000 | #Constraints:      81168
2432.10/2438.62	c #Conflicts:     271000 | #Constraints:      82168
2432.10/2438.62	c #Conflicts:     272000 | #Constraints:      83168
2432.10/2438.62	c #Conflicts:     273000 | #Constraints:      84168
2432.10/2438.62	c #Conflicts:     274000 | #Constraints:      85168
2432.10/2438.62	c #Conflicts:     275000 | #Constraints:      86168
2432.10/2438.62	c #Conflicts:     276000 | #Constraints:      87168
2432.10/2438.62	c #Conflicts:     277000 | #Constraints:      88168
2432.10/2438.62	c INPROCESSING
2432.10/2438.62	c GARBAGE COLLECT
2432.10/2438.62	c #Conflicts:     278000 | #Constraints:      78774
2432.10/2438.62	c #Conflicts:     279000 | #Constraints:      79774
2432.10/2438.62	c #Conflicts:     280000 | #Constraints:      80774
2432.10/2438.62	c #Conflicts:     281000 | #Constraints:      81774
2432.10/2438.62	c #Conflicts:     282000 | #Constraints:      82774
2432.10/2438.62	c #Conflicts:     283000 | #Constraints:      83774
2432.10/2438.62	c #Conflicts:     284000 | #Constraints:      84774
2432.10/2438.62	c #Conflicts:     285000 | #Constraints:      85774
2432.10/2438.62	c #Conflicts:     286000 | #Constraints:      86774
2432.10/2438.62	c #Conflicts:     287000 | #Constraints:      87774
2432.10/2438.62	c #Conflicts:     288000 | #Constraints:      88774
2432.10/2438.62	c INPROCESSING
2432.10/2438.62	c GARBAGE COLLECT
2432.10/2438.62	c #Conflicts:     289000 | #Constraints:      79174
2432.10/2438.62	c #Conflicts:     290000 | #Constraints:      80174
2432.10/2438.62	c #Conflicts:     291000 | #Constraints:      81174
2432.10/2438.62	c #Conflicts:     292000 | #Constraints:      82174
2432.10/2438.62	c #Conflicts:     293000 | #Constraints:      83174
2432.10/2438.62	c #Conflicts:     294000 | #Constraints:      84174
2432.10/2438.62	c #Conflicts:     295000 | #Constraints:      85174
2432.10/2438.62	c #Conflicts:     296000 | #Constraints:      86174
2432.10/2438.62	c #Conflicts:     297000 | #Constraints:      87174
2432.10/2438.62	c #Conflicts:     298000 | #Constraints:      88174
2432.10/2438.62	c #Conflicts:     299000 | #Constraints:      89174
2432.10/2438.62	c INPROCESSING
2432.10/2438.62	c GARBAGE COLLECT
2432.10/2438.62	c #Conflicts:     300000 | #Constraints:      79378
2432.10/2438.62	c #Conflicts:     301000 | #Constraints:      80378
2432.10/2438.62	c #Conflicts:     302000 | #Constraints:      81378
2432.10/2438.62	c #Conflicts:     303000 | #Constraints:      82378
2432.10/2438.62	c #Conflicts:     304000 | #Constraints:      83378
2432.10/2438.62	c #Conflicts:     305000 | #Constraints:      84378
2432.10/2438.62	c #Conflicts:     306000 | #Constraints:      85378
2432.10/2438.62	c #Conflicts:     307000 | #Constraints:      86378
2432.10/2438.62	c #Conflicts:     308000 | #Constraints:      87378
2432.10/2438.62	c #Conflicts:     309000 | #Constraints:      88378
2432.10/2438.62	c #Conflicts:     310000 | #Constraints:      89378
2432.10/2438.62	c INPROCESSING
2432.10/2438.62	c GARBAGE COLLECT
2432.10/2438.62	c #Conflicts:     311000 | #Constraints:      79376
2432.10/2438.62	c #Conflicts:     312000 | #Constraints:      80376
2432.10/2438.62	c #Conflicts:     313000 | #Constraints:      81376
2432.10/2438.62	c #Conflicts:     314000 | #Constraints:      82376
2432.10/2438.62	c #Conflicts:     315000 | #Constraints:      83376
2432.10/2438.62	c #Conflicts:     316000 | #Constraints:      84376
2432.10/2438.62	c #Conflicts:     317000 | #Constraints:      85376
2432.10/2438.62	c #Conflicts:     318000 | #Constraints:      86376
2432.10/2438.62	c #Conflicts:     319000 | #Constraints:      87376
2432.10/2438.62	c #Conflicts:     320000 | #Constraints:      88376
2432.10/2438.62	c #Conflicts:     321000 | #Constraints:      89376
2432.10/2438.62	c INPROCESSING
2432.10/2438.62	c GARBAGE COLLECT
2432.10/2438.62	c #Conflicts:     322000 | #Constraints:      79173
2432.10/2438.62	c #Conflicts:     323000 | #Constraints:      80173
2432.10/2438.62	c #Conflicts:     324000 | #Constraints:      81173
2432.10/2438.62	c #Conflicts:     325000 | #Constraints:      82173
3057.37/3065.67	c #Conflicts:     326000 | #Constraints:      83173
3057.37/3065.67	c #Conflicts:     327000 | #Constraints:      84173
3057.37/3065.67	c #Conflicts:     328000 | #Constraints:      85173
3057.37/3065.67	c #Conflicts:     329000 | #Constraints:      86173
3057.37/3065.67	c #Conflicts:     330000 | #Constraints:      87173
3057.37/3065.67	c #Conflicts:     331000 | #Constraints:      88173
3057.37/3065.67	c #Conflicts:     332000 | #Constraints:      89173
3057.37/3065.67	c #Conflicts:     333000 | #Constraints:      90173
3057.37/3065.67	c INPROCESSING
3057.37/3065.67	c GARBAGE COLLECT
3057.37/3065.67	c #Conflicts:     334000 | #Constraints:      79776
3057.37/3065.67	c #Conflicts:     335000 | #Constraints:      80776
3057.37/3065.67	c #Conflicts:     336000 | #Constraints:      81776
3057.37/3065.67	c #Conflicts:     337000 | #Constraints:      82776
3057.37/3065.67	c #Conflicts:     338000 | #Constraints:      83776
3057.37/3065.67	c #Conflicts:     339000 | #Constraints:      84776
3057.37/3065.67	c #Conflicts:     340000 | #Constraints:      85776
3057.37/3065.67	c #Conflicts:     341000 | #Constraints:      86776
3057.37/3065.67	c #Conflicts:     342000 | #Constraints:      87776
3057.37/3065.67	c #Conflicts:     343000 | #Constraints:      88776
3057.37/3065.67	c #Conflicts:     344000 | #Constraints:      89776
3057.37/3065.67	c #Conflicts:     345000 | #Constraints:      90776
3057.37/3065.67	c INPROCESSING
3057.37/3065.67	c GARBAGE COLLECT
3057.37/3065.67	c #Conflicts:     346000 | #Constraints:      80173
3057.37/3065.67	c #Conflicts:     347000 | #Constraints:      81173
3057.37/3065.67	c #Conflicts:     348000 | #Constraints:      82173
3057.37/3065.67	c #Conflicts:     349000 | #Constraints:      83173
3057.37/3065.67	c #Conflicts:     350000 | #Constraints:      84173
3057.37/3065.67	c #Conflicts:     351000 | #Constraints:      85173
3057.37/3065.67	c #Conflicts:     352000 | #Constraints:      86173
3057.37/3065.67	c #Conflicts:     353000 | #Constraints:      87173
3057.37/3065.67	c #Conflicts:     354000 | #Constraints:      88173
3057.37/3065.67	c #Conflicts:     355000 | #Constraints:      89173
3057.37/3065.67	c #Conflicts:     356000 | #Constraints:      90173
3057.37/3065.67	c #Conflicts:     357000 | #Constraints:      91173
3057.37/3065.67	c INPROCESSING
3057.37/3065.67	c GARBAGE COLLECT
3057.37/3065.67	c #Conflicts:     358000 | #Constraints:      80379
3057.37/3065.67	c #Conflicts:     359000 | #Constraints:      81379
3057.37/3065.67	c #Conflicts:     360000 | #Constraints:      82379
3057.37/3065.67	c #Conflicts:     361000 | #Constraints:      83379
3057.37/3065.67	c #Conflicts:     362000 | #Constraints:      84379
3057.37/3065.67	c #Conflicts:     363000 | #Constraints:      85379
3057.37/3065.67	c #Conflicts:     364000 | #Constraints:      86379
3057.37/3065.67	c #Conflicts:     365000 | #Constraints:      87379
3057.37/3065.67	c #Conflicts:     366000 | #Constraints:      88379
3057.37/3065.67	c #Conflicts:     367000 | #Constraints:      89379
3057.37/3065.67	c #Conflicts:     368000 | #Constraints:      90379
3057.37/3065.67	c #Conflicts:     369000 | #Constraints:      91379
3057.37/3065.67	c INPROCESSING
3057.37/3065.67	c GARBAGE COLLECT
3057.37/3065.67	c #Conflicts:     370000 | #Constraints:      80374
3057.37/3065.67	c #Conflicts:     371000 | #Constraints:      81374
3057.37/3065.67	c #Conflicts:     372000 | #Constraints:      82374
3057.37/3065.67	c #Conflicts:     373000 | #Constraints:      83374
3057.37/3065.67	c #Conflicts:     374000 | #Constraints:      84374
3057.37/3065.67	c #Conflicts:     375000 | #Constraints:      85374
3057.37/3065.67	c #Conflicts:     376000 | #Constraints:      86374
3057.37/3065.67	c #Conflicts:     377000 | #Constraints:      87374
3057.37/3065.67	c #Conflicts:     378000 | #Constraints:      88374
3057.37/3065.67	c #Conflicts:     379000 | #Constraints:      89374
3057.37/3065.67	c #Conflicts:     380000 | #Constraints:      90374
3057.37/3065.67	c #Conflicts:     381000 | #Constraints:      91374
3057.37/3065.67	c INPROCESSING
3057.37/3065.67	c GARBAGE COLLECT
3057.37/3065.67	c #Conflicts:     382000 | #Constraints:      80170
3057.37/3065.67	c #Conflicts:     383000 | #Constraints:      81170
3057.37/3065.67	c #Conflicts:     384000 | #Constraints:      82170
3057.37/3065.67	c #Conflicts:     385000 | #Constraints:      83170
3057.37/3065.67	c #Conflicts:     386000 | #Constraints:      84170
3057.37/3065.67	c #Conflicts:     387000 | #Constraints:      85170
3057.37/3065.67	c #Conflicts:     388000 | #Constraints:      86170
3057.37/3065.67	c #Conflicts:     389000 | #Constraints:      87170
3057.37/3065.67	c #Conflicts:     390000 | #Constraints:      88170
3057.37/3065.67	c #Conflicts:     391000 | #Constraints:      89170
3057.37/3065.67	c #Conflicts:     392000 | #Constraints:      90170
3057.37/3065.67	c #Conflicts:     393000 | #Constraints:      91170
3057.37/3065.67	c #Conflicts:     394000 | #Constraints:      92170
3057.37/3065.67	c INPROCESSING
3057.37/3065.67	c GARBAGE COLLECT
3057.37/3065.67	c #Conflicts:     395000 | #Constraints:      80778
3057.37/3065.67	c #Conflicts:     396000 | #Constraints:      81778
3057.37/3065.67	c #Conflicts:     397000 | #Constraints:      82778
3057.37/3065.67	c #Conflicts:     398000 | #Constraints:      83778
3057.37/3065.67	c #Conflicts:     399000 | #Constraints:      84778
3600.06/3609.90	c #Conflicts:     400000 | #Constraints:      85778
3600.06/3609.90	c #Conflicts:     401000 | #Constraints:      86778
3600.06/3609.90	c #Conflicts:     402000 | #Constraints:      87778
3600.06/3609.90	c #Conflicts:     403000 | #Constraints:      88778
3600.06/3609.90	c #Conflicts:     404000 | #Constraints:      89778
3600.06/3609.90	c #Conflicts:     405000 | #Constraints:      90778
3600.06/3609.90	c #Conflicts:     406000 | #Constraints:      91778
3600.06/3609.90	c #Conflicts:     407000 | #Constraints:      92778
3600.06/3609.90	c INPROCESSING
3600.06/3609.90	c GARBAGE COLLECT
3600.06/3609.90	c #Conflicts:     408000 | #Constraints:      81170
3600.06/3609.90	c #Conflicts:     409000 | #Constraints:      82170
3600.06/3609.90	c #Conflicts:     410000 | #Constraints:      83170
3600.06/3609.90	c #Conflicts:     411000 | #Constraints:      84170
3600.06/3609.90	c #Conflicts:     412000 | #Constraints:      85170
3600.06/3609.90	c #Conflicts:     413000 | #Constraints:      86170
3600.06/3609.90	c #Conflicts:     414000 | #Constraints:      87170
3600.06/3609.90	c #Conflicts:     415000 | #Constraints:      88170
3600.06/3609.90	c #Conflicts:     416000 | #Constraints:      89170
3600.06/3609.90	c #Conflicts:     417000 | #Constraints:      90170
3600.06/3609.90	c #Conflicts:     418000 | #Constraints:      91170
3600.06/3609.90	c #Conflicts:     419000 | #Constraints:      92170
3600.06/3609.90	c #Conflicts:     420000 | #Constraints:      93170
3600.06/3609.90	c INPROCESSING
3600.06/3609.90	c GARBAGE COLLECT
3600.06/3609.90	c #Conflicts:     421000 | #Constraints:      81384
3600.06/3609.90	c #Conflicts:     422000 | #Constraints:      82384
3600.06/3609.90	c #Conflicts:     423000 | #Constraints:      83384
3600.06/3609.90	c #Conflicts:     424000 | #Constraints:      84384
3600.06/3609.90	c #Conflicts:     425000 | #Constraints:      85384
3600.06/3609.90	c #Conflicts:     426000 | #Constraints:      86384
3600.06/3609.90	c #Conflicts:     427000 | #Constraints:      87384
3600.06/3609.90	c #Conflicts:     428000 | #Constraints:      88384
3600.06/3609.90	c #Conflicts:     429000 | #Constraints:      89384
3600.06/3609.90	c #Conflicts:     430000 | #Constraints:      90384
3600.06/3609.90	c #Conflicts:     431000 | #Constraints:      91384
3600.06/3609.90	c #Conflicts:     432000 | #Constraints:      92384
3600.06/3609.90	c #Conflicts:     433000 | #Constraints:      93384
3600.06/3609.90	c INPROCESSING
3600.06/3609.90	c GARBAGE COLLECT
3600.06/3609.90	c #Conflicts:     434000 | #Constraints:      81386
3600.06/3609.90	c #Conflicts:     435000 | #Constraints:      82386
3600.06/3609.90	c #Conflicts:     436000 | #Constraints:      83386
3600.06/3609.90	c #Conflicts:     437000 | #Constraints:      84386
3600.06/3609.90	c #Conflicts:     438000 | #Constraints:      85386
3600.06/3609.90	c #Conflicts:     439000 | #Constraints:      86386
3600.06/3609.90	c #Conflicts:     440000 | #Constraints:      87386
3600.06/3609.90	c #Conflicts:     441000 | #Constraints:      88386
3600.06/3609.90	c #Conflicts:     442000 | #Constraints:      89386
3600.06/3609.90	c #Conflicts:     443000 | #Constraints:      90386
3600.06/3609.90	c #Conflicts:     444000 | #Constraints:      91386
3600.06/3609.90	c #Conflicts:     445000 | #Constraints:      92386
3600.06/3609.90	c #Conflicts:     446000 | #Constraints:      93386
3600.06/3609.90	c INPROCESSING
3600.06/3609.90	c GARBAGE COLLECT
3600.06/3609.90	c #Conflicts:     447000 | #Constraints:      81189
3600.06/3609.90	c #Conflicts:     448000 | #Constraints:      82189
3600.06/3609.90	c #Conflicts:     449000 | #Constraints:      83189
3600.06/3609.90	c #Conflicts:     450000 | #Constraints:      84189
3600.06/3609.90	c #Conflicts:     451000 | #Constraints:      85189
3600.06/3609.90	c #Conflicts:     452000 | #Constraints:      86189
3600.06/3609.90	c #Conflicts:     453000 | #Constraints:      87189
3600.06/3609.90	c #Conflicts:     454000 | #Constraints:      88189
3600.06/3609.90	c #Conflicts:     455000 | #Constraints:      89189
3600.06/3609.90	c #Conflicts:     456000 | #Constraints:      90189
3600.06/3609.90	c #Conflicts:     457000 | #Constraints:      91189
3600.06/3609.90	c #Conflicts:     458000 | #Constraints:      92189
3600.06/3609.90	c #Conflicts:     459000 | #Constraints:      93189
3600.06/3609.90	c cpu time 3555.92 s
3600.06/3609.90	c deterministic time 1 1.00e+00
3600.06/3609.90	c optimization time 3554.47 s
3600.06/3609.90	c total solve time 0 s
3600.06/3609.90	c core-guided solve time 0 s
3600.06/3609.90	c propagation time 0.028318 s
3600.06/3609.90	c conflict analysis time 0 s
3600.06/3609.90	c propagations 0
3600.06/3609.90	c resolve steps 0
3600.06/3609.90	c decisions 0
3600.06/3609.90	c conflicts 0
3600.06/3609.90	c restarts 0
3600.06/3609.90	c inprocessing phases 0
3600.06/3609.90	c garbage collections 0 ,( -nan )
3600.06/3609.90	c input clauses 65280 ,( 100.00 )
3600.06/3609.90	c input cardinalities 0 ,( 0.00 )
3600.06/3609.90	c input general constraints 0 ,( 0.00 )
3600.06/3609.90	c input average constraint length 81.32
3600.06/3609.90	c input average constraint degree 1.00
3600.06/3609.90	c learned clauses 0 ,( 0.00 )
3600.06/3609.90	c learned cardinalities 0 ,( 0.00 )
3600.06/3609.90	c learned general constraints 0 ,( 0.00 )
3600.06/3609.90	c learned average constraint length 0.00
3600.06/3609.90	c learned average constraint degree 0.00
3600.06/3609.90	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3609.90	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.06/3609.90	c watched   constraints 0 ,( -nan ) 
3600.06/3609.90	c counting  constraints 0 ,( -nan ) 
3600.06/3609.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3609.90	c gcd simplifications 0
3600.06/3609.90	c detected cardinalities 0
3600.06/3609.90	c weakened non-implied lits 0
3600.06/3609.90	c weakened non-implying lits 0
3600.06/3609.90	c original variables 15312
3600.06/3609.90	c clausal propagations 0
3600.06/3609.90	c cardinality propagations 0
3600.06/3609.90	c watched propagations 0
3600.06/3609.90	c counting propagations 0
3600.06/3609.90	c watch lookups 0
3600.06/3609.90	c watch backjump lookups 0
3600.06/3609.90	c watch checks 0
3600.06/3609.90	c propagation checks 0
3600.06/3609.90	c constraint additions 0
3600.06/3609.90	c trail pops 0
3600.06/3609.90	c formula constraints 65280
3600.06/3609.90	c learned constraints 0
3600.06/3609.90	c bound constraints 0
3600.06/3609.90	c core-guided constraints 0
3600.06/3609.90	c encountered formula constraints 0
3600.06/3609.90	c encountered learned constraints 0
3600.06/3609.90	c encountered bound constraints 0
3600.06/3609.90	c encountered core-guided constraints 0
3600.06/3609.90	c LP total time 0 s
3600.06/3609.90	c LP solve time 0 s
3600.06/3609.90	c LP constraints added 0
3600.06/3609.90	c LP constraints removed 0
3600.06/3609.90	c LP pivots internal 0
3600.06/3609.90	c LP pivots root 0
3600.06/3609.90	c LP calls 0
3600.06/3609.90	c LP optimalities 0
3600.06/3609.90	c LP no pivot count 0
3600.06/3609.90	c LP infeasibilities 0
3600.06/3609.90	c LP valid Farkas constraints 0
3600.06/3609.90	c LP learned Farkas constraints 0
3600.06/3609.90	c LP basis resets 0
3600.06/3609.90	c LP cycling count 0
3600.06/3609.90	c LP singular count 0
3600.06/3609.90	c LP no primal count 0
3600.06/3609.90	c LP no farkas count 0
3600.06/3609.90	c LP other issue count 0
3600.06/3609.90	c LP Gomory cuts 0
3600.06/3609.90	c LP learned cuts 0
3600.06/3609.90	c LP deleted cuts 0
3600.06/3609.90	c LP encountered Gomory constraints 0
3600.06/3609.90	c LP encountered Farkas constraints 0
3600.06/3609.90	c LP encountered learned Farkas constraints 0
3600.06/3609.90	c CG auxiliary variables introduced 0
3600.06/3609.90	c CG solutions found 0
3600.06/3609.90	c CG cores constructed 0
3600.06/3609.90	c CG core cardinality constraints returned 0
3600.06/3609.90	c CG unit cores 0
3600.06/3609.90	c CG single cores 0
3600.06/3609.90	c CG blocks removed during cardinality reduction 0
3600.06/3609.90	c CG first core best 0
3600.06/3609.90	c CG decision core best 0
3600.06/3609.90	c CG core reduction tie 0
3600.06/3609.90	c CG core degree average 0.00
3600.06/3609.90	c CG core slack average 0.00
3600.06/3609.90	c CG core upper bound improvements 0
3600.06/3609.90	c STR number of successful calls 0
3600.06/3609.90	c STR number of unsuccessful calls 0
3600.06/3609.90	c STR number of inconclusive calls 0
3600.06/3609.90	c STR number of successful attempts 0
3600.06/3609.90	c STR number of unsuccessful attempts 0
3600.06/3609.90	c STR number of inconclusive attempts 0
3600.06/3609.90	c STR average degree increase per successful call inf
3600.06/3609.90	c STR average degree increase per successful attempt inf
3600.06/3609.90	c STR total number of conflicts for successful attempts 0
3600.06/3609.90	c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.90	c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.90	c STR average number of conflicts per successful attempt inf
3600.06/3609.90	c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.90	c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.90	c AVG.sumWPerc -nan 
3600.06/3609.90	c bigint constraints 0 
3600.06/3609.90	s UNKNOWN
3600.06/3609.90	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62167 MiB free)
  memory of node 1: 64465 MiB (62604 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502830-1751477645/watcher-4502830-1751477645 -o /tmp/evaluation-result-4502830-1751477645/solver-4502830-1751477645 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751477637-67543 --watchdog 3760 run-opt.sh HOME/instance-4502830-1751477645.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Starting watchdog thread
solver pid=67789, runsolver pid=67786
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 0.91 1.95 3.12 5/270 67791
/proc/meminfo: memFree=127764308/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=58088 memory=12932 CPUtime=0.07 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 1605 0 0 0 7 0 0 0 20 0 1 0 63441167 59482112 3233 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 14522 3233 1856 1147 0 1949 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62280 KiB
Current children cumulated memory: 16004 KiB

[startup+0.205422 s]*
/proc/loadavg: 0.91 1.95 3.12 5/270 67791
/proc/meminfo: memFree=127764308/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=58504 memory=15328 CPUtime=0.18 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 1687 0 0 0 17 1 0 0 20 0 1 0 63441167 59908096 3832 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 14626 3832 1856 1147 0 2053 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 62696 KiB
Current children cumulated memory: 18400 KiB

[startup+0.305347 s]*
/proc/loadavg: 1.16 1.98 3.12 5/270 67791
/proc/meminfo: memFree=127764308/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=61356 memory=16224 CPUtime=0.28 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 1911 0 0 0 27 1 0 0 20 0 1 0 63441167 62828544 4056 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 15339 4056 1856 1147 0 2766 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 65548 KiB
Current children cumulated memory: 19296 KiB

[startup+0.700172 s]
/proc/loadavg: 1.16 1.98 3.12 5/270 67791
/proc/meminfo: memFree=127760024/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=74520 memory=24224 CPUtime=0.67 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 3464 0 0 0 64 3 0 0 20 0 1 0 63441167 76308480 6056 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 18630 6056 1856 1147 0 6057 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 78712 KiB
Current children cumulated memory: 27296 KiB

[startup+1.50021 s]
/proc/loadavg: 1.16 1.98 3.12 5/270 67791
/proc/meminfo: memFree=127753520/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=209444 memory=146472 CPUtime=1.47 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 29889 0 0 0 137 10 0 0 20 0 1 0 63441167 214470656 36618 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 52361 36618 2208 1147 0 39788 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 213636 KiB
Current children cumulated memory: 149544 KiB

[startup+3.10534 s]
/proc/loadavg: 1.16 1.98 3.12 5/270 67791
/proc/meminfo: memFree=127416764/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=360188 memory=298236 CPUtime=3.07 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 51969 0 0 0 260 47 0 0 20 0 1 0 63441167 368832512 74559 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 90047 74559 2304 1147 0 77474 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 364380 KiB
Current children cumulated memory: 301308 KiB

[startup+6.30019 s]
/proc/loadavg: 1.39 2.02 3.13 5/270 67791
/proc/meminfo: memFree=127255364/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=490536 memory=440556 CPUtime=6.26 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 77314 0 0 0 478 148 0 0 20 0 1 0 63441167 502308864 110139 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 122634 110139 2336 1147 0 110061 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 494728 KiB
Current children cumulated memory: 443628 KiB

[startup+12.7002 s]
/proc/loadavg: 1.60 2.05 3.13 5/270 67791
/proc/meminfo: memFree=127051112/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=755624 memory=638372 CPUtime=12.64 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 111438 0 0 0 962 302 0 0 20 0 1 0 63441167 773758976 159593 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 188906 159593 2336 1147 0 176333 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 759816 KiB
Current children cumulated memory: 641444 KiB

[startup+25.5002 s]
/proc/loadavg: 1.97 2.12 3.14 5/270 67791
/proc/meminfo: memFree=126624304/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=1154908 memory=1005564 CPUtime=25.41 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 178717 0 0 0 2014 527 0 0 20 0 1 0 63441167 1182625792 251391 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 288727 251391 2336 1147 0 276154 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1159100 KiB
Current children cumulated memory: 1008636 KiB

[startup+51.1053 s]
/proc/loadavg: 2.82 2.31 3.18 5/269 67792
/proc/meminfo: memFree=125919812/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=1921996 memory=1681452 CPUtime=50.95 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 302227 0 0 0 4367 728 0 0 20 0 1 0 63441167 1968123904 420363 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 480499 420363 2336 1147 0 467926 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1926188 KiB
Current children cumulated memory: 1684524 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 2.57 3.22 5/269 67795
/proc/meminfo: memFree=123288320/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=4590404 memory=3774076 CPUtime=102.01 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 774892 0 0 0 9136 1065 0 0 20 0 1 0 63441167 4700573696 943519 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 1147601 943519 2336 1147 0 1135028 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 4594596 KiB
Current children cumulated memory: 3777148 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.87 3.28 5/269 67796
/proc/meminfo: memFree=122334776/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=5699652 memory=4543688 CPUtime=161.85 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 946992 0 0 0 14997 1188 0 0 20 0 1 0 63441167 5836443648 1135922 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 1424913 1135922 2336 1147 0 1412340 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 5703844 KiB
Current children cumulated memory: 4546760 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.09 3.34 5/269 67805
/proc/meminfo: memFree=122157556/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=5929148 memory=4712740 CPUtime=221.68 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 983653 0 0 0 20805 1363 0 0 20 0 1 0 63441167 6071447552 1178185 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 1482287 1178185 2336 1147 0 1469714 0
Current children cumulated CPU time: 221.68 s

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

/proc/loadavg: 4.12 4.09 4.06 5/266 67951
/proc/meminfo: memFree=115805060/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=11214404 memory=10296560 CPUtime=3153.79 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 1948121 0 0 0 311150 4229 0 0 20 0 1 0 63441167 11483549696 2574140 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 2803601 2574140 2336 1147 0 2791028 0
Current children cumulated CPU time: 3153.79 s
Current children cumulated vsize: 11218596 KiB
Current children cumulated memory: 10299632 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/268 67961
/proc/meminfo: memFree=115803836/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=11214404 memory=10296560 CPUtime=3213.61 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 1949362 0 0 0 317103 4258 0 0 20 0 1 0 63441167 11483549696 2574140 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 2803601 2574140 2336 1147 0 2791028 0
Current children cumulated CPU time: 3213.61 s
Current children cumulated vsize: 11218596 KiB
Current children cumulated memory: 10299632 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/268 67963
/proc/meminfo: memFree=115792076/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=11219636 memory=10304240 CPUtime=3273.44 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 1953102 0 0 0 323060 4284 0 0 20 0 1 0 63441167 11488907264 2576060 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 2804909 2576060 2336 1147 0 2792336 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 11223828 KiB
Current children cumulated memory: 10307312 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.08 5/268 67965
/proc/meminfo: memFree=115794120/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=11219636 memory=10304368 CPUtime=3333.25 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 1954677 0 0 0 329024 4301 0 0 20 0 1 0 63441167 11488907264 2576092 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 2804909 2576092 2336 1147 0 2792336 0
Current children cumulated CPU time: 3333.25 s
Current children cumulated vsize: 11223828 KiB
Current children cumulated memory: 10307440 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/268 67967
/proc/meminfo: memFree=115732516/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=11276892 memory=10370672 CPUtime=3393.08 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 1970104 0 0 0 334979 4329 0 0 20 0 1 0 63441167 11547537408 2592668 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 2819223 2592668 2336 1147 0 2806650 0
Current children cumulated CPU time: 3393.08 s
Current children cumulated vsize: 11281084 KiB
Current children cumulated memory: 10373744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/268 67969
/proc/meminfo: memFree=115733136/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=11276892 memory=10371952 CPUtime=3452.89 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 1971601 0 0 0 340942 4347 0 0 20 0 1 0 63441167 11547537408 2592988 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 2819223 2592988 2336 1147 0 2806650 0
Current children cumulated CPU time: 3452.89 s
Current children cumulated vsize: 11281084 KiB
Current children cumulated memory: 10375024 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/267 67971
/proc/meminfo: memFree=115469504/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=11445576 memory=10573652 CPUtime=3512.72 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 2010069 0 0 0 346890 4382 0 0 20 0 1 0 63441167 11720269824 2643413 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 2861394 2643413 2336 1147 0 2848821 0
Current children cumulated CPU time: 3512.72 s
Current children cumulated vsize: 11449768 KiB
Current children cumulated memory: 10576724 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/267 67973
/proc/meminfo: memFree=115469180/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=11445576 memory=10573780 CPUtime=3572.55 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 2011335 0 0 0 352853 4402 0 0 20 0 1 0 63441167 11720269824 2643445 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 2861394 2643445 2336 1147 0 2848821 0
Current children cumulated CPU time: 3572.55 s
Current children cumulated vsize: 11449768 KiB
Current children cumulated memory: 10576852 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.17 4.11 4.08 5/268 68159
/proc/meminfo: memFree=116733436/131250000 swapFree=33010672/33010684
[pid=67789] ppid=67786 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/67789/stat : 67789 (run-opt.sh) S 67786 67789 67533 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 63441166 4292608 768 18446744073709551615 94198711996416 94198712890949 140727100181808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94198713130000 94198713177744 94198715817984 140727100184941 140727100185064 140727100185064 140727100190666 0
/proc/67789/statm: 1048 768 704 219 0 110 0
[pid=67791] ppid=67789 vsize=11476168 memory=10604372 CPUtime=3600.06 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67789 67789 67533 0 -1 4194304 2019875 0 0 0 355591 4415 0 0 20 0 1 0 63441167 11751596032 2651093 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 2869042 2651093 2336 1147 0 2856469 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 11480360 KiB
Current children cumulated memory: 10607444 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.001962 s

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

# cumulated CPU time of all completed processes:  user=3555.94 s, system=44.4839 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

[startup+3610 s]*
/proc/loadavg: 4.17 4.11 4.08 5/267 68159
/proc/meminfo: memFree=118279336/131250000 swapFree=33010672/33010684
[pid=67791] ppid=67786 vsize=9795644 memory=8818508 CPUtime=3600.17 cores=0,2
/proc/67791/stat : 67791 (roundingsat) R 67786 67789 67533 0 -1 4194304 2020670 0 0 0 355592 4425 0 0 20 0 1 0 63441167 10030739456 2204627 18446744073709551615 4227072 8923433 140732243058096 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30535680 140732243061154 140732243061288 140732243061288 140732243066858 0
/proc/67791/statm: 2448911 2204627 2400 1147 0 2436338 0
Current cumulated CPU time of completed processes: 0.001962 s
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 9795644 KiB
Current children cumulated memory: 8818508 KiB

[startup+3610.2 s]*
/proc/loadavg: 4.17 4.11 4.08 5/267 68159
/proc/meminfo: memFree=126407460/131250000 swapFree=33010672/33010684
Current cumulated CPU time of completed processes: 0.001962 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3610.26
CPU time (s): 3600.42
CPU user time (s): 3555.94
CPU system time (s): 44.4839
CPU usage (%): 99.7277
Max. virtual memory (cumulated for all children) (KiB): 11480360
Max. memory (cumulated for all children) (KiB): 10607444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3555.94
system time used= 44.4839
maximum resident set size= 10604628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2020947
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 393
involuntary context switches= 4745


# summary of solver processes directly reported to runsolver:
#   pid: 67789,67791
#   total CPU time (s): 3600.42
#   total CPU user time (s): 3555.94
#   total CPU system time (s): 44.4839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98886 second user time and 16.2734 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-02 19:34:06
IDJOB=4502830
IDBENCH=155399
IDSOLVER=3350
FILE ID=nodeC014/4502830-1751477645
RUNJOBID= nodeC014-1751477637-67543
SLURM_JOB_ID= 9598515
Free space on /tmp= 430468 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_13_shg.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502830-1751477645/watcher-4502830-1751477645 -o /tmp/evaluation-result-4502830-1751477645/solver-4502830-1751477645 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751477637-67543 --watchdog 3760  run-opt.sh HOME/instance-4502830-1751477645.opb

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

MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59
RANDOM SEED=330419317

nodeC014 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		: 3600.120
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	: 7000.23
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		: 3600.131
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	: 7000.23
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		: 3599.336
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	: 7000.23
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		: 3463.172
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	: 7000.23
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		: 3600.086
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	: 7000.23
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		: 3600.109
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	: 7000.23
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		: 3599.129
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	: 7000.23
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		: 3700.000
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127766716 kB
MemAvailable:   129549156 kB
Buffers:            2508 kB
Cached:          2577852 kB
SwapCached:            4 kB
Active:           839528 kB
Inactive:        2030720 kB
Active(anon):     303816 kB
Inactive(anon):     3852 kB
Active(file):     535712 kB
Inactive(file):  2026868 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             77676 kB
Writeback:            20 kB
AnonPages:        292956 kB
Mapped:           117328 kB
Shmem:             18064 kB
KReclaimable:     118196 kB
Slab:             208720 kB
SReclaimable:     118196 kB
SUnreclaim:        90524 kB
KernelStack:        4356 kB
PageTables:         4044 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     660160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430420 MiB
End job on nodeC014 at 2025-07-02 20:34:16