Trace number 4484400

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22ad? (TO) 3600.08 3610.54

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
MD5SUMef7e1a396aea94ad22e53d7673ab3bc9
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 benchmark2
Best CPU time to get the best result obtained on this benchmark1.13516
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4617
Total number of constraints5280
Number of constraints which are clauses4395
Number of constraints which are cardinality constraints (but not clauses)885
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint23
Number of terms in the objective function 4617
Biggest coefficient in the objective function 2642
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 13340
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2642
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 13340
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.04	c #variables 4617 #constraints 5280
0.00/0.04	c objective is ce32 
0.00/0.05	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05	c GLOBAL bounds - >= -2642 @ 0.020114
0.00/0.05	c GLOBAL bounds - >= -2642 @ 0.02131
0.08/0.13	c GLOBAL bounds - >= -2642 @ 0.098152
0.08/0.20	c GLOBAL bounds - >= -2642 @ 0.163114
0.19/0.21	c GLOBAL bounds - >= -2642 @ 0.17087
0.28/0.37	c GLOBAL bounds - >= -2642 @ 0.320636
0.28/0.39	c GLOBAL bounds - >= -2642 @ 0.33565
0.39/0.41	c GLOBAL bounds - >= -2642 @ 0.357642
0.49/0.52	c GLOBAL bounds - >= -2642 @ 0.456648
0.49/0.55	c GLOBAL bounds - >= -2642 @ 0.485642
0.49/0.59	c GLOBAL bounds - >= -2642 @ 0.518297
0.59/0.61	c GLOBAL bounds - >= -2642 @ 0.537139
0.59/0.66	c GLOBAL bounds - >= -2642 @ 0.577035
0.68/0.71	c GLOBAL bounds - >= -2642 @ 0.625931
0.68/0.74	c GLOBAL bounds - >= -2642 @ 0.65415
0.68/0.78	c GLOBAL bounds - >= -2642 @ 0.687851
0.78/0.80	c GLOBAL bounds - >= -2642 @ 0.708804
0.78/0.83	c GLOBAL bounds - >= -2642 @ 0.729026
0.78/0.85	c GLOBAL bounds - >= -2642 @ 0.75292
0.88/0.93	c GLOBAL bounds - >= -2642 @ 0.827827
0.88/0.95	c GLOBAL bounds - >= -2642 @ 0.842713
0.88/0.99	c GLOBAL bounds - >= -2642 @ 0.880987
0.98/1.09	c GLOBAL bounds - >= -2642 @ 0.966275
1.09/1.11	c GLOBAL bounds - >= -2642 @ 0.987137
1.09/1.14	c GLOBAL bounds - >= -2642 @ 1.01673
1.09/1.19	c GLOBAL bounds - >= -2642 @ 1.05421
1.18/1.22	c GLOBAL bounds - >= -2642 @ 1.0785
1.18/1.25	c GLOBAL bounds - >= -2642 @ 1.10906
1.28/1.30	c GLOBAL bounds - >= -2642 @ 1.15023
1.28/1.33	c GLOBAL bounds - >= -2642 @ 1.16989
1.28/1.37	c GLOBAL bounds - >= -2642 @ 1.21012
1.38/1.40	c GLOBAL bounds - >= -2642 @ 1.23408
1.38/1.44	c GLOBAL bounds - >= -2642 @ 1.27541
1.57/1.62	c GLOBAL bounds - >= -2642 @ 1.44844
1.68/1.75	c GLOBAL bounds - >= -2642 @ 1.57188
1.87/1.92	c #Conflicts:       1000 | #Constraints:       6346
1.87/1.92	c GLOBAL bounds - >= -2642 @ 1.7288
2.18/2.25	c GLOBAL bounds - >= -2642 @ 2.03902
2.37/2.48	c GLOBAL bounds - >= -2642 @ 2.26454
2.47/2.58	c GLOBAL bounds - >= -2642 @ 2.35631
2.87/3.00	c GLOBAL bounds - >= -2642 @ 2.75715
2.98/3.06	c GLOBAL bounds - >= -2642 @ 2.81077
3.07/3.13	c GLOBAL bounds - >= -2642 @ 2.88555
3.17/3.22	c GLOBAL bounds - >= -2642 @ 2.97116
3.27/3.30	c GLOBAL bounds - >= -2642 @ 3.04612
3.27/3.35	c GLOBAL bounds - >= -2642 @ 3.0968
3.37/3.48	c GLOBAL bounds - >= -2642 @ 3.22595
3.47/3.56	c GLOBAL bounds - >= -2642 @ 3.29835
3.57/3.62	c GLOBAL bounds - >= -2642 @ 3.35563
3.57/3.67	c GLOBAL bounds - >= -2642 @ 3.4089
3.77/3.82	c GLOBAL bounds - >= -2642 @ 3.54507
3.77/3.88	c GLOBAL bounds - >= -2642 @ 3.60319
3.87/3.94	c GLOBAL bounds - >= -2642 @ 3.65524
4.56/4.68	c #Conflicts:       2000 | #Constraints:       7380
4.56/4.68	c INPROCESSING
4.56/4.68	c GARBAGE COLLECT
4.56/4.68	c GLOBAL bounds - >= -2642 @ 4.38078
4.86/4.97	c GLOBAL bounds - >= -2642 @ 4.65725
4.97/5.04	c GLOBAL bounds - >= -2642 @ 4.7303
5.17/5.26	c GLOBAL bounds - >= -2642 @ 4.93948
5.36/5.44	c GLOBAL bounds - >= -2642 @ 5.11055
5.47/5.56	c GLOBAL bounds - >= -2642 @ 5.23028
5.56/5.66	c GLOBAL bounds - >= -2642 @ 5.33046
5.96/6.03	c #Conflicts:       3000 | #Constraints:       7403
5.96/6.03	c GLOBAL bounds - >= -2642 @ 5.69196
6.96/7.05	c GLOBAL bounds - >= -2642 @ 6.66059
7.26/7.31	c GLOBAL bounds - >= -2642 @ 6.90705
7.65/7.72	c GLOBAL bounds - >= -2642 @ 7.30145
7.85/7.90	c #Conflicts:       4000 | #Constraints:       8411
7.85/7.90	c GLOBAL bounds - >= -2642 @ 7.47427
8.35/8.45	c INPROCESSING
8.35/8.45	c GARBAGE COLLECT
8.35/8.45	c GLOBAL bounds - >= -2642 @ 8.0121
8.55/8.67	c GLOBAL bounds - >= -2642 @ 8.22771
8.65/8.78	c GLOBAL bounds - >= -2642 @ 8.34389
9.06/9.14	c GLOBAL bounds - >= -2642 @ 8.68913
9.25/9.38	c GLOBAL bounds - >= -2642 @ 8.92086
9.65/9.72	c GLOBAL bounds - >= -2642 @ 9.25524
9.85/9.98	c GLOBAL bounds - >= -2642 @ 9.51629
10.15/10.21	c #Conflicts:       5000 | #Constraints:       7849
10.15/10.21	c GLOBAL bounds - >= -2642 @ 9.73543
10.95/11.09	c GLOBAL bounds - >= -2642 @ 10.6053
11.35/11.44	c GLOBAL bounds - >= -2642 @ 10.95
11.55/11.62	c GLOBAL bounds - >= -2642 @ 11.1223
11.74/11.86	c GLOBAL bounds - >= -2642 @ 11.3538
15.14/15.26	c #Conflicts:       6000 | #Constraints:       8859
15.14/15.26	c INPROCESSING
15.14/15.26	c GARBAGE COLLECT
15.14/15.26	c #Conflicts:       7000 | #Constraints:       7878
15.14/15.26	c #Conflicts:       8000 | #Constraints:       8878
15.14/15.26	c GLOBAL bounds - >= -2642 @ 14.6746
15.93/16.08	c GLOBAL bounds - >= -2642 @ 15.4752
16.13/16.24	c GLOBAL bounds - >= -2642 @ 15.6328
17.53/17.63	c #Conflicts:       9000 | #Constraints:       9884
17.53/17.63	c INPROCESSING
17.53/17.63	c GARBAGE COLLECT
17.53/17.63	c GLOBAL bounds - >= -2642 @ 16.9875
18.32/18.44	c GLOBAL bounds - >= -2642 @ 17.7807
19.12/19.22	c GLOBAL bounds - >= -2642 @ 18.5417
20.02/20.16	c #Conflicts:      10000 | #Constraints:       8599
20.02/20.16	c GLOBAL bounds - >= -2642 @ 19.4623
20.42/20.56	c GLOBAL bounds - >= -2642 @ 19.8626
20.72/20.88	c GLOBAL bounds - >= -2642 @ 20.1756
21.41/21.55	c #Conflicts:      11000 | #Constraints:       9605
21.41/21.55	c GLOBAL bounds - >= -2642 @ 20.8294
22.02/22.17	c GLOBAL bounds - >= -2642 @ 21.4292
22.31/22.40	c GLOBAL bounds - >= -2642 @ 21.6598
23.01/23.13	c GLOBAL bounds - >= -2642 @ 22.3694
24.31/24.40	c #Conflicts:      12000 | #Constraints:      10613
24.31/24.40	c INPROCESSING
24.31/24.40	c GARBAGE COLLECT
24.31/24.40	c GLOBAL bounds - >= -2642 @ 23.5802
24.80/24.98	c GLOBAL bounds - >= -2642 @ 24.1477
25.70/25.82	c GLOBAL bounds - >= -2642 @ 24.9686
26.00/26.17	c GLOBAL bounds - >= -2642 @ 25.3178
26.40/26.50	c #Conflicts:      13000 | #Constraints:       9085
26.40/26.50	c GLOBAL bounds - >= -2642 @ 25.6419
26.70/26.84	c GLOBAL bounds - >= -2642 @ 25.9793
27.00/27.13	c GLOBAL bounds - >= -2642 @ 26.2606
27.20/27.37	c GLOBAL bounds - >= -2642 @ 26.4936
27.50/27.61	c GLOBAL bounds - >= -2642 @ 26.7289
27.90/28.01	c GLOBAL bounds - >= -2642 @ 27.1245
28.60/28.74	c #Conflicts:      14000 | #Constraints:      10097
28.60/28.74	c GLOBAL bounds - >= -2642 @ 27.8468
29.29/29.47	c GLOBAL bounds - >= -2642 @ 28.5595
32.48/32.63	c #Conflicts:      15000 | #Constraints:      11101
32.48/32.63	c INPROCESSING
32.48/32.63	c GARBAGE COLLECT
32.48/32.63	c #Conflicts:      16000 | #Constraints:       9330
32.48/32.63	c GLOBAL bounds - >= -2642 @ 31.6512
35.97/36.19	c #Conflicts:      17000 | #Constraints:      10332
35.97/36.19	c #Conflicts:      18000 | #Constraints:      11332
35.97/36.19	c INPROCESSING
35.97/36.19	c GARBAGE COLLECT
35.97/36.19	c GLOBAL bounds - >= -2642 @ 35.1767
37.66/37.86	c #Conflicts:      19000 | #Constraints:       9340
37.66/37.86	c GLOBAL bounds - >= -2642 @ 36.8257
38.46/38.63	c GLOBAL bounds - >= -2642 @ 37.5784
41.15/41.37	c #Conflicts:      20000 | #Constraints:      10344
41.15/41.37	c GLOBAL bounds - >= -2642 @ 40.2804
44.25/44.43	c #Conflicts:      21000 | #Constraints:      11346
44.25/44.43	c INPROCESSING
44.25/44.43	c GARBAGE COLLECT
44.25/44.43	c #Conflicts:      22000 | #Constraints:       9166
44.25/44.43	c GLOBAL bounds - >= -2642 @ 43.2792
45.84/46.05	c #Conflicts:      23000 | #Constraints:      10168
45.84/46.05	c GLOBAL bounds - >= -2642 @ 44.8723
47.53/47.80	c GLOBAL bounds - >= -2642 @ 46.5869
48.53/48.71	c #Conflicts:      24000 | #Constraints:      11172
48.53/48.71	c GLOBAL bounds - >= -2642 @ 47.4921
49.43/49.66	c GLOBAL bounds - >= -2642 @ 48.4265
50.03/50.20	c GLOBAL bounds - >= -2642 @ 48.9678
50.83/51.01	c GLOBAL bounds - >= -2642 @ 49.7655
51.82/52.08	c #Conflicts:      25000 | #Constraints:      12180
51.82/52.08	c INPROCESSING
51.82/52.08	c GARBAGE COLLECT
51.82/52.08	c GLOBAL bounds - >= -2642 @ 50.8151
52.32/52.58	c GLOBAL bounds - >= -2642 @ 51.3102
55.51/55.74	c #Conflicts:      26000 | #Constraints:       9793
55.51/55.74	c #Conflicts:      27000 | #Constraints:      10793
55.51/55.74	c GLOBAL bounds - >= -2642 @ 54.4147
57.51/57.75	c #Conflicts:      28000 | #Constraints:      11795
57.51/57.75	c GLOBAL bounds - >= -2642 @ 56.3851
58.30/58.56	c GLOBAL bounds - >= -2642 @ 57.189
61.39/61.64	c #Conflicts:      29000 | #Constraints:      12799
61.39/61.64	c INPROCESSING
61.39/61.64	c GARBAGE COLLECT
61.39/61.64	c GLOBAL bounds - >= -2642 @ 60.1999
62.59/62.84	c #Conflicts:      30000 | #Constraints:      10205
62.59/62.84	c GLOBAL bounds - >= -2642 @ 61.3843
63.49/63.72	c GLOBAL bounds - >= -2642 @ 62.2573
65.28/65.56	c #Conflicts:      31000 | #Constraints:      11209
65.28/65.56	c GLOBAL bounds - >= -2642 @ 64.0616
69.67/69.97	c #Conflicts:      32000 | #Constraints:      12211
69.67/69.97	c #Conflicts:      33000 | #Constraints:      13211
69.67/69.97	c INPROCESSING
69.67/69.97	c GARBAGE COLLECT
69.67/69.97	c GLOBAL bounds - >= -2642 @ 68.3874
70.37/70.63	c GLOBAL bounds - >= -2642 @ 69.0383
77.25/77.50	c #Conflicts:      34000 | #Constraints:      10431
77.25/77.50	c #Conflicts:      35000 | #Constraints:      11431
77.25/77.50	c #Conflicts:      36000 | #Constraints:      12431
77.25/77.50	c #Conflicts:      37000 | #Constraints:      13431
77.25/77.50	c INPROCESSING
77.25/77.50	c GARBAGE COLLECT
77.25/77.50	c GLOBAL bounds - >= -2642 @ 75.8117
82.63/82.92	c #Conflicts:      38000 | #Constraints:      10440
82.63/82.92	c #Conflicts:      39000 | #Constraints:      11440
82.63/82.92	c #Conflicts:      40000 | #Constraints:      12440
82.63/82.92	c GLOBAL bounds - >= -2642 @ 81.1604
83.84/84.20	c #Conflicts:      41000 | #Constraints:      13442
83.84/84.20	c GLOBAL bounds - >= -2642 @ 82.4178
88.02/88.37	c INPROCESSING
88.02/88.37	c GARBAGE COLLECT
88.02/88.37	c #Conflicts:      42000 | #Constraints:      10207
88.02/88.37	c #Conflicts:      43000 | #Constraints:      11207
88.02/88.37	c GLOBAL bounds - >= -2642 @ 86.5479
88.51/88.85	c #Conflicts:      44000 | #Constraints:      12209
88.51/88.85	c GLOBAL bounds - >= -2642 @ 87.0213
92.71/93.09	c #Conflicts:      45000 | #Constraints:      13211
92.71/93.09	c GLOBAL bounds - >= -2642 @ 91.2096
95.50/95.89	c #Conflicts:      46000 | #Constraints:      14213
95.50/95.89	c INPROCESSING
95.50/95.89	c GARBAGE COLLECT
95.50/95.89	c GLOBAL bounds - >= -2642 @ 93.9693
104.67/105.00	c #Conflicts:      47000 | #Constraints:      10835
104.67/105.00	c #Conflicts:      48000 | #Constraints:      11835
104.67/105.00	c #Conflicts:      49000 | #Constraints:      12835
104.67/105.00	c #Conflicts:      50000 | #Constraints:      13835
104.67/105.00	c GLOBAL bounds - >= -2642 @ 102.971
109.66/110.02	c #Conflicts:      51000 | #Constraints:      14837
109.66/110.02	c INPROCESSING
109.66/110.02	c GARBAGE COLLECT
109.66/110.02	c #Conflicts:      52000 | #Constraints:      11259
109.66/110.02	c GLOBAL bounds - >= -2642 @ 107.92
110.95/111.35	c #Conflicts:      53000 | #Constraints:      12261
110.95/111.35	c GLOBAL bounds - >= -2642 @ 109.246
119.53/119.90	c #Conflicts:      54000 | #Constraints:      13263
119.53/119.90	c #Conflicts:      55000 | #Constraints:      14263
119.53/119.90	c #Conflicts:      56000 | #Constraints:      15263
119.53/119.90	c INPROCESSING
119.53/119.90	c GARBAGE COLLECT
119.53/119.90	c GLOBAL bounds - >= -2642 @ 117.639
129.90/130.31	c #Conflicts:      57000 | #Constraints:      11485
129.90/130.31	c #Conflicts:      58000 | #Constraints:      12485
129.90/130.31	c #Conflicts:      59000 | #Constraints:      13485
129.90/130.31	c #Conflicts:      60000 | #Constraints:      14485
129.90/130.31	c #Conflicts:      61000 | #Constraints:      15485
129.90/130.31	c INPROCESSING
129.90/130.31	c GARBAGE COLLECT
129.90/130.31	c GLOBAL bounds - >= -2642 @ 127.872
131.60/132.09	c #Conflicts:      62000 | #Constraints:      11504
131.60/132.09	c GLOBAL bounds - >= -2642 @ 129.631
132.99/133.40	c #Conflicts:      63000 | #Constraints:      12506
132.99/133.40	c GLOBAL bounds - >= -2642 @ 130.925
136.68/137.18	c #Conflicts:      64000 | #Constraints:      13508
136.68/137.18	c GLOBAL bounds - >= -2642 @ 134.659
147.95/148.44	c #Conflicts:      65000 | #Constraints:      14510
147.95/148.44	c #Conflicts:      66000 | #Constraints:      15510
147.95/148.44	c INPROCESSING
147.95/148.44	c GARBAGE COLLECT
147.95/148.44	c #Conflicts:      67000 | #Constraints:      11305
147.95/148.44	c #Conflicts:      68000 | #Constraints:      12305
147.95/148.44	c GLOBAL bounds - >= -2642 @ 145.764
156.33/156.83	c #Conflicts:      69000 | #Constraints:      13307
156.33/156.83	c #Conflicts:      70000 | #Constraints:      14307
156.33/156.83	c #Conflicts:      71000 | #Constraints:      15307
156.33/156.83	c #Conflicts:      72000 | #Constraints:      16307
156.33/156.83	c INPROCESSING
156.33/156.83	c GARBAGE COLLECT
156.33/156.83	c GLOBAL bounds - >= -2642 @ 154.019
158.22/158.75	c #Conflicts:      73000 | #Constraints:      11913
158.22/158.75	c GLOBAL bounds - >= -2642 @ 155.912
173.88/174.49	c #Conflicts:      74000 | #Constraints:      12915
173.88/174.49	c #Conflicts:      75000 | #Constraints:      13915
173.88/174.49	c #Conflicts:      76000 | #Constraints:      14915
173.88/174.49	c #Conflicts:      77000 | #Constraints:      15915
173.88/174.49	c #Conflicts:      78000 | #Constraints:      16915
173.88/174.49	c INPROCESSING
173.88/174.49	c GARBAGE COLLECT
173.88/174.49	c #Conflicts:      79000 | #Constraints:      12313
173.88/174.49	c GLOBAL bounds - >= -2642 @ 171.441
189.23/189.80	c #Conflicts:      80000 | #Constraints:      13315
189.23/189.80	c #Conflicts:      81000 | #Constraints:      14315
189.23/189.80	c #Conflicts:      82000 | #Constraints:      15315
189.23/189.80	c #Conflicts:      83000 | #Constraints:      16315
189.23/189.80	c #Conflicts:      84000 | #Constraints:      17315
189.23/189.80	c INPROCESSING
189.23/189.80	c GARBAGE COLLECT
189.23/189.80	c #Conflicts:      85000 | #Constraints:      12517
189.23/189.80	c #Conflicts:      86000 | #Constraints:      13517
189.23/189.80	c #Conflicts:      87000 | #Constraints:      14517
189.23/189.80	c #Conflicts:      88000 | #Constraints:      15517
189.23/189.80	c GLOBAL bounds - >= -2642 @ 186.53
214.26/214.96	c #Conflicts:      89000 | #Constraints:      16519
214.26/214.96	c #Conflicts:      90000 | #Constraints:      17519
214.26/214.96	c INPROCESSING
214.26/214.96	c GARBAGE COLLECT
214.26/214.96	c #Conflicts:      91000 | #Constraints:      12525
214.26/214.96	c #Conflicts:      92000 | #Constraints:      13525
214.26/214.96	c #Conflicts:      93000 | #Constraints:      14525
214.26/214.96	c #Conflicts:      94000 | #Constraints:      15525
214.26/214.96	c #Conflicts:      95000 | #Constraints:      16525
214.26/214.96	c #Conflicts:      96000 | #Constraints:      17525
214.26/214.96	c INPROCESSING
214.26/214.96	c GARBAGE COLLECT
214.26/214.96	c #Conflicts:      97000 | #Constraints:      12332
214.26/214.96	c #Conflicts:      98000 | #Constraints:      13332
214.26/214.96	c #Conflicts:      99000 | #Constraints:      14332
214.26/214.96	c #Conflicts:     100000 | #Constraints:      15332
214.26/214.96	c #Conflicts:     101000 | #Constraints:      16332
214.26/214.96	c GLOBAL bounds - >= -2642 @ 211.41
222.23/222.99	c #Conflicts:     102000 | #Constraints:      17334
222.23/222.99	c #Conflicts:     103000 | #Constraints:      18334
222.23/222.99	c INPROCESSING
222.23/222.99	c GARBAGE COLLECT
222.23/222.99	c #Conflicts:     104000 | #Constraints:      12949
222.23/222.99	c GLOBAL bounds - >= -2642 @ 219.351
242.88/243.68	c #Conflicts:     105000 | #Constraints:      13951
242.88/243.68	c #Conflicts:     106000 | #Constraints:      14951
242.88/243.68	c #Conflicts:     107000 | #Constraints:      15951
242.88/243.68	c #Conflicts:     108000 | #Constraints:      16951
242.88/243.68	c #Conflicts:     109000 | #Constraints:      17951
242.88/243.68	c #Conflicts:     110000 | #Constraints:      18951
242.88/243.68	c INPROCESSING
242.88/243.68	c GARBAGE COLLECT
242.88/243.68	c #Conflicts:     111000 | #Constraints:      13356
242.88/243.68	c #Conflicts:     112000 | #Constraints:      14356
242.88/243.68	c #Conflicts:     113000 | #Constraints:      15356
242.88/243.68	c GLOBAL bounds - >= -2642 @ 239.78
281.77/282.65	c #Conflicts:     114000 | #Constraints:      16358
281.77/282.65	c #Conflicts:     115000 | #Constraints:      17358
281.77/282.65	c #Conflicts:     116000 | #Constraints:      18358
281.77/282.65	c #Conflicts:     117000 | #Constraints:      19358
281.77/282.65	c INPROCESSING
281.77/282.65	c GARBAGE COLLECT
281.77/282.65	c #Conflicts:     118000 | #Constraints:      13540
281.77/282.65	c #Conflicts:     119000 | #Constraints:      14540
281.77/282.65	c #Conflicts:     120000 | #Constraints:      15540
281.77/282.65	c #Conflicts:     121000 | #Constraints:      16540
281.77/282.65	c #Conflicts:     122000 | #Constraints:      17540
281.77/282.65	c #Conflicts:     123000 | #Constraints:      18540
281.77/282.65	c #Conflicts:     124000 | #Constraints:      19540
281.77/282.65	c INPROCESSING
281.77/282.65	c GARBAGE COLLECT
281.77/282.65	c #Conflicts:     125000 | #Constraints:      13531
281.77/282.65	c #Conflicts:     126000 | #Constraints:      14531
281.77/282.65	c #Conflicts:     127000 | #Constraints:      15531
281.77/282.65	c #Conflicts:     128000 | #Constraints:      16531
281.77/282.65	c #Conflicts:     129000 | #Constraints:      17531
281.77/282.65	c #Conflicts:     130000 | #Constraints:      18531
281.77/282.65	c GLOBAL bounds - >= -2642 @ 278.379
302.51/303.40	c #Conflicts:     131000 | #Constraints:      19533
302.51/303.40	c INPROCESSING
302.51/303.40	c GARBAGE COLLECT
302.51/303.40	c #Conflicts:     132000 | #Constraints:      13326
302.51/303.40	c #Conflicts:     133000 | #Constraints:      14326
302.51/303.40	c #Conflicts:     134000 | #Constraints:      15326
302.51/303.40	c #Conflicts:     135000 | #Constraints:      16326
302.51/303.40	c #Conflicts:     136000 | #Constraints:      17326
302.51/303.40	c #Conflicts:     137000 | #Constraints:      18326
302.51/303.40	c #Conflicts:     138000 | #Constraints:      19326
302.51/303.40	c GLOBAL bounds - >= -2642 @ 298.937
309.79/310.72	c #Conflicts:     139000 | #Constraints:      20328
309.79/310.72	c INPROCESSING
309.79/310.72	c GARBAGE COLLECT
309.79/310.72	c #Conflicts:     140000 | #Constraints:      13956
309.79/310.72	c #Conflicts:     141000 | #Constraints:      14956
309.79/310.72	c #Conflicts:     142000 | #Constraints:      15956
309.79/310.72	c GLOBAL bounds - >= -2642 @ 306.161
320.76/321.79	c #Conflicts:     143000 | #Constraints:      16958
320.76/321.79	c #Conflicts:     144000 | #Constraints:      17958
320.76/321.79	c #Conflicts:     145000 | #Constraints:      18958
320.76/321.79	c #Conflicts:     146000 | #Constraints:      19958
320.76/321.79	c #Conflicts:     147000 | #Constraints:      20958
320.76/321.79	c INPROCESSING
320.76/321.79	c GARBAGE COLLECT
320.76/321.79	c #Conflicts:     148000 | #Constraints:      14379
320.76/321.79	c GLOBAL bounds - >= -2642 @ 317.121
384.58/385.78	c #Conflicts:     149000 | #Constraints:      15381
384.58/385.78	c #Conflicts:     150000 | #Constraints:      16381
384.58/385.78	c #Conflicts:     151000 | #Constraints:      17381
384.58/385.78	c #Conflicts:     152000 | #Constraints:      18381
384.58/385.78	c #Conflicts:     153000 | #Constraints:      19381
384.58/385.78	c #Conflicts:     154000 | #Constraints:      20381
384.58/385.78	c #Conflicts:     155000 | #Constraints:      21381
384.58/385.78	c INPROCESSING
384.58/385.78	c GARBAGE COLLECT
384.58/385.78	c #Conflicts:     156000 | #Constraints:      14569
384.58/385.78	c #Conflicts:     157000 | #Constraints:      15569
384.58/385.78	c #Conflicts:     158000 | #Constraints:      16569
384.58/385.78	c #Conflicts:     159000 | #Constraints:      17569
384.58/385.78	c #Conflicts:     160000 | #Constraints:      18569
384.58/385.78	c #Conflicts:     161000 | #Constraints:      19569
384.58/385.78	c #Conflicts:     162000 | #Constraints:      20569
384.58/385.78	c #Conflicts:     163000 | #Constraints:      21569
384.58/385.78	c INPROCESSING
384.58/385.78	c GARBAGE COLLECT
384.58/385.78	c #Conflicts:     164000 | #Constraints:      14562
384.58/385.78	c #Conflicts:     165000 | #Constraints:      15562
384.58/385.78	c #Conflicts:     166000 | #Constraints:      16562
384.58/385.78	c #Conflicts:     167000 | #Constraints:      17562
384.58/385.78	c #Conflicts:     168000 | #Constraints:      18562
384.58/385.78	c #Conflicts:     169000 | #Constraints:      19562
384.58/385.78	c #Conflicts:     170000 | #Constraints:      20562
384.58/385.78	c #Conflicts:     171000 | #Constraints:      21562
384.58/385.78	c INPROCESSING
384.58/385.78	c GARBAGE COLLECT
384.58/385.78	c #Conflicts:     172000 | #Constraints:      14347
384.58/385.78	c GLOBAL bounds - >= -2642 @ 380.53
544.73/546.39	c #Conflicts:     173000 | #Constraints:      15349
544.73/546.39	c #Conflicts:     174000 | #Constraints:      16349
544.73/546.39	c #Conflicts:     175000 | #Constraints:      17349
544.73/546.39	c #Conflicts:     176000 | #Constraints:      18349
544.73/546.39	c #Conflicts:     177000 | #Constraints:      19349
544.73/546.39	c #Conflicts:     178000 | #Constraints:      20349
544.73/546.39	c #Conflicts:     179000 | #Constraints:      21349
544.73/546.39	c #Conflicts:     180000 | #Constraints:      22349
544.73/546.39	c INPROCESSING
544.73/546.39	c GARBAGE COLLECT
544.73/546.39	c #Conflicts:     181000 | #Constraints:      14978
544.73/546.39	c #Conflicts:     182000 | #Constraints:      15978
544.73/546.39	c #Conflicts:     183000 | #Constraints:      16978
544.73/546.39	c #Conflicts:     184000 | #Constraints:      17978
544.73/546.39	c #Conflicts:     185000 | #Constraints:      18978
544.73/546.39	c #Conflicts:     186000 | #Constraints:      19978
544.73/546.39	c #Conflicts:     187000 | #Constraints:      20978
544.73/546.39	c #Conflicts:     188000 | #Constraints:      21978
544.73/546.39	c #Conflicts:     189000 | #Constraints:      22978
544.73/546.39	c INPROCESSING
544.73/546.39	c GARBAGE COLLECT
544.73/546.39	c #Conflicts:     190000 | #Constraints:      15398
544.73/546.39	c #Conflicts:     191000 | #Constraints:      16398
544.73/546.39	c #Conflicts:     192000 | #Constraints:      17398
544.73/546.39	c #Conflicts:     193000 | #Constraints:      18398
544.73/546.39	c #Conflicts:     194000 | #Constraints:      19398
544.73/546.39	c #Conflicts:     195000 | #Constraints:      20398
544.73/546.39	c #Conflicts:     196000 | #Constraints:      21398
544.73/546.39	c #Conflicts:     197000 | #Constraints:      22398
544.73/546.39	c #Conflicts:     198000 | #Constraints:      23398
544.73/546.39	c INPROCESSING
544.73/546.39	c GARBAGE COLLECT
544.73/546.39	c #Conflicts:     199000 | #Constraints:      15607
544.73/546.39	c #Conflicts:     200000 | #Constraints:      16607
544.73/546.39	c #Conflicts:     201000 | #Constraints:      17607
544.73/546.39	c #Conflicts:     202000 | #Constraints:      18607
544.73/546.39	c #Conflicts:     203000 | #Constraints:      19607
544.73/546.39	c #Conflicts:     204000 | #Constraints:      20607
544.73/546.39	c #Conflicts:     205000 | #Constraints:      21607
544.73/546.39	c #Conflicts:     206000 | #Constraints:      22607
544.73/546.39	c #Conflicts:     207000 | #Constraints:      23607
544.73/546.39	c INPROCESSING
544.73/546.39	c GARBAGE COLLECT
544.73/546.39	c #Conflicts:     208000 | #Constraints:      15607
544.73/546.39	c #Conflicts:     209000 | #Constraints:      16607
544.73/546.39	c #Conflicts:     210000 | #Constraints:      17607
544.73/546.39	c #Conflicts:     211000 | #Constraints:      18607
544.73/546.39	c #Conflicts:     212000 | #Constraints:      19607
544.73/546.39	c #Conflicts:     213000 | #Constraints:      20607
544.73/546.39	c #Conflicts:     214000 | #Constraints:      21607
544.73/546.39	c #Conflicts:     215000 | #Constraints:      22607
544.73/546.39	c #Conflicts:     216000 | #Constraints:      23607
544.73/546.39	c INPROCESSING
544.73/546.39	c GARBAGE COLLECT
544.73/546.39	c #Conflicts:     217000 | #Constraints:      15421
544.73/546.39	c #Conflicts:     218000 | #Constraints:      16421
544.73/546.39	c #Conflicts:     219000 | #Constraints:      17421
544.73/546.39	c #Conflicts:     220000 | #Constraints:      18421
544.73/546.39	c #Conflicts:     221000 | #Constraints:      19421
544.73/546.39	c #Conflicts:     222000 | #Constraints:      20421
544.73/546.39	c #Conflicts:     223000 | #Constraints:      21421
544.73/546.39	c #Conflicts:     224000 | #Constraints:      22421
544.73/546.39	c #Conflicts:     225000 | #Constraints:      23421
544.73/546.39	c #Conflicts:     226000 | #Constraints:      24421
544.73/546.39	c INPROCESSING
544.73/546.39	c GARBAGE COLLECT
544.73/546.39	c #Conflicts:     227000 | #Constraints:      16019
544.73/546.39	c #Conflicts:     228000 | #Constraints:      17019
544.73/546.39	c #Conflicts:     229000 | #Constraints:      18019
544.73/546.39	c #Conflicts:     230000 | #Constraints:      19019
544.73/546.39	c #Conflicts:     231000 | #Constraints:      20019
544.73/546.39	c #Conflicts:     232000 | #Constraints:      21019
544.73/546.39	c #Conflicts:     233000 | #Constraints:      22019
544.73/546.39	c #Conflicts:     234000 | #Constraints:      23019
544.73/546.39	c GLOBAL bounds - >= -2642 @ 539.935
564.48/566.10	c #Conflicts:     235000 | #Constraints:      24021
564.48/566.10	c #Conflicts:     236000 | #Constraints:      25021
564.48/566.10	c INPROCESSING
564.48/566.10	c GARBAGE COLLECT
564.48/566.10	c #Conflicts:     237000 | #Constraints:      16375
564.48/566.10	c #Conflicts:     238000 | #Constraints:      17375
564.48/566.10	c #Conflicts:     239000 | #Constraints:      18375
564.48/566.10	c #Conflicts:     240000 | #Constraints:      19375
564.48/566.10	c GLOBAL bounds - >= -2642 @ 559.452
566.37/568.03	c #Conflicts:     241000 | #Constraints:      20377
566.37/568.03	c GLOBAL bounds - >= -2642 @ 561.359
596.38/598.13	c #Conflicts:     242000 | #Constraints:      21379
596.38/598.13	c #Conflicts:     243000 | #Constraints:      22379
596.38/598.13	c #Conflicts:     244000 | #Constraints:      23379
596.38/598.13	c #Conflicts:     245000 | #Constraints:      24379
596.38/598.13	c #Conflicts:     246000 | #Constraints:      25379
596.38/598.13	c INPROCESSING
596.38/598.13	c GARBAGE COLLECT
596.38/598.13	c #Conflicts:     247000 | #Constraints:      16566
596.38/598.13	c #Conflicts:     248000 | #Constraints:      17566
596.38/598.13	c #Conflicts:     249000 | #Constraints:      18566
596.38/598.13	c #Conflicts:     250000 | #Constraints:      19566
596.38/598.13	c #Conflicts:     251000 | #Constraints:      20566
596.38/598.13	c GLOBAL bounds - >= -2642 @ 591.093
652.82/654.77	c #Conflicts:     252000 | #Constraints:      21568
652.82/654.77	c #Conflicts:     253000 | #Constraints:      22568
652.82/654.77	c #Conflicts:     254000 | #Constraints:      23568
652.82/654.77	c #Conflicts:     255000 | #Constraints:      24568
652.82/654.77	c #Conflicts:     256000 | #Constraints:      25568
652.82/654.77	c INPROCESSING
652.82/654.77	c GARBAGE COLLECT
652.82/654.77	c #Conflicts:     257000 | #Constraints:      16574
652.82/654.77	c #Conflicts:     258000 | #Constraints:      17574
652.82/654.77	c #Conflicts:     259000 | #Constraints:      18574
652.82/654.77	c #Conflicts:     260000 | #Constraints:      19574
652.82/654.77	c #Conflicts:     261000 | #Constraints:      20574
652.82/654.77	c #Conflicts:     262000 | #Constraints:      21574
652.82/654.77	c #Conflicts:     263000 | #Constraints:      22574
652.82/654.77	c #Conflicts:     264000 | #Constraints:      23574
652.82/654.77	c #Conflicts:     265000 | #Constraints:      24574
652.82/654.77	c #Conflicts:     266000 | #Constraints:      25574
652.82/654.77	c INPROCESSING
652.82/654.77	c GARBAGE COLLECT
652.82/654.77	c GLOBAL bounds - >= -2642 @ 647.272
684.14/686.18	c #Conflicts:     267000 | #Constraints:      16381
684.14/686.18	c #Conflicts:     268000 | #Constraints:      17381
684.14/686.18	c #Conflicts:     269000 | #Constraints:      18381
684.14/686.18	c #Conflicts:     270000 | #Constraints:      19381
684.14/686.18	c #Conflicts:     271000 | #Constraints:      20381
684.14/686.18	c #Conflicts:     272000 | #Constraints:      21381
684.14/686.18	c #Conflicts:     273000 | #Constraints:      22381
684.14/686.18	c #Conflicts:     274000 | #Constraints:      23381
684.14/686.18	c #Conflicts:     275000 | #Constraints:      24381
684.14/686.18	c #Conflicts:     276000 | #Constraints:      25381
684.14/686.18	c #Conflicts:     277000 | #Constraints:      26381
684.14/686.18	c INPROCESSING
684.14/686.18	c GARBAGE COLLECT
684.14/686.18	c #Conflicts:     278000 | #Constraints:      17001
684.14/686.18	c GLOBAL bounds - >= -2642 @ 678.412
735.28/737.40	c #Conflicts:     279000 | #Constraints:      18003
735.28/737.40	c #Conflicts:     280000 | #Constraints:      19003
735.28/737.40	c #Conflicts:     281000 | #Constraints:      20003
735.28/737.40	c #Conflicts:     282000 | #Constraints:      21003
735.28/737.40	c #Conflicts:     283000 | #Constraints:      22003
735.28/737.40	c #Conflicts:     284000 | #Constraints:      23003
735.28/737.40	c #Conflicts:     285000 | #Constraints:      24003
735.28/737.40	c #Conflicts:     286000 | #Constraints:      25003
735.28/737.40	c #Conflicts:     287000 | #Constraints:      26003
735.28/737.40	c #Conflicts:     288000 | #Constraints:      27003
735.28/737.40	c INPROCESSING
735.28/737.40	c GARBAGE COLLECT
735.28/737.40	c #Conflicts:     289000 | #Constraints:      17406
735.28/737.40	c #Conflicts:     290000 | #Constraints:      18406
735.28/737.40	c #Conflicts:     291000 | #Constraints:      19406
735.28/737.40	c #Conflicts:     292000 | #Constraints:      20406
735.28/737.40	c #Conflicts:     293000 | #Constraints:      21406
735.28/737.40	c GLOBAL bounds - >= -2642 @ 729.257
779.76/782.05	c #Conflicts:     294000 | #Constraints:      22408
779.76/782.05	c #Conflicts:     295000 | #Constraints:      23408
779.76/782.05	c #Conflicts:     296000 | #Constraints:      24408
779.76/782.05	c #Conflicts:     297000 | #Constraints:      25408
779.76/782.05	c #Conflicts:     298000 | #Constraints:      26408
779.76/782.05	c #Conflicts:     299000 | #Constraints:      27408
779.76/782.05	c INPROCESSING
779.76/782.05	c GARBAGE COLLECT
779.76/782.05	c #Conflicts:     300000 | #Constraints:      17628
779.76/782.05	c #Conflicts:     301000 | #Constraints:      18628
779.76/782.05	c #Conflicts:     302000 | #Constraints:      19628
779.76/782.05	c #Conflicts:     303000 | #Constraints:      20628
779.76/782.05	c #Conflicts:     304000 | #Constraints:      21628
779.76/782.05	c #Conflicts:     305000 | #Constraints:      22628
779.76/782.05	c GLOBAL bounds - >= -2642 @ 773.529
790.32/792.69	c #Conflicts:     306000 | #Constraints:      23630
790.32/792.69	c #Conflicts:     307000 | #Constraints:      24630
790.32/792.69	c #Conflicts:     308000 | #Constraints:      25630
790.32/792.69	c GLOBAL bounds - >= -2642 @ 784.092
803.48/805.80	c #Conflicts:     309000 | #Constraints:      26632
803.48/805.80	c #Conflicts:     310000 | #Constraints:      27632
803.48/805.80	c INPROCESSING
803.48/805.80	c GARBAGE COLLECT
803.48/805.80	c #Conflicts:     311000 | #Constraints:      17644
803.48/805.80	c #Conflicts:     312000 | #Constraints:      18644
803.48/805.80	c #Conflicts:     313000 | #Constraints:      19644
803.48/805.80	c GLOBAL bounds - >= -2642 @ 797.105
1066.01/1069.10	c #Conflicts:     314000 | #Constraints:      20646
1066.01/1069.10	c #Conflicts:     315000 | #Constraints:      21646
1066.01/1069.10	c #Conflicts:     316000 | #Constraints:      22646
1066.01/1069.10	c #Conflicts:     317000 | #Constraints:      23646
1066.01/1069.10	c #Conflicts:     318000 | #Constraints:      24646
1066.01/1069.10	c #Conflicts:     319000 | #Constraints:      25646
1066.01/1069.10	c #Conflicts:     320000 | #Constraints:      26646
1066.01/1069.10	c #Conflicts:     321000 | #Constraints:      27646
1066.01/1069.10	c INPROCESSING
1066.01/1069.10	c GARBAGE COLLECT
1066.01/1069.10	c #Conflicts:     322000 | #Constraints:      17432
1066.01/1069.10	c #Conflicts:     323000 | #Constraints:      18432
1066.01/1069.10	c #Conflicts:     324000 | #Constraints:      19432
1066.01/1069.10	c #Conflicts:     325000 | #Constraints:      20432
1066.01/1069.10	c #Conflicts:     326000 | #Constraints:      21432
1066.01/1069.10	c #Conflicts:     327000 | #Constraints:      22432
1066.01/1069.10	c #Conflicts:     328000 | #Constraints:      23432
1066.01/1069.10	c #Conflicts:     329000 | #Constraints:      24432
1066.01/1069.10	c #Conflicts:     330000 | #Constraints:      25432
1066.01/1069.10	c #Conflicts:     331000 | #Constraints:      26432
1066.01/1069.10	c #Conflicts:     332000 | #Constraints:      27432
1066.01/1069.10	c #Conflicts:     333000 | #Constraints:      28432
1066.01/1069.10	c INPROCESSING
1066.01/1069.10	c GARBAGE COLLECT
1066.01/1069.10	c #Conflicts:     334000 | #Constraints:      18051
1066.01/1069.10	c #Conflicts:     335000 | #Constraints:      19051
1066.01/1069.10	c #Conflicts:     336000 | #Constraints:      20051
1066.01/1069.10	c #Conflicts:     337000 | #Constraints:      21051
1066.01/1069.10	c #Conflicts:     338000 | #Constraints:      22051
1066.01/1069.10	c #Conflicts:     339000 | #Constraints:      23051
1066.01/1069.10	c #Conflicts:     340000 | #Constraints:      24051
1066.01/1069.10	c #Conflicts:     341000 | #Constraints:      25051
1066.01/1069.10	c #Conflicts:     342000 | #Constraints:      26051
1066.01/1069.10	c #Conflicts:     343000 | #Constraints:      27051
1066.01/1069.10	c #Conflicts:     344000 | #Constraints:      28051
1066.01/1069.10	c #Conflicts:     345000 | #Constraints:      29051
1066.01/1069.10	c INPROCESSING
1066.01/1069.10	c GARBAGE COLLECT
1066.01/1069.10	c #Conflicts:     346000 | #Constraints:      18451
1066.01/1069.10	c #Conflicts:     347000 | #Constraints:      19451
1066.01/1069.10	c #Conflicts:     348000 | #Constraints:      20451
1066.01/1069.10	c #Conflicts:     349000 | #Constraints:      21451
1066.01/1069.10	c #Conflicts:     350000 | #Constraints:      22451
1066.01/1069.10	c #Conflicts:     351000 | #Constraints:      23451
1066.01/1069.10	c #Conflicts:     352000 | #Constraints:      24451
1066.01/1069.10	c #Conflicts:     353000 | #Constraints:      25451
1066.01/1069.10	c #Conflicts:     354000 | #Constraints:      26451
1066.01/1069.10	c #Conflicts:     355000 | #Constraints:      27451
1066.01/1069.10	c #Conflicts:     356000 | #Constraints:      28451
1066.01/1069.10	c #Conflicts:     357000 | #Constraints:      29451
1066.01/1069.10	c INPROCESSING
1066.01/1069.10	c GARBAGE COLLECT
1066.01/1069.10	c #Conflicts:     358000 | #Constraints:      18615
1066.01/1069.10	c #Conflicts:     359000 | #Constraints:      19615
1066.01/1069.10	c #Conflicts:     360000 | #Constraints:      20615
1066.01/1069.10	c #Conflicts:     361000 | #Constraints:      21615
1066.01/1069.10	c #Conflicts:     362000 | #Constraints:      22615
1066.01/1069.10	c #Conflicts:     363000 | #Constraints:      23615
1066.01/1069.10	c #Conflicts:     364000 | #Constraints:      24615
1066.01/1069.10	c #Conflicts:     365000 | #Constraints:      25615
1066.01/1069.10	c #Conflicts:     366000 | #Constraints:      26615
1066.01/1069.10	c #Conflicts:     367000 | #Constraints:      27615
1066.01/1069.10	c #Conflicts:     368000 | #Constraints:      28615
1066.01/1069.10	c #Conflicts:     369000 | #Constraints:      29615
1066.01/1069.10	c INPROCESSING
1066.01/1069.10	c GARBAGE COLLECT
1066.01/1069.10	c #Conflicts:     370000 | #Constraints:      18594
1066.01/1069.10	c #Conflicts:     371000 | #Constraints:      19594
1066.01/1069.10	c #Conflicts:     372000 | #Constraints:      20594
1066.01/1069.10	c #Conflicts:     373000 | #Constraints:      21594
1066.01/1069.10	c #Conflicts:     374000 | #Constraints:      22594
1066.01/1069.10	c #Conflicts:     375000 | #Constraints:      23594
1066.01/1069.10	c #Conflicts:     376000 | #Constraints:      24594
1066.01/1069.10	c #Conflicts:     377000 | #Constraints:      25594
1066.01/1069.10	c #Conflicts:     378000 | #Constraints:      26594
1066.01/1069.10	c #Conflicts:     379000 | #Constraints:      27594
1066.01/1069.10	c #Conflicts:     380000 | #Constraints:      28594
1066.01/1069.10	c #Conflicts:     381000 | #Constraints:      29594
1066.01/1069.10	c INPROCESSING
1066.01/1069.10	c GARBAGE COLLECT
1066.01/1069.10	c #Conflicts:     382000 | #Constraints:      18392
1066.01/1069.10	c #Conflicts:     383000 | #Constraints:      19392
1066.01/1069.10	c #Conflicts:     384000 | #Constraints:      20392
1066.01/1069.10	c #Conflicts:     385000 | #Constraints:      21392
1066.01/1069.10	c #Conflicts:     386000 | #Constraints:      22392
1066.01/1069.10	c #Conflicts:     387000 | #Constraints:      23392
1066.01/1069.10	c #Conflicts:     388000 | #Constraints:      24392
1106.49/1109.74	c #Conflicts:     389000 | #Constraints:      25392
1106.49/1109.74	c #Conflicts:     390000 | #Constraints:      26392
1106.49/1109.74	c #Conflicts:     391000 | #Constraints:      27392
1106.49/1109.74	c #Conflicts:     392000 | #Constraints:      28392
1106.49/1109.74	c #Conflicts:     393000 | #Constraints:      29392
1106.49/1109.74	c #Conflicts:     394000 | #Constraints:      30392
1106.49/1109.74	c INPROCESSING
1106.49/1109.74	c GARBAGE COLLECT
1106.49/1109.74	c #Conflicts:     395000 | #Constraints:      19007
1106.49/1109.74	c #Conflicts:     396000 | #Constraints:      20007
1106.49/1109.74	c #Conflicts:     397000 | #Constraints:      21007
1106.49/1109.74	c #Conflicts:     398000 | #Constraints:      22007
1106.49/1109.74	c #Conflicts:     399000 | #Constraints:      23007
1106.49/1109.74	c GLOBAL bounds - >= -2642 @ 1098.98
1316.08/1319.96	c #Conflicts:     400000 | #Constraints:      24009
1316.08/1319.96	c #Conflicts:     401000 | #Constraints:      25009
1316.08/1319.96	c #Conflicts:     402000 | #Constraints:      26009
1316.08/1319.96	c #Conflicts:     403000 | #Constraints:      27009
1316.08/1319.96	c #Conflicts:     404000 | #Constraints:      28009
1316.08/1319.96	c #Conflicts:     405000 | #Constraints:      29009
1316.08/1319.96	c #Conflicts:     406000 | #Constraints:      30009
1316.08/1319.96	c #Conflicts:     407000 | #Constraints:      31009
1316.08/1319.96	c INPROCESSING
1316.08/1319.96	c GARBAGE COLLECT
1316.08/1319.96	c #Conflicts:     408000 | #Constraints:      19442
1316.08/1319.96	c #Conflicts:     409000 | #Constraints:      20442
1316.08/1319.96	c #Conflicts:     410000 | #Constraints:      21442
1316.08/1319.96	c #Conflicts:     411000 | #Constraints:      22442
1316.08/1319.96	c #Conflicts:     412000 | #Constraints:      23442
1316.08/1319.96	c #Conflicts:     413000 | #Constraints:      24442
1316.08/1319.96	c #Conflicts:     414000 | #Constraints:      25442
1316.08/1319.96	c #Conflicts:     415000 | #Constraints:      26442
1316.08/1319.96	c #Conflicts:     416000 | #Constraints:      27442
1316.08/1319.96	c #Conflicts:     417000 | #Constraints:      28442
1316.08/1319.96	c #Conflicts:     418000 | #Constraints:      29442
1316.08/1319.96	c #Conflicts:     419000 | #Constraints:      30442
1316.08/1319.96	c #Conflicts:     420000 | #Constraints:      31442
1316.08/1319.96	c INPROCESSING
1316.08/1319.96	c GARBAGE COLLECT
1316.08/1319.96	c #Conflicts:     421000 | #Constraints:      19666
1316.08/1319.96	c #Conflicts:     422000 | #Constraints:      20666
1316.08/1319.96	c #Conflicts:     423000 | #Constraints:      21666
1316.08/1319.96	c #Conflicts:     424000 | #Constraints:      22666
1316.08/1319.96	c #Conflicts:     425000 | #Constraints:      23666
1316.08/1319.96	c #Conflicts:     426000 | #Constraints:      24666
1316.08/1319.96	c #Conflicts:     427000 | #Constraints:      25666
1316.08/1319.96	c #Conflicts:     428000 | #Constraints:      26666
1316.08/1319.96	c #Conflicts:     429000 | #Constraints:      27666
1316.08/1319.96	c #Conflicts:     430000 | #Constraints:      28666
1316.08/1319.96	c #Conflicts:     431000 | #Constraints:      29666
1316.08/1319.96	c #Conflicts:     432000 | #Constraints:      30666
1316.08/1319.96	c #Conflicts:     433000 | #Constraints:      31666
1316.08/1319.96	c INPROCESSING
1316.08/1319.96	c GARBAGE COLLECT
1316.08/1319.96	c #Conflicts:     434000 | #Constraints:      19677
1316.08/1319.96	c #Conflicts:     435000 | #Constraints:      20677
1316.08/1319.96	c #Conflicts:     436000 | #Constraints:      21677
1316.08/1319.96	c #Conflicts:     437000 | #Constraints:      22677
1316.08/1319.96	c #Conflicts:     438000 | #Constraints:      23677
1316.08/1319.96	c #Conflicts:     439000 | #Constraints:      24677
1316.08/1319.96	c #Conflicts:     440000 | #Constraints:      25677
1316.08/1319.96	c #Conflicts:     441000 | #Constraints:      26677
1316.08/1319.96	c #Conflicts:     442000 | #Constraints:      27677
1316.08/1319.96	c #Conflicts:     443000 | #Constraints:      28677
1316.08/1319.96	c #Conflicts:     444000 | #Constraints:      29677
1316.08/1319.96	c #Conflicts:     445000 | #Constraints:      30677
1316.08/1319.96	c #Conflicts:     446000 | #Constraints:      31677
1316.08/1319.96	c INPROCESSING
1316.08/1319.96	c GARBAGE COLLECT
1316.08/1319.96	c #Conflicts:     447000 | #Constraints:      19487
1316.08/1319.96	c #Conflicts:     448000 | #Constraints:      20487
1316.08/1319.96	c #Conflicts:     449000 | #Constraints:      21487
1316.08/1319.96	c #Conflicts:     450000 | #Constraints:      22487
1316.08/1319.96	c #Conflicts:     451000 | #Constraints:      23487
1316.08/1319.96	c #Conflicts:     452000 | #Constraints:      24487
1316.08/1319.96	c #Conflicts:     453000 | #Constraints:      25487
1316.08/1319.96	c #Conflicts:     454000 | #Constraints:      26487
1316.08/1319.96	c #Conflicts:     455000 | #Constraints:      27487
1316.08/1319.96	c #Conflicts:     456000 | #Constraints:      28487
1316.08/1319.96	c #Conflicts:     457000 | #Constraints:      29487
1316.08/1319.96	c #Conflicts:     458000 | #Constraints:      30487
1316.08/1319.96	c #Conflicts:     459000 | #Constraints:      31487
1316.08/1319.96	c #Conflicts:     460000 | #Constraints:      32487
1316.08/1319.96	c INPROCESSING
1316.08/1319.96	c GARBAGE COLLECT
1316.08/1319.96	c #Conflicts:     461000 | #Constraints:      20092
1316.08/1319.96	c #Conflicts:     462000 | #Constraints:      21092
1316.08/1319.96	c #Conflicts:     463000 | #Constraints:      22092
1316.08/1319.96	c #Conflicts:     464000 | #Constraints:      23092
1316.08/1319.96	c #Conflicts:     465000 | #Constraints:      24092
1316.08/1319.96	c #Conflicts:     466000 | #Constraints:      25092
1316.08/1319.96	c #Conflicts:     467000 | #Constraints:      26092
1316.08/1319.96	c #Conflicts:     468000 | #Constraints:      27092
1316.08/1319.96	c #Conflicts:     469000 | #Constraints:      28092
1316.08/1319.96	c #Conflicts:     470000 | #Constraints:      29092
1316.08/1319.96	c #Conflicts:     471000 | #Constraints:      30092
1316.08/1319.96	c #Conflicts:     472000 | #Constraints:      31092
1316.08/1319.96	c #Conflicts:     473000 | #Constraints:      32092
1316.08/1319.96	c #Conflicts:     474000 | #Constraints:      33092
1316.08/1319.96	c INPROCESSING
1316.08/1319.96	c GARBAGE COLLECT
1596.04/1600.75	c #Conflicts:     475000 | #Constraints:      20494
1596.04/1600.75	c #Conflicts:     476000 | #Constraints:      21494
1596.04/1600.75	c #Conflicts:     477000 | #Constraints:      22494
1596.04/1600.75	c #Conflicts:     478000 | #Constraints:      23494
1596.04/1600.75	c #Conflicts:     479000 | #Constraints:      24494
1596.04/1600.75	c #Conflicts:     480000 | #Constraints:      25494
1596.04/1600.75	c #Conflicts:     481000 | #Constraints:      26494
1596.04/1600.75	c #Conflicts:     482000 | #Constraints:      27494
1596.04/1600.75	c #Conflicts:     483000 | #Constraints:      28494
1596.04/1600.75	c #Conflicts:     484000 | #Constraints:      29494
1596.04/1600.75	c #Conflicts:     485000 | #Constraints:      30494
1596.04/1600.75	c #Conflicts:     486000 | #Constraints:      31494
1596.04/1600.75	c #Conflicts:     487000 | #Constraints:      32494
1596.04/1600.75	c #Conflicts:     488000 | #Constraints:      33494
1596.04/1600.75	c INPROCESSING
1596.04/1600.75	c GARBAGE COLLECT
1596.04/1600.75	c #Conflicts:     489000 | #Constraints:      20704
1596.04/1600.75	c #Conflicts:     490000 | #Constraints:      21704
1596.04/1600.75	c #Conflicts:     491000 | #Constraints:      22704
1596.04/1600.75	c #Conflicts:     492000 | #Constraints:      23704
1596.04/1600.75	c #Conflicts:     493000 | #Constraints:      24704
1596.04/1600.75	c #Conflicts:     494000 | #Constraints:      25704
1596.04/1600.75	c #Conflicts:     495000 | #Constraints:      26704
1596.04/1600.75	c #Conflicts:     496000 | #Constraints:      27704
1596.04/1600.75	c #Conflicts:     497000 | #Constraints:      28704
1596.04/1600.75	c #Conflicts:     498000 | #Constraints:      29704
1596.04/1600.75	c #Conflicts:     499000 | #Constraints:      30704
1596.04/1600.75	c #Conflicts:     500000 | #Constraints:      31704
1596.04/1600.75	c #Conflicts:     501000 | #Constraints:      32704
1596.04/1600.75	c #Conflicts:     502000 | #Constraints:      33704
1596.04/1600.75	c INPROCESSING
1596.04/1600.75	c GARBAGE COLLECT
1596.04/1600.75	c #Conflicts:     503000 | #Constraints:      20706
1596.04/1600.75	c #Conflicts:     504000 | #Constraints:      21706
1596.04/1600.75	c #Conflicts:     505000 | #Constraints:      22706
1596.04/1600.75	c #Conflicts:     506000 | #Constraints:      23706
1596.04/1600.75	c #Conflicts:     507000 | #Constraints:      24706
1596.04/1600.75	c #Conflicts:     508000 | #Constraints:      25706
1596.04/1600.75	c #Conflicts:     509000 | #Constraints:      26706
1596.04/1600.75	c #Conflicts:     510000 | #Constraints:      27706
1596.04/1600.75	c #Conflicts:     511000 | #Constraints:      28706
1596.04/1600.75	c #Conflicts:     512000 | #Constraints:      29706
1596.04/1600.75	c #Conflicts:     513000 | #Constraints:      30706
1596.04/1600.75	c #Conflicts:     514000 | #Constraints:      31706
1596.04/1600.75	c #Conflicts:     515000 | #Constraints:      32706
1596.04/1600.75	c #Conflicts:     516000 | #Constraints:      33706
1596.04/1600.75	c INPROCESSING
1596.04/1600.75	c GARBAGE COLLECT
1596.04/1600.75	c #Conflicts:     517000 | #Constraints:      20497
1596.04/1600.75	c #Conflicts:     518000 | #Constraints:      21497
1596.04/1600.75	c #Conflicts:     519000 | #Constraints:      22497
1596.04/1600.75	c #Conflicts:     520000 | #Constraints:      23497
1596.04/1600.75	c #Conflicts:     521000 | #Constraints:      24497
1596.04/1600.75	c #Conflicts:     522000 | #Constraints:      25497
1596.04/1600.75	c #Conflicts:     523000 | #Constraints:      26497
1596.04/1600.75	c #Conflicts:     524000 | #Constraints:      27497
1596.04/1600.75	c #Conflicts:     525000 | #Constraints:      28497
1596.04/1600.75	c #Conflicts:     526000 | #Constraints:      29497
1596.04/1600.75	c #Conflicts:     527000 | #Constraints:      30497
1596.04/1600.75	c #Conflicts:     528000 | #Constraints:      31497
1596.04/1600.75	c #Conflicts:     529000 | #Constraints:      32497
1596.04/1600.75	c #Conflicts:     530000 | #Constraints:      33497
1596.04/1600.75	c #Conflicts:     531000 | #Constraints:      34497
1596.04/1600.75	c INPROCESSING
1596.04/1600.75	c GARBAGE COLLECT
1596.04/1600.75	c #Conflicts:     532000 | #Constraints:      21101
1596.04/1600.75	c #Conflicts:     533000 | #Constraints:      22101
1596.04/1600.75	c #Conflicts:     534000 | #Constraints:      23101
1596.04/1600.75	c #Conflicts:     535000 | #Constraints:      24101
1596.04/1600.75	c #Conflicts:     536000 | #Constraints:      25101
1596.04/1600.75	c #Conflicts:     537000 | #Constraints:      26101
1596.04/1600.75	c #Conflicts:     538000 | #Constraints:      27101
1596.04/1600.75	c #Conflicts:     539000 | #Constraints:      28101
1596.04/1600.75	c #Conflicts:     540000 | #Constraints:      29101
1596.04/1600.75	c #Conflicts:     541000 | #Constraints:      30101
1596.04/1600.75	c #Conflicts:     542000 | #Constraints:      31101
1596.04/1600.75	c #Conflicts:     543000 | #Constraints:      32101
1596.04/1600.75	c #Conflicts:     544000 | #Constraints:      33101
1596.04/1600.75	c #Conflicts:     545000 | #Constraints:      34101
1596.04/1600.75	c #Conflicts:     546000 | #Constraints:      35101
1596.04/1600.75	c INPROCESSING
1596.04/1600.75	c GARBAGE COLLECT
1596.04/1600.75	c #Conflicts:     547000 | #Constraints:      21495
1596.04/1600.75	c #Conflicts:     548000 | #Constraints:      22495
1596.04/1600.75	c #Conflicts:     549000 | #Constraints:      23495
1596.04/1600.75	c #Conflicts:     550000 | #Constraints:      24495
1652.66/1657.50	c #Conflicts:     551000 | #Constraints:      25495
1652.66/1657.50	c #Conflicts:     552000 | #Constraints:      26495
1652.66/1657.50	c #Conflicts:     553000 | #Constraints:      27495
1652.66/1657.50	c #Conflicts:     554000 | #Constraints:      28495
1652.66/1657.50	c #Conflicts:     555000 | #Constraints:      29495
1652.66/1657.50	c #Conflicts:     556000 | #Constraints:      30495
1652.66/1657.50	c #Conflicts:     557000 | #Constraints:      31495
1652.66/1657.50	c #Conflicts:     558000 | #Constraints:      32495
1652.66/1657.50	c #Conflicts:     559000 | #Constraints:      33495
1652.66/1657.50	c #Conflicts:     560000 | #Constraints:      34495
1652.66/1657.50	c #Conflicts:     561000 | #Constraints:      35495
1652.66/1657.50	c INPROCESSING
1652.66/1657.50	c GARBAGE COLLECT
1652.66/1657.50	c GLOBAL bounds - >= -2642 @ 1643.37
1672.11/1677.06	c #Conflicts:     562000 | #Constraints:      21696
1672.11/1677.06	c #Conflicts:     563000 | #Constraints:      22696
1672.11/1677.06	c #Conflicts:     564000 | #Constraints:      23696
1672.11/1677.06	c #Conflicts:     565000 | #Constraints:      24696
1672.11/1677.06	c #Conflicts:     566000 | #Constraints:      25696
1672.11/1677.06	c #Conflicts:     567000 | #Constraints:      26696
1672.11/1677.06	c GLOBAL bounds - >= -2642 @ 1662.8
1725.95/1731.00	c #Conflicts:     568000 | #Constraints:      27698
1725.95/1731.00	c #Conflicts:     569000 | #Constraints:      28698
1725.95/1731.00	c #Conflicts:     570000 | #Constraints:      29698
1725.95/1731.00	c #Conflicts:     571000 | #Constraints:      30698
1725.95/1731.00	c #Conflicts:     572000 | #Constraints:      31698
1725.95/1731.00	c #Conflicts:     573000 | #Constraints:      32698
1725.95/1731.00	c #Conflicts:     574000 | #Constraints:      33698
1725.95/1731.00	c #Conflicts:     575000 | #Constraints:      34698
1725.95/1731.00	c #Conflicts:     576000 | #Constraints:      35698
1725.95/1731.00	c INPROCESSING
1725.95/1731.00	c GARBAGE COLLECT
1725.95/1731.00	c #Conflicts:     577000 | #Constraints:      21665
1725.95/1731.00	c #Conflicts:     578000 | #Constraints:      22665
1725.95/1731.00	c #Conflicts:     579000 | #Constraints:      23665
1725.95/1731.00	c GLOBAL bounds - >= -2642 @ 1716.32
1839.90/1845.39	c #Conflicts:     580000 | #Constraints:      24667
1839.90/1845.39	c #Conflicts:     581000 | #Constraints:      25667
1839.90/1845.39	c #Conflicts:     582000 | #Constraints:      26667
1839.90/1845.39	c #Conflicts:     583000 | #Constraints:      27667
1839.90/1845.39	c #Conflicts:     584000 | #Constraints:      28667
1839.90/1845.39	c #Conflicts:     585000 | #Constraints:      29667
1839.90/1845.39	c #Conflicts:     586000 | #Constraints:      30667
1839.90/1845.39	c #Conflicts:     587000 | #Constraints:      31667
1839.90/1845.39	c #Conflicts:     588000 | #Constraints:      32667
1839.90/1845.39	c #Conflicts:     589000 | #Constraints:      33667
1839.90/1845.39	c #Conflicts:     590000 | #Constraints:      34667
1839.90/1845.39	c #Conflicts:     591000 | #Constraints:      35667
1839.90/1845.39	c INPROCESSING
1839.90/1845.39	c GARBAGE COLLECT
1839.90/1845.39	c #Conflicts:     592000 | #Constraints:      21437
1839.90/1845.39	c #Conflicts:     593000 | #Constraints:      22437
1839.90/1845.39	c #Conflicts:     594000 | #Constraints:      23437
1839.90/1845.39	c #Conflicts:     595000 | #Constraints:      24437
1839.90/1845.39	c #Conflicts:     596000 | #Constraints:      25437
1839.90/1845.39	c #Conflicts:     597000 | #Constraints:      26437
1839.90/1845.39	c #Conflicts:     598000 | #Constraints:      27437
1839.90/1845.39	c #Conflicts:     599000 | #Constraints:      28437
1839.90/1845.39	c #Conflicts:     600000 | #Constraints:      29437
1839.90/1845.39	c #Conflicts:     601000 | #Constraints:      30437
1839.90/1845.39	c #Conflicts:     602000 | #Constraints:      31437
1839.90/1845.39	c #Conflicts:     603000 | #Constraints:      32437
1839.90/1845.39	c #Conflicts:     604000 | #Constraints:      33437
1839.90/1845.39	c #Conflicts:     605000 | #Constraints:      34437
1839.90/1845.39	c #Conflicts:     606000 | #Constraints:      35437
1839.90/1845.39	c #Conflicts:     607000 | #Constraints:      36437
1839.90/1845.39	c INPROCESSING
1839.90/1845.39	c GARBAGE COLLECT
1839.90/1845.39	c #Conflicts:     608000 | #Constraints:      22013
1839.90/1845.39	c #Conflicts:     609000 | #Constraints:      23013
1839.90/1845.39	c #Conflicts:     610000 | #Constraints:      24013
1839.90/1845.39	c #Conflicts:     611000 | #Constraints:      25013
1839.90/1845.39	c #Conflicts:     612000 | #Constraints:      26013
1839.90/1845.39	c #Conflicts:     613000 | #Constraints:      27013
1839.90/1845.39	c #Conflicts:     614000 | #Constraints:      28013
1839.90/1845.39	c #Conflicts:     615000 | #Constraints:      29013
1839.90/1845.39	c #Conflicts:     616000 | #Constraints:      30013
1839.90/1845.39	c GLOBAL bounds - >= -2642 @ 1829.93
1981.08/1986.98	c #Conflicts:     617000 | #Constraints:      31015
1981.08/1986.98	c #Conflicts:     618000 | #Constraints:      32015
1981.08/1986.98	c #Conflicts:     619000 | #Constraints:      33015
1981.08/1986.98	c #Conflicts:     620000 | #Constraints:      34015
1981.08/1986.98	c #Conflicts:     621000 | #Constraints:      35015
1981.08/1986.98	c #Conflicts:     622000 | #Constraints:      36015
1981.08/1986.98	c #Conflicts:     623000 | #Constraints:      37015
1981.08/1986.98	c INPROCESSING
1981.08/1986.98	c GARBAGE COLLECT
1981.08/1986.98	c #Conflicts:     624000 | #Constraints:      22430
1981.08/1986.98	c #Conflicts:     625000 | #Constraints:      23430
1981.08/1986.98	c #Conflicts:     626000 | #Constraints:      24430
1981.08/1986.98	c #Conflicts:     627000 | #Constraints:      25430
1981.08/1986.98	c #Conflicts:     628000 | #Constraints:      26430
1981.08/1986.98	c #Conflicts:     629000 | #Constraints:      27430
1981.08/1986.98	c #Conflicts:     630000 | #Constraints:      28430
1981.08/1986.98	c #Conflicts:     631000 | #Constraints:      29430
1981.08/1986.98	c #Conflicts:     632000 | #Constraints:      30430
1981.08/1986.98	c #Conflicts:     633000 | #Constraints:      31430
1981.08/1986.98	c #Conflicts:     634000 | #Constraints:      32430
1981.08/1986.98	c #Conflicts:     635000 | #Constraints:      33430
1981.08/1986.98	c #Conflicts:     636000 | #Constraints:      34430
1981.08/1986.98	c #Conflicts:     637000 | #Constraints:      35430
1981.08/1986.98	c #Conflicts:     638000 | #Constraints:      36430
1981.08/1986.98	c #Conflicts:     639000 | #Constraints:      37430
1981.08/1986.98	c INPROCESSING
1981.08/1986.98	c GARBAGE COLLECT
1981.08/1986.98	c #Conflicts:     640000 | #Constraints:      22623
1981.08/1986.98	c #Conflicts:     641000 | #Constraints:      23623
1981.08/1986.98	c #Conflicts:     642000 | #Constraints:      24623
1981.08/1986.98	c #Conflicts:     643000 | #Constraints:      25623
1981.08/1986.98	c #Conflicts:     644000 | #Constraints:      26623
1981.08/1986.98	c #Conflicts:     645000 | #Constraints:      27623
1981.08/1986.98	c #Conflicts:     646000 | #Constraints:      28623
1981.08/1986.98	c #Conflicts:     647000 | #Constraints:      29623
1981.08/1986.98	c #Conflicts:     648000 | #Constraints:      30623
1981.08/1986.98	c GLOBAL bounds - >= -2642 @ 1970.43
2216.97/2223.54	c #Conflicts:     649000 | #Constraints:      31625
2216.97/2223.54	c #Conflicts:     650000 | #Constraints:      32625
2216.97/2223.54	c #Conflicts:     651000 | #Constraints:      33625
2216.97/2223.54	c #Conflicts:     652000 | #Constraints:      34625
2216.97/2223.54	c #Conflicts:     653000 | #Constraints:      35625
2216.97/2223.54	c #Conflicts:     654000 | #Constraints:      36625
2216.97/2223.54	c #Conflicts:     655000 | #Constraints:      37625
2216.97/2223.54	c INPROCESSING
2216.97/2223.54	c GARBAGE COLLECT
2216.97/2223.54	c #Conflicts:     656000 | #Constraints:      22651
2216.97/2223.54	c #Conflicts:     657000 | #Constraints:      23651
2216.97/2223.54	c #Conflicts:     658000 | #Constraints:      24651
2216.97/2223.54	c #Conflicts:     659000 | #Constraints:      25651
2216.97/2223.54	c #Conflicts:     660000 | #Constraints:      26651
2216.97/2223.54	c #Conflicts:     661000 | #Constraints:      27651
2216.97/2223.54	c #Conflicts:     662000 | #Constraints:      28651
2216.97/2223.54	c #Conflicts:     663000 | #Constraints:      29651
2216.97/2223.54	c #Conflicts:     664000 | #Constraints:      30651
2216.97/2223.54	c #Conflicts:     665000 | #Constraints:      31651
2216.97/2223.54	c #Conflicts:     666000 | #Constraints:      32651
2216.97/2223.54	c #Conflicts:     667000 | #Constraints:      33651
2216.97/2223.54	c #Conflicts:     668000 | #Constraints:      34651
2216.97/2223.54	c #Conflicts:     669000 | #Constraints:      35651
2216.97/2223.54	c #Conflicts:     670000 | #Constraints:      36651
2216.97/2223.54	c #Conflicts:     671000 | #Constraints:      37651
2216.97/2223.54	c INPROCESSING
2216.97/2223.54	c GARBAGE COLLECT
2216.97/2223.54	c #Conflicts:     672000 | #Constraints:      22421
2216.97/2223.54	c #Conflicts:     673000 | #Constraints:      23421
2216.97/2223.54	c #Conflicts:     674000 | #Constraints:      24421
2216.97/2223.54	c #Conflicts:     675000 | #Constraints:      25421
2216.97/2223.54	c #Conflicts:     676000 | #Constraints:      26421
2216.97/2223.54	c #Conflicts:     677000 | #Constraints:      27421
2216.97/2223.54	c #Conflicts:     678000 | #Constraints:      28421
2216.97/2223.54	c #Conflicts:     679000 | #Constraints:      29421
2216.97/2223.54	c #Conflicts:     680000 | #Constraints:      30421
2216.97/2223.54	c #Conflicts:     681000 | #Constraints:      31421
2216.97/2223.54	c #Conflicts:     682000 | #Constraints:      32421
2216.97/2223.54	c #Conflicts:     683000 | #Constraints:      33421
2216.97/2223.54	c #Conflicts:     684000 | #Constraints:      34421
2216.97/2223.54	c #Conflicts:     685000 | #Constraints:      35421
2216.97/2223.54	c #Conflicts:     686000 | #Constraints:      36421
2216.97/2223.54	c #Conflicts:     687000 | #Constraints:      37421
2216.97/2223.54	c #Conflicts:     688000 | #Constraints:      38421
2216.97/2223.54	c INPROCESSING
2216.97/2223.54	c GARBAGE COLLECT
2216.97/2223.54	c #Conflicts:     689000 | #Constraints:      23020
2216.97/2223.54	c #Conflicts:     690000 | #Constraints:      24020
2216.97/2223.54	c #Conflicts:     691000 | #Constraints:      25020
2216.97/2223.54	c #Conflicts:     692000 | #Constraints:      26020
2216.97/2223.54	c #Conflicts:     693000 | #Constraints:      27020
2216.97/2223.54	c #Conflicts:     694000 | #Constraints:      28020
2216.97/2223.54	c #Conflicts:     695000 | #Constraints:      29020
2216.97/2223.54	c #Conflicts:     696000 | #Constraints:      30020
2216.97/2223.54	c #Conflicts:     697000 | #Constraints:      31020
2216.97/2223.54	c #Conflicts:     698000 | #Constraints:      32020
2216.97/2223.54	c #Conflicts:     699000 | #Constraints:      33020
2216.97/2223.54	c #Conflicts:     700000 | #Constraints:      34020
2216.97/2223.54	c #Conflicts:     701000 | #Constraints:      35020
2216.97/2223.54	c #Conflicts:     702000 | #Constraints:      36020
2216.97/2223.54	c #Conflicts:     703000 | #Constraints:      37020
2216.97/2223.54	c #Conflicts:     704000 | #Constraints:      38020
2216.97/2223.54	c #Conflicts:     705000 | #Constraints:      39020
2216.97/2223.54	c INPROCESSING
2216.97/2223.54	c GARBAGE COLLECT
2216.97/2223.54	c #Conflicts:     706000 | #Constraints:      23399
2216.97/2223.54	c #Conflicts:     707000 | #Constraints:      24399
2216.97/2223.54	c #Conflicts:     708000 | #Constraints:      25399
2216.97/2223.54	c #Conflicts:     709000 | #Constraints:      26399
2216.97/2223.54	c #Conflicts:     710000 | #Constraints:      27399
2216.97/2223.54	c #Conflicts:     711000 | #Constraints:      28399
2216.97/2223.54	c #Conflicts:     712000 | #Constraints:      29399
2216.97/2223.54	c #Conflicts:     713000 | #Constraints:      30399
2216.97/2223.54	c #Conflicts:     714000 | #Constraints:      31399
2216.97/2223.54	c #Conflicts:     715000 | #Constraints:      32399
2216.97/2223.54	c GLOBAL bounds - >= -2642 @ 2205.27
2351.35/2358.39	c #Conflicts:     716000 | #Constraints:      33401
2351.35/2358.39	c #Conflicts:     717000 | #Constraints:      34401
2351.35/2358.39	c #Conflicts:     718000 | #Constraints:      35401
2351.35/2358.39	c #Conflicts:     719000 | #Constraints:      36401
2351.35/2358.39	c #Conflicts:     720000 | #Constraints:      37401
2351.35/2358.39	c #Conflicts:     721000 | #Constraints:      38401
2351.35/2358.39	c #Conflicts:     722000 | #Constraints:      39401
2351.35/2358.39	c INPROCESSING
2351.35/2358.39	c GARBAGE COLLECT
2351.35/2358.39	c #Conflicts:     723000 | #Constraints:      23667
2351.35/2358.39	c #Conflicts:     724000 | #Constraints:      24667
2351.35/2358.39	c #Conflicts:     725000 | #Constraints:      25667
2351.35/2358.39	c #Conflicts:     726000 | #Constraints:      26667
2351.35/2358.39	c #Conflicts:     727000 | #Constraints:      27667
2351.35/2358.39	c #Conflicts:     728000 | #Constraints:      28667
2351.35/2358.39	c #Conflicts:     729000 | #Constraints:      29667
2351.35/2358.39	c #Conflicts:     730000 | #Constraints:      30667
2351.35/2358.39	c #Conflicts:     731000 | #Constraints:      31667
2351.35/2358.39	c #Conflicts:     732000 | #Constraints:      32667
2351.35/2358.39	c #Conflicts:     733000 | #Constraints:      33667
2351.35/2358.39	c #Conflicts:     734000 | #Constraints:      34667
2351.35/2358.39	c #Conflicts:     735000 | #Constraints:      35667
2351.35/2358.39	c #Conflicts:     736000 | #Constraints:      36667
2351.35/2358.39	c #Conflicts:     737000 | #Constraints:      37667
2351.35/2358.39	c #Conflicts:     738000 | #Constraints:      38667
2351.35/2358.39	c #Conflicts:     739000 | #Constraints:      39667
2351.35/2358.39	c INPROCESSING
2351.35/2358.39	c GARBAGE COLLECT
2351.35/2358.39	c #Conflicts:     740000 | #Constraints:      23716
2351.35/2358.39	c #Conflicts:     741000 | #Constraints:      24716
2351.35/2358.39	c #Conflicts:     742000 | #Constraints:      25716
2351.35/2358.39	c #Conflicts:     743000 | #Constraints:      26716
2351.35/2358.39	c #Conflicts:     744000 | #Constraints:      27716
2351.35/2358.39	c #Conflicts:     745000 | #Constraints:      28716
2351.35/2358.39	c #Conflicts:     746000 | #Constraints:      29716
2351.35/2358.39	c #Conflicts:     747000 | #Constraints:      30716
2351.35/2358.39	c #Conflicts:     748000 | #Constraints:      31716
2351.35/2358.39	c #Conflicts:     749000 | #Constraints:      32716
2351.35/2358.39	c GLOBAL bounds - >= -2642 @ 2339.26
2357.63/2364.61	c #Conflicts:     750000 | #Constraints:      33718
2357.63/2364.61	c #Conflicts:     751000 | #Constraints:      34718
2357.63/2364.61	c #Conflicts:     752000 | #Constraints:      35718
2357.63/2364.61	c GLOBAL bounds - >= -2642 @ 2345.45
2539.09/2546.63	c #Conflicts:     753000 | #Constraints:      36720
2539.09/2546.63	c #Conflicts:     754000 | #Constraints:      37720
2539.09/2546.63	c #Conflicts:     755000 | #Constraints:      38720
2539.09/2546.63	c #Conflicts:     756000 | #Constraints:      39720
2539.09/2546.63	c INPROCESSING
2539.09/2546.63	c GARBAGE COLLECT
2539.09/2546.63	c #Conflicts:     757000 | #Constraints:      23490
2539.09/2546.63	c #Conflicts:     758000 | #Constraints:      24490
2539.09/2546.63	c #Conflicts:     759000 | #Constraints:      25490
2539.09/2546.63	c #Conflicts:     760000 | #Constraints:      26490
2539.09/2546.63	c #Conflicts:     761000 | #Constraints:      27490
2539.09/2546.63	c #Conflicts:     762000 | #Constraints:      28490
2539.09/2546.63	c #Conflicts:     763000 | #Constraints:      29490
2539.09/2546.63	c #Conflicts:     764000 | #Constraints:      30490
2539.09/2546.63	c #Conflicts:     765000 | #Constraints:      31490
2539.09/2546.63	c #Conflicts:     766000 | #Constraints:      32490
2539.09/2546.63	c #Conflicts:     767000 | #Constraints:      33490
2539.09/2546.63	c #Conflicts:     768000 | #Constraints:      34490
2539.09/2546.63	c #Conflicts:     769000 | #Constraints:      35490
2539.09/2546.63	c #Conflicts:     770000 | #Constraints:      36490
2539.09/2546.63	c #Conflicts:     771000 | #Constraints:      37490
2539.09/2546.63	c #Conflicts:     772000 | #Constraints:      38490
2539.09/2546.63	c #Conflicts:     773000 | #Constraints:      39490
2539.09/2546.63	c #Conflicts:     774000 | #Constraints:      40490
2539.09/2546.63	c INPROCESSING
2539.09/2546.63	c GARBAGE COLLECT
2539.09/2546.63	c #Conflicts:     775000 | #Constraints:      24059
2539.09/2546.63	c #Conflicts:     776000 | #Constraints:      25059
2539.09/2546.63	c #Conflicts:     777000 | #Constraints:      26059
2539.09/2546.63	c #Conflicts:     778000 | #Constraints:      27059
2539.09/2546.63	c #Conflicts:     779000 | #Constraints:      28059
2539.09/2546.63	c #Conflicts:     780000 | #Constraints:      29059
2539.09/2546.63	c #Conflicts:     781000 | #Constraints:      30059
2539.09/2546.63	c #Conflicts:     782000 | #Constraints:      31059
2539.09/2546.63	c #Conflicts:     783000 | #Constraints:      32059
2539.09/2546.63	c #Conflicts:     784000 | #Constraints:      33059
2539.09/2546.63	c #Conflicts:     785000 | #Constraints:      34059
2539.09/2546.63	c #Conflicts:     786000 | #Constraints:      35059
2539.09/2546.63	c #Conflicts:     787000 | #Constraints:      36059
2539.09/2546.63	c #Conflicts:     788000 | #Constraints:      37059
2539.09/2546.63	c #Conflicts:     789000 | #Constraints:      38059
2539.09/2546.63	c #Conflicts:     790000 | #Constraints:      39059
2539.09/2546.63	c #Conflicts:     791000 | #Constraints:      40059
2539.09/2546.63	c #Conflicts:     792000 | #Constraints:      41059
2539.09/2546.63	c INPROCESSING
2539.09/2546.63	c GARBAGE COLLECT
2539.09/2546.63	c #Conflicts:     793000 | #Constraints:      24450
2539.09/2546.63	c #Conflicts:     794000 | #Constraints:      25450
2539.09/2546.63	c #Conflicts:     795000 | #Constraints:      26450
2539.09/2546.63	c #Conflicts:     796000 | #Constraints:      27450
2539.09/2546.63	c #Conflicts:     797000 | #Constraints:      28450
2539.09/2546.63	c #Conflicts:     798000 | #Constraints:      29450
2539.09/2546.63	c #Conflicts:     799000 | #Constraints:      30450
2539.09/2546.63	c GLOBAL bounds - >= -2642 @ 2526.24
2814.83/2823.16	c #Conflicts:     800000 | #Constraints:      31452
2814.83/2823.16	c #Conflicts:     801000 | #Constraints:      32452
2814.83/2823.16	c #Conflicts:     802000 | #Constraints:      33452
2814.83/2823.16	c #Conflicts:     803000 | #Constraints:      34452
2814.83/2823.16	c #Conflicts:     804000 | #Constraints:      35452
2814.83/2823.16	c #Conflicts:     805000 | #Constraints:      36452
2814.83/2823.16	c #Conflicts:     806000 | #Constraints:      37452
2814.83/2823.16	c #Conflicts:     807000 | #Constraints:      38452
2814.83/2823.16	c #Conflicts:     808000 | #Constraints:      39452
2814.83/2823.16	c #Conflicts:     809000 | #Constraints:      40452
2814.83/2823.16	c #Conflicts:     810000 | #Constraints:      41452
2814.83/2823.16	c INPROCESSING
2814.83/2823.16	c GARBAGE COLLECT
2814.83/2823.16	c #Conflicts:     811000 | #Constraints:      24657
2814.83/2823.16	c #Conflicts:     812000 | #Constraints:      25657
2814.83/2823.16	c #Conflicts:     813000 | #Constraints:      26657
2814.83/2823.16	c #Conflicts:     814000 | #Constraints:      27657
2814.83/2823.16	c #Conflicts:     815000 | #Constraints:      28657
2814.83/2823.16	c #Conflicts:     816000 | #Constraints:      29657
2814.83/2823.16	c #Conflicts:     817000 | #Constraints:      30657
2814.83/2823.16	c #Conflicts:     818000 | #Constraints:      31657
2814.83/2823.16	c #Conflicts:     819000 | #Constraints:      32657
2814.83/2823.16	c #Conflicts:     820000 | #Constraints:      33657
2814.83/2823.16	c #Conflicts:     821000 | #Constraints:      34657
2814.83/2823.16	c #Conflicts:     822000 | #Constraints:      35657
2814.83/2823.16	c #Conflicts:     823000 | #Constraints:      36657
2814.83/2823.16	c #Conflicts:     824000 | #Constraints:      37657
2814.83/2823.16	c #Conflicts:     825000 | #Constraints:      38657
2814.83/2823.16	c #Conflicts:     826000 | #Constraints:      39657
2814.83/2823.16	c #Conflicts:     827000 | #Constraints:      40657
2814.83/2823.16	c #Conflicts:     828000 | #Constraints:      41657
2814.83/2823.16	c INPROCESSING
2814.83/2823.16	c GARBAGE COLLECT
2814.83/2823.16	c #Conflicts:     829000 | #Constraints:      24671
2814.83/2823.16	c #Conflicts:     830000 | #Constraints:      25671
2814.83/2823.16	c #Conflicts:     831000 | #Constraints:      26671
2814.83/2823.16	c #Conflicts:     832000 | #Constraints:      27671
2814.83/2823.16	c #Conflicts:     833000 | #Constraints:      28671
2814.83/2823.16	c #Conflicts:     834000 | #Constraints:      29671
2814.83/2823.16	c #Conflicts:     835000 | #Constraints:      30671
2814.83/2823.16	c #Conflicts:     836000 | #Constraints:      31671
2814.83/2823.16	c #Conflicts:     837000 | #Constraints:      32671
2814.83/2823.16	c #Conflicts:     838000 | #Constraints:      33671
2814.83/2823.16	c #Conflicts:     839000 | #Constraints:      34671
2814.83/2823.16	c #Conflicts:     840000 | #Constraints:      35671
2814.83/2823.16	c #Conflicts:     841000 | #Constraints:      36671
2814.83/2823.16	c #Conflicts:     842000 | #Constraints:      37671
2814.83/2823.16	c #Conflicts:     843000 | #Constraints:      38671
2814.83/2823.16	c #Conflicts:     844000 | #Constraints:      39671
2814.83/2823.16	c #Conflicts:     845000 | #Constraints:      40671
2814.83/2823.16	c #Conflicts:     846000 | #Constraints:      41671
2814.83/2823.16	c INPROCESSING
2814.83/2823.16	c GARBAGE COLLECT
2814.83/2823.16	c #Conflicts:     847000 | #Constraints:      24468
2814.83/2823.16	c #Conflicts:     848000 | #Constraints:      25468
2814.83/2823.16	c #Conflicts:     849000 | #Constraints:      26468
2814.83/2823.16	c #Conflicts:     850000 | #Constraints:      27468
2814.83/2823.16	c #Conflicts:     851000 | #Constraints:      28468
2814.83/2823.16	c #Conflicts:     852000 | #Constraints:      29468
2814.83/2823.16	c #Conflicts:     853000 | #Constraints:      30468
2814.83/2823.16	c #Conflicts:     854000 | #Constraints:      31468
2814.83/2823.16	c #Conflicts:     855000 | #Constraints:      32468
2814.83/2823.16	c #Conflicts:     856000 | #Constraints:      33468
2814.83/2823.16	c #Conflicts:     857000 | #Constraints:      34468
2814.83/2823.16	c #Conflicts:     858000 | #Constraints:      35468
2814.83/2823.16	c #Conflicts:     859000 | #Constraints:      36468
2814.83/2823.16	c #Conflicts:     860000 | #Constraints:      37468
2814.83/2823.16	c #Conflicts:     861000 | #Constraints:      38468
2814.83/2823.16	c #Conflicts:     862000 | #Constraints:      39468
2814.83/2823.16	c #Conflicts:     863000 | #Constraints:      40468
2814.83/2823.16	c #Conflicts:     864000 | #Constraints:      41468
2814.83/2823.16	c #Conflicts:     865000 | #Constraints:      42468
2814.83/2823.16	c INPROCESSING
2814.83/2823.16	c GARBAGE COLLECT
2814.83/2823.16	c #Conflicts:     866000 | #Constraints:      25079
2814.83/2823.16	c #Conflicts:     867000 | #Constraints:      26079
2814.83/2823.16	c #Conflicts:     868000 | #Constraints:      27079
2814.83/2823.16	c #Conflicts:     869000 | #Constraints:      28079
2814.83/2823.16	c #Conflicts:     870000 | #Constraints:      29079
2814.83/2823.16	c #Conflicts:     871000 | #Constraints:      30079
2814.83/2823.16	c #Conflicts:     872000 | #Constraints:      31079
2814.83/2823.16	c #Conflicts:     873000 | #Constraints:      32079
2814.83/2823.16	c #Conflicts:     874000 | #Constraints:      33079
2814.83/2823.16	c #Conflicts:     875000 | #Constraints:      34079
2814.83/2823.16	c #Conflicts:     876000 | #Constraints:      35079
3039.79/3048.76	c #Conflicts:     877000 | #Constraints:      36079
3039.79/3048.76	c #Conflicts:     878000 | #Constraints:      37079
3039.79/3048.76	c #Conflicts:     879000 | #Constraints:      38079
3039.79/3048.76	c #Conflicts:     880000 | #Constraints:      39079
3039.79/3048.76	c #Conflicts:     881000 | #Constraints:      40079
3039.79/3048.76	c #Conflicts:     882000 | #Constraints:      41079
3039.79/3048.76	c #Conflicts:     883000 | #Constraints:      42079
3039.79/3048.76	c #Conflicts:     884000 | #Constraints:      43079
3039.79/3048.76	c INPROCESSING
3039.79/3048.76	c GARBAGE COLLECT
3039.79/3048.76	c #Conflicts:     885000 | #Constraints:      25469
3039.79/3048.76	c #Conflicts:     886000 | #Constraints:      26469
3039.79/3048.76	c #Conflicts:     887000 | #Constraints:      27469
3039.79/3048.76	c #Conflicts:     888000 | #Constraints:      28469
3039.79/3048.76	c #Conflicts:     889000 | #Constraints:      29469
3039.79/3048.76	c #Conflicts:     890000 | #Constraints:      30469
3039.79/3048.76	c #Conflicts:     891000 | #Constraints:      31469
3039.79/3048.76	c #Conflicts:     892000 | #Constraints:      32469
3039.79/3048.76	c #Conflicts:     893000 | #Constraints:      33469
3039.79/3048.76	c #Conflicts:     894000 | #Constraints:      34469
3039.79/3048.76	c #Conflicts:     895000 | #Constraints:      35469
3039.79/3048.76	c #Conflicts:     896000 | #Constraints:      36469
3039.79/3048.76	c #Conflicts:     897000 | #Constraints:      37469
3039.79/3048.76	c #Conflicts:     898000 | #Constraints:      38469
3039.79/3048.76	c #Conflicts:     899000 | #Constraints:      39469
3039.79/3048.76	c #Conflicts:     900000 | #Constraints:      40469
3039.79/3048.76	c #Conflicts:     901000 | #Constraints:      41469
3039.79/3048.76	c #Conflicts:     902000 | #Constraints:      42469
3039.79/3048.76	c #Conflicts:     903000 | #Constraints:      43469
3039.79/3048.76	c INPROCESSING
3039.79/3048.76	c GARBAGE COLLECT
3039.79/3048.76	c #Conflicts:     904000 | #Constraints:      25663
3039.79/3048.76	c #Conflicts:     905000 | #Constraints:      26663
3039.79/3048.76	c #Conflicts:     906000 | #Constraints:      27663
3039.79/3048.76	c #Conflicts:     907000 | #Constraints:      28663
3039.79/3048.76	c #Conflicts:     908000 | #Constraints:      29663
3039.79/3048.76	c #Conflicts:     909000 | #Constraints:      30663
3039.79/3048.76	c #Conflicts:     910000 | #Constraints:      31663
3039.79/3048.76	c #Conflicts:     911000 | #Constraints:      32663
3039.79/3048.76	c #Conflicts:     912000 | #Constraints:      33663
3039.79/3048.76	c #Conflicts:     913000 | #Constraints:      34663
3039.79/3048.76	c #Conflicts:     914000 | #Constraints:      35663
3039.79/3048.76	c #Conflicts:     915000 | #Constraints:      36663
3039.79/3048.76	c #Conflicts:     916000 | #Constraints:      37663
3039.79/3048.76	c #Conflicts:     917000 | #Constraints:      38663
3039.79/3048.76	c #Conflicts:     918000 | #Constraints:      39663
3039.79/3048.76	c #Conflicts:     919000 | #Constraints:      40663
3039.79/3048.76	c #Conflicts:     920000 | #Constraints:      41663
3039.79/3048.76	c #Conflicts:     921000 | #Constraints:      42663
3039.79/3048.76	c #Conflicts:     922000 | #Constraints:      43663
3039.79/3048.76	c INPROCESSING
3039.79/3048.76	c GARBAGE COLLECT
3039.79/3048.76	c #Conflicts:     923000 | #Constraints:      25653
3039.79/3048.76	c #Conflicts:     924000 | #Constraints:      26653
3039.79/3048.76	c #Conflicts:     925000 | #Constraints:      27653
3039.79/3048.76	c #Conflicts:     926000 | #Constraints:      28653
3039.79/3048.76	c #Conflicts:     927000 | #Constraints:      29653
3039.79/3048.76	c #Conflicts:     928000 | #Constraints:      30653
3039.79/3048.76	c #Conflicts:     929000 | #Constraints:      31653
3039.79/3048.76	c #Conflicts:     930000 | #Constraints:      32653
3039.79/3048.76	c GLOBAL bounds - >= -2642 @ 3025.02
3063.02/3072.04	c #Conflicts:     931000 | #Constraints:      33655
3063.02/3072.04	c #Conflicts:     932000 | #Constraints:      34655
3063.02/3072.04	c #Conflicts:     933000 | #Constraints:      35655
3063.02/3072.04	c #Conflicts:     934000 | #Constraints:      36655
3063.02/3072.04	c #Conflicts:     935000 | #Constraints:      37655
3063.02/3072.04	c #Conflicts:     936000 | #Constraints:      38655
3063.02/3072.04	c #Conflicts:     937000 | #Constraints:      39655
3063.02/3072.04	c #Conflicts:     938000 | #Constraints:      40655
3063.02/3072.04	c #Conflicts:     939000 | #Constraints:      41655
3063.02/3072.04	c #Conflicts:     940000 | #Constraints:      42655
3063.02/3072.04	c #Conflicts:     941000 | #Constraints:      43655
3063.02/3072.04	c INPROCESSING
3063.02/3072.04	c GARBAGE COLLECT
3063.02/3072.04	c GLOBAL bounds - >= -2642 @ 3048.12
3068.51/3077.50	c #Conflicts:     942000 | #Constraints:      25450
3068.51/3077.50	c #Conflicts:     943000 | #Constraints:      26450
3068.51/3077.50	c #Conflicts:     944000 | #Constraints:      27450
3068.51/3077.50	c GLOBAL bounds - >= -2642 @ 3053.56
3323.41/3333.16	c #Conflicts:     945000 | #Constraints:      28452
3323.41/3333.16	c #Conflicts:     946000 | #Constraints:      29452
3323.41/3333.16	c #Conflicts:     947000 | #Constraints:      30452
3323.41/3333.16	c #Conflicts:     948000 | #Constraints:      31452
3323.41/3333.16	c #Conflicts:     949000 | #Constraints:      32452
3323.41/3333.16	c #Conflicts:     950000 | #Constraints:      33452
3323.41/3333.16	c #Conflicts:     951000 | #Constraints:      34452
3323.41/3333.16	c #Conflicts:     952000 | #Constraints:      35452
3323.41/3333.16	c #Conflicts:     953000 | #Constraints:      36452
3323.41/3333.16	c #Conflicts:     954000 | #Constraints:      37452
3323.41/3333.16	c #Conflicts:     955000 | #Constraints:      38452
3323.41/3333.16	c #Conflicts:     956000 | #Constraints:      39452
3323.41/3333.16	c #Conflicts:     957000 | #Constraints:      40452
3323.41/3333.16	c #Conflicts:     958000 | #Constraints:      41452
3323.41/3333.16	c #Conflicts:     959000 | #Constraints:      42452
3323.41/3333.16	c #Conflicts:     960000 | #Constraints:      43452
3323.41/3333.16	c #Conflicts:     961000 | #Constraints:      44452
3323.41/3333.16	c INPROCESSING
3323.41/3333.16	c GARBAGE COLLECT
3323.41/3333.16	c #Conflicts:     962000 | #Constraints:      26078
3323.41/3333.16	c #Conflicts:     963000 | #Constraints:      27078
3323.41/3333.16	c #Conflicts:     964000 | #Constraints:      28078
3323.41/3333.16	c #Conflicts:     965000 | #Constraints:      29078
3323.41/3333.16	c #Conflicts:     966000 | #Constraints:      30078
3323.41/3333.16	c #Conflicts:     967000 | #Constraints:      31078
3323.41/3333.16	c #Conflicts:     968000 | #Constraints:      32078
3323.41/3333.16	c #Conflicts:     969000 | #Constraints:      33078
3323.41/3333.16	c #Conflicts:     970000 | #Constraints:      34078
3323.41/3333.16	c #Conflicts:     971000 | #Constraints:      35078
3323.41/3333.16	c #Conflicts:     972000 | #Constraints:      36078
3323.41/3333.16	c #Conflicts:     973000 | #Constraints:      37078
3323.41/3333.16	c #Conflicts:     974000 | #Constraints:      38078
3323.41/3333.16	c #Conflicts:     975000 | #Constraints:      39078
3323.41/3333.16	c #Conflicts:     976000 | #Constraints:      40078
3323.41/3333.16	c #Conflicts:     977000 | #Constraints:      41078
3323.41/3333.16	c #Conflicts:     978000 | #Constraints:      42078
3323.41/3333.16	c #Conflicts:     979000 | #Constraints:      43078
3323.41/3333.16	c #Conflicts:     980000 | #Constraints:      44078
3323.41/3333.16	c #Conflicts:     981000 | #Constraints:      45078
3323.41/3333.16	c INPROCESSING
3323.41/3333.16	c GARBAGE COLLECT
3323.41/3333.16	c #Conflicts:     982000 | #Constraints:      26485
3323.41/3333.16	c #Conflicts:     983000 | #Constraints:      27485
3323.41/3333.16	c #Conflicts:     984000 | #Constraints:      28485
3323.41/3333.16	c #Conflicts:     985000 | #Constraints:      29485
3323.41/3333.16	c #Conflicts:     986000 | #Constraints:      30485
3323.41/3333.16	c #Conflicts:     987000 | #Constraints:      31485
3323.41/3333.16	c #Conflicts:     988000 | #Constraints:      32485
3323.41/3333.16	c #Conflicts:     989000 | #Constraints:      33485
3323.41/3333.16	c #Conflicts:     990000 | #Constraints:      34485
3323.41/3333.16	c #Conflicts:     991000 | #Constraints:      35485
3323.41/3333.16	c #Conflicts:     992000 | #Constraints:      36485
3323.41/3333.16	c #Conflicts:     993000 | #Constraints:      37485
3323.41/3333.16	c #Conflicts:     994000 | #Constraints:      38485
3323.41/3333.16	c #Conflicts:     995000 | #Constraints:      39485
3323.41/3333.16	c #Conflicts:     996000 | #Constraints:      40485
3323.41/3333.16	c #Conflicts:     997000 | #Constraints:      41485
3323.41/3333.16	c #Conflicts:     998000 | #Constraints:      42485
3323.41/3333.16	c #Conflicts:     999000 | #Constraints:      43485
3323.41/3333.16	c #Conflicts:    1000000 | #Constraints:      44485
3323.41/3333.16	c #Conflicts:    1001000 | #Constraints:      45485
3323.41/3333.16	c INPROCESSING
3323.41/3333.16	c GARBAGE COLLECT
3323.41/3333.16	c #Conflicts:    1002000 | #Constraints:      26682
3323.41/3333.16	c #Conflicts:    1003000 | #Constraints:      27682
3323.41/3333.16	c #Conflicts:    1004000 | #Constraints:      28682
3323.41/3333.16	c #Conflicts:    1005000 | #Constraints:      29682
3323.41/3333.16	c #Conflicts:    1006000 | #Constraints:      30682
3323.41/3333.16	c #Conflicts:    1007000 | #Constraints:      31682
3323.41/3333.16	c #Conflicts:    1008000 | #Constraints:      32682
3323.41/3333.16	c #Conflicts:    1009000 | #Constraints:      33682
3323.41/3333.16	c #Conflicts:    1010000 | #Constraints:      34682
3323.41/3333.16	c #Conflicts:    1011000 | #Constraints:      35682
3323.41/3333.16	c #Conflicts:    1012000 | #Constraints:      36682
3323.41/3333.16	c #Conflicts:    1013000 | #Constraints:      37682
3323.41/3333.16	c #Conflicts:    1014000 | #Constraints:      38682
3323.41/3333.16	c #Conflicts:    1015000 | #Constraints:      39682
3323.41/3333.16	c #Conflicts:    1016000 | #Constraints:      40682
3323.41/3333.16	c #Conflicts:    1017000 | #Constraints:      41682
3323.41/3333.16	c #Conflicts:    1018000 | #Constraints:      42682
3323.41/3333.16	c #Conflicts:    1019000 | #Constraints:      43682
3323.41/3333.16	c #Conflicts:    1020000 | #Constraints:      44682
3323.41/3333.16	c #Conflicts:    1021000 | #Constraints:      45682
3536.31/3546.64	c INPROCESSING
3536.31/3546.64	c GARBAGE COLLECT
3536.31/3546.64	c #Conflicts:    1022000 | #Constraints:      26683
3536.31/3546.64	c #Conflicts:    1023000 | #Constraints:      27683
3536.31/3546.64	c #Conflicts:    1024000 | #Constraints:      28683
3536.31/3546.64	c #Conflicts:    1025000 | #Constraints:      29683
3536.31/3546.64	c #Conflicts:    1026000 | #Constraints:      30683
3536.31/3546.64	c #Conflicts:    1027000 | #Constraints:      31683
3536.31/3546.64	c #Conflicts:    1028000 | #Constraints:      32683
3536.31/3546.64	c #Conflicts:    1029000 | #Constraints:      33683
3536.31/3546.64	c #Conflicts:    1030000 | #Constraints:      34683
3536.31/3546.64	c #Conflicts:    1031000 | #Constraints:      35683
3536.31/3546.64	c #Conflicts:    1032000 | #Constraints:      36683
3536.31/3546.64	c #Conflicts:    1033000 | #Constraints:      37683
3536.31/3546.64	c #Conflicts:    1034000 | #Constraints:      38683
3536.31/3546.64	c #Conflicts:    1035000 | #Constraints:      39683
3536.31/3546.64	c #Conflicts:    1036000 | #Constraints:      40683
3536.31/3546.64	c #Conflicts:    1037000 | #Constraints:      41683
3536.31/3546.64	c #Conflicts:    1038000 | #Constraints:      42683
3536.31/3546.64	c #Conflicts:    1039000 | #Constraints:      43683
3536.31/3546.64	c #Conflicts:    1040000 | #Constraints:      44683
3536.31/3546.64	c #Conflicts:    1041000 | #Constraints:      45683
3536.31/3546.64	c INPROCESSING
3536.31/3546.64	c GARBAGE COLLECT
3536.31/3546.64	c #Conflicts:    1042000 | #Constraints:      26483
3536.31/3546.64	c #Conflicts:    1043000 | #Constraints:      27483
3536.31/3546.64	c #Conflicts:    1044000 | #Constraints:      28483
3536.31/3546.64	c #Conflicts:    1045000 | #Constraints:      29483
3536.31/3546.64	c #Conflicts:    1046000 | #Constraints:      30483
3536.31/3546.64	c #Conflicts:    1047000 | #Constraints:      31483
3536.31/3546.64	c #Conflicts:    1048000 | #Constraints:      32483
3536.31/3546.64	c #Conflicts:    1049000 | #Constraints:      33483
3536.31/3546.64	c #Conflicts:    1050000 | #Constraints:      34483
3536.31/3546.64	c #Conflicts:    1051000 | #Constraints:      35483
3536.31/3546.64	c #Conflicts:    1052000 | #Constraints:      36483
3536.31/3546.64	c #Conflicts:    1053000 | #Constraints:      37483
3536.31/3546.64	c #Conflicts:    1054000 | #Constraints:      38483
3536.31/3546.64	c #Conflicts:    1055000 | #Constraints:      39483
3536.31/3546.64	c #Conflicts:    1056000 | #Constraints:      40483
3536.31/3546.64	c #Conflicts:    1057000 | #Constraints:      41483
3536.31/3546.64	c #Conflicts:    1058000 | #Constraints:      42483
3536.31/3546.64	c #Conflicts:    1059000 | #Constraints:      43483
3536.31/3546.64	c #Conflicts:    1060000 | #Constraints:      44483
3536.31/3546.64	c #Conflicts:    1061000 | #Constraints:      45483
3536.31/3546.64	c #Conflicts:    1062000 | #Constraints:      46483
3536.31/3546.64	c INPROCESSING
3536.31/3546.64	c GARBAGE COLLECT
3536.31/3546.64	c #Conflicts:    1063000 | #Constraints:      27078
3536.31/3546.64	c #Conflicts:    1064000 | #Constraints:      28078
3536.31/3546.64	c #Conflicts:    1065000 | #Constraints:      29078
3536.31/3546.64	c #Conflicts:    1066000 | #Constraints:      30078
3536.31/3546.64	c #Conflicts:    1067000 | #Constraints:      31078
3536.31/3546.64	c #Conflicts:    1068000 | #Constraints:      32078
3536.31/3546.64	c #Conflicts:    1069000 | #Constraints:      33078
3536.31/3546.64	c #Conflicts:    1070000 | #Constraints:      34078
3536.31/3546.64	c #Conflicts:    1071000 | #Constraints:      35078
3536.31/3546.64	c #Conflicts:    1072000 | #Constraints:      36078
3536.31/3546.64	c #Conflicts:    1073000 | #Constraints:      37078
3536.31/3546.64	c #Conflicts:    1074000 | #Constraints:      38078
3536.31/3546.64	c #Conflicts:    1075000 | #Constraints:      39078
3536.31/3546.64	c #Conflicts:    1076000 | #Constraints:      40078
3536.31/3546.64	c #Conflicts:    1077000 | #Constraints:      41078
3536.31/3546.64	c #Conflicts:    1078000 | #Constraints:      42078
3536.31/3546.64	c #Conflicts:    1079000 | #Constraints:      43078
3536.31/3546.64	c #Conflicts:    1080000 | #Constraints:      44078
3536.31/3546.64	c #Conflicts:    1081000 | #Constraints:      45078
3536.31/3546.64	c #Conflicts:    1082000 | #Constraints:      46078
3536.31/3546.64	c #Conflicts:    1083000 | #Constraints:      47078
3536.31/3546.64	c INPROCESSING
3536.31/3546.64	c GARBAGE COLLECT
3536.31/3546.64	c #Conflicts:    1084000 | #Constraints:      27468
3536.31/3546.64	c #Conflicts:    1085000 | #Constraints:      28468
3536.31/3546.64	c #Conflicts:    1086000 | #Constraints:      29468
3536.31/3546.64	c #Conflicts:    1087000 | #Constraints:      30468
3536.31/3546.64	c #Conflicts:    1088000 | #Constraints:      31468
3536.31/3546.64	c #Conflicts:    1089000 | #Constraints:      32468
3536.31/3546.64	c #Conflicts:    1090000 | #Constraints:      33468
3536.31/3546.64	c #Conflicts:    1091000 | #Constraints:      34468
3536.31/3546.64	c #Conflicts:    1092000 | #Constraints:      35468
3536.31/3546.64	c #Conflicts:    1093000 | #Constraints:      36468
3536.31/3546.64	c #Conflicts:    1094000 | #Constraints:      37468
3536.31/3546.64	c #Conflicts:    1095000 | #Constraints:      38468
3536.31/3546.64	c #Conflicts:    1096000 | #Constraints:      39468
3536.31/3546.64	c #Conflicts:    1097000 | #Constraints:      40468
3536.31/3546.64	c #Conflicts:    1098000 | #Constraints:      41468
3600.03/3610.50	c #Conflicts:    1099000 | #Constraints:      42468
3600.03/3610.50	c #Conflicts:    1100000 | #Constraints:      43468
3600.03/3610.50	c #Conflicts:    1101000 | #Constraints:      44468
3600.03/3610.50	c #Conflicts:    1102000 | #Constraints:      45468
3600.03/3610.50	c #Conflicts:    1103000 | #Constraints:      46468
3600.03/3610.50	c #Conflicts:    1104000 | #Constraints:      47468
3600.03/3610.50	c INPROCESSING
3600.03/3610.50	c GARBAGE COLLECT
3600.03/3610.50	c #Conflicts:    1105000 | #Constraints:      27662
3600.03/3610.50	c #Conflicts:    1106000 | #Constraints:      28662
3600.03/3610.50	c #Conflicts:    1107000 | #Constraints:      29662
3600.03/3610.50	c #Conflicts:    1108000 | #Constraints:      30662
3600.03/3610.50	c #Conflicts:    1109000 | #Constraints:      31662
3600.03/3610.50	c #Conflicts:    1110000 | #Constraints:      32662
3600.03/3610.50	c #Conflicts:    1111000 | #Constraints:      33662
3600.03/3610.50	c #Conflicts:    1112000 | #Constraints:      34662
3600.03/3610.50	c #Conflicts:    1113000 | #Constraints:      35662
3600.03/3610.50	c #Conflicts:    1114000 | #Constraints:      36662
3600.03/3610.50	c #Conflicts:    1115000 | #Constraints:      37662
3600.03/3610.50	c #Conflicts:    1116000 | #Constraints:      38662
3600.03/3610.50	c #Conflicts:    1117000 | #Constraints:      39662
3600.03/3610.50	c #Conflicts:    1118000 | #Constraints:      40662
3600.03/3610.50	c #Conflicts:    1119000 | #Constraints:      41662
3600.03/3610.50	c #Conflicts:    1120000 | #Constraints:      42662
3600.03/3610.50	c #Conflicts:    1121000 | #Constraints:      43662
3600.03/3610.50	c cpu time 3583.22 s
3600.03/3610.50	c deterministic time 2 2.00e+00
3600.03/3610.50	c optimization time 3583.2 s
3600.03/3610.50	c total solve time 0 s
3600.03/3610.50	c core-guided solve time 0 s
3600.03/3610.50	c propagation time 0.001288 s
3600.03/3610.50	c conflict analysis time 0 s
3600.03/3610.50	c propagations 1
3600.03/3610.50	c resolve steps 0
3600.03/3610.50	c decisions 0
3600.03/3610.50	c conflicts 0
3600.03/3610.50	c restarts 0
3600.03/3610.50	c inprocessing phases 0
3600.03/3610.50	c garbage collections 0 ,( -nan )
3600.03/3610.50	c input clauses 4396 ,( 83.26 )
3600.03/3610.50	c input cardinalities 884 ,( 16.74 )
3600.03/3610.50	c input general constraints 0 ,( 0.00 )
3600.03/3610.50	c input average constraint length 3.68
3600.03/3610.50	c input average constraint degree 1.33
3600.03/3610.50	c learned clauses 0 ,( 0.00 )
3600.03/3610.50	c learned cardinalities 0 ,( 0.00 )
3600.03/3610.50	c learned general constraints 0 ,( 0.00 )
3600.03/3610.50	c learned average constraint length 0.00
3600.03/3610.50	c learned average constraint degree 0.00
3600.03/3610.50	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3610.50	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.03/3610.50	c watched   constraints 0 ,( -nan ) 
3600.03/3610.50	c counting  constraints 0 ,( -nan ) 
3600.03/3610.50	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3610.50	c gcd simplifications 0
3600.03/3610.50	c detected cardinalities 0
3600.03/3610.50	c weakened non-implied lits 0
3600.03/3610.50	c weakened non-implying lits 0
3600.03/3610.50	c original variables 4617
3600.03/3610.50	c clausal propagations 0
3600.03/3610.50	c cardinality propagations 0
3600.03/3610.50	c watched propagations 0
3600.03/3610.50	c counting propagations 0
3600.03/3610.50	c watch lookups 0
3600.03/3610.50	c watch backjump lookups 0
3600.03/3610.50	c watch checks 0
3600.03/3610.50	c propagation checks 0
3600.03/3610.50	c constraint additions 0
3600.03/3610.50	c trail pops 0
3600.03/3610.50	c formula constraints 5280
3600.03/3610.50	c learned constraints 0
3600.03/3610.50	c bound constraints 0
3600.03/3610.50	c core-guided constraints 0
3600.03/3610.50	c encountered formula constraints 0
3600.03/3610.50	c encountered learned constraints 0
3600.03/3610.50	c encountered bound constraints 0
3600.03/3610.50	c encountered core-guided constraints 0
3600.03/3610.50	c LP total time 0 s
3600.03/3610.50	c LP solve time 0 s
3600.03/3610.50	c LP constraints added 0
3600.03/3610.50	c LP constraints removed 0
3600.03/3610.50	c LP pivots internal 0
3600.03/3610.50	c LP pivots root 0
3600.03/3610.50	c LP calls 0
3600.03/3610.50	c LP optimalities 0
3600.03/3610.50	c LP no pivot count 0
3600.03/3610.50	c LP infeasibilities 0
3600.03/3610.50	c LP valid Farkas constraints 0
3600.03/3610.50	c LP learned Farkas constraints 0
3600.03/3610.50	c LP basis resets 0
3600.03/3610.50	c LP cycling count 0
3600.03/3610.50	c LP singular count 0
3600.03/3610.50	c LP no primal count 0
3600.03/3610.50	c LP no farkas count 0
3600.03/3610.50	c LP other issue count 0
3600.03/3610.50	c LP Gomory cuts 0
3600.03/3610.50	c LP learned cuts 0
3600.03/3610.50	c LP deleted cuts 0
3600.03/3610.50	c LP encountered Gomory constraints 0
3600.03/3610.50	c LP encountered Farkas constraints 0
3600.03/3610.50	c LP encountered learned Farkas constraints 0
3600.03/3610.50	c CG auxiliary variables introduced 0
3600.03/3610.50	c CG solutions found 0
3600.03/3610.50	c CG cores constructed 0
3600.03/3610.50	c CG core cardinality constraints returned 0
3600.03/3610.50	c CG unit cores 0
3600.03/3610.50	c CG single cores 0
3600.03/3610.50	c CG blocks removed during cardinality reduction 0
3600.03/3610.50	c CG first core best 0
3600.03/3610.50	c CG decision core best 0
3600.03/3610.50	c CG core reduction tie 0
3600.03/3610.50	c CG core degree average 0.00
3600.03/3610.50	c CG core slack average 0.00
3600.03/3610.50	c CG core upper bound improvements 0
3600.03/3610.50	c STR number of successful calls 0
3600.03/3610.50	c STR number of unsuccessful calls 0
3600.03/3610.50	c STR number of inconclusive calls 0
3600.03/3610.50	c STR number of successful attempts 0
3600.03/3610.50	c STR number of unsuccessful attempts 0
3600.03/3610.50	c STR number of inconclusive attempts 0
3600.03/3610.50	c STR average degree increase per successful call inf
3600.03/3610.50	c STR average degree increase per successful attempt inf
3600.03/3610.50	c STR total number of conflicts for successful attempts 0
3600.03/3610.50	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.50	c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.50	c STR average number of conflicts per successful attempt inf
3600.03/3610.50	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.50	c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.50	c AVG.sumWPerc -nan 
3600.03/3610.50	c bigint constraints 0 
3600.03/3610.50	s UNKNOWN
3600.03/3610.50	c Program interrupted by user.

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484400-1751288369/watcher-4484400-1751288369 -o /tmp/evaluation-result-4484400-1751288369/solver-4484400-1751288369 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751280053-37511 --watchdog 3760 run-opt.sh HOME/instance-4484400-1751288369.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=38499, runsolver pid=38496

