Trace number 4521907

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-log 63f22ad? (TO) 3600.35 3609.3

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
MD5SUM8dda82f4961ecebecfcf9bee24c61458
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1540
Best CPU time to get the best result obtained on this benchmark1304.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4576880
Total number of constraints176770
Number of constraints which are clauses89155
Number of constraints which are cardinality constraints (but not clauses)81620
Number of constraints which are nor clauses,nor cardinality constraints5995
Minimum length of a constraint54
Maximum length of a constraint59
Number of terms in the objective function 3080
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 3080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3080
Number of bits of the biggest sum of numbers12
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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
4.86/4.93	c #variables 4576880 #constraints 176770
4.86/4.93	c objective is ce32 
5.56/5.67	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.56/5.67	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.56/5.67	c GLOBAL bounds - >= 0 @ 4.59084
10.16/10.27	c GLOBAL bounds - >= 0 @ 6.31078
15.74/15.85	c GLOBAL bounds - >= 0 @ 10.9226
20.33/20.45	c GLOBAL bounds - >= 0 @ 12.6213
20.42/20.56	c GLOBAL bounds - >= 0 @ 12.6847
24.92/25.10	c GLOBAL bounds - >= 0 @ 14.37
25.02/25.15	c GLOBAL bounds - >= 0 @ 14.4107
29.50/29.66	c GLOBAL bounds - >= 0 @ 16.0531
29.60/29.72	c GLOBAL bounds - >= 0 @ 16.0982
34.08/34.25	c GLOBAL bounds - >= 0 @ 17.8241
34.18/34.31	c GLOBAL bounds - >= 0 @ 17.8691
38.67/38.83	c GLOBAL bounds - >= 0 @ 19.5611
38.67/38.89	c GLOBAL bounds - >= 0 @ 19.6098
43.27/43.43	c GLOBAL bounds - >= 0 @ 21.3327
43.27/43.49	c GLOBAL bounds - >= 0 @ 21.3847
47.86/48.01	c GLOBAL bounds - >= 0 @ 23.0729
47.86/48.08	c GLOBAL bounds - >= 0 @ 23.1267
52.44/52.61	c GLOBAL bounds - >= 0 @ 24.8465
52.44/52.68	c GLOBAL bounds - >= 0 @ 24.9
57.02/57.22	c GLOBAL bounds - >= 0 @ 26.5564
57.02/57.29	c GLOBAL bounds - >= 0 @ 26.6114
61.61/61.83	c GLOBAL bounds - >= 0 @ 28.314
66.20/66.48	c GLOBAL bounds - >= 10 @ 30.0256
66.30/66.56	c GLOBAL bounds - >= 10 @ 30.0912
70.90/71.11	c GLOBAL bounds - >= 10 @ 31.7564
70.90/71.19	c GLOBAL bounds - >= 10 @ 31.8093
75.47/75.73	c GLOBAL bounds - >= 10 @ 33.4384
75.58/75.81	c GLOBAL bounds - >= 10 @ 33.4942
80.06/80.34	c GLOBAL bounds - >= 10 @ 35.1748
80.17/80.43	c GLOBAL bounds - >= 10 @ 35.2361
84.65/84.97	c GLOBAL bounds - >= 10 @ 36.9249
84.76/85.06	c GLOBAL bounds - >= 10 @ 36.9901
89.25/89.59	c GLOBAL bounds - >= 10 @ 38.6631
89.34/89.68	c GLOBAL bounds - >= 10 @ 38.7227
93.93/94.21	c GLOBAL bounds - >= 10 @ 40.3883
94.13/94.42	c GLOBAL bounds - >= 10 @ 40.5235
98.62/98.94	c GLOBAL bounds - >= 10 @ 42.1597
98.73/99.04	c GLOBAL bounds - >= 10 @ 42.2236
103.20/103.57	c GLOBAL bounds - >= 10 @ 43.9076
103.31/103.68	c #Conflicts:       1000 | #Constraints:     177807
103.31/103.68	c GLOBAL bounds - >= 10 @ 43.9779
107.89/108.20	c GLOBAL bounds - >= 10 @ 45.6022
107.99/108.31	c GLOBAL bounds - >= 10 @ 45.6707
112.49/112.84	c GLOBAL bounds - >= 10 @ 47.3343
112.49/112.88	c GLOBAL bounds - >= 20 @ 47.3688
112.58/112.99	c GLOBAL bounds - >= 20 @ 47.4484
117.16/117.53	c GLOBAL bounds - >= 20 @ 49.1207
117.27/117.65	c GLOBAL bounds - >= 20 @ 49.1955
121.76/122.18	c GLOBAL bounds - >= 20 @ 50.8438
121.95/122.30	c GLOBAL bounds - >= 20 @ 50.9131
126.54/126.90	c GLOBAL bounds - >= 20 @ 52.5986
126.65/127.02	c GLOBAL bounds - >= 20 @ 52.6693
131.13/131.56	c GLOBAL bounds - >= 20 @ 54.3082
131.23/131.68	c GLOBAL bounds - >= 20 @ 54.3856
135.81/136.21	c GLOBAL bounds - >= 20 @ 56.0551
135.92/136.34	c GLOBAL bounds - >= 20 @ 56.138
140.41/140.87	c GLOBAL bounds - >= 20 @ 57.7609
140.51/141.00	c GLOBAL bounds - >= 20 @ 57.8324
145.09/145.53	c GLOBAL bounds - >= 20 @ 59.4899
145.20/145.66	c GLOBAL bounds - >= 20 @ 59.5743
149.70/150.20	c GLOBAL bounds - >= 20 @ 61.2638
149.88/150.33	c GLOBAL bounds - >= 20 @ 61.3498
154.37/154.86	c GLOBAL bounds - >= 20 @ 63.067
154.47/155.00	c GLOBAL bounds - >= 20 @ 63.151
159.06/159.53	c GLOBAL bounds - >= 20 @ 64.7668
159.06/159.57	c GLOBAL bounds - >= 30 @ 64.8075
159.27/159.72	c GLOBAL bounds - >= 30 @ 64.9025
163.76/164.24	c GLOBAL bounds - >= 30 @ 66.568
163.85/164.39	c GLOBAL bounds - >= 30 @ 66.6495
168.44/168.91	c GLOBAL bounds - >= 30 @ 68.3213
168.56/169.07	c GLOBAL bounds - >= 30 @ 68.4158
173.03/173.58	c GLOBAL bounds - >= 30 @ 70.0878
173.23/173.74	c GLOBAL bounds - >= 30 @ 70.1742
177.72/178.26	c GLOBAL bounds - >= 30 @ 71.8378
177.91/178.42	c GLOBAL bounds - >= 30 @ 71.9296
182.41/182.93	c GLOBAL bounds - >= 30 @ 73.5448
182.52/183.09	c GLOBAL bounds - >= 30 @ 73.6421
187.10/187.60	c GLOBAL bounds - >= 30 @ 75.3326
187.19/187.77	c GLOBAL bounds - >= 30 @ 75.4282
191.69/192.28	c GLOBAL bounds - >= 30 @ 77.0945
191.88/192.45	c #Conflicts:       2000 | #Constraints:     178867
191.88/192.45	c GLOBAL bounds - >= 30 @ 77.1889
196.38/196.96	c GLOBAL bounds - >= 30 @ 78.8361
200.86/201.44	c INPROCESSING
200.86/201.44	c GLOBAL bounds - >= 30 @ 83.1335
205.35/205.96	c GLOBAL bounds - >= 30 @ 84.7549
205.57/206.13	c GLOBAL bounds - >= 30 @ 84.8535
210.04/210.66	c GLOBAL bounds - >= 30 @ 86.498
210.13/210.72	c GLOBAL bounds - >= 40 @ 86.5489
210.33/210.90	c GLOBAL bounds - >= 40 @ 86.6532
214.83/215.42	c GLOBAL bounds - >= 40 @ 88.2643
215.02/215.60	c GLOBAL bounds - >= 40 @ 88.3685
219.52/220.11	c GLOBAL bounds - >= 40 @ 90.0208
219.62/220.30	c GLOBAL bounds - >= 40 @ 90.1323
224.20/224.81	c GLOBAL bounds - >= 40 @ 91.8112
224.31/225.00	c GLOBAL bounds - >= 40 @ 91.9153
228.89/229.52	c GLOBAL bounds - >= 40 @ 93.6008
229.09/229.71	c GLOBAL bounds - >= 40 @ 93.7091
233.58/234.22	c GLOBAL bounds - >= 40 @ 95.3638
233.78/234.42	c GLOBAL bounds - >= 40 @ 95.47
238.27/238.95	c GLOBAL bounds - >= 40 @ 97.1943
238.48/239.14	c GLOBAL bounds - >= 40 @ 97.3126
242.96/243.66	c GLOBAL bounds - >= 40 @ 98.9256
243.15/243.86	c GLOBAL bounds - >= 40 @ 99.0345
247.65/248.38	c GLOBAL bounds - >= 40 @ 100.655
247.85/248.58	c GLOBAL bounds - >= 40 @ 100.776
252.35/253.10	c GLOBAL bounds - >= 40 @ 102.437
252.63/253.31	c GLOBAL bounds - >= 40 @ 102.549
257.13/257.83	c GLOBAL bounds - >= 40 @ 104.181
257.13/257.89	c GLOBAL bounds - >= 50 @ 104.24
257.33/258.10	c GLOBAL bounds - >= 50 @ 104.354
261.91/262.62	c GLOBAL bounds - >= 50 @ 106.022
262.11/262.83	c GLOBAL bounds - >= 50 @ 106.137
266.60/267.35	c GLOBAL bounds - >= 50 @ 107.749
266.81/267.57	c GLOBAL bounds - >= 50 @ 107.876
271.31/272.09	c GLOBAL bounds - >= 50 @ 109.492
271.59/272.31	c GLOBAL bounds - >= 50 @ 109.612
276.08/276.85	c GLOBAL bounds - >= 50 @ 111.263
276.29/277.07	c GLOBAL bounds - >= 50 @ 111.383
280.77/281.58	c GLOBAL bounds - >= 50 @ 113.087
281.06/281.81	c #Conflicts:       3000 | #Constraints:     178934
281.06/281.81	c GLOBAL bounds - >= 50 @ 113.213
285.56/286.33	c GLOBAL bounds - >= 50 @ 114.884
285.56/286.38	c GLOBAL bounds - >= 50 @ 114.929
290.04/290.89	c GLOBAL bounds - >= 50 @ 116.594
290.14/290.95	c GLOBAL bounds - >= 50 @ 116.646
294.63/295.47	c GLOBAL bounds - >= 50 @ 118.322
294.93/295.72	c GLOBAL bounds - >= 50 @ 118.471
299.42/300.23	c GLOBAL bounds - >= 50 @ 120.097
299.42/300.29	c GLOBAL bounds - >= 50 @ 120.149
304.01/304.81	c GLOBAL bounds - >= 50 @ 121.887
308.50/309.34	c GLOBAL bounds - >= 50 @ 123.558
312.99/313.86	c GLOBAL bounds - >= 50 @ 125.194
317.48/318.39	c GLOBAL bounds - >= 50 @ 126.863
317.57/318.46	c GLOBAL bounds - >= 57 @ 126.927
317.88/318.70	c GLOBAL bounds - >= 57 @ 127.058
317.88/318.72	c GLOBAL bounds - >= 57 @ 127.072
322.37/323.24	c GLOBAL bounds - >= 57 @ 128.753
322.37/323.26	c GLOBAL bounds - >= 57 @ 128.778
326.86/327.78	c GLOBAL bounds - >= 57 @ 130.405
326.96/327.81	c GLOBAL bounds - >= 57 @ 130.43
331.45/332.32	c GLOBAL bounds - >= 57 @ 132.06
331.64/332.56	c GLOBAL bounds - >= 57 @ 132.182
336.15/337.09	c GLOBAL bounds - >= 57 @ 133.873
336.25/337.15	c GLOBAL bounds - >= 57 @ 133.926
340.72/341.67	c GLOBAL bounds - >= 57 @ 135.629
341.02/341.93	c GLOBAL bounds - >= 57 @ 135.772
345.51/346.44	c GLOBAL bounds - >= 57 @ 137.396
345.61/346.50	c #Conflicts:       4000 | #Constraints:     179962
345.61/346.50	c GLOBAL bounds - >= 57 @ 137.45
350.11/351.01	c GLOBAL bounds - >= 57 @ 139.129
350.30/351.27	c GLOBAL bounds - >= 57 @ 139.261
354.79/355.79	c GLOBAL bounds - >= 57 @ 140.931
355.10/356.03	c INPROCESSING
355.10/356.03	c GLOBAL bounds - >= 57 @ 141.168
359.58/360.55	c GLOBAL bounds - >= 57 @ 142.825
359.88/360.81	c GLOBAL bounds - >= 57 @ 142.963
364.37/365.33	c GLOBAL bounds - >= 57 @ 144.657
368.85/369.87	c GLOBAL bounds - >= 57 @ 146.371
373.34/374.39	c GLOBAL bounds - >= 57 @ 148.063
377.94/378.92	c GLOBAL bounds - >= 57 @ 149.727
382.43/383.45	c GLOBAL bounds - >= 57 @ 151.402
386.91/387.98	c GLOBAL bounds - >= 57 @ 153.072
391.50/392.50	c GLOBAL bounds - >= 57 @ 154.758
391.50/392.57	c GLOBAL bounds - >= 61 @ 154.824
391.60/392.62	c GLOBAL bounds - >= 61 @ 154.87
391.60/392.63	c GLOBAL bounds - >= 61 @ 154.88
396.11/397.16	c GLOBAL bounds - >= 61 @ 156.54
396.29/397.39	c GLOBAL bounds - >= 61 @ 156.649
400.87/401.90	c GLOBAL bounds - >= 61 @ 158.286
400.87/401.93	c GLOBAL bounds - >= 61 @ 158.31
405.37/406.45	c GLOBAL bounds - >= 61 @ 159.963
405.56/406.68	c GLOBAL bounds - >= 61 @ 160.078
410.15/411.20	c GLOBAL bounds - >= 61 @ 161.717
410.35/411.44	c GLOBAL bounds - >= 61 @ 161.838
414.85/415.95	c GLOBAL bounds - >= 61 @ 163.488
414.85/415.98	c GLOBAL bounds - >= 61 @ 163.511
419.33/420.50	c GLOBAL bounds - >= 61 @ 165.185
419.64/420.76	c GLOBAL bounds - >= 61 @ 165.306
424.13/425.27	c GLOBAL bounds - >= 61 @ 167.002
424.23/425.34	c GLOBAL bounds - >= 61 @ 167.056
428.71/429.86	c GLOBAL bounds - >= 61 @ 168.732
429.02/430.14	c #Conflicts:       5000 | #Constraints:     179410
429.02/430.14	c GLOBAL bounds - >= 61 @ 168.876
433.50/434.66	c GLOBAL bounds - >= 61 @ 170.552
433.60/434.72	c GLOBAL bounds - >= 61 @ 170.605
438.10/439.23	c GLOBAL bounds - >= 61 @ 172.286
442.58/443.77	c GLOBAL bounds - >= 61 @ 173.97
447.17/448.31	c GLOBAL bounds - >= 61 @ 175.621
451.66/452.84	c GLOBAL bounds - >= 61 @ 177.29
456.25/457.40	c GLOBAL bounds - >= 61 @ 179.058
460.74/461.99	c GLOBAL bounds - >= 61 @ 180.756
465.33/466.59	c GLOBAL bounds - >= 61 @ 182.502
469.93/471.18	c GLOBAL bounds - >= 61 @ 184.221
470.01/471.24	c GLOBAL bounds - >= 64 @ 184.283
470.01/471.30	c GLOBAL bounds - >= 64 @ 184.333
470.31/471.53	c GLOBAL bounds - >= 64 @ 184.449
470.31/471.55	c GLOBAL bounds - >= 64 @ 184.46
474.82/476.08	c GLOBAL bounds - >= 64 @ 186.122
474.82/476.10	c GLOBAL bounds - >= 64 @ 186.144
479.40/480.62	c GLOBAL bounds - >= 64 @ 187.788
479.40/480.65	c GLOBAL bounds - >= 64 @ 187.81
483.90/485.16	c GLOBAL bounds - >= 64 @ 189.456
483.98/485.20	c GLOBAL bounds - >= 64 @ 189.481
488.47/489.72	c GLOBAL bounds - >= 64 @ 191.14
488.47/489.76	c GLOBAL bounds - >= 64 @ 191.172
492.97/494.28	c GLOBAL bounds - >= 64 @ 192.783
492.97/494.29	c GLOBAL bounds - >= 64 @ 192.794
497.56/498.81	c GLOBAL bounds - >= 64 @ 194.409
497.56/498.84	c GLOBAL bounds - >= 64 @ 194.431
502.04/503.39	c GLOBAL bounds - >= 64 @ 196.143
502.15/503.43	c GLOBAL bounds - >= 64 @ 196.183
506.63/507.96	c GLOBAL bounds - >= 64 @ 197.836
506.93/508.24	c GLOBAL bounds - >= 64 @ 197.988
511.42/512.77	c GLOBAL bounds - >= 64 @ 199.695
511.53/512.83	c GLOBAL bounds - >= 64 @ 199.75
516.01/517.35	c GLOBAL bounds - >= 64 @ 201.402
520.50/521.89	c GLOBAL bounds - >= 64 @ 203.047
525.09/526.42	c GLOBAL bounds - >= 64 @ 204.755
529.59/530.96	c GLOBAL bounds - >= 64 @ 206.417
534.17/535.50	c GLOBAL bounds - >= 64 @ 208.126
538.68/540.07	c GLOBAL bounds - >= 64 @ 209.878
543.25/544.66	c GLOBAL bounds - >= 64 @ 211.631
547.84/549.23	c GLOBAL bounds - >= 64 @ 213.339
547.84/549.25	c GLOBAL bounds - >= 68 @ 213.364
547.95/549.32	c GLOBAL bounds - >= 68 @ 213.419
548.14/549.57	c GLOBAL bounds - >= 68 @ 213.525
548.14/549.59	c #Conflicts:       6000 | #Constraints:     180447
548.14/549.59	c GLOBAL bounds - >= 68 @ 213.541
552.64/554.11	c GLOBAL bounds - >= 68 @ 215.161
558.21/559.63	c GLOBAL bounds - >= 68 @ 220.526
562.72/564.16	c GLOBAL bounds - >= 68 @ 222.177
562.72/564.19	c GLOBAL bounds - >= 68 @ 222.202
567.30/568.71	c GLOBAL bounds - >= 68 @ 223.86
567.30/568.74	c GLOBAL bounds - >= 68 @ 223.885
571.78/573.26	c GLOBAL bounds - >= 68 @ 225.558
572.09/573.52	c GLOBAL bounds - >= 68 @ 225.681
576.59/578.04	c GLOBAL bounds - >= 68 @ 227.343
576.59/578.06	c GLOBAL bounds - >= 68 @ 227.367
581.06/582.59	c GLOBAL bounds - >= 68 @ 229.014
581.17/582.62	c GLOBAL bounds - >= 68 @ 229.035
585.67/587.13	c GLOBAL bounds - >= 68 @ 230.686
585.67/587.16	c GLOBAL bounds - >= 68 @ 230.71
590.15/591.67	c GLOBAL bounds - >= 68 @ 232.393
590.44/591.93	c GLOBAL bounds - >= 68 @ 232.523
594.93/596.45	c GLOBAL bounds - >= 68 @ 234.187
594.93/596.48	c GLOBAL bounds - >= 68 @ 234.211
599.42/600.99	c GLOBAL bounds - >= 68 @ 235.886
604.01/605.52	c GLOBAL bounds - >= 68 @ 237.588
608.51/610.05	c GLOBAL bounds - >= 68 @ 239.224
608.51/610.07	c GLOBAL bounds - >= 71 @ 239.247
608.51/610.10	c GLOBAL bounds - >= 71 @ 239.274
608.61/610.12	c GLOBAL bounds - >= 71 @ 239.285
613.09/614.62	c GLOBAL bounds - >= 71 @ 240.905
613.29/614.89	c GLOBAL bounds - >= 71 @ 241.031
617.88/619.40	c GLOBAL bounds - >= 71 @ 242.683
618.08/619.66	c INPROCESSING
618.08/619.66	c GARBAGE COLLECT
618.08/619.66	c GLOBAL bounds - >= 71 @ 242.938
622.59/624.18	c GLOBAL bounds - >= 71 @ 244.606
622.67/624.22	c GLOBAL bounds - >= 71 @ 244.643
627.16/628.74	c GLOBAL bounds - >= 71 @ 246.299
627.47/629.02	c GLOBAL bounds - >= 71 @ 246.435
631.95/633.54	c GLOBAL bounds - >= 71 @ 248.133
632.05/633.60	c GLOBAL bounds - >= 71 @ 248.186
636.55/638.12	c GLOBAL bounds - >= 71 @ 249.858
636.83/638.42	c #Conflicts:       7000 | #Constraints:     179495
636.83/638.42	c GLOBAL bounds - >= 71 @ 250.019
641.32/642.95	c GLOBAL bounds - >= 71 @ 251.658
641.32/643.01	c GLOBAL bounds - >= 71 @ 251.712
645.91/647.53	c GLOBAL bounds - >= 71 @ 253.387
646.21/647.84	c GLOBAL bounds - >= 71 @ 253.563
650.70/652.35	c GLOBAL bounds - >= 71 @ 255.254
650.81/652.42	c GLOBAL bounds - >= 71 @ 255.31
655.30/656.93	c GLOBAL bounds - >= 71 @ 256.961
659.78/661.47	c GLOBAL bounds - >= 71 @ 258.591
664.27/666.00	c GLOBAL bounds - >= 71 @ 260.261
668.87/670.54	c GLOBAL bounds - >= 71 @ 261.928
673.36/675.09	c GLOBAL bounds - >= 71 @ 263.67
677.94/679.64	c GLOBAL bounds - >= 71 @ 265.294
678.04/679.72	c GLOBAL bounds - >= 76 @ 265.381
678.35/680.03	c GLOBAL bounds - >= 76 @ 265.544
678.35/680.05	c GLOBAL bounds - >= 76 @ 265.559
682.83/684.56	c GLOBAL bounds - >= 76 @ 267.253
682.83/684.59	c GLOBAL bounds - >= 76 @ 267.274
687.34/689.11	c GLOBAL bounds - >= 76 @ 268.971
687.44/689.14	c GLOBAL bounds - >= 76 @ 268.994
691.91/693.66	c GLOBAL bounds - >= 76 @ 270.631
692.22/693.95	c GLOBAL bounds - >= 76 @ 270.797
696.70/698.48	c GLOBAL bounds - >= 76 @ 272.42
696.80/698.52	c GLOBAL bounds - >= 76 @ 272.453
701.30/703.04	c GLOBAL bounds - >= 76 @ 274.061
701.59/703.34	c GLOBAL bounds - >= 76 @ 274.206
706.08/707.86	c GLOBAL bounds - >= 76 @ 275.845
706.18/707.92	c #Conflicts:       8000 | #Constraints:     180517
706.18/707.92	c GLOBAL bounds - >= 76 @ 275.899
710.67/712.45	c GLOBAL bounds - >= 76 @ 277.548
710.97/712.77	c GLOBAL bounds - >= 76 @ 277.721
715.46/717.29	c GLOBAL bounds - >= 76 @ 279.33
715.56/717.36	c GLOBAL bounds - >= 76 @ 279.386
720.04/721.88	c GLOBAL bounds - >= 76 @ 281.051
720.45/722.20	c GLOBAL bounds - >= 76 @ 281.226
724.94/726.73	c GLOBAL bounds - >= 76 @ 282.858
729.42/731.27	c GLOBAL bounds - >= 76 @ 284.542
734.01/735.82	c GLOBAL bounds - >= 76 @ 286.238
738.50/740.35	c GLOBAL bounds - >= 76 @ 287.892
742.99/744.89	c #Conflicts:       1000 | #Constraints:       1288
742.99/744.89	c GLOBAL bounds - >= 76 @ 289.6
747.58/749.42	c GLOBAL bounds - >= 76 @ 291.27
752.07/753.99	c GLOBAL bounds - >= 76 @ 293.003
752.19/754.07	c GLOBAL bounds - >= 80 @ 293.082
752.28/754.12	c GLOBAL bounds - >= 80 @ 293.128
752.28/754.13	c GLOBAL bounds - >= 80 @ 293.142
756.76/758.65	c GLOBAL bounds - >= 80 @ 294.774
757.06/758.94	c GLOBAL bounds - >= 80 @ 294.916
761.55/763.46	c GLOBAL bounds - >= 80 @ 296.501
761.55/763.49	c GLOBAL bounds - >= 80 @ 296.526
766.04/768.01	c GLOBAL bounds - >= 80 @ 298.241
766.15/768.05	c GLOBAL bounds - >= 80 @ 298.279
770.63/772.57	c GLOBAL bounds - >= 80 @ 299.991
770.93/772.88	c GLOBAL bounds - >= 80 @ 300.139
775.52/777.40	c GLOBAL bounds - >= 80 @ 301.82
775.52/777.45	c GLOBAL bounds - >= 80 @ 301.856
780.01/781.97	c GLOBAL bounds - >= 80 @ 303.531
780.31/782.29	c #Conflicts:       9000 | #Constraints:     181538
780.31/782.29	c GLOBAL bounds - >= 80 @ 303.674
784.90/786.80	c GLOBAL bounds - >= 80 @ 305.306
784.90/786.87	c GLOBAL bounds - >= 80 @ 305.359
789.39/791.39	c GLOBAL bounds - >= 80 @ 306.985
789.78/791.73	c GLOBAL bounds - >= 80 @ 307.168
794.28/796.25	c GLOBAL bounds - >= 80 @ 308.845
805.65/807.69	c INPROCESSING
805.65/807.69	c GLOBAL bounds - >= 80 @ 319.897
810.23/812.21	c GLOBAL bounds - >= 80 @ 321.567
814.72/816.74	c GLOBAL bounds - >= 80 @ 323.196
819.21/821.28	c GLOBAL bounds - >= 80 @ 324.853
823.80/825.83	c GLOBAL bounds - >= 80 @ 326.576
828.38/830.41	c GLOBAL bounds - >= 80 @ 328.275
832.88/834.99	c GLOBAL bounds - >= 80 @ 329.993
832.99/835.07	c GLOBAL bounds - >= 85 @ 330.069
833.37/835.40	c GLOBAL bounds - >= 85 @ 330.231
833.37/835.42	c GLOBAL bounds - >= 85 @ 330.244
837.87/839.94	c GLOBAL bounds - >= 85 @ 331.947
837.87/839.97	c GLOBAL bounds - >= 85 @ 331.972
842.35/844.48	c GLOBAL bounds - >= 85 @ 333.648
842.45/844.51	c GLOBAL bounds - >= 85 @ 333.671
846.96/849.03	c GLOBAL bounds - >= 85 @ 335.316
847.24/849.34	c GLOBAL bounds - >= 85 @ 335.462
851.74/853.85	c GLOBAL bounds - >= 85 @ 337.149
851.74/853.88	c GLOBAL bounds - >= 85 @ 337.173
856.32/858.41	c GLOBAL bounds - >= 85 @ 338.797
856.32/858.45	c GLOBAL bounds - >= 85 @ 338.834
860.81/862.97	c GLOBAL bounds - >= 85 @ 340.49
861.22/863.30	c GLOBAL bounds - >= 85 @ 340.662
865.71/867.81	c GLOBAL bounds - >= 85 @ 342.296
865.71/867.85	c GLOBAL bounds - >= 85 @ 342.331
870.19/872.37	c GLOBAL bounds - >= 85 @ 343.945
870.59/872.72	c #Conflicts:      10000 | #Constraints:     180258
870.59/872.72	c GLOBAL bounds - >= 85 @ 344.134
875.08/877.24	c GLOBAL bounds - >= 85 @ 345.836
875.18/877.30	c GLOBAL bounds - >= 85 @ 345.889
879.67/881.82	c GLOBAL bounds - >= 85 @ 347.574
884.16/886.35	c GLOBAL bounds - >= 85 @ 349.304
888.65/890.89	c GLOBAL bounds - >= 85 @ 351.018
893.24/895.43	c GLOBAL bounds - >= 85 @ 352.659
897.73/899.96	c GLOBAL bounds - >= 85 @ 354.361
897.84/900.04	c GLOBAL bounds - >= 89 @ 354.439
898.12/900.38	c GLOBAL bounds - >= 89 @ 354.621
898.22/900.40	c GLOBAL bounds - >= 89 @ 354.636
902.71/904.92	c GLOBAL bounds - >= 89 @ 356.354
902.71/904.95	c GLOBAL bounds - >= 89 @ 356.377
907.20/909.46	c GLOBAL bounds - >= 89 @ 358.011
907.20/909.49	c GLOBAL bounds - >= 89 @ 358.033
911.81/914.01	c GLOBAL bounds - >= 89 @ 359.707
912.09/914.35	c GLOBAL bounds - >= 89 @ 359.877
916.58/918.86	c GLOBAL bounds - >= 89 @ 361.537
916.68/918.91	c GLOBAL bounds - >= 89 @ 361.573
921.17/923.43	c GLOBAL bounds - >= 89 @ 363.185
921.47/923.79	c GLOBAL bounds - >= 89 @ 363.381
926.06/928.31	c GLOBAL bounds - >= 89 @ 365.102
926.06/928.37	c GLOBAL bounds - >= 89 @ 365.155
930.65/932.90	c GLOBAL bounds - >= 89 @ 366.785
930.95/933.26	c GLOBAL bounds - >= 89 @ 366.986
935.44/937.78	c GLOBAL bounds - >= 89 @ 368.621
935.54/937.84	c #Conflicts:      11000 | #Constraints:     181281
935.54/937.84	c GLOBAL bounds - >= 89 @ 368.676
940.03/942.36	c GLOBAL bounds - >= 89 @ 370.362
940.43/942.73	c GLOBAL bounds - >= 89 @ 370.541
944.91/947.25	c GLOBAL bounds - >= 89 @ 372.21
949.41/951.79	c GLOBAL bounds - >= 89 @ 373.911
954.00/956.33	c GLOBAL bounds - >= 89 @ 375.659
958.49/960.87	c GLOBAL bounds - >= 89 @ 377.358
963.08/965.41	c GLOBAL bounds - >= 89 @ 379.051
967.56/969.96	c GLOBAL bounds - >= 89 @ 380.748
972.16/974.54	c GLOBAL bounds - >= 89 @ 382.535
972.25/974.63	c GLOBAL bounds - >= 93 @ 382.616
972.25/974.68	c GLOBAL bounds - >= 93 @ 382.665
972.25/974.70	c GLOBAL bounds - >= 93 @ 382.678
976.85/979.22	c GLOBAL bounds - >= 93 @ 384.325
977.15/979.55	c GLOBAL bounds - >= 93 @ 384.491
981.65/984.07	c GLOBAL bounds - >= 93 @ 386.106
981.65/984.10	c GLOBAL bounds - >= 93 @ 386.13
986.22/988.63	c GLOBAL bounds - >= 93 @ 387.825
986.22/988.67	c GLOBAL bounds - >= 93 @ 387.859
990.72/993.19	c GLOBAL bounds - >= 93 @ 389.515
991.11/993.54	c GLOBAL bounds - >= 93 @ 389.693
995.62/998.06	c GLOBAL bounds - >= 93 @ 391.366
995.62/998.11	c GLOBAL bounds - >= 93 @ 391.399
1000.19/1002.62	c GLOBAL bounds - >= 93 @ 393.077
1000.49/1002.98	c GLOBAL bounds - >= 93 @ 393.254
1005.08/1007.50	c GLOBAL bounds - >= 93 @ 394.924
1005.08/1007.56	c GLOBAL bounds - >= 93 @ 394.978
1009.59/1012.08	c GLOBAL bounds - >= 93 @ 396.641
1009.97/1012.46	c #Conflicts:      12000 | #Constraints:     182310
1009.97/1012.46	c GLOBAL bounds - >= 93 @ 396.845
1014.46/1016.98	c GLOBAL bounds - >= 93 @ 398.549
1014.76/1017.29	c INPROCESSING
1014.76/1017.29	c GARBAGE COLLECT
1014.76/1017.29	c GLOBAL bounds - >= 93 @ 398.848
1019.35/1021.82	c GLOBAL bounds - >= 93 @ 400.543
1023.84/1026.37	c GLOBAL bounds - >= 93 @ 402.279
1028.43/1030.92	c GLOBAL bounds - >= 93 @ 404.01
1032.92/1035.47	c GLOBAL bounds - >= 93 @ 405.698
1037.51/1040.08	c GLOBAL bounds - >= 93 @ 407.424
1042.09/1044.67	c GLOBAL bounds - >= 93 @ 409.125
1042.19/1044.78	c #Conflicts:       2000 | #Constraints:       2362
1042.19/1044.78	c GLOBAL bounds - >= 98 @ 409.227
1042.60/1045.15	c GLOBAL bounds - >= 98 @ 409.417
1042.60/1045.17	c GLOBAL bounds - >= 98 @ 409.431
1047.28/1049.87	c INPROCESSING
1047.28/1049.87	c GARBAGE COLLECT
1047.28/1049.87	c GLOBAL bounds - >= 98 @ 411.371
1047.28/1049.90	c GLOBAL bounds - >= 98 @ 411.394
1051.87/1054.42	c GLOBAL bounds - >= 98 @ 413.028
1051.87/1054.45	c GLOBAL bounds - >= 98 @ 413.052
1056.36/1058.97	c GLOBAL bounds - >= 98 @ 414.675
1056.76/1059.33	c GLOBAL bounds - >= 98 @ 414.83
1061.25/1063.86	c GLOBAL bounds - >= 98 @ 416.507
1061.35/1063.90	c GLOBAL bounds - >= 98 @ 416.543
1065.84/1068.42	c GLOBAL bounds - >= 98 @ 418.195
1066.14/1068.79	c GLOBAL bounds - >= 98 @ 418.392
1070.73/1073.31	c GLOBAL bounds - >= 98 @ 420.036
1070.73/1073.37	c GLOBAL bounds - >= 98 @ 420.093
1075.22/1077.89	c GLOBAL bounds - >= 98 @ 421.753
1075.61/1078.28	c GLOBAL bounds - >= 98 @ 421.963
1080.20/1082.80	c GLOBAL bounds - >= 98 @ 423.642
1080.20/1082.86	c #Conflicts:      13000 | #Constraints:     180788
1080.20/1082.86	c GLOBAL bounds - >= 98 @ 423.697
1084.69/1087.38	c GLOBAL bounds - >= 98 @ 425.402
1085.09/1087.78	c GLOBAL bounds - >= 98 @ 425.601
1089.68/1092.30	c GLOBAL bounds - >= 98 @ 427.241
1094.17/1096.84	c GLOBAL bounds - >= 98 @ 428.889
1098.66/1101.39	c GLOBAL bounds - >= 98 @ 430.532
1103.24/1105.94	c GLOBAL bounds - >= 98 @ 432.258
1107.73/1110.49	c GLOBAL bounds - >= 98 @ 433.965
1112.34/1115.07	c GLOBAL bounds - >= 98 @ 435.719
1117.01/1119.72	c GLOBAL bounds - >= 98 @ 437.499
1117.11/1119.82	c GLOBAL bounds - >= 102 @ 437.6
1117.11/1119.87	c GLOBAL bounds - >= 102 @ 437.647
1117.11/1119.89	c GLOBAL bounds - >= 102 @ 437.661
1117.11/1119.89	c GLOBAL bounds - >= 102 @ 437.662
1121.70/1124.41	c GLOBAL bounds - >= 102 @ 439.33
1122.00/1124.78	c GLOBAL bounds - >= 102 @ 439.497
1126.59/1129.30	c GLOBAL bounds - >= 102 @ 441.173
1126.59/1129.33	c GLOBAL bounds - >= 102 @ 441.2
1131.08/1133.85	c GLOBAL bounds - >= 102 @ 442.807
1131.08/1133.89	c GLOBAL bounds - >= 102 @ 442.844
1135.66/1138.42	c GLOBAL bounds - >= 102 @ 444.553
1136.07/1138.81	c GLOBAL bounds - >= 102 @ 444.731
1140.55/1143.32	c GLOBAL bounds - >= 102 @ 446.458
1140.55/1143.36	c GLOBAL bounds - >= 102 @ 446.491
1145.04/1147.89	c GLOBAL bounds - >= 102 @ 448.052
1145.44/1148.27	c GLOBAL bounds - >= 102 @ 448.246
1149.93/1152.79	c GLOBAL bounds - >= 102 @ 449.86
1150.03/1152.85	c GLOBAL bounds - >= 102 @ 449.916
1154.52/1157.37	c GLOBAL bounds - >= 102 @ 451.585
1154.92/1157.78	c GLOBAL bounds - >= 102 @ 451.782
1159.51/1162.31	c GLOBAL bounds - >= 102 @ 453.517
1159.51/1162.37	c #Conflicts:      14000 | #Constraints:     181812
1159.51/1162.37	c GLOBAL bounds - >= 102 @ 453.57
1164.10/1166.91	c GLOBAL bounds - >= 102 @ 455.223
1168.59/1171.46	c GLOBAL bounds - >= 102 @ 456.976
1173.18/1176.02	c GLOBAL bounds - >= 102 @ 458.651
1177.67/1180.58	c GLOBAL bounds - >= 102 @ 460.335
1182.27/1185.16	c GLOBAL bounds - >= 102 @ 462.031
1186.84/1189.79	c GLOBAL bounds - >= 102 @ 463.791
1187.05/1189.92	c GLOBAL bounds - >= 107 @ 463.91
1187.44/1190.32	c GLOBAL bounds - >= 107 @ 464.104
1187.44/1190.34	c GLOBAL bounds - >= 107 @ 464.118
1191.93/1194.87	c GLOBAL bounds - >= 107 @ 465.734
1191.93/1194.89	c GLOBAL bounds - >= 107 @ 465.758
1196.52/1199.42	c GLOBAL bounds - >= 107 @ 467.448
1196.52/1199.45	c GLOBAL bounds - >= 107 @ 467.472
1201.01/1203.97	c GLOBAL bounds - >= 107 @ 469.15
1201.40/1204.36	c GLOBAL bounds - >= 107 @ 469.352
1205.89/1208.89	c GLOBAL bounds - >= 107 @ 470.99
1206.00/1208.93	c GLOBAL bounds - >= 107 @ 471.022
1210.49/1213.46	c GLOBAL bounds - >= 107 @ 472.66
1210.88/1213.84	c GLOBAL bounds - >= 107 @ 472.836
1215.37/1218.36	c GLOBAL bounds - >= 107 @ 474.542
1215.48/1218.41	c GLOBAL bounds - >= 107 @ 474.585
1219.96/1222.93	c GLOBAL bounds - >= 107 @ 476.252
1219.96/1223.00	c GLOBAL bounds - >= 107 @ 476.306
1224.55/1227.52	c GLOBAL bounds - >= 107 @ 477.937
1224.95/1227.94	c GLOBAL bounds - >= 107 @ 478.147
1229.44/1232.46	c GLOBAL bounds - >= 107 @ 479.789
1229.53/1232.52	c GLOBAL bounds - >= 107 @ 479.842
1234.04/1237.05	c GLOBAL bounds - >= 107 @ 481.527
1238.61/1241.61	c GLOBAL bounds - >= 107 @ 483.246
1243.11/1246.16	c GLOBAL bounds - >= 107 @ 484.99
1247.69/1250.72	c GLOBAL bounds - >= 107 @ 486.714
1252.29/1255.30	c GLOBAL bounds - >= 107 @ 488.444
1256.87/1259.90	c GLOBAL bounds - >= 107 @ 490.182
1261.46/1264.51	c #Conflicts:       3000 | #Constraints:       2448
1261.46/1264.51	c GLOBAL bounds - >= 107 @ 491.934
1261.55/1264.68	c GLOBAL bounds - >= 111 @ 492.101
1261.97/1265.10	c #Conflicts:      15000 | #Constraints:     182849
1261.97/1265.10	c GLOBAL bounds - >= 111 @ 492.286
1262.26/1265.33	c INPROCESSING
1262.26/1265.33	c GLOBAL bounds - >= 111 @ 492.515
1266.74/1269.86	c GLOBAL bounds - >= 111 @ 494.168
1266.74/1269.88	c GLOBAL bounds - >= 111 @ 494.19
1271.33/1274.41	c GLOBAL bounds - >= 111 @ 495.862
1271.33/1274.44	c GLOBAL bounds - >= 111 @ 495.885
1275.82/1278.97	c GLOBAL bounds - >= 111 @ 497.547
1275.82/1278.98	c GLOBAL bounds - >= 111 @ 497.557
1280.41/1283.51	c GLOBAL bounds - >= 111 @ 499.251
1280.41/1283.52	c GLOBAL bounds - >= 111 @ 499.263
1284.91/1288.06	c GLOBAL bounds - >= 111 @ 500.908
1285.30/1288.47	c GLOBAL bounds - >= 111 @ 501.09
1289.79/1292.98	c GLOBAL bounds - >= 111 @ 502.757
1289.90/1293.03	c GLOBAL bounds - >= 111 @ 502.792
1294.38/1297.55	c GLOBAL bounds - >= 111 @ 504.426
1294.78/1297.96	c GLOBAL bounds - >= 111 @ 504.619
1299.26/1302.48	c GLOBAL bounds - >= 111 @ 506.268
1299.37/1302.52	c GLOBAL bounds - >= 111 @ 506.304
1303.86/1307.05	c GLOBAL bounds - >= 111 @ 507.995
1304.25/1307.48	c GLOBAL bounds - >= 111 @ 508.21
1308.74/1312.00	c GLOBAL bounds - >= 111 @ 509.891
1313.33/1316.55	c GLOBAL bounds - >= 111 @ 511.627
1317.83/1321.10	c GLOBAL bounds - >= 111 @ 513.296
1322.41/1325.63	c GLOBAL bounds - >= 111 @ 514.981
1326.91/1330.17	c GLOBAL bounds - >= 111 @ 516.653
1331.49/1334.72	c GLOBAL bounds - >= 111 @ 518.282
1331.58/1334.84	c GLOBAL bounds - >= 114 @ 518.399
1331.58/1334.89	c GLOBAL bounds - >= 114 @ 518.448
1331.58/1334.89	c GLOBAL bounds - >= 114 @ 518.448
1331.69/1334.91	c GLOBAL bounds - >= 114 @ 518.463
1336.18/1339.44	c GLOBAL bounds - >= 114 @ 520.121
1336.57/1339.84	c GLOBAL bounds - >= 114 @ 520.316
1341.06/1344.36	c GLOBAL bounds - >= 114 @ 521.977
1341.06/1344.40	c GLOBAL bounds - >= 114 @ 522.001
1345.66/1348.92	c GLOBAL bounds - >= 114 @ 523.675
1345.66/1348.96	c #Conflicts:      16000 | #Constraints:     181120
1345.66/1348.96	c GLOBAL bounds - >= 114 @ 523.714
1350.13/1353.49	c GLOBAL bounds - >= 114 @ 525.388
1350.64/1353.91	c GLOBAL bounds - >= 114 @ 525.564
1355.13/1358.44	c GLOBAL bounds - >= 114 @ 527.241
1355.13/1358.48	c GLOBAL bounds - >= 114 @ 527.278
1359.62/1363.01	c GLOBAL bounds - >= 114 @ 529.004
1360.12/1363.45	c GLOBAL bounds - >= 114 @ 529.223
1364.60/1367.98	c GLOBAL bounds - >= 114 @ 530.848
1364.72/1368.04	c GLOBAL bounds - >= 114 @ 530.906
1369.19/1372.58	c GLOBAL bounds - >= 114 @ 532.536
1369.71/1373.02	c GLOBAL bounds - >= 114 @ 532.767
1374.18/1377.55	c GLOBAL bounds - >= 114 @ 534.453
1374.29/1377.61	c GLOBAL bounds - >= 114 @ 534.507
1378.78/1382.15	c GLOBAL bounds - >= 114 @ 536.216
1383.35/1386.70	c GLOBAL bounds - >= 114 @ 537.913
1387.85/1391.26	c GLOBAL bounds - >= 114 @ 539.625
1392.44/1395.82	c GLOBAL bounds - >= 114 @ 541.308
1396.92/1400.38	c GLOBAL bounds - >= 114 @ 543.046
1401.52/1404.94	c GLOBAL bounds - >= 114 @ 544.745
1401.63/1405.05	c GLOBAL bounds - >= 119 @ 544.852
1402.01/1405.50	c GLOBAL bounds - >= 119 @ 545.066
1402.11/1405.52	c GLOBAL bounds - >= 119 @ 545.079
1406.61/1410.04	c GLOBAL bounds - >= 119 @ 546.762
1406.61/1410.07	c GLOBAL bounds - >= 119 @ 546.785
1411.09/1414.59	c GLOBAL bounds - >= 119 @ 548.509
1411.18/1414.63	c GLOBAL bounds - >= 119 @ 548.535
1415.69/1419.16	c GLOBAL bounds - >= 119 @ 550.205
1416.08/1419.59	c GLOBAL bounds - >= 119 @ 550.408
1420.68/1424.12	c GLOBAL bounds - >= 119 @ 552.044
1420.68/1424.16	c #Conflicts:      17000 | #Constraints:     182151
1420.68/1424.16	c GLOBAL bounds - >= 119 @ 552.082
1425.16/1428.69	c GLOBAL bounds - >= 119 @ 553.711
1425.67/1429.13	c GLOBAL bounds - >= 119 @ 553.931
1430.15/1433.66	c GLOBAL bounds - >= 119 @ 555.605
1430.24/1433.72	c GLOBAL bounds - >= 119 @ 555.659
1434.74/1438.25	c GLOBAL bounds - >= 119 @ 557.341
1435.23/1438.71	c GLOBAL bounds - >= 119 @ 557.566
1439.72/1443.24	c GLOBAL bounds - >= 119 @ 559.173
1439.83/1443.30	c GLOBAL bounds - >= 119 @ 559.228
1444.31/1447.83	c GLOBAL bounds - >= 119 @ 560.875
1444.81/1448.30	c GLOBAL bounds - >= 119 @ 561.112
1449.30/1452.82	c GLOBAL bounds - >= 119 @ 562.785
1453.79/1457.38	c GLOBAL bounds - >= 119 @ 564.487
1458.37/1461.94	c GLOBAL bounds - >= 119 @ 566.189
1462.97/1466.51	c GLOBAL bounds - >= 119 @ 567.952
1467.47/1471.07	c GLOBAL bounds - >= 119 @ 569.746
1472.04/1475.68	c GLOBAL bounds - >= 119 @ 571.522
1476.63/1480.28	c GLOBAL bounds - >= 119 @ 573.245
1476.73/1480.39	c #Conflicts:       4000 | #Constraints:       3503
1476.73/1480.39	c GLOBAL bounds - >= 123 @ 573.348
1476.83/1480.44	c GLOBAL bounds - >= 123 @ 573.399
1476.83/1480.46	c GLOBAL bounds - >= 123 @ 573.412
1476.83/1480.46	c GLOBAL bounds - >= 123 @ 573.413
1481.32/1484.98	c GLOBAL bounds - >= 123 @ 575.039
1481.81/1485.41	c GLOBAL bounds - >= 123 @ 575.248
1486.31/1489.93	c GLOBAL bounds - >= 123 @ 576.924
1486.31/1489.96	c GLOBAL bounds - >= 123 @ 576.949
1490.79/1494.49	c GLOBAL bounds - >= 123 @ 578.632
1490.90/1494.53	c GLOBAL bounds - >= 123 @ 578.665
1495.40/1499.06	c GLOBAL bounds - >= 123 @ 580.287
1495.88/1499.51	c #Conflicts:      18000 | #Constraints:     183174
1495.88/1499.51	c GLOBAL bounds - >= 123 @ 580.519
1500.39/1504.03	c GLOBAL bounds - >= 123 @ 582.136
1500.39/1504.07	c GLOBAL bounds - >= 123 @ 582.173
1504.86/1508.59	c GLOBAL bounds - >= 123 @ 583.831
1505.66/1509.32	c INPROCESSING
1505.66/1509.32	c GARBAGE COLLECT
1505.66/1509.32	c GLOBAL bounds - >= 123 @ 584.321
1510.15/1513.84	c GLOBAL bounds - >= 123 @ 586.016
1510.15/1513.87	c GLOBAL bounds - >= 123 @ 586.047
1514.74/1518.40	c GLOBAL bounds - >= 123 @ 587.754
1514.74/1518.46	c GLOBAL bounds - >= 123 @ 587.805
1519.23/1523.00	c GLOBAL bounds - >= 123 @ 589.426
1519.73/1523.47	c GLOBAL bounds - >= 123 @ 589.66
1524.22/1528.01	c GLOBAL bounds - >= 123 @ 591.327
1528.81/1532.55	c GLOBAL bounds - >= 123 @ 593.031
1533.41/1537.12	c GLOBAL bounds - >= 123 @ 594.727
1537.89/1541.68	c GLOBAL bounds - >= 123 @ 596.473
1542.48/1546.28	c GLOBAL bounds - >= 123 @ 598.275
1547.38/1551.12	c INPROCESSING
1547.38/1551.12	c GARBAGE COLLECT
1547.38/1551.12	c GLOBAL bounds - >= 123 @ 600.243
1551.95/1555.79	c GLOBAL bounds - >= 123 @ 602.087
1552.37/1556.12	c GLOBAL bounds - >= 127 @ 602.414
1552.37/1556.18	c GLOBAL bounds - >= 127 @ 602.467
1552.37/1556.19	c GLOBAL bounds - >= 127 @ 602.48
1552.46/1556.20	c GLOBAL bounds - >= 127 @ 602.481
1556.94/1560.72	c GLOBAL bounds - >= 127 @ 604.172
1557.35/1561.16	c GLOBAL bounds - >= 127 @ 604.364
1561.83/1565.68	c GLOBAL bounds - >= 127 @ 606.016
1561.93/1565.71	c GLOBAL bounds - >= 127 @ 606.038
1566.42/1570.25	c GLOBAL bounds - >= 127 @ 607.696
1566.42/1570.29	c GLOBAL bounds - >= 127 @ 607.73
1571.01/1574.83	c GLOBAL bounds - >= 127 @ 609.391
1571.41/1575.29	c GLOBAL bounds - >= 127 @ 609.599
1575.99/1579.82	c GLOBAL bounds - >= 127 @ 611.287
1575.99/1579.86	c #Conflicts:      19000 | #Constraints:     181227
1575.99/1579.86	c GLOBAL bounds - >= 127 @ 611.321
1580.48/1584.38	c GLOBAL bounds - >= 127 @ 612.987
1580.98/1584.85	c GLOBAL bounds - >= 127 @ 613.213
1585.47/1589.37	c GLOBAL bounds - >= 127 @ 614.913
1585.57/1589.43	c GLOBAL bounds - >= 127 @ 614.965
1590.06/1593.95	c GLOBAL bounds - >= 127 @ 616.659
1590.56/1594.44	c GLOBAL bounds - >= 127 @ 616.927
1595.04/1598.96	c GLOBAL bounds - >= 127 @ 618.593
1595.16/1599.02	c GLOBAL bounds - >= 127 @ 618.644
1599.63/1603.55	c GLOBAL bounds - >= 127 @ 620.325
1604.24/1608.12	c GLOBAL bounds - >= 127 @ 621.971
1608.72/1612.68	c GLOBAL bounds - >= 127 @ 623.628
1613.30/1617.26	c GLOBAL bounds - >= 127 @ 625.412
1617.90/1621.82	c GLOBAL bounds - >= 127 @ 627.101
1622.49/1626.49	c #Conflicts:       5000 | #Constraints:       2958
1622.49/1626.49	c GLOBAL bounds - >= 127 @ 628.907
1622.69/1626.62	c GLOBAL bounds - >= 132 @ 629.035
1623.09/1627.10	c GLOBAL bounds - >= 132 @ 629.291
1623.19/1627.12	c GLOBAL bounds - >= 132 @ 629.306
1627.67/1631.64	c GLOBAL bounds - >= 132 @ 630.952
1627.67/1631.67	c GLOBAL bounds - >= 132 @ 630.976
1632.26/1636.20	c GLOBAL bounds - >= 132 @ 632.678
1632.26/1636.23	c GLOBAL bounds - >= 132 @ 632.703
1636.75/1640.74	c GLOBAL bounds - >= 132 @ 634.325
1637.25/1641.22	c GLOBAL bounds - >= 132 @ 634.554
1641.74/1645.74	c GLOBAL bounds - >= 132 @ 636.23
1641.74/1645.78	c GLOBAL bounds - >= 132 @ 636.267
1646.32/1650.31	c GLOBAL bounds - >= 132 @ 637.987
1646.73/1650.78	c GLOBAL bounds - >= 132 @ 638.2
1651.31/1655.32	c GLOBAL bounds - >= 132 @ 639.909
1651.31/1655.38	c #Conflicts:      20000 | #Constraints:     182254
1651.31/1655.38	c GLOBAL bounds - >= 132 @ 639.961
1655.90/1659.90	c GLOBAL bounds - >= 132 @ 641.582
1656.41/1660.40	c GLOBAL bounds - >= 132 @ 641.828
1660.90/1664.93	c GLOBAL bounds - >= 132 @ 643.489
1660.90/1665.00	c GLOBAL bounds - >= 132 @ 643.545
1665.48/1669.52	c GLOBAL bounds - >= 132 @ 645.247
1665.99/1670.02	c GLOBAL bounds - >= 132 @ 645.486
1670.47/1674.55	c GLOBAL bounds - >= 132 @ 647.154
1675.07/1679.12	c GLOBAL bounds - >= 132 @ 648.807
1679.55/1683.69	c GLOBAL bounds - >= 132 @ 650.473
1684.14/1688.26	c GLOBAL bounds - >= 132 @ 652.135
1688.72/1692.83	c GLOBAL bounds - >= 132 @ 653.749
1693.32/1697.44	c GLOBAL bounds - >= 132 @ 655.503
1697.92/1702.06	c GLOBAL bounds - >= 132 @ 657.243
1698.02/1702.16	c GLOBAL bounds - >= 136 @ 657.344
1698.11/1702.21	c GLOBAL bounds - >= 136 @ 657.393
1698.11/1702.21	c GLOBAL bounds - >= 136 @ 657.395
1698.11/1702.23	c GLOBAL bounds - >= 136 @ 657.409
1702.60/1706.75	c GLOBAL bounds - >= 136 @ 659.116
1703.09/1707.22	c GLOBAL bounds - >= 136 @ 659.332
1707.58/1711.74	c GLOBAL bounds - >= 136 @ 661.008
1707.58/1711.77	c GLOBAL bounds - >= 136 @ 661.029
1712.07/1716.29	c GLOBAL bounds - >= 136 @ 662.675
1712.17/1716.34	c GLOBAL bounds - >= 136 @ 662.713
1716.66/1720.86	c GLOBAL bounds - >= 136 @ 664.369
1717.16/1721.35	c GLOBAL bounds - >= 136 @ 664.587
1721.65/1725.87	c GLOBAL bounds - >= 136 @ 666.27
1721.75/1725.91	c GLOBAL bounds - >= 136 @ 666.304
1726.23/1730.43	c GLOBAL bounds - >= 136 @ 667.963
1726.73/1730.92	c #Conflicts:      21000 | #Constraints:     183277
1726.73/1730.92	c GLOBAL bounds - >= 136 @ 668.182
1731.23/1735.45	c GLOBAL bounds - >= 136 @ 669.805
1731.32/1735.51	c GLOBAL bounds - >= 136 @ 669.861
1735.83/1740.04	c GLOBAL bounds - >= 136 @ 671.543
1736.31/1740.56	c GLOBAL bounds - >= 136 @ 671.799
1740.81/1745.08	c GLOBAL bounds - >= 136 @ 673.463
1740.91/1745.15	c GLOBAL bounds - >= 136 @ 673.517
1745.38/1749.68	c GLOBAL bounds - >= 136 @ 675.158
1749.97/1754.25	c GLOBAL bounds - >= 136 @ 676.777
1754.57/1758.83	c GLOBAL bounds - >= 136 @ 678.495
1759.05/1763.40	c GLOBAL bounds - >= 136 @ 680.183
1763.65/1767.97	c GLOBAL bounds - >= 136 @ 681.929
1768.24/1772.59	c GLOBAL bounds - >= 136 @ 683.678
1768.33/1772.69	c #Conflicts:       6000 | #Constraints:       3997
1768.33/1772.69	c GLOBAL bounds - >= 141 @ 683.781
1768.93/1773.21	c GLOBAL bounds - >= 141 @ 684.031
1768.93/1773.23	c GLOBAL bounds - >= 141 @ 684.044
1773.41/1777.76	c GLOBAL bounds - >= 141 @ 685.73
1773.91/1778.24	c GLOBAL bounds - >= 141 @ 685.964
1778.41/1782.77	c GLOBAL bounds - >= 141 @ 687.683
1778.51/1782.80	c GLOBAL bounds - >= 141 @ 687.707
1782.99/1787.33	c GLOBAL bounds - >= 141 @ 689.347
1783.70/1788.06	c INPROCESSING
1783.70/1788.06	c GLOBAL bounds - >= 141 @ 689.811
1788.18/1792.59	c GLOBAL bounds - >= 141 @ 691.521
1788.28/1792.60	c GLOBAL bounds - >= 141 @ 691.534
1792.79/1797.13	c GLOBAL bounds - >= 141 @ 693.245
1792.79/1797.18	c GLOBAL bounds - >= 141 @ 693.279
1797.36/1801.70	c GLOBAL bounds - >= 141 @ 694.966
1797.86/1802.23	c GLOBAL bounds - >= 141 @ 695.23
1802.35/1806.75	c GLOBAL bounds - >= 141 @ 696.881
1802.45/1806.81	c #Conflicts:      22000 | #Constraints:     181121
1802.45/1806.81	c GLOBAL bounds - >= 141 @ 696.936
1806.94/1811.33	c GLOBAL bounds - >= 141 @ 698.661
1830.76/1835.22	c GLOBAL bounds - >= 141 @ 721.774
1835.25/1839.75	c GLOBAL bounds - >= 141 @ 723.417
1835.35/1839.82	c GLOBAL bounds - >= 141 @ 723.473
1839.83/1844.35	c GLOBAL bounds - >= 141 @ 725.131
1844.43/1848.90	c GLOBAL bounds - >= 141 @ 726.804
1848.91/1853.49	c GLOBAL bounds - >= 141 @ 728.522
1853.52/1858.08	c GLOBAL bounds - >= 141 @ 730.253
1858.20/1862.70	c GLOBAL bounds - >= 141 @ 732.028
1862.78/1867.33	c GLOBAL bounds - >= 141 @ 733.825
1867.37/1871.97	c GLOBAL bounds - >= 141 @ 735.54
1872.05/1876.66	c GLOBAL bounds - >= 141 @ 737.342
1872.16/1876.76	c GLOBAL bounds - >= 144 @ 737.436
1872.26/1876.83	c GLOBAL bounds - >= 144 @ 737.491
1872.26/1876.83	c GLOBAL bounds - >= 144 @ 737.493
1872.76/1877.32	c GLOBAL bounds - >= 144 @ 737.692
1872.76/1877.34	c GLOBAL bounds - >= 144 @ 737.706
1877.64/1882.20	c INPROCESSING
1877.64/1882.20	c GARBAGE COLLECT
1877.64/1882.20	c GLOBAL bounds - >= 144 @ 739.703
1877.64/1882.23	c GLOBAL bounds - >= 144 @ 739.724
1882.13/1886.75	c GLOBAL bounds - >= 144 @ 741.405
1882.13/1886.78	c GLOBAL bounds - >= 144 @ 741.43
1886.62/1891.29	c GLOBAL bounds - >= 144 @ 743.04
1886.72/1891.33	c GLOBAL bounds - >= 144 @ 743.068
1891.21/1895.86	c GLOBAL bounds - >= 144 @ 744.773
1891.31/1895.90	c GLOBAL bounds - >= 144 @ 744.806
1895.80/1900.43	c GLOBAL bounds - >= 144 @ 746.422
1895.80/1900.46	c GLOBAL bounds - >= 144 @ 746.445
1900.29/1904.99	c GLOBAL bounds - >= 144 @ 748.12
1900.89/1905.51	c GLOBAL bounds - >= 144 @ 748.381
1905.38/1910.03	c GLOBAL bounds - >= 144 @ 750.078
1905.38/1910.09	c GLOBAL bounds - >= 144 @ 750.135
1909.96/1914.62	c GLOBAL bounds - >= 144 @ 751.8
1910.48/1915.16	c #Conflicts:      23000 | #Constraints:     182146
1910.48/1915.16	c GLOBAL bounds - >= 144 @ 752.046
1914.95/1919.68	c GLOBAL bounds - >= 144 @ 753.721
1915.05/1919.75	c GLOBAL bounds - >= 144 @ 753.777
1919.54/1924.28	c GLOBAL bounds - >= 144 @ 755.51
1924.13/1928.85	c GLOBAL bounds - >= 144 @ 757.127
1928.71/1933.43	c GLOBAL bounds - >= 144 @ 758.798
1933.20/1937.99	c GLOBAL bounds - >= 144 @ 760.52
1937.79/1942.57	c GLOBAL bounds - >= 144 @ 762.252
1942.40/1947.15	c GLOBAL bounds - >= 144 @ 763.974
1947.07/1951.81	c #Conflicts:       7000 | #Constraints:       3021
1947.07/1951.81	c GLOBAL bounds - >= 144 @ 765.769
1952.16/1956.95	c GLOBAL bounds - >= 144 @ 768.001
1952.37/1957.12	c GLOBAL bounds - >= 148 @ 768.163
1952.37/1957.16	c GLOBAL bounds - >= 148 @ 768.204
1952.85/1957.66	c GLOBAL bounds - >= 148 @ 768.426
1952.85/1957.68	c GLOBAL bounds - >= 148 @ 768.439
1957.44/1962.20	c GLOBAL bounds - >= 148 @ 770.102
1957.44/1962.22	c GLOBAL bounds - >= 148 @ 770.114
1961.94/1966.74	c GLOBAL bounds - >= 148 @ 771.805
1961.94/1966.75	c GLOBAL bounds - >= 148 @ 771.816
1966.42/1971.28	c GLOBAL bounds - >= 148 @ 773.504
1966.42/1971.29	c GLOBAL bounds - >= 148 @ 773.516
1971.01/1975.82	c GLOBAL bounds - >= 148 @ 775.139
1971.01/1975.84	c GLOBAL bounds - >= 148 @ 775.162
1975.50/1980.37	c GLOBAL bounds - >= 148 @ 776.863
1975.60/1980.40	c GLOBAL bounds - >= 148 @ 776.888
1980.09/1984.92	c GLOBAL bounds - >= 148 @ 778.524
1980.59/1985.45	c GLOBAL bounds - >= 148 @ 778.775
1985.07/1989.99	c GLOBAL bounds - >= 148 @ 780.42
1985.19/1990.02	c GLOBAL bounds - >= 148 @ 780.451
1989.67/1994.55	c GLOBAL bounds - >= 148 @ 782.138
1989.67/1994.59	c GLOBAL bounds - >= 148 @ 782.17
1994.27/1999.11	c GLOBAL bounds - >= 148 @ 783.835
1994.27/1999.18	c GLOBAL bounds - >= 148 @ 783.891
1998.75/2003.69	c GLOBAL bounds - >= 148 @ 785.486
2003.33/2008.25	c #Conflicts:       8000 | #Constraints:       4040
2003.33/2008.25	c GLOBAL bounds - >= 148 @ 787.106
2007.92/2012.81	c GLOBAL bounds - >= 148 @ 788.844
2012.41/2017.39	c GLOBAL bounds - >= 148 @ 790.544
2017.00/2021.96	c GLOBAL bounds - >= 148 @ 792.283
2021.59/2026.50	c GLOBAL bounds - >= 148 @ 793.99
2026.28/2031.23	c GLOBAL bounds - >= 148 @ 795.796
2030.96/2035.98	c GLOBAL bounds - >= 148 @ 797.64
2035.75/2040.72	c GLOBAL bounds - >= 148 @ 799.512
2035.95/2040.96	c #Conflicts:       9000 | #Constraints:       5040
2035.95/2040.96	c GLOBAL bounds - >= 151 @ 799.737
2036.55/2041.50	c GLOBAL bounds - >= 151 @ 800.009
2036.55/2041.52	c GLOBAL bounds - >= 151 @ 800.025
2041.05/2046.05	c GLOBAL bounds - >= 151 @ 801.67
2041.05/2046.08	c GLOBAL bounds - >= 151 @ 801.693
2045.62/2050.60	c GLOBAL bounds - >= 151 @ 803.307
2045.62/2050.63	c GLOBAL bounds - >= 151 @ 803.328
2050.13/2055.16	c GLOBAL bounds - >= 151 @ 805.058
2050.61/2055.69	c GLOBAL bounds - >= 151 @ 805.312
2055.21/2060.21	c GLOBAL bounds - >= 151 @ 807.006
2055.21/2060.23	c GLOBAL bounds - >= 151 @ 807.019
2059.69/2064.75	c GLOBAL bounds - >= 151 @ 808.671
2059.69/2064.76	c GLOBAL bounds - >= 151 @ 808.683
2064.18/2069.29	c GLOBAL bounds - >= 151 @ 810.357
2064.28/2069.34	c GLOBAL bounds - >= 151 @ 810.395
2068.77/2073.86	c GLOBAL bounds - >= 151 @ 812.009
2069.37/2074.40	c #Conflicts:      24000 | #Constraints:     183200
2069.37/2074.40	c GLOBAL bounds - >= 151 @ 812.277
2073.86/2078.93	c GLOBAL bounds - >= 151 @ 813.894
2073.86/2078.94	c GLOBAL bounds - >= 151 @ 813.906
2078.35/2083.47	c GLOBAL bounds - >= 151 @ 815.61
2078.45/2083.51	c GLOBAL bounds - >= 151 @ 815.645
2082.94/2088.05	c GLOBAL bounds - >= 151 @ 817.346
2087.52/2092.62	c GLOBAL bounds - >= 151 @ 819.023
2092.03/2097.19	c GLOBAL bounds - >= 151 @ 820.711
2096.60/2101.73	c GLOBAL bounds - >= 151 @ 822.402
2101.78/2106.98	c INPROCESSING
2101.78/2106.98	c GARBAGE COLLECT
2101.78/2106.98	c GLOBAL bounds - >= 151 @ 824.758
2106.57/2111.72	c GLOBAL bounds - >= 151 @ 826.638
2111.36/2116.56	c #Conflicts:      10000 | #Constraints:       3777
2111.36/2116.56	c GLOBAL bounds - >= 151 @ 828.64
2111.46/2116.68	c GLOBAL bounds - >= 154 @ 828.763
2112.06/2117.24	c GLOBAL bounds - >= 154 @ 829.025
2112.06/2117.26	c GLOBAL bounds - >= 154 @ 829.039
2116.56/2121.78	c GLOBAL bounds - >= 154 @ 830.712
2116.66/2121.80	c GLOBAL bounds - >= 154 @ 830.722
2121.15/2126.34	c GLOBAL bounds - >= 154 @ 832.403
2121.15/2126.35	c GLOBAL bounds - >= 154 @ 832.415
2125.63/2130.88	c GLOBAL bounds - >= 154 @ 834.096
2125.63/2130.89	c GLOBAL bounds - >= 154 @ 834.107
2130.22/2135.42	c GLOBAL bounds - >= 154 @ 835.764
2130.22/2135.46	c GLOBAL bounds - >= 154 @ 835.802
2134.71/2139.99	c GLOBAL bounds - >= 154 @ 837.443
2135.31/2140.54	c GLOBAL bounds - >= 154 @ 837.69
2139.81/2145.07	c GLOBAL bounds - >= 154 @ 839.36
2139.81/2145.11	c GLOBAL bounds - >= 154 @ 839.395
2144.38/2149.64	c GLOBAL bounds - >= 154 @ 841.042
2144.38/2149.66	c GLOBAL bounds - >= 154 @ 841.054
2148.89/2154.19	c GLOBAL bounds - >= 154 @ 842.716
2149.47/2154.74	c GLOBAL bounds - >= 154 @ 842.974
2153.96/2159.27	c GLOBAL bounds - >= 154 @ 844.623
2154.06/2159.33	c GLOBAL bounds - >= 154 @ 844.678
2158.55/2163.86	c GLOBAL bounds - >= 154 @ 846.297
2163.13/2168.43	c GLOBAL bounds - >= 154 @ 847.987
2167.74/2173.01	c GLOBAL bounds - >= 154 @ 849.737
2172.41/2177.80	c GLOBAL bounds - >= 154 @ 851.636
2177.30/2182.63	c GLOBAL bounds - >= 154 @ 853.594
2181.98/2187.36	c #Conflicts:      11000 | #Constraints:       4791
2181.98/2187.36	c GLOBAL bounds - >= 154 @ 855.479
2182.29/2187.61	c GLOBAL bounds - >= 157 @ 855.722
2182.80/2188.17	c GLOBAL bounds - >= 157 @ 855.999
2182.80/2188.19	c GLOBAL bounds - >= 157 @ 856.014
2187.37/2192.71	c GLOBAL bounds - >= 157 @ 857.705
2187.37/2192.74	c #Conflicts:      25000 | #Constraints:     184237
2187.37/2192.74	c GLOBAL bounds - >= 157 @ 857.728
2191.86/2197.27	c GLOBAL bounds - >= 157 @ 859.422
2191.97/2197.30	c GLOBAL bounds - >= 157 @ 859.446
2196.45/2201.84	c GLOBAL bounds - >= 157 @ 861.093
2196.95/2202.39	c GLOBAL bounds - >= 157 @ 861.343
2201.54/2206.92	c GLOBAL bounds - >= 157 @ 862.996
2201.54/2206.93	c GLOBAL bounds - >= 157 @ 863.008
2206.03/2211.46	c GLOBAL bounds - >= 157 @ 864.67
2206.33/2211.78	c INPROCESSING
2206.33/2211.78	c GARBAGE COLLECT
2206.33/2211.78	c GLOBAL bounds - >= 157 @ 864.98
2210.91/2216.31	c GLOBAL bounds - >= 157 @ 866.657
2210.91/2216.34	c GLOBAL bounds - >= 157 @ 866.687
2215.40/2220.87	c GLOBAL bounds - >= 157 @ 868.386
2216.00/2221.45	c GLOBAL bounds - >= 157 @ 868.66
2220.49/2225.97	c GLOBAL bounds - >= 157 @ 870.329
2220.60/2226.04	c GLOBAL bounds - >= 157 @ 870.383
2225.08/2230.57	c GLOBAL bounds - >= 157 @ 872.046
2225.69/2231.15	c GLOBAL bounds - >= 157 @ 872.325
2230.16/2235.68	c GLOBAL bounds - >= 157 @ 873.972
2234.75/2240.23	c GLOBAL bounds - >= 157 @ 875.669
2239.24/2244.78	c GLOBAL bounds - >= 157 @ 877.349
2243.83/2249.36	c GLOBAL bounds - >= 157 @ 879.017
2248.42/2253.94	c GLOBAL bounds - >= 157 @ 880.772
2253.01/2258.52	c GLOBAL bounds - >= 157 @ 882.471
2257.50/2263.10	c GLOBAL bounds - >= 157 @ 884.213
2262.08/2267.69	c GLOBAL bounds - >= 157 @ 885.973
2262.18/2267.75	c GLOBAL bounds - >= 160 @ 886.034
2262.18/2267.80	c GLOBAL bounds - >= 160 @ 886.075
2262.28/2267.80	c GLOBAL bounds - >= 160 @ 886.076
2266.77/2272.33	c GLOBAL bounds - >= 160 @ 887.765
2266.77/2272.35	c GLOBAL bounds - >= 160 @ 887.787
2271.27/2276.88	c GLOBAL bounds - >= 160 @ 889.442
2271.36/2276.91	c GLOBAL bounds - >= 160 @ 889.468
2275.85/2281.43	c GLOBAL bounds - >= 160 @ 891.098
2276.35/2281.97	c GLOBAL bounds - >= 160 @ 891.351
2280.83/2286.50	c GLOBAL bounds - >= 160 @ 893.025
2280.94/2286.51	c GLOBAL bounds - >= 160 @ 893.037
2285.44/2291.04	c GLOBAL bounds - >= 160 @ 894.701
2285.44/2291.07	c GLOBAL bounds - >= 160 @ 894.725
2290.01/2295.60	c GLOBAL bounds - >= 160 @ 896.378
2290.01/2295.64	c GLOBAL bounds - >= 160 @ 896.413
2294.51/2300.17	c GLOBAL bounds - >= 160 @ 898.091
2295.10/2300.72	c GLOBAL bounds - >= 160 @ 898.342
2299.59/2305.25	c GLOBAL bounds - >= 160 @ 900.002
2299.59/2305.26	c GLOBAL bounds - >= 160 @ 900.014
2304.18/2309.80	c GLOBAL bounds - >= 160 @ 901.632
2304.18/2309.83	c #Conflicts:      26000 | #Constraints:     181886
2304.18/2309.83	c GLOBAL bounds - >= 160 @ 901.656
2308.66/2314.36	c GLOBAL bounds - >= 160 @ 903.311
2313.26/2318.93	c GLOBAL bounds - >= 160 @ 905.016
2317.84/2323.51	c GLOBAL bounds - >= 160 @ 906.799
2322.34/2328.08	c GLOBAL bounds - >= 160 @ 908.494
2326.92/2332.63	c GLOBAL bounds - >= 160 @ 910.143
2331.51/2337.23	c GLOBAL bounds - >= 160 @ 911.923
2336.60/2342.39	c #Conflicts:      12000 | #Constraints:       5823
2336.60/2342.39	c INPROCESSING
2336.60/2342.39	c GARBAGE COLLECT
2336.60/2342.39	c GLOBAL bounds - >= 160 @ 914.268
2337.41/2343.14	c #Conflicts:      13000 | #Constraints:       4293
2337.41/2343.14	c GLOBAL bounds - >= 162 @ 914.999
2337.41/2343.19	c GLOBAL bounds - >= 162 @ 915.049
2337.50/2343.21	c GLOBAL bounds - >= 162 @ 915.062
2341.99/2347.75	c GLOBAL bounds - >= 162 @ 916.739
2341.99/2347.76	c GLOBAL bounds - >= 162 @ 916.751
2346.48/2352.28	c GLOBAL bounds - >= 162 @ 918.455
2346.57/2352.30	c GLOBAL bounds - >= 162 @ 918.468
2351.06/2356.83	c GLOBAL bounds - >= 162 @ 920.132
2351.06/2356.85	c GLOBAL bounds - >= 162 @ 920.144
2355.54/2361.37	c GLOBAL bounds - >= 162 @ 921.795
2355.54/2361.38	c GLOBAL bounds - >= 162 @ 921.807
2360.13/2365.92	c GLOBAL bounds - >= 162 @ 923.465
2360.64/2366.49	c GLOBAL bounds - >= 162 @ 923.735
2365.23/2371.01	c GLOBAL bounds - >= 162 @ 925.375
2365.23/2371.06	c GLOBAL bounds - >= 162 @ 925.411
2369.71/2375.59	c GLOBAL bounds - >= 162 @ 927.107
2370.32/2376.19	c GLOBAL bounds - >= 162 @ 927.385
2374.90/2380.72	c GLOBAL bounds - >= 162 @ 929.072
2374.90/2380.75	c GLOBAL bounds - >= 162 @ 929.105
2379.39/2385.28	c GLOBAL bounds - >= 162 @ 930.849
2379.49/2385.35	c GLOBAL bounds - >= 162 @ 930.906
2383.97/2389.87	c GLOBAL bounds - >= 162 @ 932.594
2388.56/2394.43	c GLOBAL bounds - >= 162 @ 934.284
2393.06/2398.98	c GLOBAL bounds - >= 162 @ 935.931
2397.64/2403.57	c GLOBAL bounds - >= 162 @ 937.622
2402.24/2408.18	c GLOBAL bounds - >= 162 @ 939.404
2406.91/2412.80	c GLOBAL bounds - >= 162 @ 941.187
2411.50/2417.42	c GLOBAL bounds - >= 162 @ 942.938
2416.10/2422.04	c GLOBAL bounds - >= 162 @ 944.648
2416.49/2422.47	c #Conflicts:      14000 | #Constraints:       5311
2416.49/2422.47	c GLOBAL bounds - >= 165 @ 945.065
2417.09/2423.06	c GLOBAL bounds - >= 165 @ 945.348
2417.09/2423.08	c GLOBAL bounds - >= 165 @ 945.36
2421.68/2427.61	c GLOBAL bounds - >= 165 @ 947.024
2421.68/2427.64	c GLOBAL bounds - >= 165 @ 947.046
2426.18/2432.16	c GLOBAL bounds - >= 165 @ 948.788
2426.18/2432.19	c GLOBAL bounds - >= 165 @ 948.813
2430.76/2436.71	c GLOBAL bounds - >= 165 @ 950.529
2431.25/2437.29	c GLOBAL bounds - >= 165 @ 950.791
2435.84/2441.82	c GLOBAL bounds - >= 165 @ 952.458
2435.84/2441.84	c GLOBAL bounds - >= 165 @ 952.471
2440.33/2446.37	c GLOBAL bounds - >= 165 @ 954.148
2440.42/2446.41	c GLOBAL bounds - >= 165 @ 954.181
2444.91/2450.93	c GLOBAL bounds - >= 165 @ 955.834
2445.51/2451.52	c #Conflicts:      27000 | #Constraints:     182933
2445.51/2451.52	c GLOBAL bounds - >= 165 @ 956.114
2450.02/2456.04	c GLOBAL bounds - >= 165 @ 957.754
2450.02/2456.05	c GLOBAL bounds - >= 165 @ 957.766
2454.49/2460.58	c GLOBAL bounds - >= 165 @ 959.468
2454.59/2460.65	c GLOBAL bounds - >= 165 @ 959.528
2459.09/2465.17	c GLOBAL bounds - >= 165 @ 961.192
2459.68/2465.78	c GLOBAL bounds - >= 165 @ 961.477
2464.27/2470.32	c GLOBAL bounds - >= 165 @ 963.176
2468.76/2474.88	c GLOBAL bounds - >= 165 @ 964.863
2473.34/2479.46	c GLOBAL bounds - >= 165 @ 966.587
2477.94/2484.05	c GLOBAL bounds - >= 165 @ 968.357
2482.52/2488.62	c GLOBAL bounds - >= 165 @ 970.091
2487.02/2493.18	c GLOBAL bounds - >= 165 @ 971.732
2491.60/2497.74	c GLOBAL bounds - >= 165 @ 973.445
2496.59/2502.79	c GLOBAL bounds - >= 165 @ 975.575
2497.38/2503.56	c #Conflicts:      15000 | #Constraints:       6327
2497.38/2503.56	c INPROCESSING
2497.38/2503.56	c GARBAGE COLLECT
2497.38/2503.56	c GLOBAL bounds - >= 168 @ 976.339
2497.48/2503.61	c GLOBAL bounds - >= 168 @ 976.383
2497.48/2503.61	c GLOBAL bounds - >= 168 @ 976.383
2501.99/2508.15	c GLOBAL bounds - >= 168 @ 978.065
2501.99/2508.18	c GLOBAL bounds - >= 168 @ 978.089
2506.56/2512.71	c GLOBAL bounds - >= 168 @ 979.736
2506.56/2512.74	c GLOBAL bounds - >= 168 @ 979.76
2511.14/2517.30	c GLOBAL bounds - >= 168 @ 981.486
2511.64/2517.88	c GLOBAL bounds - >= 168 @ 981.76
2516.23/2522.40	c GLOBAL bounds - >= 168 @ 983.482
2516.23/2522.43	c GLOBAL bounds - >= 168 @ 983.506
2520.73/2526.96	c GLOBAL bounds - >= 168 @ 985.185
2520.73/2527.00	c GLOBAL bounds - >= 168 @ 985.224
2525.31/2531.53	c GLOBAL bounds - >= 168 @ 986.856
2525.31/2531.54	c GLOBAL bounds - >= 168 @ 986.869
2529.81/2536.08	c GLOBAL bounds - >= 168 @ 988.474
2530.40/2536.67	c GLOBAL bounds - >= 168 @ 988.749
2534.90/2541.19	c GLOBAL bounds - >= 168 @ 990.428
2534.98/2541.24	c GLOBAL bounds - >= 168 @ 990.462
2539.48/2545.76	c GLOBAL bounds - >= 168 @ 992.145
2540.07/2546.38	c GLOBAL bounds - >= 168 @ 992.438
2544.67/2550.91	c GLOBAL bounds - >= 168 @ 994.105
2549.15/2555.46	c GLOBAL bounds - >= 168 @ 995.825
2553.75/2560.04	c GLOBAL bounds - >= 168 @ 997.548
2558.32/2564.63	c GLOBAL bounds - >= 168 @ 999.24
2562.91/2569.29	c GLOBAL bounds - >= 168 @ 1000.99
2567.60/2573.97	c GLOBAL bounds - >= 168 @ 1002.78
2572.29/2578.69	c GLOBAL bounds - >= 168 @ 1004.62
2572.88/2579.25	c #Conflicts:      16000 | #Constraints:       4623
2572.88/2579.25	c GLOBAL bounds - >= 171 @ 1005.18
2572.88/2579.29	c GLOBAL bounds - >= 171 @ 1005.22
2572.88/2579.29	c GLOBAL bounds - >= 171 @ 1005.22
2577.48/2583.82	c GLOBAL bounds - >= 171 @ 1006.88
2577.48/2583.84	c GLOBAL bounds - >= 171 @ 1006.89
2581.97/2588.36	c GLOBAL bounds - >= 171 @ 1008.59
2581.97/2588.38	c GLOBAL bounds - >= 171 @ 1008.6
2586.55/2592.91	c GLOBAL bounds - >= 171 @ 1010.26
2587.05/2593.50	c #Conflicts:      28000 | #Constraints:     183987
2587.05/2593.50	c GLOBAL bounds - >= 171 @ 1010.52
2591.65/2598.03	c GLOBAL bounds - >= 171 @ 1012.19
2591.65/2598.06	c GLOBAL bounds - >= 171 @ 1012.21
2596.13/2602.59	c GLOBAL bounds - >= 171 @ 1013.85
2596.74/2603.19	c GLOBAL bounds - >= 171 @ 1014.12
2601.32/2607.71	c GLOBAL bounds - >= 171 @ 1015.76
2601.32/2607.76	c GLOBAL bounds - >= 171 @ 1015.8
2605.80/2612.28	c GLOBAL bounds - >= 171 @ 1017.43
2606.50/2612.91	c GLOBAL bounds - >= 171 @ 1017.7
2610.99/2617.44	c GLOBAL bounds - >= 171 @ 1019.35
2611.09/2617.50	c GLOBAL bounds - >= 171 @ 1019.41
2615.59/2622.03	c GLOBAL bounds - >= 171 @ 1021.04
2616.18/2622.66	c GLOBAL bounds - >= 171 @ 1021.34
2620.68/2627.19	c GLOBAL bounds - >= 171 @ 1022.98
2625.26/2631.76	c GLOBAL bounds - >= 171 @ 1024.64
2629.84/2636.35	c GLOBAL bounds - >= 171 @ 1026.4
2634.43/2640.94	c GLOBAL bounds - >= 171 @ 1028.1
2639.02/2645.53	c GLOBAL bounds - >= 171 @ 1029.88
2643.62/2650.18	c GLOBAL bounds - >= 171 @ 1031.71
2648.39/2654.92	c #Conflicts:      17000 | #Constraints:       5641
2648.39/2654.92	c GLOBAL bounds - >= 171 @ 1033.6
2653.19/2659.73	c GLOBAL bounds - >= 171 @ 1035.54
2657.97/2664.57	c GLOBAL bounds - >= 171 @ 1037.54
2658.18/2664.77	c GLOBAL bounds - >= 173 @ 1037.74
2658.27/2664.82	c GLOBAL bounds - >= 173 @ 1037.78
2658.27/2664.82	c GLOBAL bounds - >= 173 @ 1037.78
2662.76/2669.36	c GLOBAL bounds - >= 173 @ 1039.45
2662.76/2669.37	c GLOBAL bounds - >= 173 @ 1039.47
2667.35/2673.90	c GLOBAL bounds - >= 173 @ 1041.11
2667.35/2673.91	c GLOBAL bounds - >= 173 @ 1041.12
2671.84/2678.45	c GLOBAL bounds - >= 173 @ 1042.75
2671.84/2678.49	c GLOBAL bounds - >= 173 @ 1042.78
2676.43/2683.01	c GLOBAL bounds - >= 173 @ 1044.39
2676.43/2683.05	c GLOBAL bounds - >= 173 @ 1044.42
2680.91/2687.58	c GLOBAL bounds - >= 173 @ 1046.05
2681.02/2687.61	c GLOBAL bounds - >= 173 @ 1046.07
2685.52/2692.14	c GLOBAL bounds - >= 173 @ 1047.74
2685.52/2692.18	c GLOBAL bounds - >= 173 @ 1047.77
2690.10/2696.71	c GLOBAL bounds - >= 173 @ 1049.44
2690.10/2696.74	c GLOBAL bounds - >= 173 @ 1049.47
2694.58/2701.26	c GLOBAL bounds - >= 173 @ 1051.11
2695.18/2701.88	c #Conflicts:      29000 | #Constraints:     185022
2695.18/2701.88	c GLOBAL bounds - >= 173 @ 1051.39
2699.77/2706.42	c GLOBAL bounds - >= 173 @ 1053.04
2700.07/2706.77	c INPROCESSING
2700.07/2706.77	c GARBAGE COLLECT
2700.07/2706.77	c GLOBAL bounds - >= 173 @ 1053.38
2704.66/2711.30	c GLOBAL bounds - >= 173 @ 1055.08
2709.25/2715.90	c GLOBAL bounds - >= 173 @ 1056.78
2713.83/2720.50	c #Conflicts:      18000 | #Constraints:       6655
2713.83/2720.50	c GLOBAL bounds - >= 173 @ 1058.48
2718.33/2725.09	c GLOBAL bounds - >= 173 @ 1060.24
2723.00/2729.71	c GLOBAL bounds - >= 173 @ 1062.02
2728.41/2735.17	c INPROCESSING
2728.41/2735.17	c GARBAGE COLLECT
2728.41/2735.17	c GLOBAL bounds - >= 173 @ 1064.66
2734.18/2740.94	c #Conflicts:      19000 | #Constraints:       4657
2734.18/2740.94	c #Conflicts:      20000 | #Constraints:       5657
2734.18/2740.94	c GLOBAL bounds - >= 173 @ 1067.55
2738.86/2745.64	c GLOBAL bounds - >= 173 @ 1069.41
2739.47/2746.21	c GLOBAL bounds - >= 176 @ 1069.97
2739.47/2746.26	c GLOBAL bounds - >= 176 @ 1070.02
2740.06/2746.85	c GLOBAL bounds - >= 176 @ 1070.29
2740.06/2746.87	c GLOBAL bounds - >= 176 @ 1070.3
2744.64/2751.40	c GLOBAL bounds - >= 176 @ 1071.94
2744.64/2751.41	c GLOBAL bounds - >= 176 @ 1071.95
2749.14/2755.95	c GLOBAL bounds - >= 176 @ 1073.64
2749.14/2755.98	c GLOBAL bounds - >= 176 @ 1073.66
2753.72/2760.51	c GLOBAL bounds - >= 176 @ 1075.3
2753.72/2760.54	c GLOBAL bounds - >= 176 @ 1075.33
2758.22/2765.07	c GLOBAL bounds - >= 176 @ 1076.99
2758.22/2765.09	c GLOBAL bounds - >= 176 @ 1077
2762.80/2769.61	c GLOBAL bounds - >= 176 @ 1078.66
2763.40/2770.23	c GLOBAL bounds - >= 176 @ 1078.95
2767.89/2774.76	c GLOBAL bounds - >= 176 @ 1080.6
2767.99/2774.81	c GLOBAL bounds - >= 176 @ 1080.64
2772.47/2779.34	c GLOBAL bounds - >= 176 @ 1082.32
2772.47/2779.37	c GLOBAL bounds - >= 176 @ 1082.35
2777.06/2783.91	c GLOBAL bounds - >= 176 @ 1083.99
2777.66/2784.55	c GLOBAL bounds - >= 176 @ 1084.31
2782.16/2789.08	c GLOBAL bounds - >= 176 @ 1085.96
2782.27/2789.14	c GLOBAL bounds - >= 176 @ 1086.02
2786.74/2793.67	c GLOBAL bounds - >= 176 @ 1087.69
2791.33/2798.28	c GLOBAL bounds - >= 176 @ 1089.46
2795.92/2802.86	c #Conflicts:      21000 | #Constraints:       6676
2795.92/2802.86	c GLOBAL bounds - >= 176 @ 1091.15
2800.51/2807.49	c GLOBAL bounds - >= 176 @ 1092.88
2805.20/2812.11	c GLOBAL bounds - >= 176 @ 1094.67
2809.78/2816.73	c GLOBAL bounds - >= 176 @ 1096.44
2814.37/2821.38	c GLOBAL bounds - >= 176 @ 1098.21
2819.07/2826.02	c GLOBAL bounds - >= 176 @ 1099.96
2824.34/2831.32	c INPROCESSING
2824.34/2831.32	c GARBAGE COLLECT
2824.34/2831.32	c GLOBAL bounds - >= 176 @ 1102.43
2825.74/2832.75	c #Conflicts:      22000 | #Constraints:       4516
2825.74/2832.75	c #Conflicts:      23000 | #Constraints:       5516
2825.74/2832.75	c GLOBAL bounds - >= 179 @ 1103.84
2825.84/2832.80	c GLOBAL bounds - >= 179 @ 1103.89
2826.34/2833.40	c GLOBAL bounds - >= 179 @ 1104.15
2826.44/2833.42	c GLOBAL bounds - >= 179 @ 1104.17
2830.93/2837.95	c GLOBAL bounds - >= 179 @ 1105.81
2830.93/2837.96	c GLOBAL bounds - >= 179 @ 1105.82
2835.41/2842.49	c GLOBAL bounds - >= 179 @ 1107.47
2835.51/2842.51	c GLOBAL bounds - >= 179 @ 1107.49
2840.01/2847.04	c GLOBAL bounds - >= 179 @ 1109.12
2840.01/2847.05	c GLOBAL bounds - >= 179 @ 1109.13
2844.49/2851.58	c GLOBAL bounds - >= 179 @ 1110.8
2844.49/2851.59	c GLOBAL bounds - >= 179 @ 1110.81
2849.09/2856.12	c GLOBAL bounds - >= 179 @ 1112.44
2849.09/2856.14	c GLOBAL bounds - >= 179 @ 1112.45
2853.56/2860.68	c GLOBAL bounds - >= 179 @ 1114.11
2853.67/2860.73	c #Conflicts:      30000 | #Constraints:     182477
2853.67/2860.73	c GLOBAL bounds - >= 179 @ 1114.15
2858.15/2865.26	c GLOBAL bounds - >= 179 @ 1115.81
2858.74/2865.89	c GLOBAL bounds - >= 179 @ 1116.12
2863.34/2870.42	c GLOBAL bounds - >= 179 @ 1117.74
2863.34/2870.46	c GLOBAL bounds - >= 179 @ 1117.77
2867.83/2875.00	c GLOBAL bounds - >= 179 @ 1119.44
2868.52/2875.65	c GLOBAL bounds - >= 179 @ 1119.76
2873.02/2880.18	c GLOBAL bounds - >= 179 @ 1121.41
2877.60/2884.74	c GLOBAL bounds - >= 179 @ 1123.13
2882.19/2889.35	c GLOBAL bounds - >= 179 @ 1124.84
2886.77/2893.95	c GLOBAL bounds - >= 179 @ 1126.63
2891.37/2898.55	c GLOBAL bounds - >= 179 @ 1128.39
2896.05/2903.20	c GLOBAL bounds - >= 179 @ 1130.12
2900.64/2907.82	c GLOBAL bounds - >= 179 @ 1131.88
2905.23/2912.46	c GLOBAL bounds - >= 179 @ 1133.65
2905.62/2912.89	c #Conflicts:      24000 | #Constraints:       6531
2905.62/2912.89	c GLOBAL bounds - >= 182 @ 1134.08
2905.72/2912.93	c GLOBAL bounds - >= 182 @ 1134.12
2905.72/2912.94	c GLOBAL bounds - >= 182 @ 1134.12
2910.21/2917.48	c GLOBAL bounds - >= 182 @ 1135.79
2910.21/2917.49	c GLOBAL bounds - >= 182 @ 1135.8
2914.82/2922.03	c GLOBAL bounds - >= 182 @ 1137.49
2914.82/2922.06	c GLOBAL bounds - >= 182 @ 1137.51
2919.39/2926.60	c GLOBAL bounds - >= 182 @ 1139.18
2919.39/2926.63	c GLOBAL bounds - >= 182 @ 1139.2
2923.90/2931.16	c GLOBAL bounds - >= 182 @ 1140.91
2924.57/2931.80	c GLOBAL bounds - >= 182 @ 1141.2
2929.06/2936.33	c GLOBAL bounds - >= 182 @ 1142.93
2929.06/2936.37	c GLOBAL bounds - >= 182 @ 1142.97
2933.66/2940.91	c GLOBAL bounds - >= 182 @ 1144.7
2934.25/2941.56	c GLOBAL bounds - >= 182 @ 1145.01
2938.76/2946.09	c GLOBAL bounds - >= 182 @ 1146.68
2938.85/2946.13	c GLOBAL bounds - >= 182 @ 1146.71
2943.33/2950.67	c GLOBAL bounds - >= 182 @ 1148.44
2944.02/2951.33	c #Conflicts:      31000 | #Constraints:     183502
2944.02/2951.33	c GLOBAL bounds - >= 182 @ 1148.76
2948.51/2955.87	c GLOBAL bounds - >= 182 @ 1150.48
2948.62/2955.94	c GLOBAL bounds - >= 182 @ 1150.53
2953.10/2960.48	c GLOBAL bounds - >= 182 @ 1152.2
2957.71/2965.05	c GLOBAL bounds - >= 182 @ 1153.94
2962.28/2969.65	c GLOBAL bounds - >= 182 @ 1155.72
2966.86/2974.27	c GLOBAL bounds - >= 182 @ 1157.43
2971.45/2978.86	c GLOBAL bounds - >= 182 @ 1159.12
2976.04/2983.45	c GLOBAL bounds - >= 182 @ 1160.85
2980.64/2988.05	c GLOBAL bounds - >= 182 @ 1162.58
2985.32/2992.74	c GLOBAL bounds - >= 182 @ 1164.45
2985.63/2993.10	c #Conflicts:      25000 | #Constraints:       7547
2985.63/2993.10	c GLOBAL bounds - >= 185 @ 1164.8
2985.72/2993.15	c GLOBAL bounds - >= 185 @ 1164.85
2985.72/2993.15	c GLOBAL bounds - >= 185 @ 1164.85
2990.71/2998.14	c INPROCESSING
2990.71/2998.14	c GARBAGE COLLECT
2990.71/2998.14	c GLOBAL bounds - >= 185 @ 1166.98
2991.30/2998.77	c GLOBAL bounds - >= 185 @ 1167.3
2995.89/3003.33	c GLOBAL bounds - >= 185 @ 1169.03
2995.89/3003.36	c GLOBAL bounds - >= 185 @ 1169.05
3000.38/3007.89	c GLOBAL bounds - >= 185 @ 1170.65
3000.48/3007.94	c GLOBAL bounds - >= 185 @ 1170.68
3004.96/3012.47	c GLOBAL bounds - >= 185 @ 1172.37
3004.96/3012.48	c GLOBAL bounds - >= 185 @ 1172.38
3009.45/3017.01	c GLOBAL bounds - >= 185 @ 1174.07
3010.15/3017.65	c GLOBAL bounds - >= 185 @ 1174.36
3014.64/3022.18	c GLOBAL bounds - >= 185 @ 1176.05
3014.73/3022.20	c GLOBAL bounds - >= 185 @ 1176.06
3019.22/3026.73	c GLOBAL bounds - >= 185 @ 1177.73
3019.22/3026.77	c GLOBAL bounds - >= 185 @ 1177.77
3023.82/3031.31	c GLOBAL bounds - >= 185 @ 1179.41
3024.41/3031.98	c GLOBAL bounds - >= 185 @ 1179.74
3029.00/3036.52	c GLOBAL bounds - >= 185 @ 1181.46
3029.00/3036.56	c GLOBAL bounds - >= 185 @ 1181.49
3033.50/3041.10	c GLOBAL bounds - >= 185 @ 1183.2
3038.07/3045.67	c GLOBAL bounds - >= 185 @ 1184.91
3042.66/3050.26	c GLOBAL bounds - >= 185 @ 1186.7
3047.35/3054.90	c GLOBAL bounds - >= 185 @ 1188.44
3051.93/3059.52	c GLOBAL bounds - >= 185 @ 1190.18
3056.82/3064.43	c GLOBAL bounds - >= 185 @ 1192.21
3061.90/3069.51	c #Conflicts:      26000 | #Constraints:       5129
3061.90/3069.51	c GLOBAL bounds - >= 185 @ 1194.47
3066.60/3074.29	c GLOBAL bounds - >= 185 @ 1196.35
3066.79/3074.49	c #Conflicts:      27000 | #Constraints:       6129
3066.79/3074.49	c GLOBAL bounds - >= 188 @ 1196.54
3066.89/3074.55	c GLOBAL bounds - >= 188 @ 1196.6
3066.89/3074.57	c GLOBAL bounds - >= 188 @ 1196.61
3071.40/3079.11	c GLOBAL bounds - >= 188 @ 1198.28
3072.08/3079.75	c GLOBAL bounds - >= 188 @ 1198.58
3076.57/3084.29	c GLOBAL bounds - >= 188 @ 1200.28
3076.67/3084.30	c GLOBAL bounds - >= 188 @ 1200.29
3081.16/3088.83	c GLOBAL bounds - >= 188 @ 1201.98
3081.16/3088.86	c GLOBAL bounds - >= 188 @ 1202
3085.65/3093.39	c GLOBAL bounds - >= 188 @ 1203.61
3085.75/3093.43	c GLOBAL bounds - >= 188 @ 1203.65
3090.24/3097.96	c GLOBAL bounds - >= 188 @ 1205.29
3090.93/3098.62	c #Conflicts:      32000 | #Constraints:     184539
3090.93/3098.62	c GLOBAL bounds - >= 188 @ 1205.59
3095.44/3103.16	c GLOBAL bounds - >= 188 @ 1207.26
3095.53/3103.20	c GLOBAL bounds - >= 188 @ 1207.3
3100.02/3107.74	c GLOBAL bounds - >= 188 @ 1209.01
3100.02/3107.76	c GLOBAL bounds - >= 188 @ 1209.02
3104.60/3112.30	c GLOBAL bounds - >= 188 @ 1210.69
3105.20/3112.98	c GLOBAL bounds - >= 188 @ 1211.02
3109.79/3117.52	c GLOBAL bounds - >= 188 @ 1212.66
3109.79/3117.55	c GLOBAL bounds - >= 188 @ 1212.7
3114.29/3122.08	c GLOBAL bounds - >= 188 @ 1214.38
3118.86/3126.66	c GLOBAL bounds - >= 188 @ 1216.06
3123.45/3131.26	c GLOBAL bounds - >= 188 @ 1217.8
3128.04/3135.89	c GLOBAL bounds - >= 188 @ 1219.52
3132.73/3140.53	c GLOBAL bounds - >= 188 @ 1221.26
3137.33/3145.17	c GLOBAL bounds - >= 188 @ 1223.01
3142.01/3149.81	c GLOBAL bounds - >= 188 @ 1224.78
3146.80/3154.69	c GLOBAL bounds - >= 188 @ 1226.81
3147.21/3155.08	c #Conflicts:      28000 | #Constraints:       7145
3147.21/3155.08	c GLOBAL bounds - >= 191 @ 1227.19
3147.31/3155.14	c GLOBAL bounds - >= 191 @ 1227.25
3147.31/3155.16	c GLOBAL bounds - >= 191 @ 1227.26
3151.78/3159.70	c GLOBAL bounds - >= 191 @ 1228.91
3152.48/3160.35	c GLOBAL bounds - >= 191 @ 1229.19
3156.97/3164.88	c GLOBAL bounds - >= 191 @ 1230.8
3157.07/3164.92	c GLOBAL bounds - >= 191 @ 1230.83
3161.56/3169.45	c GLOBAL bounds - >= 191 @ 1232.57
3161.56/3169.46	c GLOBAL bounds - >= 191 @ 1232.58
3166.05/3174.00	c GLOBAL bounds - >= 191 @ 1234.25
3166.16/3174.04	c GLOBAL bounds - >= 191 @ 1234.28
3170.63/3178.57	c GLOBAL bounds - >= 191 @ 1235.96
3171.33/3179.23	c GLOBAL bounds - >= 191 @ 1236.29
3175.82/3183.76	c GLOBAL bounds - >= 191 @ 1237.95
3175.82/3183.78	c GLOBAL bounds - >= 191 @ 1237.96
3180.42/3188.30	c GLOBAL bounds - >= 191 @ 1239.6
3180.42/3188.35	c GLOBAL bounds - >= 191 @ 1239.64
3184.90/3192.88	c GLOBAL bounds - >= 191 @ 1241.3
3185.60/3193.57	c GLOBAL bounds - >= 191 @ 1241.66
3190.21/3198.11	c GLOBAL bounds - >= 191 @ 1243.34
3190.49/3198.47	c #Conflicts:      33000 | #Constraints:     185562
3190.49/3198.47	c INPROCESSING
3190.49/3198.47	c GARBAGE COLLECT
3190.49/3198.47	c GLOBAL bounds - >= 191 @ 1243.69
3195.09/3203.02	c GLOBAL bounds - >= 191 @ 1245.33
3199.66/3207.63	c GLOBAL bounds - >= 191 @ 1247.04
3204.26/3212.23	c GLOBAL bounds - >= 191 @ 1248.78
3208.84/3216.85	c GLOBAL bounds - >= 191 @ 1250.51
3213.43/3221.44	c GLOBAL bounds - >= 191 @ 1252.21
3218.13/3226.14	c GLOBAL bounds - >= 191 @ 1254.04
3222.81/3230.84	c GLOBAL bounds - >= 191 @ 1255.82
3223.41/3231.45	c #Conflicts:      29000 | #Constraints:       8161
3223.41/3231.45	c INPROCESSING
3223.41/3231.45	c GARBAGE COLLECT
3223.41/3231.45	c GLOBAL bounds - >= 195 @ 1256.43
3224.12/3232.14	c GLOBAL bounds - >= 195 @ 1256.75
3224.12/3232.16	c GLOBAL bounds - >= 195 @ 1256.77
3224.12/3232.16	c GLOBAL bounds - >= 195 @ 1256.77
3228.69/3236.70	c GLOBAL bounds - >= 195 @ 1258.45
3228.69/3236.71	c GLOBAL bounds - >= 195 @ 1258.46
3233.18/3241.25	c GLOBAL bounds - >= 195 @ 1260.11
3233.18/3241.27	c GLOBAL bounds - >= 195 @ 1260.12
3237.76/3245.83	c GLOBAL bounds - >= 195 @ 1261.83
3237.76/3245.86	c GLOBAL bounds - >= 195 @ 1261.85
3242.46/3250.53	c GLOBAL bounds - >= 195 @ 1263.63
3242.46/3250.55	c GLOBAL bounds - >= 195 @ 1263.65
3247.06/3255.12	c GLOBAL bounds - >= 195 @ 1265.42
3247.06/3255.15	c GLOBAL bounds - >= 195 @ 1265.44
3251.54/3259.68	c GLOBAL bounds - >= 195 @ 1267.16
3252.23/3260.34	c GLOBAL bounds - >= 195 @ 1267.45
3256.72/3264.87	c GLOBAL bounds - >= 195 @ 1269.17
3256.82/3264.90	c GLOBAL bounds - >= 195 @ 1269.2
3261.31/3269.43	c GLOBAL bounds - >= 195 @ 1270.89
3261.31/3269.47	c GLOBAL bounds - >= 195 @ 1270.93
3265.80/3274.00	c GLOBAL bounds - >= 195 @ 1272.64
3266.50/3274.68	c GLOBAL bounds - >= 195 @ 1272.95
3271.08/3279.22	c GLOBAL bounds - >= 195 @ 1274.67
3275.67/3283.85	c GLOBAL bounds - >= 195 @ 1276.43
3280.26/3288.44	c GLOBAL bounds - >= 195 @ 1278.17
3284.86/3293.05	c GLOBAL bounds - >= 195 @ 1279.91
3289.44/3297.66	c GLOBAL bounds - >= 195 @ 1281.66
3294.12/3302.33	c GLOBAL bounds - >= 195 @ 1283.45
3299.11/3307.34	c #Conflicts:      30000 | #Constraints:       5610
3299.11/3307.34	c GLOBAL bounds - >= 195 @ 1285.57
3299.31/3307.52	c GLOBAL bounds - >= 196 @ 1285.75
3299.31/3307.57	c GLOBAL bounds - >= 196 @ 1285.8
3299.31/3307.59	c GLOBAL bounds - >= 196 @ 1285.81
3299.41/3307.61	c GLOBAL bounds - >= 196 @ 1285.83
3303.91/3312.14	c GLOBAL bounds - >= 196 @ 1287.5
3303.91/3312.15	c GLOBAL bounds - >= 196 @ 1287.51
3308.39/3316.68	c GLOBAL bounds - >= 196 @ 1289.12
3308.39/3316.70	c GLOBAL bounds - >= 196 @ 1289.13
3312.98/3321.23	c GLOBAL bounds - >= 196 @ 1290.78
3313.67/3321.91	c GLOBAL bounds - >= 196 @ 1291.1
3318.17/3326.45	c GLOBAL bounds - >= 196 @ 1292.79
3318.17/3326.49	c GLOBAL bounds - >= 196 @ 1292.82
3322.77/3331.03	c GLOBAL bounds - >= 196 @ 1294.52
3323.46/3331.72	c #Conflicts:      34000 | #Constraints:     182836
3323.46/3331.72	c GLOBAL bounds - >= 196 @ 1294.84
3327.94/3336.26	c GLOBAL bounds - >= 196 @ 1296.55
3327.94/3336.29	c GLOBAL bounds - >= 196 @ 1296.58
3332.53/3340.83	c GLOBAL bounds - >= 196 @ 1298.24
3332.53/3340.89	c GLOBAL bounds - >= 196 @ 1298.29
3337.12/3345.43	c GLOBAL bounds - >= 196 @ 1299.94
3337.84/3346.14	c GLOBAL bounds - >= 196 @ 1300.27
3342.31/3350.67	c GLOBAL bounds - >= 196 @ 1301.98
3342.41/3350.71	c GLOBAL bounds - >= 196 @ 1302.01
3346.90/3355.24	c GLOBAL bounds - >= 196 @ 1303.7
3351.49/3359.82	c GLOBAL bounds - >= 196 @ 1305.42
3356.07/3364.43	c GLOBAL bounds - >= 196 @ 1307.13
3360.67/3369.03	c GLOBAL bounds - >= 196 @ 1308.86
3365.25/3373.64	c GLOBAL bounds - >= 196 @ 1310.59
3369.83/3378.25	c GLOBAL bounds - >= 196 @ 1312.39
3374.42/3382.84	c GLOBAL bounds - >= 196 @ 1314.12
3379.32/3387.74	c #Conflicts:      31000 | #Constraints:       6631
3379.32/3387.74	c GLOBAL bounds - >= 196 @ 1316.12
3384.20/3392.62	c GLOBAL bounds - >= 196 @ 1318.18
3384.50/3392.97	c GLOBAL bounds - >= 199 @ 1318.53
3384.62/3393.02	c GLOBAL bounds - >= 199 @ 1318.58
3384.62/3393.04	c GLOBAL bounds - >= 199 @ 1318.59
3384.62/3393.06	c GLOBAL bounds - >= 199 @ 1318.61
3389.09/3397.58	c GLOBAL bounds - >= 199 @ 1320.3
3389.78/3398.26	c GLOBAL bounds - >= 199 @ 1320.61
3394.27/3402.79	c GLOBAL bounds - >= 199 @ 1322.3
3394.37/3402.81	c GLOBAL bounds - >= 199 @ 1322.32
3398.87/3407.34	c GLOBAL bounds - >= 199 @ 1323.94
3398.87/3407.35	c GLOBAL bounds - >= 199 @ 1323.95
3403.36/3411.89	c GLOBAL bounds - >= 199 @ 1325.67
3403.45/3411.92	c GLOBAL bounds - >= 199 @ 1325.7
3407.95/3416.45	c GLOBAL bounds - >= 199 @ 1327.41
3408.05/3416.50	c GLOBAL bounds - >= 199 @ 1327.44
3412.54/3421.03	c GLOBAL bounds - >= 199 @ 1329.14
3413.23/3421.73	c GLOBAL bounds - >= 199 @ 1329.46
3417.71/3426.26	c GLOBAL bounds - >= 199 @ 1331.12
3417.82/3426.30	c GLOBAL bounds - >= 199 @ 1331.16
3422.30/3430.84	c GLOBAL bounds - >= 199 @ 1332.84
3423.00/3431.56	c GLOBAL bounds - >= 199 @ 1333.17
3427.51/3436.10	c GLOBAL bounds - >= 199 @ 1334.82
3427.61/3436.16	c #Conflicts:      35000 | #Constraints:     183870
3427.61/3436.16	c GLOBAL bounds - >= 199 @ 1334.88
3432.18/3440.70	c GLOBAL bounds - >= 199 @ 1336.53
3436.77/3445.31	c #Conflicts:      32000 | #Constraints:       7648
3436.77/3445.31	c GLOBAL bounds - >= 199 @ 1338.33
3441.36/3449.91	c GLOBAL bounds - >= 199 @ 1340.08
3445.94/3454.55	c GLOBAL bounds - >= 199 @ 1341.84
3450.55/3459.15	c GLOBAL bounds - >= 199 @ 1343.55
3455.13/3463.79	c GLOBAL bounds - >= 199 @ 1345.37
3459.91/3468.55	c GLOBAL bounds - >= 199 @ 1347.3
3460.21/3468.81	c GLOBAL bounds - >= 204 @ 1347.55
3460.91/3469.54	c GLOBAL bounds - >= 204 @ 1347.91
3460.91/3469.56	c GLOBAL bounds - >= 204 @ 1347.93
3465.41/3474.10	c GLOBAL bounds - >= 204 @ 1349.59
3465.51/3474.12	c GLOBAL bounds - >= 204 @ 1349.61
3469.99/3478.66	c GLOBAL bounds - >= 204 @ 1351.24
3469.99/3478.69	c GLOBAL bounds - >= 204 @ 1351.26
3474.58/3483.23	c GLOBAL bounds - >= 204 @ 1352.95
3475.27/3483.93	c GLOBAL bounds - >= 204 @ 1353.29
3479.76/3488.47	c GLOBAL bounds - >= 204 @ 1354.96
3479.86/3488.52	c GLOBAL bounds - >= 204 @ 1355
3484.36/3493.05	c GLOBAL bounds - >= 204 @ 1356.69
3485.05/3493.76	c GLOBAL bounds - >= 204 @ 1357.01
3489.63/3498.30	c GLOBAL bounds - >= 204 @ 1358.62
3489.63/3498.35	c GLOBAL bounds - >= 204 @ 1358.65
3494.13/3502.88	c GLOBAL bounds - >= 204 @ 1360.3
3494.93/3503.61	c GLOBAL bounds - >= 204 @ 1360.64
3499.43/3508.15	c GLOBAL bounds - >= 204 @ 1362.32
3499.51/3508.21	c GLOBAL bounds - >= 204 @ 1362.37
3504.00/3512.75	c GLOBAL bounds - >= 204 @ 1364.04
3504.70/3513.49	c GLOBAL bounds - >= 204 @ 1364.4
3509.30/3518.03	c GLOBAL bounds - >= 204 @ 1366.1
3513.88/3522.64	c GLOBAL bounds - >= 204 @ 1367.78
3518.97/3527.76	c #Conflicts:      33000 | #Constraints:       8666
3518.97/3527.76	c INPROCESSING
3518.97/3527.76	c GARBAGE COLLECT
3518.97/3527.76	c GLOBAL bounds - >= 204 @ 1370.06
3523.56/3532.39	c GLOBAL bounds - >= 204 @ 1371.79
3528.25/3537.03	c GLOBAL bounds - >= 204 @ 1373.58
3532.83/3541.63	c GLOBAL bounds - >= 204 @ 1375.28
3537.41/3546.22	c GLOBAL bounds - >= 204 @ 1376.95
3537.92/3546.71	c GLOBAL bounds - >= 208 @ 1377.43
3537.92/3546.77	c #Conflicts:      36000 | #Constraints:     184929
3537.92/3546.77	c GLOBAL bounds - >= 208 @ 1377.49
3537.92/3546.79	c GLOBAL bounds - >= 208 @ 1377.51
3542.50/3551.32	c GLOBAL bounds - >= 208 @ 1379.18
3543.21/3552.02	c GLOBAL bounds - >= 208 @ 1379.48
3547.69/3556.55	c GLOBAL bounds - >= 208 @ 1381.17
3547.69/3556.59	c GLOBAL bounds - >= 208 @ 1381.2
3552.29/3561.12	c GLOBAL bounds - >= 208 @ 1382.91
3552.29/3561.16	c GLOBAL bounds - >= 208 @ 1382.95
3556.76/3565.69	c GLOBAL bounds - >= 208 @ 1384.62
3557.56/3566.41	c GLOBAL bounds - >= 208 @ 1384.96
3562.06/3570.94	c GLOBAL bounds - >= 208 @ 1386.71
3562.06/3570.95	c GLOBAL bounds - >= 208 @ 1386.72
3566.55/3575.49	c GLOBAL bounds - >= 208 @ 1388.39
3566.64/3575.53	c GLOBAL bounds - >= 208 @ 1388.43
3571.15/3580.07	c GLOBAL bounds - >= 208 @ 1390.12
3571.93/3580.82	c GLOBAL bounds - >= 208 @ 1390.49
3576.42/3585.36	c GLOBAL bounds - >= 208 @ 1392.21
3576.52/3585.42	c GLOBAL bounds - >= 208 @ 1392.27
3581.01/3589.96	c GLOBAL bounds - >= 208 @ 1393.98
3581.81/3590.71	c GLOBAL bounds - >= 208 @ 1394.34
3586.29/3595.25	c GLOBAL bounds - >= 208 @ 1396.02
3590.98/3599.91	c GLOBAL bounds - >= 208 @ 1397.75
3595.55/3604.58	c #Conflicts:      34000 | #Constraints:       5888
3595.55/3604.58	c GLOBAL bounds - >= 208 @ 1399.54
3600.05/3609.01	c cpu time 1401.24 s
3600.05/3609.01	c deterministic time 393164161 3.93e+08
3600.05/3609.01	c optimization time 1305.98 s
3600.05/3609.01	c total solve time 91.2606 s
3600.05/3609.01	c core-guided solve time 0 s
3600.05/3609.01	c propagation time 52.9637 s
3600.05/3609.01	c conflict analysis time 1.92883 s
3600.05/3609.01	c propagations 3496599
3600.05/3609.01	c resolve steps 74353
3600.05/3609.01	c decisions 69885464
3600.05/3609.01	c conflicts 36826
3600.05/3609.01	c restarts 124
3600.05/3609.01	c inprocessing phases 11
3600.05/3609.01	c garbage collections 6 ,( 54.55 )
3600.05/3609.01	c input clauses 90013 ,( 50.57 )
3600.05/3609.01	c input cardinalities 87615 ,( 49.22 )
3600.05/3609.01	c input general constraints 374 ,( 0.21 )
3600.05/3609.01	c input average constraint length 60.57
3600.05/3609.01	c input average constraint degree 33.19
3600.05/3609.01	c learned clauses 1000 ,( 2.71 )
3600.05/3609.01	c learned cardinalities 35790 ,( 97.12 )
3600.05/3609.01	c learned general constraints 63 ,( 0.17 )
3600.05/3609.01	c learned average constraint length 996.89
3600.05/3609.01	c learned average constraint degree 509.88
3600.05/3609.01	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3609.01	c counting CF 32, 64, 128, Arb: 438 , 0 , 0 , 0
3600.05/3609.01	c watched   constraints 0 ,( 0.00 ) 
3600.05/3609.01	c counting  constraints 437 ,( 100.00 ) 
3600.05/3609.01	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1568916 , 1673417 , 9814715 ,( 0 , 9814715 )
3600.05/3609.01	c gcd simplifications 0
3600.05/3609.01	c detected cardinalities 0
3600.05/3609.01	c weakened non-implied lits 0
3600.05/3609.01	c weakened non-implying lits 0
3600.05/3609.01	c original variables 4576880
3600.05/3609.01	c clausal propagations 1318922
3600.05/3609.01	c cardinality propagations 1570984
3600.05/3609.01	c watched propagations 0
3600.05/3609.01	c counting propagations 83624
3600.05/3609.01	c watch lookups 17789480
3600.05/3609.01	c watch backjump lookups 0
3600.05/3609.01	c watch checks 99216594
3600.05/3609.01	c propagation checks 88382615
3600.05/3609.01	c constraint additions 40847519
3600.05/3609.01	c trail pops 73418889
3600.05/3609.01	c formula constraints 176770
3600.05/3609.01	c learned constraints 36853
3600.05/3609.01	c bound constraints 0
3600.05/3609.01	c core-guided constraints 0
3600.05/3609.01	c encountered formula constraints 75334
3600.05/3609.01	c encountered learned constraints 35719
3600.05/3609.01	c encountered bound constraints 0
3600.05/3609.01	c encountered core-guided constraints 0
3600.05/3609.01	c LP total time 47.4106 s
3600.05/3609.01	c LP solve time 44.71 s
3600.05/3609.01	c LP constraints added 176770
3600.05/3609.01	c LP constraints removed 0
3600.05/3609.01	c LP pivots internal 86000
3600.05/3609.01	c LP pivots root 41000
3600.05/3609.01	c LP calls 7
3600.05/3609.01	c LP optimalities 0
3600.05/3609.01	c LP no pivot count 0
3600.05/3609.01	c LP infeasibilities 0
3600.05/3609.01	c LP valid Farkas constraints 0
3600.05/3609.01	c LP learned Farkas constraints 0
3600.05/3609.01	c LP basis resets 0
3600.05/3609.01	c LP cycling count 0
3600.05/3609.01	c LP singular count 0
3600.05/3609.01	c LP no primal count 0
3600.05/3609.01	c LP no farkas count 0
3600.05/3609.01	c LP other issue count 0
3600.05/3609.01	c LP Gomory cuts 0
3600.05/3609.01	c LP learned cuts 0
3600.05/3609.01	c LP deleted cuts 0
3600.05/3609.01	c LP encountered Gomory constraints 0
3600.05/3609.01	c LP encountered Farkas constraints 0
3600.05/3609.01	c LP encountered learned Farkas constraints 0
3600.05/3609.01	c CG auxiliary variables introduced 218
3600.05/3609.01	c CG solutions found 0
3600.05/3609.01	c CG cores constructed 548
3600.05/3609.01	c CG core cardinality constraints returned 0
3600.05/3609.01	c CG unit cores 0
3600.05/3609.01	c CG single cores 0
3600.05/3609.01	c CG blocks removed during cardinality reduction 0
3600.05/3609.01	c CG first core best 0
3600.05/3609.01	c CG decision core best 0
3600.05/3609.01	c CG core reduction tie 0
3600.05/3609.01	c CG core degree average 0.00
3600.05/3609.01	c CG core slack average 0.00
3600.05/3609.01	c CG core upper bound improvements 0
3600.05/3609.01	c STR number of successful calls 0
3600.05/3609.01	c STR number of unsuccessful calls 0
3600.05/3609.01	c STR number of inconclusive calls 0
3600.05/3609.01	c STR number of successful attempts 0
3600.05/3609.01	c STR number of unsuccessful attempts 0
3600.05/3609.01	c STR number of inconclusive attempts 0
3600.05/3609.01	c STR average degree increase per successful call inf
3600.05/3609.01	c STR average degree increase per successful attempt inf
3600.05/3609.01	c STR total number of conflicts for successful attempts 0
3600.05/3609.01	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3609.01	c STR total number of conflicts for inconclusive attempts 0
3600.05/3609.01	c STR average number of conflicts per successful attempt inf
3600.05/3609.01	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3609.01	c STR average number of conflicts per inconclusive attempt inf
3600.05/3609.01	c AVG.sumWPerc 97.41 
3600.05/3609.01	c bigint constraints 0 
3600.05/3609.01	s UNKNOWN
3600.05/3609.01	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: 63794 MiB (52008 MiB free)
  memory of node 1: 64507 MiB (63391 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521907-1751587143/watcher-4521907-1751587143 -o /tmp/evaluation-result-4521907-1751587143/solver-4521907-1751587143 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82755 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521907-1751587143.opb PROOFDIR/proof-4521907-1751587143 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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
Current StackSize limit: 8192 KiB

solver pid=83689, runsolver pid=83686

[startup+0.100101 s]*
/proc/loadavg: 4.53 4.27 4.16 5/259 83691
/proc/meminfo: memFree=117840176/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=448500 memory=399696 CPUtime=0.09 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 617 0 0 0 1 8 0 0 20 0 1 0 74394142 459264000 99924 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 112125 99924 1888 1147 0 99552 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 452692 KiB
Current children cumulated memory: 402768 KiB

[startup+0.214672 s]*
/proc/loadavg: 4.53 4.27 4.16 5/259 83691
/proc/meminfo: memFree=117677600/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=621316 memory=538388 CPUtime=0.2 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 3097 0 0 0 9 11 0 0 20 0 1 0 74394142 636227584 134597 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 155329 134597 1888 1147 0 142756 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 625508 KiB
Current children cumulated memory: 541460 KiB

[startup+0.314535 s]*
/proc/loadavg: 4.53 4.27 4.16 5/259 83691
/proc/meminfo: memFree=117386912/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=848324 memory=801084 CPUtime=0.3 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 4909 0 0 0 14 16 0 0 20 0 1 0 74394142 868683776 200271 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 212081 200271 1888 1147 0 199508 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 852516 KiB
Current children cumulated memory: 804156 KiB

[startup+0.70038 s]
/proc/loadavg: 4.53 4.27 4.16 5/259 83691
/proc/meminfo: memFree=117178904/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=1044200 memory=1001404 CPUtime=0.67 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 12083 0 0 0 45 22 0 0 20 0 1 0 74394142 1069260800 250351 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 261050 250351 1952 1147 0 248477 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 1048392 KiB
Current children cumulated memory: 1004476 KiB

[startup+1.50041 s]
/proc/loadavg: 4.53 4.27 4.16 5/259 83691
/proc/meminfo: memFree=117153704/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=1100492 memory=1056272 CPUtime=1.47 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 24418 0 0 0 119 28 0 0 20 0 1 0 74394142 1126903808 264068 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 275123 264068 1952 1147 0 262550 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1104684 KiB
Current children cumulated memory: 1059344 KiB

[startup+3.1138 s]
/proc/loadavg: 4.48 4.26 4.16 5/259 83691
/proc/meminfo: memFree=116983156/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=1218596 memory=1167368 CPUtime=3.09 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 47741 0 0 0 267 42 0 0 20 0 1 0 74394142 1247842304 291842 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 304649 291842 1952 1147 0 292076 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1222788 KiB
Current children cumulated memory: 1170440 KiB

[startup+6.3004 s]
/proc/loadavg: 4.48 4.26 4.16 5/259 83691
/proc/meminfo: memFree=115234816/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=2960988 memory=2868512 CPUtime=6.26 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 132844 0 0 0 482 144 0 0 20 0 1 0 74394142 3032051712 717128 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 740247 717128 2336 1147 0 727674 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2965180 KiB
Current children cumulated memory: 2871584 KiB

[startup+12.7004 s]
/proc/loadavg: 4.44 4.26 4.15 5/260 83693
/proc/meminfo: memFree=114313708/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=4989548 memory=3796284 CPUtime=12.64 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 159825 0 0 0 822 442 0 0 20 0 1 0 74394142 5109297152 949071 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 1247387 949071 2336 1147 0 1234814 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 4993740 KiB
Current children cumulated memory: 3799356 KiB

[startup+25.5004 s]
/proc/loadavg: 4.41 4.26 4.16 5/261 83694
/proc/meminfo: memFree=112724964/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=6944212 memory=5274628 CPUtime=25.41 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 189900 0 0 0 1452 1089 0 0 20 0 1 0 74394142 7110873088 1318657 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 1736053 1318657 2400 1147 0 1723480 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 6948404 KiB
Current children cumulated memory: 5277700 KiB

[startup+51.1141 s]
/proc/loadavg: 4.35 4.26 4.16 5/261 83694
/proc/meminfo: memFree=112475124/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=6944212 memory=5276788 CPUtime=50.95 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 190383 0 0 0 2426 2669 0 0 20 0 1 0 74394142 7110873088 1319197 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 1736053 1319197 2400 1147 0 1723480 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 6948404 KiB
Current children cumulated memory: 5279860 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.23 4.15 5/261 83696
/proc/meminfo: memFree=111586048/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=7368612 memory=5627012 CPUtime=102.01 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 194562 0 0 0 4341 5860 0 0 20 0 1 0 74394142 7545458688 1406753 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 1842153 1406753 2400 1147 0 1829580 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 7372804 KiB
Current children cumulated memory: 5630084 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.23 4.16 5/261 83759
/proc/meminfo: memFree=121490704/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=7399432 memory=5630340 CPUtime=161.86 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 195563 0 0 0 6585 9601 0 0 20 0 1 0 74394142 7577018368 1407585 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 1849858 1407585 2400 1147 0 1837285 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 7403624 KiB
Current children cumulated memory: 5633412 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/261 83762
/proc/meminfo: memFree=121033268/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=7757000 memory=5729556 CPUtime=221.71 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 202141 0 0 0 9086 13085 0 0 20 0 1 0 74394142 7943168000 1432389 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 1939250 1432389 2400 1147 0 1926677 0

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

[pid=83691] ppid=83689 vsize=8623608 memory=6504008 CPUtime=3094.63 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 279223 0 0 0 120690 188773 0 0 20 0 1 0 74394142 8830574592 1626002 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 2155902 1626002 2400 1147 0 2143329 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 8627800 KiB
Current children cumulated memory: 6507080 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.24 4.20 5/257 83912
/proc/meminfo: memFree=107807392/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=8623608 memory=6504776 CPUtime=3154.47 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 279743 0 0 0 122987 192460 0 0 20 0 1 0 74394142 8830574592 1626194 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 2155902 1626194 2400 1147 0 2143329 0
Current children cumulated CPU time: 3154.47 s
Current children cumulated vsize: 8627800 KiB
Current children cumulated memory: 6507848 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.20 4.19 5/257 83915
/proc/meminfo: memFree=107530920/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=8648760 memory=6534180 CPUtime=3214.33 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 281113 0 0 0 125263 196170 0 0 20 0 1 0 74394142 8856330240 1633545 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 2162190 1633545 2400 1147 0 2149617 0
Current children cumulated CPU time: 3214.33 s
Current children cumulated vsize: 8652952 KiB
Current children cumulated memory: 6537252 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.18 4.18 5/258 83918
/proc/meminfo: memFree=107245816/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=8648760 memory=6542712 CPUtime=3274.17 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 282578 0 0 0 127581 199836 0 0 20 0 1 0 74394142 8856330240 1635678 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 2162190 1635678 2400 1147 0 2149617 0
Current children cumulated CPU time: 3274.17 s
Current children cumulated vsize: 8652952 KiB
Current children cumulated memory: 6545784 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.16 4.17 5/258 83920
/proc/meminfo: memFree=107014372/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=8648760 memory=6542712 CPUtime=3334.03 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 283077 0 0 0 129879 203524 0 0 20 0 1 0 74394142 8856330240 1635678 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 2162190 1635678 2400 1147 0 2149617 0
Current children cumulated CPU time: 3334.03 s
Current children cumulated vsize: 8652952 KiB
Current children cumulated memory: 6545784 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.14 4.17 8/259 83923
/proc/meminfo: memFree=106780564/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=8648760 memory=6542712 CPUtime=3393.88 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 283234 0 0 0 132208 207180 0 0 20 0 1 0 74394142 8856330240 1635678 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 2162190 1635678 2400 1147 0 2149617 0
Current children cumulated CPU time: 3393.88 s
Current children cumulated vsize: 8652952 KiB
Current children cumulated memory: 6545784 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/259 83925
/proc/meminfo: memFree=106280256/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=8653724 memory=6547724 CPUtime=3453.72 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 284291 0 0 0 134474 210898 0 0 20 0 1 0 74394142 8861413376 1636931 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 2163431 1636931 2400 1147 0 2150858 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 8657916 KiB
Current children cumulated memory: 6550796 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/260 83934
/proc/meminfo: memFree=105969116/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=8653724 memory=6567540 CPUtime=3513.58 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 286754 0 0 0 136762 214596 0 0 20 0 1 0 74394142 8861413376 1641885 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 2163431 1641885 2400 1147 0 2150858 0
Current children cumulated CPU time: 3513.58 s
Current children cumulated vsize: 8657916 KiB
Current children cumulated memory: 6570612 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/260 83936
/proc/meminfo: memFree=105763392/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=8671604 memory=6586732 CPUtime=3573.42 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 287693 0 0 0 139104 218238 0 0 20 0 1 0 74394142 8879722496 1646683 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 2167901 1646683 2400 1147 0 2155328 0
Current children cumulated CPU time: 3573.42 s
Current children cumulated vsize: 8675796 KiB
Current children cumulated memory: 6589804 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 3.87 4.08 4.15 3/246 83998
/proc/meminfo: memFree=119643356/131382112 swapFree=33010416/33010684
[pid=83689] ppid=83686 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83689/stat : 83689 (run-opt-log.sh) S 83686 83689 82743 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 74394141 4292608 768 18446744073709551615 94210576343040 94210577237573 140727074708016 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94210577476624 94210577524368 94210600394752 140727074711841 140727074712036 140727074712036 140727074717638 0
/proc/83689/statm: 1048 768 704 219 0 110 0
[pid=83691] ppid=83689 vsize=8694628 memory=6609800 CPUtime=3600.05 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83689 83689 82743 0 -1 4194304 289020 0 0 0 140123 219882 0 0 20 0 1 0 74394142 8903299072 1652450 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 2173657 1652450 2400 1147 0 2161084 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 8698820 KiB
Current children cumulated memory: 6612872 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=1401.49 s, system=2198.86 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+3609.21 s]
/proc/loadavg: 3.87 4.08 4.15 3/245 83998
/proc/meminfo: memFree=123554144/131382112 swapFree=33010416/33010684
[pid=83691] ppid=83686 vsize=3345636 memory=2614420 CPUtime=3600.25 cores=1,3
/proc/83691/stat : 83691 (roundingsat) R 83686 83689 82743 0 -1 4194304 289354 0 0 0 140141 219884 0 0 20 0 1 0 74394142 3425931264 653605 18446744073709551615 4227072 8923433 140727637076048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17670144 140727637080402 140727637080616 140727637080616 140727637086186 0
/proc/83691/statm: 836409 653605 2496 1147 0 823836 0
Current cumulated CPU time of completed processes: 0.005067 s
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 3345636 KiB
Current children cumulated memory: 2614420 KiB