[startup+0.100063 s]*
/proc/loadavg: 4.54 4.21 4.13 5/267 38501
/proc/meminfo: memFree=121788944/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=71068 memory=23436 CPUtime=0.08 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 3865 0 0 0 6 2 0 0 20 0 1 0 44514483 72773632 5859 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 17767 5859 2336 1147 0 5194 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 75260 KiB
Current children cumulated memory: 26252 KiB

[startup+0.205738 s]*
/proc/loadavg: 4.54 4.21 4.13 5/267 38501
/proc/meminfo: memFree=121788944/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=72916 memory=28332 CPUtime=0.19 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 4578 0 0 0 16 3 0 0 20 0 1 0 44514483 74665984 7083 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 18229 7083 2336 1147 0 5656 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77108 KiB
Current children cumulated memory: 31148 KiB

[startup+0.305528 s]*
/proc/loadavg: 4.54 4.21 4.13 5/267 38501
/proc/meminfo: memFree=121785164/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=76380 memory=31788 CPUtime=0.28 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 5455 0 0 0 25 3 0 0 20 0 1 0 44514483 78213120 7947 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 19095 7947 2336 1147 0 6522 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 80572 KiB
Current children cumulated memory: 34604 KiB

[startup+0.700214 s]
/proc/loadavg: 4.54 4.21 4.13 5/267 38501
/proc/meminfo: memFree=121768972/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=101936 memory=56392 CPUtime=0.68 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 10583 0 0 0 61 7 0 0 20 0 1 0 44514483 104382464 14098 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 25484 14098 2336 1147 0 12911 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 106128 KiB
Current children cumulated memory: 59208 KiB

[startup+1.50023 s]
/proc/loadavg: 4.54 4.21 4.13 5/267 38501
/proc/meminfo: memFree=121753096/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=136548 memory=88724 CPUtime=1.47 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 17129 0 0 0 132 15 0 0 20 0 1 0 44514483 139825152 22181 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 34137 22181 2336 1147 0 21564 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 140740 KiB
Current children cumulated memory: 91540 KiB

[startup+3.10551 s]
/proc/loadavg: 4.54 4.21 4.13 5/267 38501
/proc/meminfo: memFree=121660796/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=221640 memory=152512 CPUtime=3.07 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 29499 0 0 0 285 22 0 0 20 0 1 0 44514483 226959360 38128 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 55410 38128 2336 1147 0 42837 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 225832 KiB
Current children cumulated memory: 155328 KiB

[startup+6.30022 s]
/proc/loadavg: 4.50 4.20 4.13 5/267 38501
/proc/meminfo: memFree=121632884/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=268884 memory=191568 CPUtime=6.26 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 36211 0 0 0 594 32 0 0 20 0 1 0 44514483 275337216 47892 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 67221 47892 2336 1147 0 54648 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 273076 KiB
Current children cumulated memory: 194384 KiB

[startup+12.7002 s]
/proc/loadavg: 4.46 4.20 4.13 5/267 38502
/proc/meminfo: memFree=121479820/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=441852 memory=328732 CPUtime=12.64 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 61827 0 0 0 1217 47 0 0 20 0 1 0 44514483 452456448 82183 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 110463 82183 2336 1147 0 97890 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 446044 KiB
Current children cumulated memory: 331548 KiB