Child status: 2

Real time (s): 3609.3
CPU time (s): 3600.35
CPU user time (s): 1401.49
CPU system time (s): 2198.86
CPU usage (%): 99.7521
Max. virtual memory (cumulated for all children) (KiB): 8698820
Max. memory (cumulated for all children) (KiB): 6612872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1401.49
system time used= 2198.86
maximum resident set size= 6610184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289741
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 152
involuntary context switches= 2998


# summary of solver processes directly reported to runsolver:
#   pid: 83689,83691
#   total CPU time (s): 3600.35
#   total CPU user time (s): 1401.49
#   total CPU system time (s): 2198.86

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5351 second user time and 39.0092 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-04 01:59:04
IDJOB=4521907
IDBENCH=178517
IDSOLVER=3351
FILE ID=nodeC012/4521907-1751587143
RUNJOBID= nodeC012-1751579896-82755
SLURM_JOB_ID= 9598818
Free space on /tmp= 431728 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521907-1751587143/watcher-4521907-1751587143 -o /tmp/evaluation-result-4521907-1751587143/solver-4521907-1751587143 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82755 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521907-1751587143.opb PROOFDIR/proof-4521907-1751587143

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

MD5SUM BENCH= 8dda82f4961ecebecfcf9bee24c61458
RANDOM SEED=1174848890

nodeC012 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	: 0xb00001f
cpu MHz		: 3691.210
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2993.644
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.563
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.155
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3691.277
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.351
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.557
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        118169088 kB
MemAvailable:   127960364 kB
Buffers:            2136 kB
Cached:         10582168 kB
SwapCached:           16 kB
Active:          2628968 kB
Inactive:        9964240 kB
Active(anon):    2019600 kB
Inactive(anon):     6996 kB
Active(file):     609368 kB
Inactive(file):  9957244 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            209436 kB
Writeback:             4 kB
AnonPages:       2011744 kB
Mapped:           116816 kB
Shmem:             17944 kB
KReclaimable:     128196 kB
Slab:             216492 kB
SReclaimable:     128196 kB
SUnreclaim:        88296 kB
KernelStack:        4176 kB
PageTables:         7652 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2670944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    358400 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431724 MiB
End job on nodeC012 at 2025-07-04 02:59:14