[startup+25.5002 s]
/proc/loadavg: 4.36 4.19 4.12 5/267 38502
/proc/meminfo: memFree=121299688/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=607568 memory=476352 CPUtime=25.4 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 91076 0 0 0 2465 75 0 0 20 0 1 0 44514483 622149632 119088 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 151892 119088 2336 1147 0 139319 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 611760 KiB
Current children cumulated memory: 479168 KiB

[startup+51.1056 s]
/proc/loadavg: 4.30 4.19 4.13 5/267 38502
/proc/meminfo: memFree=121222064/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=709952 memory=529844 CPUtime=50.93 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 100371 0 0 0 4985 108 0 0 20 0 1 0 44514483 726990848 132461 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 177488 132461 2336 1147 0 164915 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 714144 KiB
Current children cumulated memory: 532660 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/268 38516
/proc/meminfo: memFree=120935776/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=821072 memory=725756 CPUtime=101.98 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 131986 0 0 0 10029 169 0 0 20 0 1 0 44514483 840777728 181439 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 205268 181439 2336 1147 0 192695 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 825264 KiB
Current children cumulated memory: 728572 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/268 38518
/proc/meminfo: memFree=120684940/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=1081564 memory=893024 CPUtime=161.81 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 172763 0 0 0 15942 239 0 0 20 0 1 0 44514483 1107521536 223256 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 270391 223256 2336 1147 0 257818 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1085756 KiB
Current children cumulated memory: 895840 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/268 38520
/proc/meminfo: memFree=120564400/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=1227396 memory=914880 CPUtime=221.64 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 177775 0 0 0 21866 298 0 0 20 0 1 0 44514483 1256853504 228720 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 306849 228720 2336 1147 0 294276 0
Current children cumulated CPU time: 221.64 s

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

/proc/38501/statm: 832799 649487 2336 1147 0 820226 0
Current children cumulated CPU time: 3093.23 s
Current children cumulated vsize: 3335388 KiB
Current children cumulated memory: 2600764 KiB

[startup+3162.3 s]
/proc/loadavg: 1.08 1.44 2.59 2/246 38753
/proc/meminfo: memFree=126995592/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=3331196 memory=2604732 CPUtime=3153.07 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 495748 0 0 0 313765 1542 0 0 20 0 1 0 44514483 3411144704 651183 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 832799 651183 2336 1147 0 820226 0
Current children cumulated CPU time: 3153.07 s
Current children cumulated vsize: 3335388 KiB
Current children cumulated memory: 2607548 KiB

[startup+3222.3 s]
/proc/loadavg: 1.07 1.37 2.49 2/246 38755
/proc/meminfo: memFree=126985280/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=3331196 memory=2613180 CPUtime=3212.91 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 495753 0 0 0 319730 1561 0 0 20 0 1 0 44514483 3411144704 653295 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 832799 653295 2336 1147 0 820226 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 3335388 KiB
Current children cumulated memory: 2615996 KiB

[startup+3282.3 s]
/proc/loadavg: 1.12 1.33 2.40 2/246 38757
/proc/meminfo: memFree=126975616/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=3331196 memory=2624572 CPUtime=3272.74 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 495878 0 0 0 325700 1574 0 0 20 0 1 0 44514483 3411144704 656143 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 832799 656143 2336 1147 0 820226 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 3335388 KiB
Current children cumulated memory: 2627388 KiB

[startup+3342.3 s]
/proc/loadavg: 1.11 1.29 2.32 2/246 38759
/proc/meminfo: memFree=126968196/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=3331196 memory=2630204 CPUtime=3332.58 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 496225 0 0 0 331671 1587 0 0 20 0 1 0 44514483 3411144704 657551 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 832799 657551 2336 1147 0 820226 0
Current children cumulated CPU time: 3332.58 s
Current children cumulated vsize: 3335388 KiB
Current children cumulated memory: 2633020 KiB

[startup+3402.3 s]
/proc/loadavg: 1.15 1.26 2.24 2/247 38762
/proc/meminfo: memFree=126963056/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=3331196 memory=2634556 CPUtime=3392.41 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 496243 0 0 0 337636 1605 0 0 20 0 1 0 44514483 3411144704 658639 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 832799 658639 2336 1147 0 820226 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 3335388 KiB
Current children cumulated memory: 2637372 KiB

[startup+3462.3 s]
/proc/loadavg: 1.11 1.23 2.17 2/246 38764
/proc/meminfo: memFree=126898512/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=3395708 memory=2704444 CPUtime=3452.24 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 511213 0 0 0 343595 1629 0 0 20 0 1 0 44514483 3477204992 676111 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 848927 676111 2336 1147 0 836354 0
Current children cumulated CPU time: 3452.24 s
Current children cumulated vsize: 3399900 KiB
Current children cumulated memory: 2707260 KiB

[startup+3522.3 s]
/proc/loadavg: 1.08 1.20 2.10 2/246 38766
/proc/meminfo: memFree=126891032/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=3395708 memory=2712636 CPUtime=3512.07 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 511226 0 0 0 349552 1655 0 0 20 0 1 0 44514483 3477204992 678159 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 848927 678159 2336 1147 0 836354 0
Current children cumulated CPU time: 3512.07 s
Current children cumulated vsize: 3399900 KiB
Current children cumulated memory: 2715452 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.18 2.03 2/246 38768
/proc/meminfo: memFree=126786668/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=3527804 memory=2807008 CPUtime=3571.9 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 530009 0 0 0 355515 1675 0 0 20 0 1 0 44514483 3612471296 701752 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 881951 701752 2336 1147 0 869378 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 3531996 KiB
Current children cumulated memory: 2809824 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 1.14 1.18 2.00 2/246 38768
/proc/meminfo: memFree=126778856/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=3527804 memory=2815200 CPUtime=3600.03 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 530012 0 0 0 358321 1682 0 0 20 0 1 0 44514483 3612471296 703800 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 881951 703800 2336 1147 0 869378 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3531996 KiB
Current children cumulated memory: 2818016 KiB

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

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

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

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

# cumulated CPU time of all completed processes:  user=3583.22 s, system=16.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+3610.5 s]
/proc/loadavg: 1.14 1.18 2.00 2/246 38768
/proc/meminfo: memFree=126778856/131249988 swapFree=33010684/33010684
[pid=38499] ppid=38496 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/38499/stat : 38499 (run-opt.sh) S 38496 38499 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 44514483 4292608 704 18446744073709551615 94625048506368 94625049400901 140734996182048 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94625049639952 94625049687696 94625052274688 140734996187501 140734996187624 140734996187624 140734996193226 0
/proc/38499/statm: 1048 704 672 219 0 110 0
[pid=38501] ppid=38499 vsize=3527804 memory=2815200 CPUtime=3600.03 cores=4,6
/proc/38501/stat : 38501 (roundingsat) R 38499 38499 37500 0 -1 4194304 530012 0 0 0 358321 1682 0 0 20 0 1 0 44514483 3612471296 703800 18446744073709551615 4227072 8923433 140735523684576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37240832 140735523690914 140735523691048 140735523691048 140735523696618 0
/proc/38501/statm: 881951 703800 2336 1147 0 869378 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3531996 KiB
Current children cumulated memory: 2818016 KiB

Child status: 2

Real time (s): 3610.54
CPU time (s): 3600.08
CPU user time (s): 3583.22
CPU system time (s): 16.86
CPU usage (%): 99.7103
Max. virtual memory (cumulated for all children) (KiB): 3531996
Max. memory (cumulated for all children) (KiB): 2818016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.22
system time used= 16.86
maximum resident set size= 2815584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 530242
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 319
involuntary context switches= 19803


# summary of solver processes directly reported to runsolver:
#   pid: 38499,38501
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3583.22
#   total CPU system time (s): 16.86

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4854 second user time and 12.977 second system time

The end

Launcher Data

Begin job on nodeC020 at 2025-06-30 14:59:29
IDJOB=4484400
IDBENCH=146656
IDSOLVER=3350
FILE ID=nodeC020/4484400-1751288369
RUNJOBID= nodeC020-1751280053-37511
SLURM_JOB_ID= 9594223
Free space on /tmp= 433040 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484400-1751288369/watcher-4484400-1751288369 -o /tmp/evaluation-result-4484400-1751288369/solver-4484400-1751288369 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751280053-37511 --watchdog 3760  run-opt.sh HOME/instance-4484400-1751288369.opb

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

MD5SUM BENCH= ef7e1a396aea94ad22e53d7673ab3bc9
RANDOM SEED=868886609

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.868
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.886
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3614.974
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.876
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.897
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.046
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3634.384
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        121796964 kB
MemAvailable:   121961240 kB
Buffers:            3280 kB
Cached:           969648 kB
SwapCached:            0 kB
Active:          8135792 kB
Inactive:         662348 kB
Active(anon):    7843268 kB
Inactive(anon):        0 kB
Active(file):     292524 kB
Inactive(file):   662348 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7156 kB
Writeback:            32 kB
AnonPages:       7828256 kB
Mapped:           116188 kB
Shmem:             18056 kB
KReclaimable:      97288 kB
Slab:             183856 kB
SReclaimable:      97288 kB
SUnreclaim:        86568 kB
KernelStack:        4304 kB
PageTables:        20660 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    9789076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2015232 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC020 at 2025-06-30 15:59:40