Trace number 4484354

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.15 3610.48

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
MD5SUM6e8bf543846202ec1846dd4adbdb6152
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 benchmark3
Best CPU time to get the best result obtained on this benchmark3.4462
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10976
Total number of constraints12527
Number of constraints which are clauses10470
Number of constraints which are cardinality constraints (but not clauses)2057
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint24
Number of terms in the objective function 10976
Biggest coefficient in the objective function 6152
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 31915
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 6152
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 31915
Number of bits of the biggest sum of numbers15
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.07	c #variables 10976 #constraints 12527
0.00/0.07	c objective is ce32 
0.08/0.10	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.08/0.10	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.08/0.10	c GLOBAL bounds - >= -6152 @ 0.056201
0.08/0.11	c GLOBAL bounds - >= -6152 @ 0.061579
0.08/0.13	c GLOBAL bounds - >= -6152 @ 0.084655
0.08/0.16	c GLOBAL bounds - >= -6152 @ 0.110147
0.57/0.60	c GLOBAL bounds - >= -6152 @ 0.522935
0.57/0.69	c GLOBAL bounds - >= -6152 @ 0.606745
0.67/0.71	c GLOBAL bounds - >= -6152 @ 0.622692
0.67/0.75	c GLOBAL bounds - >= -6152 @ 0.649307
0.67/0.77	c GLOBAL bounds - >= -6152 @ 0.670966
0.76/0.86	c GLOBAL bounds - >= -6152 @ 0.74334
0.86/0.91	c GLOBAL bounds - >= -6152 @ 0.780431
0.86/0.97	c GLOBAL bounds - >= -6152 @ 0.827142
1.17/1.24	c GLOBAL bounds - >= -6152 @ 1.08084
1.17/1.29	c GLOBAL bounds - >= -6152 @ 1.12522
1.27/1.36	c GLOBAL bounds - >= -6152 @ 1.17946
1.36/1.45	c GLOBAL bounds - >= -6152 @ 1.26599
1.56/1.69	c GLOBAL bounds - >= -6152 @ 1.48472
1.97/2.09	c GLOBAL bounds - >= -6152 @ 1.86569
2.07/2.19	c GLOBAL bounds - >= -6152 @ 1.94917
2.16/2.25	c GLOBAL bounds - >= -6152 @ 2.00719
2.26/2.35	c GLOBAL bounds - >= -6152 @ 2.1039
2.36/2.40	c GLOBAL bounds - >= -6152 @ 2.14913
2.46/2.51	c GLOBAL bounds - >= -6152 @ 2.24606
2.46/2.58	c GLOBAL bounds - >= -6152 @ 2.31031
2.56/2.68	c GLOBAL bounds - >= -6152 @ 2.40029
2.66/2.76	c GLOBAL bounds - >= -6152 @ 2.47031
2.76/2.81	c GLOBAL bounds - >= -6152 @ 2.52568
2.76/2.88	c GLOBAL bounds - >= -6152 @ 2.57998
2.86/2.98	c GLOBAL bounds - >= -6152 @ 2.68329
2.97/3.04	c GLOBAL bounds - >= -6152 @ 2.73354
3.07/3.18	c GLOBAL bounds - >= -6152 @ 2.8635
3.26/3.31	c GLOBAL bounds - >= -6152 @ 2.97391
3.36/3.41	c GLOBAL bounds - >= -6152 @ 3.06878
3.56/3.64	c GLOBAL bounds - >= -6152 @ 3.29203
3.56/3.69	c GLOBAL bounds - >= -6152 @ 3.34384
3.65/3.75	c GLOBAL bounds - >= -6152 @ 3.40048
4.86/4.95	c #Conflicts:       1000 | #Constraints:      13595
4.86/4.95	c GLOBAL bounds - >= -6152 @ 4.57031
5.26/5.36	c GLOBAL bounds - >= -6152 @ 4.95722
5.46/5.50	c GLOBAL bounds - >= -6152 @ 5.08101
5.76/5.82	c GLOBAL bounds - >= -6152 @ 5.38624
5.85/5.93	c GLOBAL bounds - >= -6152 @ 5.48436
6.65/6.72	c GLOBAL bounds - >= -6152 @ 6.23982
6.96/7.08	c GLOBAL bounds - >= -6152 @ 6.57589
7.65/7.74	c GLOBAL bounds - >= -6152 @ 7.22684
7.74/7.89	c GLOBAL bounds - >= -6152 @ 7.36033
7.96/8.01	c GLOBAL bounds - >= -6152 @ 7.48154
8.24/8.38	c GLOBAL bounds - >= -6152 @ 7.83404
8.44/8.53	c GLOBAL bounds - >= -6152 @ 7.9791
8.54/8.68	c GLOBAL bounds - >= -6152 @ 8.1245
8.75/8.81	c GLOBAL bounds - >= -6152 @ 8.2507
8.85/8.97	c GLOBAL bounds - >= -6152 @ 8.39416
9.14/9.29	c GLOBAL bounds - >= -6152 @ 8.69755
9.34/9.49	c GLOBAL bounds - >= -6152 @ 8.88023
9.54/9.66	c GLOBAL bounds - >= -6152 @ 9.03774
10.24/10.30	c #Conflicts:       2000 | #Constraints:      14631
10.24/10.30	c INPROCESSING
10.24/10.30	c GARBAGE COLLECT
10.24/10.30	c GLOBAL bounds - >= -6152 @ 9.64979
12.14/12.21	c GLOBAL bounds - >= -6152 @ 11.5305
14.63/14.75	c #Conflicts:       3000 | #Constraints:      14646
14.63/14.75	c GLOBAL bounds - >= -6152 @ 14.0123
16.43/16.51	c GLOBAL bounds - >= -6152 @ 15.7434
17.12/17.24	c GLOBAL bounds - >= -6152 @ 16.4534
17.62/17.74	c GLOBAL bounds - >= -6152 @ 16.9439
18.82/18.90	c #Conflicts:       4000 | #Constraints:      15654
18.82/18.90	c GLOBAL bounds - >= -6152 @ 18.0708
20.62/20.71	c INPROCESSING
20.62/20.71	c GARBAGE COLLECT
20.62/20.71	c GLOBAL bounds - >= -6152 @ 19.8122
20.72/20.89	c GLOBAL bounds - >= -6152 @ 19.9855
21.61/21.76	c GLOBAL bounds - >= -6152 @ 20.8481
21.92/22.09	c GLOBAL bounds - >= -6152 @ 21.1694
22.21/22.35	c GLOBAL bounds - >= -6152 @ 21.4275
23.10/23.22	c GLOBAL bounds - >= -6152 @ 22.2847
23.31/23.43	c GLOBAL bounds - >= -6152 @ 22.4919
23.51/23.66	c GLOBAL bounds - >= -6152 @ 22.7199
23.80/23.92	c #Conflicts:       5000 | #Constraints:      15081
23.80/23.92	c GLOBAL bounds - >= -6152 @ 22.9762
25.01/25.14	c GLOBAL bounds - >= -6152 @ 24.1769
25.30/25.48	c GLOBAL bounds - >= -6152 @ 24.4986
25.60/25.71	c GLOBAL bounds - >= -6152 @ 24.7234
25.80/25.98	c GLOBAL bounds - >= -6152 @ 24.987
26.30/26.49	c GLOBAL bounds - >= -6152 @ 25.4819
26.60/26.73	c GLOBAL bounds - >= -6152 @ 25.7124
31.09/31.26	c #Conflicts:       6000 | #Constraints:      16095
31.09/31.26	c INPROCESSING
31.09/31.26	c GARBAGE COLLECT
31.09/31.26	c GLOBAL bounds - >= -6152 @ 30.1277
31.29/31.46	c GLOBAL bounds - >= -6152 @ 30.3271
32.28/32.48	c GLOBAL bounds - >= -6152 @ 31.3221
38.47/38.67	c #Conflicts:       7000 | #Constraints:      15110
38.47/38.67	c #Conflicts:       8000 | #Constraints:      16110
38.47/38.67	c GLOBAL bounds - >= -6152 @ 37.4026
39.26/39.41	c GLOBAL bounds - >= -6152 @ 38.1197
39.57/39.72	c GLOBAL bounds - >= -6152 @ 38.4149
39.76/40.00	c GLOBAL bounds - >= -6152 @ 38.684
43.56/43.78	c #Conflicts:       9000 | #Constraints:      17118
43.56/43.78	c INPROCESSING
43.56/43.78	c GARBAGE COLLECT
43.56/43.78	c GLOBAL bounds - >= -6152 @ 42.3705
44.35/44.50	c GLOBAL bounds - >= -6152 @ 43.0701
44.66/44.87	c GLOBAL bounds - >= -6152 @ 43.4344
44.96/45.11	c GLOBAL bounds - >= -6152 @ 43.6742
45.26/45.44	c GLOBAL bounds - >= -6152 @ 43.9877
45.66/45.82	c GLOBAL bounds - >= -6152 @ 44.3626
45.95/46.14	c GLOBAL bounds - >= -6152 @ 44.6697
46.35/46.52	c GLOBAL bounds - >= -6152 @ 45.0471
49.24/49.40	c #Conflicts:      10000 | #Constraints:      15843
49.24/49.40	c GLOBAL bounds - >= -6152 @ 47.8692
49.64/49.89	c GLOBAL bounds - >= -6152 @ 48.346
51.73/51.90	c #Conflicts:      11000 | #Constraints:      16847
51.73/51.90	c GLOBAL bounds - >= -6152 @ 50.315
52.53/52.78	c GLOBAL bounds - >= -6152 @ 51.1666
53.03/53.29	c GLOBAL bounds - >= -6152 @ 51.6581
55.63/55.82	c GLOBAL bounds - >= -6152 @ 54.1184
56.03/56.20	c GLOBAL bounds - >= -6152 @ 54.4881
56.73/56.92	c GLOBAL bounds - >= -6152 @ 55.197
58.02/58.23	c GLOBAL bounds - >= -6152 @ 56.4676
59.02/59.21	c #Conflicts:      12000 | #Constraints:      17861
59.02/59.21	c INPROCESSING
59.02/59.21	c GARBAGE COLLECT
59.02/59.21	c GLOBAL bounds - >= -6152 @ 57.4445
59.22/59.42	c GLOBAL bounds - >= -6152 @ 57.6508
59.42/59.63	c GLOBAL bounds - >= -6152 @ 57.8549
59.62/59.84	c GLOBAL bounds - >= -6152 @ 58.0556
59.82/60.07	c GLOBAL bounds - >= -6152 @ 58.2799
60.01/60.29	c GLOBAL bounds - >= -6152 @ 58.5032
60.32/60.51	c GLOBAL bounds - >= -6152 @ 58.7177
62.31/62.51	c GLOBAL bounds - >= -6152 @ 60.68
62.70/62.98	c GLOBAL bounds - >= -6152 @ 61.1325
63.61/63.80	c GLOBAL bounds - >= -6152 @ 61.9433
63.81/64.08	c GLOBAL bounds - >= -6152 @ 62.2182
64.70/64.94	c GLOBAL bounds - >= -6152 @ 63.0523
66.20/66.42	c #Conflicts:      13000 | #Constraints:      16330
66.20/66.42	c GLOBAL bounds - >= -6152 @ 64.4967
66.60/66.87	c GLOBAL bounds - >= -6152 @ 64.9328
67.19/67.42	c GLOBAL bounds - >= -6152 @ 65.4696
67.60/67.82	c GLOBAL bounds - >= -6152 @ 65.8636
68.80/69.06	c GLOBAL bounds - >= -6152 @ 67.0768
69.89/70.15	c GLOBAL bounds - >= -6152 @ 68.1528
71.28/71.55	c #Conflicts:      14000 | #Constraints:      17342
71.28/71.55	c GLOBAL bounds - >= -6152 @ 69.5329
72.49/72.76	c GLOBAL bounds - >= -6152 @ 70.7114
75.68/75.95	c #Conflicts:      15000 | #Constraints:      18346
75.68/75.95	c INPROCESSING
75.68/75.95	c GARBAGE COLLECT
75.68/75.95	c GLOBAL bounds - >= -6152 @ 73.8547
76.38/76.66	c GLOBAL bounds - >= -6152 @ 74.5556
76.77/77.09	c GLOBAL bounds - >= -6152 @ 74.978
76.98/77.28	c GLOBAL bounds - >= -6152 @ 75.1657
78.37/78.62	c GLOBAL bounds - >= -6152 @ 76.4754
89.24/89.59	c #Conflicts:      16000 | #Constraints:      16592
89.24/89.59	c #Conflicts:      17000 | #Constraints:      17592
89.24/89.59	c #Conflicts:      18000 | #Constraints:      18592
89.24/89.59	c INPROCESSING
89.24/89.59	c GARBAGE COLLECT
89.24/89.59	c GLOBAL bounds - >= -6152 @ 87.2453
96.02/96.37	c #Conflicts:      19000 | #Constraints:      16616
96.02/96.37	c GLOBAL bounds - >= -6152 @ 93.9206
97.62/97.93	c GLOBAL bounds - >= -6152 @ 95.4555
99.12/99.40	c #Conflicts:      20000 | #Constraints:      17620
99.12/99.40	c GLOBAL bounds - >= -6152 @ 96.8889
99.71/100.04	c GLOBAL bounds - >= -6152 @ 97.5288
100.21/100.55	c GLOBAL bounds - >= -6152 @ 98.0277
101.31/101.68	c GLOBAL bounds - >= -6152 @ 99.1362
103.20/103.58	c GLOBAL bounds - >= -6152 @ 100.988
106.50/106.82	c #Conflicts:      21000 | #Constraints:      18630
106.50/106.82	c GLOBAL bounds - >= -6152 @ 104.1
110.19/110.55	c INPROCESSING
110.19/110.55	c GARBAGE COLLECT
110.19/110.55	c GLOBAL bounds - >= -6152 @ 107.785
111.79/112.12	c #Conflicts:      22000 | #Constraints:      16437
111.79/112.12	c GLOBAL bounds - >= -6152 @ 109.307
112.57/112.95	c GLOBAL bounds - >= -6152 @ 110.125
112.98/113.38	c GLOBAL bounds - >= -6152 @ 110.549
113.78/114.13	c GLOBAL bounds - >= -6152 @ 111.282
114.28/114.66	c GLOBAL bounds - >= -6152 @ 111.81
114.97/115.30	c GLOBAL bounds - >= -6152 @ 112.444
115.68/116.05	c GLOBAL bounds - >= -6152 @ 113.168
116.07/116.43	c GLOBAL bounds - >= -6152 @ 113.55
117.17/117.50	c GLOBAL bounds - >= -6152 @ 114.595
118.57/118.99	c GLOBAL bounds - >= -6152 @ 116.066
119.06/119.40	c #Conflicts:      23000 | #Constraints:      17457
119.06/119.40	c GLOBAL bounds - >= -6152 @ 116.465
119.67/120.07	c GLOBAL bounds - >= -6152 @ 117.131
120.46/120.81	c GLOBAL bounds - >= -6152 @ 117.854
120.96/121.35	c GLOBAL bounds - >= -6152 @ 118.388
121.86/122.27	c GLOBAL bounds - >= -6152 @ 119.291
122.35/122.75	c GLOBAL bounds - >= -6152 @ 119.758
122.86/123.28	c GLOBAL bounds - >= -6152 @ 120.281
123.86/124.21	c GLOBAL bounds - >= -6152 @ 121.19
124.35/124.70	c GLOBAL bounds - >= -6152 @ 121.682
126.85/127.23	c #Conflicts:      24000 | #Constraints:      18475
126.85/127.23	c GLOBAL bounds - >= -6152 @ 124.178
129.64/130.03	c GLOBAL bounds - >= -6152 @ 126.94
130.23/130.67	c GLOBAL bounds - >= -6152 @ 127.577
131.04/131.49	c GLOBAL bounds - >= -6152 @ 128.379
134.72/135.18	c #Conflicts:      25000 | #Constraints:      19483
134.72/135.18	c INPROCESSING
134.72/135.18	c GARBAGE COLLECT
134.72/135.18	c GLOBAL bounds - >= -6152 @ 131.989
135.43/135.89	c GLOBAL bounds - >= -6152 @ 132.687
142.30/142.77	c #Conflicts:      26000 | #Constraints:      17094
142.30/142.77	c #Conflicts:      27000 | #Constraints:      18094
142.30/142.77	c GLOBAL bounds - >= -6152 @ 139.446
143.20/143.64	c GLOBAL bounds - >= -6152 @ 140.309
144.50/144.98	c GLOBAL bounds - >= -6152 @ 141.63
145.49/145.96	c GLOBAL bounds - >= -6152 @ 142.589
146.99/147.44	c GLOBAL bounds - >= -6152 @ 144.048
147.49/147.95	c GLOBAL bounds - >= -6152 @ 144.551
147.99/148.48	c #Conflicts:      28000 | #Constraints:      19106
147.99/148.48	c GLOBAL bounds - >= -6152 @ 145.076
149.48/149.99	c GLOBAL bounds - >= -6152 @ 146.581
150.08/150.50	c GLOBAL bounds - >= -6152 @ 147.076
150.48/150.98	c GLOBAL bounds - >= -6152 @ 147.552
151.48/152.00	c GLOBAL bounds - >= -6152 @ 148.558
160.15/160.64	c #Conflicts:      29000 | #Constraints:      20116
160.15/160.64	c INPROCESSING
160.15/160.64	c GARBAGE COLLECT
160.15/160.64	c #Conflicts:      30000 | #Constraints:      17523
160.15/160.64	c GLOBAL bounds - >= -6152 @ 157.054
163.35/163.81	c GLOBAL bounds - >= -6152 @ 160.167
164.05/164.55	c GLOBAL bounds - >= -6152 @ 160.896
165.04/165.50	c GLOBAL bounds - >= -6152 @ 161.817
166.14/166.64	c #Conflicts:      31000 | #Constraints:      18531
166.14/166.64	c GLOBAL bounds - >= -6152 @ 162.939
168.54/169.02	c GLOBAL bounds - >= -6152 @ 165.285
172.72/173.27	c #Conflicts:      32000 | #Constraints:      19535
172.72/173.27	c GLOBAL bounds - >= -6152 @ 169.472
173.72/174.20	c GLOBAL bounds - >= -6152 @ 170.397
174.32/174.82	c GLOBAL bounds - >= -6152 @ 171.007
175.32/175.86	c GLOBAL bounds - >= -6152 @ 172.042
175.92/176.43	c GLOBAL bounds - >= -6152 @ 172.608
177.52/178.06	c GLOBAL bounds - >= -6152 @ 174.211
179.11/179.67	c GLOBAL bounds - >= -6152 @ 175.809
181.10/181.60	c #Conflicts:      33000 | #Constraints:      20549
181.10/181.60	c INPROCESSING
181.10/181.60	c GARBAGE COLLECT
181.10/181.60	c GLOBAL bounds - >= -6152 @ 177.718
182.00/182.51	c GLOBAL bounds - >= -6152 @ 178.615
182.70/183.24	c GLOBAL bounds - >= -6152 @ 179.335
184.19/184.71	c GLOBAL bounds - >= -6152 @ 180.786
189.98/190.59	c #Conflicts:      34000 | #Constraints:      17746
189.98/190.59	c #Conflicts:      35000 | #Constraints:      18746
189.98/190.59	c GLOBAL bounds - >= -6152 @ 186.514
190.59/191.19	c GLOBAL bounds - >= -6152 @ 187.11
191.18/191.73	c GLOBAL bounds - >= -6152 @ 187.641
201.75/202.39	c #Conflicts:      36000 | #Constraints:      19752
201.75/202.39	c #Conflicts:      37000 | #Constraints:      20752
201.75/202.39	c INPROCESSING
201.75/202.39	c GARBAGE COLLECT
201.75/202.39	c #Conflicts:      38000 | #Constraints:      17770
201.75/202.39	c GLOBAL bounds - >= -6152 @ 198.117
203.64/204.28	c GLOBAL bounds - >= -6152 @ 199.958
204.85/205.47	c GLOBAL bounds - >= -6152 @ 201.136
215.91/216.57	c #Conflicts:      39000 | #Constraints:      18776
215.91/216.57	c #Conflicts:      40000 | #Constraints:      19776
215.91/216.57	c #Conflicts:      41000 | #Constraints:      20776
215.91/216.57	c INPROCESSING
215.91/216.57	c GARBAGE COLLECT
215.91/216.57	c GLOBAL bounds - >= -6152 @ 212.034
219.41/220.10	c #Conflicts:      42000 | #Constraints:      17588
219.41/220.10	c GLOBAL bounds - >= -6152 @ 215.485
222.29/222.94	c #Conflicts:      43000 | #Constraints:      18590
222.29/222.94	c GLOBAL bounds - >= -6152 @ 218.285
231.76/232.47	c #Conflicts:      44000 | #Constraints:      19592
231.76/232.47	c #Conflicts:      45000 | #Constraints:      20592
231.76/232.47	c GLOBAL bounds - >= -6152 @ 227.658
238.95/239.68	c #Conflicts:      46000 | #Constraints:      21594
238.95/239.68	c INPROCESSING
238.95/239.68	c GARBAGE COLLECT
238.95/239.68	c GLOBAL bounds - >= -6152 @ 234.732
243.03/243.76	c GLOBAL bounds - >= -6152 @ 238.744
244.62/245.39	c #Conflicts:      47000 | #Constraints:      18205
244.62/245.39	c GLOBAL bounds - >= -6152 @ 240.347
245.73/246.48	c GLOBAL bounds - >= -6152 @ 241.417
253.41/254.10	c #Conflicts:      48000 | #Constraints:      19209
253.41/254.10	c GLOBAL bounds - >= -6152 @ 248.922
254.90/255.66	c #Conflicts:      49000 | #Constraints:      20211
254.90/255.66	c GLOBAL bounds - >= -6152 @ 250.465
255.60/256.36	c GLOBAL bounds - >= -6152 @ 251.156
256.40/257.18	c GLOBAL bounds - >= -6152 @ 251.959
258.09/258.87	c GLOBAL bounds - >= -6152 @ 253.63
259.39/260.16	c GLOBAL bounds - >= -6152 @ 254.906
263.38/264.12	c #Conflicts:      50000 | #Constraints:      21221
263.38/264.12	c GLOBAL bounds - >= -6152 @ 258.798
265.17/265.96	c GLOBAL bounds - >= -6152 @ 260.605
266.27/267.01	c GLOBAL bounds - >= -6152 @ 261.633
283.71/284.55	c #Conflicts:      51000 | #Constraints:      22227
283.71/284.55	c INPROCESSING
283.71/284.55	c GARBAGE COLLECT
283.71/284.55	c #Conflicts:      52000 | #Constraints:      18627
283.71/284.55	c #Conflicts:      53000 | #Constraints:      19627
283.71/284.55	c #Conflicts:      54000 | #Constraints:      20627
283.71/284.55	c GLOBAL bounds - >= -6152 @ 278.865
296.57/297.46	c #Conflicts:      55000 | #Constraints:      21629
296.57/297.46	c #Conflicts:      56000 | #Constraints:      22629
296.57/297.46	c INPROCESSING
296.57/297.46	c GARBAGE COLLECT
296.57/297.46	c GLOBAL bounds - >= -6152 @ 291.523
299.36/300.27	c GLOBAL bounds - >= -6152 @ 294.301
302.05/303.00	c #Conflicts:      57000 | #Constraints:      18843
302.05/303.00	c GLOBAL bounds - >= -6152 @ 296.992
303.65/304.50	c GLOBAL bounds - >= -6152 @ 298.471
304.45/305.31	c GLOBAL bounds - >= -6152 @ 299.272
306.84/307.77	c GLOBAL bounds - >= -6152 @ 301.704
308.04/308.94	c GLOBAL bounds - >= -6152 @ 302.852
318.91/319.81	c #Conflicts:      58000 | #Constraints:      19853
318.91/319.81	c #Conflicts:      59000 | #Constraints:      20853
318.91/319.81	c GLOBAL bounds - >= -6152 @ 313.564
320.79/321.74	c #Conflicts:      60000 | #Constraints:      21855
320.79/321.74	c GLOBAL bounds - >= -6152 @ 315.471
340.64/341.62	c #Conflicts:      61000 | #Constraints:      22857
340.64/341.62	c INPROCESSING
340.64/341.62	c GARBAGE COLLECT
340.64/341.62	c #Conflicts:      62000 | #Constraints:      18861
340.64/341.62	c #Conflicts:      63000 | #Constraints:      19861
340.64/341.62	c #Conflicts:      64000 | #Constraints:      20861
340.64/341.62	c GLOBAL bounds - >= -6152 @ 335.057
346.82/347.85	c #Conflicts:      65000 | #Constraints:      21863
346.82/347.85	c GLOBAL bounds - >= -6152 @ 341.226
352.50/353.50	c #Conflicts:      66000 | #Constraints:      22865
352.50/353.50	c GLOBAL bounds - >= -6152 @ 346.786
358.09/359.13	c INPROCESSING
358.09/359.13	c GARBAGE COLLECT
358.09/359.13	c GLOBAL bounds - >= -6152 @ 352.363
362.27/363.31	c #Conflicts:      67000 | #Constraints:      18680
362.27/363.31	c GLOBAL bounds - >= -6152 @ 356.48
365.27/366.37	c #Conflicts:      68000 | #Constraints:      19682
365.27/366.37	c GLOBAL bounds - >= -6152 @ 359.493
370.75/371.86	c #Conflicts:      69000 | #Constraints:      20684
370.75/371.86	c GLOBAL bounds - >= -6152 @ 364.877
371.64/372.76	c GLOBAL bounds - >= -6152 @ 365.768
384.10/385.24	c #Conflicts:      70000 | #Constraints:      21688
384.10/385.24	c #Conflicts:      71000 | #Constraints:      22688
384.10/385.24	c GLOBAL bounds - >= -6152 @ 378.087
390.19/391.33	c #Conflicts:      72000 | #Constraints:      23690
390.19/391.33	c INPROCESSING
390.19/391.33	c GARBAGE COLLECT
390.19/391.33	c GLOBAL bounds - >= -6152 @ 384.086
393.38/394.55	c GLOBAL bounds - >= -6152 @ 387.253
395.27/396.45	c #Conflicts:      73000 | #Constraints:      19304
395.27/396.45	c GLOBAL bounds - >= -6152 @ 389.138
397.97/399.18	c GLOBAL bounds - >= -6152 @ 391.838
402.25/403.41	c #Conflicts:      74000 | #Constraints:      20308
402.25/403.41	c GLOBAL bounds - >= -6152 @ 396.024
413.02/414.25	c #Conflicts:      75000 | #Constraints:      21310
413.02/414.25	c #Conflicts:      76000 | #Constraints:      22310
413.02/414.25	c GLOBAL bounds - >= -6152 @ 406.687
420.99/422.27	c #Conflicts:      77000 | #Constraints:      23312
420.99/422.27	c GLOBAL bounds - >= -6152 @ 414.603
428.07/429.37	c GLOBAL bounds - >= -6152 @ 421.479
432.36/433.62	c #Conflicts:      78000 | #Constraints:      24316
432.36/433.62	c INPROCESSING
432.36/433.62	c GARBAGE COLLECT
432.36/433.62	c GLOBAL bounds - >= -6152 @ 425.685
434.35/435.68	c GLOBAL bounds - >= -6152 @ 427.724
457.08/458.47	c #Conflicts:      79000 | #Constraints:      19682
457.08/458.47	c #Conflicts:      80000 | #Constraints:      20682
457.08/458.47	c #Conflicts:      81000 | #Constraints:      21682
457.08/458.47	c #Conflicts:      82000 | #Constraints:      22682
457.08/458.47	c #Conflicts:      83000 | #Constraints:      23682
457.08/458.47	c #Conflicts:      84000 | #Constraints:      24682
457.08/458.47	c INPROCESSING
457.08/458.47	c GARBAGE COLLECT
457.08/458.47	c GLOBAL bounds - >= -6152 @ 450.211
623.67/625.53	c #Conflicts:      85000 | #Constraints:      19907
623.67/625.53	c #Conflicts:      86000 | #Constraints:      20907
623.67/625.53	c #Conflicts:      87000 | #Constraints:      21907
623.67/625.53	c #Conflicts:      88000 | #Constraints:      22907
623.67/625.53	c #Conflicts:      89000 | #Constraints:      23907
623.67/625.53	c #Conflicts:      90000 | #Constraints:      24907
623.67/625.53	c INPROCESSING
623.67/625.53	c GARBAGE COLLECT
623.67/625.53	c #Conflicts:      91000 | #Constraints:      19924
623.67/625.53	c #Conflicts:      92000 | #Constraints:      20924
623.67/625.53	c #Conflicts:      93000 | #Constraints:      21924
623.67/625.53	c #Conflicts:      94000 | #Constraints:      22924
623.67/625.53	c #Conflicts:      95000 | #Constraints:      23924
623.67/625.53	c #Conflicts:      96000 | #Constraints:      24924
623.67/625.53	c INPROCESSING
623.67/625.53	c GARBAGE COLLECT
623.67/625.53	c #Conflicts:      97000 | #Constraints:      19740
623.67/625.53	c #Conflicts:      98000 | #Constraints:      20740
623.67/625.53	c #Conflicts:      99000 | #Constraints:      21740
623.67/625.53	c #Conflicts:     100000 | #Constraints:      22740
623.67/625.53	c #Conflicts:     101000 | #Constraints:      23740
623.67/625.53	c #Conflicts:     102000 | #Constraints:      24740
623.67/625.53	c #Conflicts:     103000 | #Constraints:      25740
623.67/625.53	c INPROCESSING
623.67/625.53	c GARBAGE COLLECT
623.67/625.53	c #Conflicts:     104000 | #Constraints:      20340
623.67/625.53	c #Conflicts:     105000 | #Constraints:      21340
623.67/625.53	c #Conflicts:     106000 | #Constraints:      22340
623.67/625.53	c #Conflicts:     107000 | #Constraints:      23340
623.67/625.53	c GLOBAL bounds - >= -6152 @ 615.812
642.22/644.19	c #Conflicts:     108000 | #Constraints:      24342
642.22/644.19	c #Conflicts:     109000 | #Constraints:      25342
642.22/644.19	c #Conflicts:     110000 | #Constraints:      26342
642.22/644.19	c INPROCESSING
642.22/644.19	c GARBAGE COLLECT
642.22/644.19	c GLOBAL bounds - >= -6152 @ 634.238
646.30/648.20	c #Conflicts:     111000 | #Constraints:      20720
646.30/648.20	c GLOBAL bounds - >= -6152 @ 638.213
647.69/649.69	c GLOBAL bounds - >= -6152 @ 639.682
661.45/663.49	c #Conflicts:     112000 | #Constraints:      21724
661.45/663.49	c #Conflicts:     113000 | #Constraints:      22724
661.45/663.49	c GLOBAL bounds - >= -6152 @ 653.284
670.53/672.56	c #Conflicts:     114000 | #Constraints:      23726
670.53/672.56	c GLOBAL bounds - >= -6152 @ 662.233
679.20/681.21	c #Conflicts:     115000 | #Constraints:      24728
679.20/681.21	c GLOBAL bounds - >= -6152 @ 670.795
690.97/693.07	c #Conflicts:     116000 | #Constraints:      25730
690.97/693.07	c GLOBAL bounds - >= -6152 @ 682.53
707.51/709.62	c #Conflicts:     117000 | #Constraints:      26732
707.51/709.62	c INPROCESSING
707.51/709.62	c GARBAGE COLLECT
707.51/709.62	c #Conflicts:     118000 | #Constraints:      20932
707.51/709.62	c #Conflicts:     119000 | #Constraints:      21932
707.51/709.62	c GLOBAL bounds - >= -6152 @ 698.854
721.67/723.87	c #Conflicts:     120000 | #Constraints:      22934
721.67/723.87	c #Conflicts:     121000 | #Constraints:      23934
721.67/723.87	c #Conflicts:     122000 | #Constraints:      24934
721.67/723.87	c GLOBAL bounds - >= -6152 @ 712.872
734.94/737.14	c #Conflicts:     123000 | #Constraints:      25936
734.94/737.14	c #Conflicts:     124000 | #Constraints:      26936
734.94/737.14	c GLOBAL bounds - >= -6152 @ 726
749.99/752.25	c INPROCESSING
749.99/752.25	c GARBAGE COLLECT
749.99/752.25	c #Conflicts:     125000 | #Constraints:      20932
749.99/752.25	c #Conflicts:     126000 | #Constraints:      21932
749.99/752.25	c GLOBAL bounds - >= -6152 @ 740.961
761.95/764.29	c #Conflicts:     127000 | #Constraints:      22934
761.95/764.29	c GLOBAL bounds - >= -6152 @ 752.876
783.28/785.61	c #Conflicts:     128000 | #Constraints:      23936
783.28/785.61	c #Conflicts:     129000 | #Constraints:      24936
783.28/785.61	c #Conflicts:     130000 | #Constraints:      25936
783.28/785.61	c GLOBAL bounds - >= -6152 @ 773.897
789.36/791.74	c #Conflicts:     131000 | #Constraints:      26938
789.36/791.74	c GLOBAL bounds - >= -6152 @ 779.947
802.62/805.08	c INPROCESSING
802.62/805.08	c GARBAGE COLLECT
802.62/805.08	c #Conflicts:     132000 | #Constraints:      20749
802.62/805.08	c GLOBAL bounds - >= -6152 @ 793.113
807.61/810.06	c #Conflicts:     133000 | #Constraints:      21751
807.61/810.06	c GLOBAL bounds - >= -6152 @ 798.044
815.38/817.88	c #Conflicts:     134000 | #Constraints:      22753
815.38/817.88	c GLOBAL bounds - >= -6152 @ 805.773
822.16/824.64	c #Conflicts:     135000 | #Constraints:      23755
822.16/824.64	c GLOBAL bounds - >= -6152 @ 812.468
826.84/829.32	c GLOBAL bounds - >= -6152 @ 817.116
831.94/834.42	c #Conflicts:     136000 | #Constraints:      24759
831.94/834.42	c GLOBAL bounds - >= -6152 @ 822.151
851.07/853.61	c #Conflicts:     137000 | #Constraints:      25761
851.07/853.61	c #Conflicts:     138000 | #Constraints:      26761
851.07/853.61	c #Conflicts:     139000 | #Constraints:      27761
851.07/853.61	c INPROCESSING
851.07/853.61	c GARBAGE COLLECT
851.07/853.61	c GLOBAL bounds - >= -6152 @ 841.127
852.27/854.89	c GLOBAL bounds - >= -6152 @ 842.39
900.42/903.13	c #Conflicts:     140000 | #Constraints:      21372
900.42/903.13	c #Conflicts:     141000 | #Constraints:      22372
900.42/903.13	c #Conflicts:     142000 | #Constraints:      23372
900.42/903.13	c #Conflicts:     143000 | #Constraints:      24372
900.42/903.13	c #Conflicts:     144000 | #Constraints:      25372
900.42/903.13	c #Conflicts:     145000 | #Constraints:      26372
900.42/903.13	c #Conflicts:     146000 | #Constraints:      27372
900.42/903.13	c #Conflicts:     147000 | #Constraints:      28372
900.42/903.13	c INPROCESSING
900.42/903.13	c GARBAGE COLLECT
900.42/903.13	c #Conflicts:     148000 | #Constraints:      21780
900.42/903.13	c GLOBAL bounds - >= -6152 @ 889.97
903.11/905.83	c GLOBAL bounds - >= -6152 @ 892.643
911.59/914.30	c #Conflicts:     149000 | #Constraints:      22784
911.59/914.30	c GLOBAL bounds - >= -6152 @ 900.987
924.15/926.91	c #Conflicts:     150000 | #Constraints:      23786
924.15/926.91	c #Conflicts:     151000 | #Constraints:      24786
924.15/926.91	c GLOBAL bounds - >= -6152 @ 913.469
932.12/934.96	c #Conflicts:     152000 | #Constraints:      25788
932.12/934.96	c GLOBAL bounds - >= -6152 @ 921.452
944.38/947.22	c #Conflicts:     153000 | #Constraints:      26790
944.38/947.22	c GLOBAL bounds - >= -6152 @ 933.524
947.88/950.72	c GLOBAL bounds - >= -6152 @ 936.994
975.99/978.98	c #Conflicts:     154000 | #Constraints:      27794
975.99/978.98	c #Conflicts:     155000 | #Constraints:      28794
975.99/978.98	c INPROCESSING
975.99/978.98	c GARBAGE COLLECT
975.99/978.98	c #Conflicts:     156000 | #Constraints:      21999
975.99/978.98	c #Conflicts:     157000 | #Constraints:      22999
975.99/978.98	c GLOBAL bounds - >= -6152 @ 964.98
992.05/995.07	c #Conflicts:     158000 | #Constraints:      24001
992.05/995.07	c #Conflicts:     159000 | #Constraints:      25001
992.05/995.07	c GLOBAL bounds - >= -6152 @ 980.857
1000.21/1003.21	c #Conflicts:     160000 | #Constraints:      26003
1000.21/1003.21	c GLOBAL bounds - >= -6152 @ 988.917
1002.61/1005.66	c GLOBAL bounds - >= -6152 @ 991.346
1014.57/1017.61	c #Conflicts:     161000 | #Constraints:      27007
1014.57/1017.61	c GLOBAL bounds - >= -6152 @ 1003.18
1026.53/1029.65	c #Conflicts:     162000 | #Constraints:      28009
1026.53/1029.65	c #Conflicts:     163000 | #Constraints:      29009
1026.53/1029.65	c INPROCESSING
1026.53/1029.65	c GARBAGE COLLECT
1026.53/1029.65	c GLOBAL bounds - >= -6152 @ 1015.1
1028.43/1031.51	c GLOBAL bounds - >= -6152 @ 1016.95
1030.42/1033.50	c #Conflicts:     164000 | #Constraints:      22016
1030.42/1033.50	c GLOBAL bounds - >= -6152 @ 1018.92
1048.46/1051.62	c #Conflicts:     165000 | #Constraints:      23018
1048.46/1051.62	c #Conflicts:     166000 | #Constraints:      24018
1048.46/1051.62	c #Conflicts:     167000 | #Constraints:      25018
1048.46/1051.62	c GLOBAL bounds - >= -6152 @ 1036.83
1057.33/1060.54	c #Conflicts:     168000 | #Constraints:      26020
1057.33/1060.54	c GLOBAL bounds - >= -6152 @ 1045.66
1073.38/1076.61	c #Conflicts:     169000 | #Constraints:      27022
1073.38/1076.61	c GLOBAL bounds - >= -6152 @ 1061.58
1106.49/1109.85	c #Conflicts:     170000 | #Constraints:      28024
1106.49/1109.85	c #Conflicts:     171000 | #Constraints:      29024
1106.49/1109.85	c INPROCESSING
1106.49/1109.85	c GARBAGE COLLECT
1106.49/1109.85	c #Conflicts:     172000 | #Constraints:      21829
1106.49/1109.85	c #Conflicts:     173000 | #Constraints:      22829
1106.49/1109.85	c GLOBAL bounds - >= -6152 @ 1094.46
1158.53/1162.03	c #Conflicts:     174000 | #Constraints:      23831
1158.53/1162.03	c #Conflicts:     175000 | #Constraints:      24831
1158.53/1162.03	c #Conflicts:     176000 | #Constraints:      25831
1158.53/1162.03	c #Conflicts:     177000 | #Constraints:      26831
1158.53/1162.03	c #Conflicts:     178000 | #Constraints:      27831
1158.53/1162.03	c #Conflicts:     179000 | #Constraints:      28831
1158.53/1162.03	c GLOBAL bounds - >= -6152 @ 1146
1170.99/1174.54	c #Conflicts:     180000 | #Constraints:      29833
1170.99/1174.54	c INPROCESSING
1170.99/1174.54	c GARBAGE COLLECT
1170.99/1174.54	c #Conflicts:     181000 | #Constraints:      22421
1170.99/1174.54	c GLOBAL bounds - >= -6152 @ 1158.38
1185.93/1189.50	c #Conflicts:     182000 | #Constraints:      23423
1185.93/1189.50	c #Conflicts:     183000 | #Constraints:      24423
1185.93/1189.50	c #Conflicts:     184000 | #Constraints:      25423
1185.93/1189.50	c GLOBAL bounds - >= -6152 @ 1173.05
1192.22/1195.80	c #Conflicts:     185000 | #Constraints:      26425
1192.22/1195.80	c GLOBAL bounds - >= -6152 @ 1179.3
1200.50/1204.16	c #Conflicts:     186000 | #Constraints:      27427
1200.50/1204.16	c GLOBAL bounds - >= -6152 @ 1187.56
1248.64/1252.46	c #Conflicts:     187000 | #Constraints:      28429
1248.64/1252.46	c #Conflicts:     188000 | #Constraints:      29429
1248.64/1252.46	c #Conflicts:     189000 | #Constraints:      30429
1248.64/1252.46	c INPROCESSING
1248.64/1252.46	c GARBAGE COLLECT
1248.64/1252.46	c #Conflicts:     190000 | #Constraints:      22829
1248.64/1252.46	c #Conflicts:     191000 | #Constraints:      23829
1248.64/1252.46	c #Conflicts:     192000 | #Constraints:      24829
1248.64/1252.46	c #Conflicts:     193000 | #Constraints:      25829
1248.64/1252.46	c #Conflicts:     194000 | #Constraints:      26829
1248.64/1252.46	c #Conflicts:     195000 | #Constraints:      27829
1248.64/1252.46	c GLOBAL bounds - >= -6152 @ 1235.33
1277.86/1281.74	c #Conflicts:     196000 | #Constraints:      28831
1277.86/1281.74	c #Conflicts:     197000 | #Constraints:      29831
1277.86/1281.74	c #Conflicts:     198000 | #Constraints:      30831
1277.86/1281.74	c INPROCESSING
1277.86/1281.74	c GARBAGE COLLECT
1277.86/1281.74	c #Conflicts:     199000 | #Constraints:      23034
1277.86/1281.74	c GLOBAL bounds - >= -6152 @ 1264.41
1547.62/1552.36	c #Conflicts:     200000 | #Constraints:      24036
1547.62/1552.36	c #Conflicts:     201000 | #Constraints:      25036
1547.62/1552.36	c #Conflicts:     202000 | #Constraints:      26036
1547.62/1552.36	c #Conflicts:     203000 | #Constraints:      27036
1547.62/1552.36	c #Conflicts:     204000 | #Constraints:      28036
1547.62/1552.36	c #Conflicts:     205000 | #Constraints:      29036
1547.62/1552.36	c #Conflicts:     206000 | #Constraints:      30036
1547.62/1552.36	c #Conflicts:     207000 | #Constraints:      31036
1547.62/1552.36	c INPROCESSING
1547.62/1552.36	c GARBAGE COLLECT
1547.62/1552.36	c #Conflicts:     208000 | #Constraints:      23048
1547.62/1552.36	c #Conflicts:     209000 | #Constraints:      24048
1547.62/1552.36	c #Conflicts:     210000 | #Constraints:      25048
1547.62/1552.36	c #Conflicts:     211000 | #Constraints:      26048
1547.62/1552.36	c #Conflicts:     212000 | #Constraints:      27048
1547.62/1552.36	c #Conflicts:     213000 | #Constraints:      28048
1547.62/1552.36	c #Conflicts:     214000 | #Constraints:      29048
1547.62/1552.36	c #Conflicts:     215000 | #Constraints:      30048
1547.62/1552.36	c #Conflicts:     216000 | #Constraints:      31048
1547.62/1552.36	c INPROCESSING
1547.62/1552.36	c GARBAGE COLLECT
1547.62/1552.36	c #Conflicts:     217000 | #Constraints:      22853
1547.62/1552.36	c #Conflicts:     218000 | #Constraints:      23853
1547.62/1552.36	c #Conflicts:     219000 | #Constraints:      24853
1547.62/1552.36	c #Conflicts:     220000 | #Constraints:      25853
1547.62/1552.36	c #Conflicts:     221000 | #Constraints:      26853
1547.62/1552.36	c #Conflicts:     222000 | #Constraints:      27853
1547.62/1552.36	c #Conflicts:     223000 | #Constraints:      28853
1547.62/1552.36	c #Conflicts:     224000 | #Constraints:      29853
1547.62/1552.36	c #Conflicts:     225000 | #Constraints:      30853
1547.62/1552.36	c #Conflicts:     226000 | #Constraints:      31853
1547.62/1552.36	c INPROCESSING
1547.62/1552.36	c GARBAGE COLLECT
1547.62/1552.36	c #Conflicts:     227000 | #Constraints:      23454
1547.62/1552.36	c #Conflicts:     228000 | #Constraints:      24454
1547.62/1552.36	c #Conflicts:     229000 | #Constraints:      25454
1547.62/1552.36	c #Conflicts:     230000 | #Constraints:      26454
1547.62/1552.36	c #Conflicts:     231000 | #Constraints:      27454
1547.62/1552.36	c #Conflicts:     232000 | #Constraints:      28454
1547.62/1552.36	c #Conflicts:     233000 | #Constraints:      29454
1547.62/1552.36	c #Conflicts:     234000 | #Constraints:      30454
1547.62/1552.36	c #Conflicts:     235000 | #Constraints:      31454
1547.62/1552.36	c #Conflicts:     236000 | #Constraints:      32454
1547.62/1552.36	c INPROCESSING
1547.62/1552.36	c GARBAGE COLLECT
1547.62/1552.36	c #Conflicts:     237000 | #Constraints:      23858
1547.62/1552.36	c #Conflicts:     238000 | #Constraints:      24858
1547.62/1552.36	c #Conflicts:     239000 | #Constraints:      25858
1547.62/1552.36	c #Conflicts:     240000 | #Constraints:      26858
1547.62/1552.36	c #Conflicts:     241000 | #Constraints:      27858
1547.62/1552.36	c GLOBAL bounds - >= -6152 @ 1532.27
1659.37/1664.41	c #Conflicts:     242000 | #Constraints:      28860
1659.37/1664.41	c #Conflicts:     243000 | #Constraints:      29860
1659.37/1664.41	c #Conflicts:     244000 | #Constraints:      30860
1659.37/1664.41	c #Conflicts:     245000 | #Constraints:      31860
1659.37/1664.41	c #Conflicts:     246000 | #Constraints:      32860
1659.37/1664.41	c INPROCESSING
1659.37/1664.41	c GARBAGE COLLECT
1659.37/1664.41	c #Conflicts:     247000 | #Constraints:      24073
1659.37/1664.41	c #Conflicts:     248000 | #Constraints:      25073
1659.37/1664.41	c #Conflicts:     249000 | #Constraints:      26073
1659.37/1664.41	c #Conflicts:     250000 | #Constraints:      27073
1659.37/1664.41	c #Conflicts:     251000 | #Constraints:      28073
1659.37/1664.41	c #Conflicts:     252000 | #Constraints:      29073
1659.37/1664.41	c GLOBAL bounds - >= -6152 @ 1643.42
1679.92/1685.07	c #Conflicts:     253000 | #Constraints:      30075
1679.92/1685.07	c #Conflicts:     254000 | #Constraints:      31075
1679.92/1685.07	c GLOBAL bounds - >= -6152 @ 1663.96
1702.36/1707.52	c #Conflicts:     255000 | #Constraints:      32077
1702.36/1707.52	c #Conflicts:     256000 | #Constraints:      33077
1702.36/1707.52	c GLOBAL bounds - >= -6152 @ 1686.22
1709.63/1714.88	c INPROCESSING
1709.63/1714.88	c GARBAGE COLLECT
1709.63/1714.88	c GLOBAL bounds - >= -6152 @ 1693.54
1737.26/1742.54	c #Conflicts:     257000 | #Constraints:      24075
1737.26/1742.54	c #Conflicts:     258000 | #Constraints:      25075
1737.26/1742.54	c #Conflicts:     259000 | #Constraints:      26075
1737.26/1742.54	c #Conflicts:     260000 | #Constraints:      27075
1737.26/1742.54	c GLOBAL bounds - >= -6152 @ 1720.99
1747.33/1752.61	c #Conflicts:     261000 | #Constraints:      28077
1747.33/1752.61	c GLOBAL bounds - >= -6152 @ 1730.95
1761.60/1766.90	c #Conflicts:     262000 | #Constraints:      29079
1761.60/1766.90	c GLOBAL bounds - >= -6152 @ 1745.11
1788.03/1793.48	c #Conflicts:     263000 | #Constraints:      30081
1788.03/1793.48	c #Conflicts:     264000 | #Constraints:      31081
1788.03/1793.48	c #Conflicts:     265000 | #Constraints:      32081
1788.03/1793.48	c GLOBAL bounds - >= -6152 @ 1771.44
1796.01/1801.44	c #Conflicts:     266000 | #Constraints:      33083
1796.01/1801.44	c GLOBAL bounds - >= -6152 @ 1779.35
1806.18/1811.62	c INPROCESSING
1806.18/1811.62	c GARBAGE COLLECT
1806.18/1811.62	c #Conflicts:     267000 | #Constraints:      23883
1806.18/1811.62	c GLOBAL bounds - >= -6152 @ 1789.46
1836.30/1841.84	c #Conflicts:     268000 | #Constraints:      24885
1836.30/1841.84	c #Conflicts:     269000 | #Constraints:      25885
1836.30/1841.84	c #Conflicts:     270000 | #Constraints:      26885
1836.30/1841.84	c #Conflicts:     271000 | #Constraints:      27885
1836.30/1841.84	c #Conflicts:     272000 | #Constraints:      28885
1836.30/1841.84	c GLOBAL bounds - >= -6152 @ 1819.48
1932.12/1937.94	c #Conflicts:     273000 | #Constraints:      29887
1932.12/1937.94	c #Conflicts:     274000 | #Constraints:      30887
1932.12/1937.94	c #Conflicts:     275000 | #Constraints:      31887
1932.12/1937.94	c #Conflicts:     276000 | #Constraints:      32887
1932.12/1937.94	c #Conflicts:     277000 | #Constraints:      33887
1932.12/1937.94	c INPROCESSING
1932.12/1937.94	c GARBAGE COLLECT
1932.12/1937.94	c #Conflicts:     278000 | #Constraints:      24505
1932.12/1937.94	c #Conflicts:     279000 | #Constraints:      25505
1932.12/1937.94	c #Conflicts:     280000 | #Constraints:      26505
1932.12/1937.94	c #Conflicts:     281000 | #Constraints:      27505
1932.12/1937.94	c GLOBAL bounds - >= -6152 @ 1914.64
1954.66/1960.50	c #Conflicts:     282000 | #Constraints:      28507
1954.66/1960.50	c #Conflicts:     283000 | #Constraints:      29507
1954.66/1960.50	c #Conflicts:     284000 | #Constraints:      30507
1954.66/1960.50	c GLOBAL bounds - >= -6152 @ 1937.02
1972.01/1977.95	c #Conflicts:     285000 | #Constraints:      31509
1972.01/1977.95	c #Conflicts:     286000 | #Constraints:      32509
1972.01/1977.95	c GLOBAL bounds - >= -6152 @ 1954.37
1979.90/1985.81	c GLOBAL bounds - >= -6152 @ 1962.18
1986.28/1992.22	c #Conflicts:     287000 | #Constraints:      33513
1986.28/1992.22	c GLOBAL bounds - >= -6152 @ 1968.55
1991.56/1997.56	c GLOBAL bounds - >= -6152 @ 1973.86
2011.80/2017.80	c #Conflicts:     288000 | #Constraints:      34517
2011.80/2017.80	c INPROCESSING
2011.80/2017.80	c GARBAGE COLLECT
2011.80/2017.80	c #Conflicts:     289000 | #Constraints:      24894
2011.80/2017.80	c GLOBAL bounds - >= -6152 @ 1993.88
2014.60/2020.61	c GLOBAL bounds - >= -6152 @ 1996.67
2016.10/2022.14	c #Conflicts:     290000 | #Constraints:      25898
2016.10/2022.14	c GLOBAL bounds - >= -6152 @ 1998.18
2020.28/2026.34	c GLOBAL bounds - >= -6152 @ 2002.33
2075.13/2081.36	c #Conflicts:     291000 | #Constraints:      26902
2075.13/2081.36	c #Conflicts:     292000 | #Constraints:      27902
2075.13/2081.36	c #Conflicts:     293000 | #Constraints:      28902
2075.13/2081.36	c #Conflicts:     294000 | #Constraints:      29902
2075.13/2081.36	c #Conflicts:     295000 | #Constraints:      30902
2075.13/2081.36	c #Conflicts:     296000 | #Constraints:      31902
2075.13/2081.36	c #Conflicts:     297000 | #Constraints:      32902
2075.13/2081.36	c GLOBAL bounds - >= -6152 @ 2057.02
2078.22/2084.45	c GLOBAL bounds - >= -6152 @ 2060.07
2081.42/2087.67	c GLOBAL bounds - >= -6152 @ 2063.27
2086.50/2092.78	c GLOBAL bounds - >= -6152 @ 2068.35
2088.39/2094.67	c #Conflicts:     298000 | #Constraints:      33910
2088.39/2094.67	c GLOBAL bounds - >= -6152 @ 2070.21
2090.29/2096.56	c GLOBAL bounds - >= -6152 @ 2072.09
2101.16/2107.47	c #Conflicts:     299000 | #Constraints:      34914
2101.16/2107.47	c INPROCESSING
2101.16/2107.47	c GARBAGE COLLECT
2101.16/2107.47	c GLOBAL bounds - >= -6152 @ 2082.87
2109.14/2115.47	c GLOBAL bounds - >= -6152 @ 2090.8
2117.52/2123.84	c #Conflicts:     300000 | #Constraints:      25116
2117.52/2123.84	c GLOBAL bounds - >= -6152 @ 2099.08
2156.51/2162.95	c #Conflicts:     301000 | #Constraints:      26118
2156.51/2162.95	c #Conflicts:     302000 | #Constraints:      27118
2156.51/2162.95	c #Conflicts:     303000 | #Constraints:      28118
2156.51/2162.95	c #Conflicts:     304000 | #Constraints:      29118
2156.51/2162.95	c #Conflicts:     305000 | #Constraints:      30118
2156.51/2162.95	c GLOBAL bounds - >= -6152 @ 2137.79
2171.37/2177.85	c #Conflicts:     306000 | #Constraints:      31120
2171.37/2177.85	c #Conflicts:     307000 | #Constraints:      32120
2171.37/2177.85	c GLOBAL bounds - >= -6152 @ 2152.56
2189.71/2196.25	c #Conflicts:     308000 | #Constraints:      33122
2189.71/2196.25	c GLOBAL bounds - >= -6152 @ 2170.86
2195.70/2202.27	c #Conflicts:     309000 | #Constraints:      34124
2195.70/2202.27	c GLOBAL bounds - >= -6152 @ 2176.84
2199.50/2206.06	c GLOBAL bounds - >= -6152 @ 2180.6
2202.09/2208.65	c #Conflicts:     310000 | #Constraints:      35128
2202.09/2208.65	c GLOBAL bounds - >= -6152 @ 2183.17
2217.25/2223.85	c INPROCESSING
2217.25/2223.85	c GARBAGE COLLECT
2217.25/2223.85	c #Conflicts:     311000 | #Constraints:      25138
2217.25/2223.85	c #Conflicts:     312000 | #Constraints:      26138
2217.25/2223.85	c GLOBAL bounds - >= -6152 @ 2198.26
2356.56/2363.52	c #Conflicts:     313000 | #Constraints:      27140
2356.56/2363.52	c #Conflicts:     314000 | #Constraints:      28140
2356.56/2363.52	c #Conflicts:     315000 | #Constraints:      29140
2356.56/2363.52	c #Conflicts:     316000 | #Constraints:      30140
2356.56/2363.52	c #Conflicts:     317000 | #Constraints:      31140
2356.56/2363.52	c #Conflicts:     318000 | #Constraints:      32140
2356.56/2363.52	c #Conflicts:     319000 | #Constraints:      33140
2356.56/2363.52	c #Conflicts:     320000 | #Constraints:      34140
2356.56/2363.52	c #Conflicts:     321000 | #Constraints:      35140
2356.56/2363.52	c INPROCESSING
2356.56/2363.52	c GARBAGE COLLECT
2356.56/2363.52	c #Conflicts:     322000 | #Constraints:      24966
2356.56/2363.52	c #Conflicts:     323000 | #Constraints:      25966
2356.56/2363.52	c #Conflicts:     324000 | #Constraints:      26966
2356.56/2363.52	c #Conflicts:     325000 | #Constraints:      27966
2356.56/2363.52	c #Conflicts:     326000 | #Constraints:      28966
2356.56/2363.52	c #Conflicts:     327000 | #Constraints:      29966
2356.56/2363.52	c #Conflicts:     328000 | #Constraints:      30966
2356.56/2363.52	c #Conflicts:     329000 | #Constraints:      31966
2356.56/2363.52	c #Conflicts:     330000 | #Constraints:      32966
2356.56/2363.52	c #Conflicts:     331000 | #Constraints:      33966
2356.56/2363.52	c #Conflicts:     332000 | #Constraints:      34966
2356.56/2363.52	c #Conflicts:     333000 | #Constraints:      35966
2356.56/2363.52	c INPROCESSING
2356.56/2363.52	c GARBAGE COLLECT
2356.56/2363.52	c #Conflicts:     334000 | #Constraints:      25572
2356.56/2363.52	c #Conflicts:     335000 | #Constraints:      26572
2356.56/2363.52	c GLOBAL bounds - >= -6152 @ 2336.54
2404.05/2411.16	c #Conflicts:     336000 | #Constraints:      27574
2404.05/2411.16	c #Conflicts:     337000 | #Constraints:      28574
2404.05/2411.16	c #Conflicts:     338000 | #Constraints:      29574
2404.05/2411.16	c #Conflicts:     339000 | #Constraints:      30574
2404.05/2411.16	c GLOBAL bounds - >= -6152 @ 2383.8
2411.93/2419.02	c #Conflicts:     340000 | #Constraints:      31576
2411.93/2419.02	c GLOBAL bounds - >= -6152 @ 2391.62
2438.05/2445.28	c #Conflicts:     341000 | #Constraints:      32578
2438.05/2445.28	c #Conflicts:     342000 | #Constraints:      33578
2438.05/2445.28	c #Conflicts:     343000 | #Constraints:      34578
2438.05/2445.28	c GLOBAL bounds - >= -6152 @ 2417.68
2444.23/2451.47	c #Conflicts:     344000 | #Constraints:      35580
2444.23/2451.47	c GLOBAL bounds - >= -6152 @ 2423.81
2465.08/2472.38	c #Conflicts:     345000 | #Constraints:      36582
2465.08/2472.38	c INPROCESSING
2465.08/2472.38	c GARBAGE COLLECT
2465.08/2472.38	c GLOBAL bounds - >= -6152 @ 2444.52
2477.54/2484.82	c #Conflicts:     346000 | #Constraints:      25972
2477.54/2484.82	c #Conflicts:     347000 | #Constraints:      26972
2477.54/2484.82	c GLOBAL bounds - >= -6152 @ 2456.84
2482.53/2489.83	c GLOBAL bounds - >= -6152 @ 2461.82
2490.40/2497.76	c #Conflicts:     348000 | #Constraints:      27976
2490.40/2497.76	c GLOBAL bounds - >= -6152 @ 2469.69
2495.99/2503.38	c #Conflicts:     349000 | #Constraints:      28978
2495.99/2503.38	c GLOBAL bounds - >= -6152 @ 2475.29
2502.67/2510.10	c #Conflicts:     350000 | #Constraints:      29980
2502.67/2510.10	c GLOBAL bounds - >= -6152 @ 2481.95
2526.81/2534.23	c #Conflicts:     351000 | #Constraints:      30982
2526.81/2534.23	c #Conflicts:     352000 | #Constraints:      31982
2526.81/2534.23	c #Conflicts:     353000 | #Constraints:      32982
2526.81/2534.23	c #Conflicts:     354000 | #Constraints:      33982
2526.81/2534.23	c GLOBAL bounds - >= -6152 @ 2505.83
2578.06/2585.61	c #Conflicts:     355000 | #Constraints:      34984
2578.06/2585.61	c #Conflicts:     356000 | #Constraints:      35984
2578.06/2585.61	c #Conflicts:     357000 | #Constraints:      36984
2578.06/2585.61	c INPROCESSING
2578.06/2585.61	c GARBAGE COLLECT
2578.06/2585.61	c #Conflicts:     358000 | #Constraints:      26175
2578.06/2585.61	c GLOBAL bounds - >= -6152 @ 2556.8
2582.85/2590.44	c GLOBAL bounds - >= -6152 @ 2561.6
2606.79/2614.44	c #Conflicts:     359000 | #Constraints:      27179
2606.79/2614.44	c #Conflicts:     360000 | #Constraints:      28179
2606.79/2614.44	c #Conflicts:     361000 | #Constraints:      29179
2606.79/2614.44	c #Conflicts:     362000 | #Constraints:      30179
2606.79/2614.44	c GLOBAL bounds - >= -6152 @ 2585.39
2625.43/2633.19	c #Conflicts:     363000 | #Constraints:      31181
2625.43/2633.19	c GLOBAL bounds - >= -6152 @ 2604.01
2638.79/2646.51	c #Conflicts:     364000 | #Constraints:      32183
2638.79/2646.51	c #Conflicts:     365000 | #Constraints:      33183
2638.79/2646.51	c GLOBAL bounds - >= -6152 @ 2617.21
2699.43/2707.31	c #Conflicts:     366000 | #Constraints:      34185
2699.43/2707.31	c #Conflicts:     367000 | #Constraints:      35185
2699.43/2707.31	c #Conflicts:     368000 | #Constraints:      36185
2699.43/2707.31	c #Conflicts:     369000 | #Constraints:      37185
2699.43/2707.31	c INPROCESSING
2699.43/2707.31	c GARBAGE COLLECT
2699.43/2707.31	c #Conflicts:     370000 | #Constraints:      26192
2699.43/2707.31	c #Conflicts:     371000 | #Constraints:      27192
2699.43/2707.31	c GLOBAL bounds - >= -6152 @ 2677.49
2806.63/2814.86	c #Conflicts:     372000 | #Constraints:      28194
2806.63/2814.86	c #Conflicts:     373000 | #Constraints:      29194
2806.63/2814.86	c #Conflicts:     374000 | #Constraints:      30194
2806.63/2814.86	c #Conflicts:     375000 | #Constraints:      31194
2806.63/2814.86	c #Conflicts:     376000 | #Constraints:      32194
2806.63/2814.86	c #Conflicts:     377000 | #Constraints:      33194
2806.63/2814.86	c #Conflicts:     378000 | #Constraints:      34194
2806.63/2814.86	c #Conflicts:     379000 | #Constraints:      35194
2806.63/2814.86	c #Conflicts:     380000 | #Constraints:      36194
2806.63/2814.86	c #Conflicts:     381000 | #Constraints:      37194
2806.63/2814.86	c INPROCESSING
2806.63/2814.86	c GARBAGE COLLECT
2806.63/2814.86	c #Conflicts:     382000 | #Constraints:      26000
2806.63/2814.86	c #Conflicts:     383000 | #Constraints:      27000
2806.63/2814.86	c GLOBAL bounds - >= -6152 @ 2784.33
2816.20/2824.44	c #Conflicts:     384000 | #Constraints:      28002
2816.20/2824.44	c GLOBAL bounds - >= -6152 @ 2793.83
2841.93/2850.28	c #Conflicts:     385000 | #Constraints:      29004
2841.93/2850.28	c #Conflicts:     386000 | #Constraints:      30004
2841.93/2850.28	c #Conflicts:     387000 | #Constraints:      31004
2841.93/2850.28	c #Conflicts:     388000 | #Constraints:      32004
2841.93/2850.28	c GLOBAL bounds - >= -6152 @ 2819.46
2888.01/2896.40	c #Conflicts:     389000 | #Constraints:      33006
2888.01/2896.40	c #Conflicts:     390000 | #Constraints:      34006
2888.01/2896.40	c #Conflicts:     391000 | #Constraints:      35006
2888.01/2896.40	c GLOBAL bounds - >= -6152 @ 2865.13
2905.96/2914.44	c #Conflicts:     392000 | #Constraints:      36008
2905.96/2914.44	c #Conflicts:     393000 | #Constraints:      37008
2905.96/2914.44	c GLOBAL bounds - >= -6152 @ 2883.04
2959.81/2968.47	c #Conflicts:     394000 | #Constraints:      38010
2959.81/2968.47	c INPROCESSING
2959.81/2968.47	c GARBAGE COLLECT
2959.81/2968.47	c #Conflicts:     395000 | #Constraints:      26604
2959.81/2968.47	c #Conflicts:     396000 | #Constraints:      27604
2959.81/2968.47	c #Conflicts:     397000 | #Constraints:      28604
2959.81/2968.47	c #Conflicts:     398000 | #Constraints:      29604
2959.81/2968.47	c #Conflicts:     399000 | #Constraints:      30604
2959.81/2968.47	c #Conflicts:     400000 | #Constraints:      31604
2959.81/2968.47	c GLOBAL bounds - >= -6152 @ 2936.59
2973.97/2982.65	c #Conflicts:     401000 | #Constraints:      32606
2973.97/2982.65	c GLOBAL bounds - >= -6152 @ 2950.7
3020.74/3029.59	c #Conflicts:     402000 | #Constraints:      33608
3020.74/3029.59	c #Conflicts:     403000 | #Constraints:      34608
3020.74/3029.59	c #Conflicts:     404000 | #Constraints:      35608
3020.74/3029.59	c #Conflicts:     405000 | #Constraints:      36608
3020.74/3029.59	c GLOBAL bounds - >= -6152 @ 2997.21
3033.01/3041.88	c #Conflicts:     406000 | #Constraints:      37610
3033.01/3041.88	c #Conflicts:     407000 | #Constraints:      38610
3033.01/3041.88	c INPROCESSING
3033.01/3041.88	c GARBAGE COLLECT
3033.01/3041.88	c GLOBAL bounds - >= -6152 @ 3009.4
3047.57/3056.46	c #Conflicts:     408000 | #Constraints:      27025
3047.57/3056.46	c GLOBAL bounds - >= -6152 @ 3023.91
3058.03/3066.99	c #Conflicts:     409000 | #Constraints:      28027
3058.03/3066.99	c GLOBAL bounds - >= -6152 @ 3034.35
3197.15/3206.45	c #Conflicts:     410000 | #Constraints:      29029
3197.15/3206.45	c #Conflicts:     411000 | #Constraints:      30029
3197.15/3206.45	c #Conflicts:     412000 | #Constraints:      31029
3197.15/3206.45	c #Conflicts:     413000 | #Constraints:      32029
3197.15/3206.45	c #Conflicts:     414000 | #Constraints:      33029
3197.15/3206.45	c #Conflicts:     415000 | #Constraints:      34029
3197.15/3206.45	c #Conflicts:     416000 | #Constraints:      35029
3197.15/3206.45	c #Conflicts:     417000 | #Constraints:      36029
3197.15/3206.45	c #Conflicts:     418000 | #Constraints:      37029
3197.15/3206.45	c #Conflicts:     419000 | #Constraints:      38029
3197.15/3206.45	c #Conflicts:     420000 | #Constraints:      39029
3197.15/3206.45	c INPROCESSING
3197.15/3206.45	c GARBAGE COLLECT
3197.15/3206.45	c #Conflicts:     421000 | #Constraints:      27228
3197.15/3206.45	c #Conflicts:     422000 | #Constraints:      28228
3197.15/3206.45	c #Conflicts:     423000 | #Constraints:      29228
3197.15/3206.45	c #Conflicts:     424000 | #Constraints:      30228
3197.15/3206.45	c #Conflicts:     425000 | #Constraints:      31228
3197.15/3206.45	c #Conflicts:     426000 | #Constraints:      32228
3197.15/3206.45	c GLOBAL bounds - >= -6152 @ 3172.85
3531.14/3541.31	c #Conflicts:     427000 | #Constraints:      33230
3531.14/3541.31	c #Conflicts:     428000 | #Constraints:      34230
3531.14/3541.31	c #Conflicts:     429000 | #Constraints:      35230
3531.14/3541.31	c #Conflicts:     430000 | #Constraints:      36230
3531.14/3541.31	c #Conflicts:     431000 | #Constraints:      37230
3531.14/3541.31	c #Conflicts:     432000 | #Constraints:      38230
3531.14/3541.31	c #Conflicts:     433000 | #Constraints:      39230
3531.14/3541.31	c INPROCESSING
3531.14/3541.31	c GARBAGE COLLECT
3531.14/3541.31	c #Conflicts:     434000 | #Constraints:      27242
3531.14/3541.31	c #Conflicts:     435000 | #Constraints:      28242
3531.14/3541.31	c #Conflicts:     436000 | #Constraints:      29242
3531.14/3541.31	c #Conflicts:     437000 | #Constraints:      30242
3531.14/3541.31	c #Conflicts:     438000 | #Constraints:      31242
3531.14/3541.31	c #Conflicts:     439000 | #Constraints:      32242
3531.14/3541.31	c #Conflicts:     440000 | #Constraints:      33242
3531.14/3541.31	c #Conflicts:     441000 | #Constraints:      34242
3531.14/3541.31	c #Conflicts:     442000 | #Constraints:      35242
3531.14/3541.31	c #Conflicts:     443000 | #Constraints:      36242
3531.14/3541.31	c #Conflicts:     444000 | #Constraints:      37242
3531.14/3541.31	c #Conflicts:     445000 | #Constraints:      38242
3531.14/3541.31	c #Conflicts:     446000 | #Constraints:      39242
3531.14/3541.31	c INPROCESSING
3531.14/3541.31	c GARBAGE COLLECT
3531.14/3541.31	c #Conflicts:     447000 | #Constraints:      27050
3531.14/3541.31	c #Conflicts:     448000 | #Constraints:      28050
3531.14/3541.31	c #Conflicts:     449000 | #Constraints:      29050
3531.14/3541.31	c #Conflicts:     450000 | #Constraints:      30050
3531.14/3541.31	c #Conflicts:     451000 | #Constraints:      31050
3531.14/3541.31	c #Conflicts:     452000 | #Constraints:      32050
3531.14/3541.31	c #Conflicts:     453000 | #Constraints:      33050
3531.14/3541.31	c #Conflicts:     454000 | #Constraints:      34050
3531.14/3541.31	c #Conflicts:     455000 | #Constraints:      35050
3531.14/3541.31	c #Conflicts:     456000 | #Constraints:      36050
3531.14/3541.31	c #Conflicts:     457000 | #Constraints:      37050
3531.14/3541.31	c #Conflicts:     458000 | #Constraints:      38050
3531.14/3541.31	c #Conflicts:     459000 | #Constraints:      39050
3531.14/3541.31	c #Conflicts:     460000 | #Constraints:      40050
3531.14/3541.31	c INPROCESSING
3531.14/3541.31	c GARBAGE COLLECT
3531.14/3541.31	c #Conflicts:     461000 | #Constraints:      27649
3531.14/3541.31	c #Conflicts:     462000 | #Constraints:      28649
3531.14/3541.31	c #Conflicts:     463000 | #Constraints:      29649
3531.14/3541.31	c #Conflicts:     464000 | #Constraints:      30649
3531.14/3541.31	c #Conflicts:     465000 | #Constraints:      31649
3531.14/3541.31	c #Conflicts:     466000 | #Constraints:      32649
3531.14/3541.31	c #Conflicts:     467000 | #Constraints:      33649
3531.14/3541.31	c #Conflicts:     468000 | #Constraints:      34649
3531.14/3541.31	c #Conflicts:     469000 | #Constraints:      35649
3531.14/3541.31	c #Conflicts:     470000 | #Constraints:      36649
3531.14/3541.31	c #Conflicts:     471000 | #Constraints:      37649
3531.14/3541.31	c #Conflicts:     472000 | #Constraints:      38649
3531.14/3541.31	c #Conflicts:     473000 | #Constraints:      39649
3531.14/3541.31	c #Conflicts:     474000 | #Constraints:      40649
3531.14/3541.31	c INPROCESSING
3531.14/3541.31	c GARBAGE COLLECT
3531.14/3541.31	c #Conflicts:     475000 | #Constraints:      28046
3531.14/3541.31	c #Conflicts:     476000 | #Constraints:      29046
3531.14/3541.31	c #Conflicts:     477000 | #Constraints:      30046
3531.14/3541.31	c #Conflicts:     478000 | #Constraints:      31046
3531.14/3541.31	c #Conflicts:     479000 | #Constraints:      32046
3531.14/3541.31	c GLOBAL bounds - >= -6152 @ 3504.34
3563.65/3573.91	c #Conflicts:     480000 | #Constraints:      33048
3563.65/3573.91	c #Conflicts:     481000 | #Constraints:      34048
3563.65/3573.91	c #Conflicts:     482000 | #Constraints:      35048
3563.65/3573.91	c #Conflicts:     483000 | #Constraints:      36048
3563.65/3573.91	c GLOBAL bounds - >= -6152 @ 3536.78
3592.48/3602.86	c #Conflicts:     484000 | #Constraints:      37050
3592.48/3602.86	c #Conflicts:     485000 | #Constraints:      38050
3592.48/3602.86	c #Conflicts:     486000 | #Constraints:      39050
3592.48/3602.86	c #Conflicts:     487000 | #Constraints:      40050
3592.48/3602.86	c #Conflicts:     488000 | #Constraints:      41050
3592.48/3602.86	c INPROCESSING
3592.48/3602.86	c GARBAGE COLLECT
3592.48/3602.86	c GLOBAL bounds - >= -6152 @ 3565.61
3600.06/3610.40	c #Conflicts:     489000 | #Constraints:      28276
3600.06/3610.40	c #Conflicts:     490000 | #Constraints:      29276
3600.06/3610.40	c cpu time 3573.11 s
3600.06/3610.40	c deterministic time 2 2.00e+00
3600.06/3610.40	c optimization time 3573.07 s
3600.06/3610.40	c total solve time 0 s
3600.06/3610.40	c core-guided solve time 0 s
3600.06/3610.40	c propagation time 0.004215 s
3600.06/3610.40	c conflict analysis time 0 s
3600.06/3610.40	c propagations 1
3600.06/3610.40	c resolve steps 0
3600.06/3610.40	c decisions 0
3600.06/3610.40	c conflicts 0
3600.06/3610.40	c restarts 0
3600.06/3610.40	c inprocessing phases 0
3600.06/3610.40	c garbage collections 0 ,( -nan )
3600.06/3610.40	c input clauses 10471 ,( 83.59 )
3600.06/3610.40	c input cardinalities 2056 ,( 16.41 )
3600.06/3610.40	c input general constraints 0 ,( 0.00 )
3600.06/3610.40	c input average constraint length 3.72
3600.06/3610.40	c input average constraint degree 1.33
3600.06/3610.40	c learned clauses 0 ,( 0.00 )
3600.06/3610.40	c learned cardinalities 0 ,( 0.00 )
3600.06/3610.40	c learned general constraints 0 ,( 0.00 )
3600.06/3610.40	c learned average constraint length 0.00
3600.06/3610.40	c learned average constraint degree 0.00
3600.06/3610.40	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3610.40	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.06/3610.40	c watched   constraints 0 ,( -nan ) 
3600.06/3610.40	c counting  constraints 0 ,( -nan ) 
3600.06/3610.40	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3610.40	c gcd simplifications 0
3600.06/3610.40	c detected cardinalities 0
3600.06/3610.40	c weakened non-implied lits 0
3600.06/3610.40	c weakened non-implying lits 0
3600.06/3610.40	c original variables 10976
3600.06/3610.40	c clausal propagations 0
3600.06/3610.40	c cardinality propagations 0
3600.06/3610.40	c watched propagations 0
3600.06/3610.40	c counting propagations 0
3600.06/3610.40	c watch lookups 0
3600.06/3610.40	c watch backjump lookups 0
3600.06/3610.40	c watch checks 0
3600.06/3610.40	c propagation checks 0
3600.06/3610.40	c constraint additions 0
3600.06/3610.40	c trail pops 0
3600.06/3610.40	c formula constraints 12527
3600.06/3610.40	c learned constraints 0
3600.06/3610.40	c bound constraints 0
3600.06/3610.40	c core-guided constraints 0
3600.06/3610.40	c encountered formula constraints 0
3600.06/3610.40	c encountered learned constraints 0
3600.06/3610.40	c encountered bound constraints 0
3600.06/3610.40	c encountered core-guided constraints 0
3600.06/3610.40	c LP total time 0 s
3600.06/3610.40	c LP solve time 0 s
3600.06/3610.40	c LP constraints added 0
3600.06/3610.40	c LP constraints removed 0
3600.06/3610.40	c LP pivots internal 0
3600.06/3610.40	c LP pivots root 0
3600.06/3610.40	c LP calls 0
3600.06/3610.40	c LP optimalities 0
3600.06/3610.40	c LP no pivot count 0
3600.06/3610.40	c LP infeasibilities 0
3600.06/3610.40	c LP valid Farkas constraints 0
3600.06/3610.40	c LP learned Farkas constraints 0
3600.06/3610.40	c LP basis resets 0
3600.06/3610.40	c LP cycling count 0
3600.06/3610.40	c LP singular count 0
3600.06/3610.40	c LP no primal count 0
3600.06/3610.40	c LP no farkas count 0
3600.06/3610.40	c LP other issue count 0
3600.06/3610.40	c LP Gomory cuts 0
3600.06/3610.40	c LP learned cuts 0
3600.06/3610.40	c LP deleted cuts 0
3600.06/3610.40	c LP encountered Gomory constraints 0
3600.06/3610.40	c LP encountered Farkas constraints 0
3600.06/3610.40	c LP encountered learned Farkas constraints 0
3600.06/3610.40	c CG auxiliary variables introduced 0
3600.06/3610.40	c CG solutions found 0
3600.06/3610.40	c CG cores constructed 0
3600.06/3610.40	c CG core cardinality constraints returned 0
3600.06/3610.40	c CG unit cores 0
3600.06/3610.40	c CG single cores 0
3600.06/3610.40	c CG blocks removed during cardinality reduction 0
3600.06/3610.40	c CG first core best 0
3600.06/3610.40	c CG decision core best 0
3600.06/3610.40	c CG core reduction tie 0
3600.06/3610.40	c CG core degree average 0.00
3600.06/3610.40	c CG core slack average 0.00
3600.06/3610.40	c CG core upper bound improvements 0
3600.06/3610.40	c STR number of successful calls 0
3600.06/3610.40	c STR number of unsuccessful calls 0
3600.06/3610.40	c STR number of inconclusive calls 0
3600.06/3610.40	c STR number of successful attempts 0
3600.06/3610.40	c STR number of unsuccessful attempts 0
3600.06/3610.40	c STR number of inconclusive attempts 0
3600.06/3610.40	c STR average degree increase per successful call inf
3600.06/3610.40	c STR average degree increase per successful attempt inf
3600.06/3610.40	c STR total number of conflicts for successful attempts 0
3600.06/3610.40	c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.40	c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.40	c STR average number of conflicts per successful attempt inf
3600.06/3610.40	c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.40	c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.40	c AVG.sumWPerc -nan 
3600.06/3610.40	c bigint constraints 0 
3600.06/3610.40	s UNKNOWN
3600.06/3610.40	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 (62191 MiB free)
  memory of node 1: 64465 MiB (63357 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100064 s]*
/proc/loadavg: 4.12 4.09 4.09 5/267 38403
/proc/meminfo: memFree=128542668/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=84212 memory=37488 CPUtime=0.08 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 6571 0 0 0 5 3 0 0 20 0 1 0 44408190 86233088 9372 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 21053 9372 2336 1147 0 8480 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 88404 KiB
Current children cumulated memory: 40432 KiB

[startup+0.205742 s]*
/proc/loadavg: 4.12 4.09 4.09 5/267 38403
/proc/meminfo: memFree=128542668/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=84344 memory=37488 CPUtime=0.18 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 6592 0 0 0 14 4 0 0 20 0 1 0 44408190 86368256 9372 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 21086 9372 2336 1147 0 8513 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 88536 KiB
Current children cumulated memory: 40432 KiB

[startup+0.305647 s]*
/proc/loadavg: 4.12 4.09 4.09 5/267 38403
/proc/meminfo: memFree=128542668/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=87396 memory=41200 CPUtime=0.28 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 7520 0 0 0 24 4 0 0 20 0 1 0 44408190 89493504 10300 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 21849 10300 2336 1147 0 9276 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 91588 KiB
Current children cumulated memory: 44144 KiB

[startup+0.700193 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 38403
/proc/meminfo: memFree=128542668/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=97216 memory=51824 CPUtime=0.67 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 10179 0 0 0 61 6 0 0 20 0 1 0 44408190 99549184 12956 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 24304 12956 2336 1147 0 11731 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 101408 KiB
Current children cumulated memory: 54768 KiB

[startup+1.5002 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 38403
/proc/meminfo: memFree=128510928/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=129336 memory=82996 CPUtime=1.46 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 16449 0 0 0 130 16 0 0 20 0 1 0 44408190 132440064 20749 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 32334 20749 2336 1147 0 19761 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 133528 KiB
Current children cumulated memory: 85940 KiB

[startup+3.10548 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 38403
/proc/meminfo: memFree=128447092/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=207724 memory=149300 CPUtime=3.07 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 29463 0 0 0 279 28 0 0 20 0 1 0 44408190 212709376 37325 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 51931 37325 2336 1147 0 39358 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 211916 KiB
Current children cumulated memory: 152244 KiB

[startup+6.30018 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 38403
/proc/meminfo: memFree=128305644/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=302832 memory=242996 CPUtime=6.26 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 45747 0 0 0 584 42 0 0 20 0 1 0 44408190 310099968 60749 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 75708 60749 2336 1147 0 63135 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 307024 KiB
Current children cumulated memory: 245940 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 38403
/proc/meminfo: memFree=128022632/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=485844 memory=387040 CPUtime=12.63 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 73578 0 0 0 1200 63 0 0 20 0 1 0 44408190 497504256 96760 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 121461 96760 2336 1147 0 108888 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 490036 KiB
Current children cumulated memory: 389984 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 38403
/proc/meminfo: memFree=127557868/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=702100 memory=516804 CPUtime=25.4 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 97862 0 0 0 2451 89 0 0 20 0 1 0 44408190 718950400 129201 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 175525 129201 2336 1147 0 162952 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 706292 KiB
Current children cumulated memory: 519748 KiB

[startup+51.1055 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 38404
/proc/meminfo: memFree=127195296/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=809184 memory=688084 CPUtime=50.94 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 126862 0 0 0 4954 140 0 0 20 0 1 0 44408190 828604416 172021 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 202296 172021 2336 1147 0 189723 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 813376 KiB
Current children cumulated memory: 691028 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 38408
/proc/meminfo: memFree=126824908/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=1020016 memory=871504 CPUtime=102 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 156387 0 0 0 9973 227 0 0 20 0 1 0 44408190 1044496384 217876 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 255004 217876 2336 1147 0 242431 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1024208 KiB
Current children cumulated memory: 874448 KiB

[startup+162.3 s]
/proc/loadavg: 4.39 4.17 4.12 5/269 38410
/proc/meminfo: memFree=125653576/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=1656580 memory=1256944 CPUtime=161.85 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 231285 0 0 0 15868 317 0 0 20 0 1 0 44408190 1696337920 314236 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 414145 314236 2336 1147 0 401572 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1660772 KiB
Current children cumulated memory: 1259888 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.15 4.11 5/271 38414
/proc/meminfo: memFree=125413524/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=1659140 memory=1280940 CPUtime=221.7 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 234818 0 0 0 21765 405 0 0 20 0 1 0 44408190 1698959360 320235 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 414785 320235 2336 1147 0 402212 0
Current children cumulated CPU time: 221.7 s

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

/proc/38403/statm: 1397546 1161088 2336 1147 0 1384973 0
Current children cumulated CPU time: 3033.5 s
Current children cumulated vsize: 5594376 KiB
Current children cumulated memory: 4647296 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/269 38607
/proc/meminfo: memFree=116719980/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=5590184 memory=4650752 CPUtime=3093.33 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 856575 0 0 0 306941 2392 0 0 20 0 1 0 44408190 5724348416 1162688 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 1397546 1162688 2336 1147 0 1384973 0
Current children cumulated CPU time: 3093.33 s
Current children cumulated vsize: 5594376 KiB
Current children cumulated memory: 4653696 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/269 38609
/proc/meminfo: memFree=116681084/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=5601960 memory=4680960 CPUtime=3153.17 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 858709 0 0 0 312900 2417 0 0 20 0 1 0 44408190 5736407040 1170240 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 1400490 1170240 2336 1147 0 1387917 0
Current children cumulated CPU time: 3153.17 s
Current children cumulated vsize: 5606152 KiB
Current children cumulated memory: 4683904 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 38610
/proc/meminfo: memFree=116616968/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=5605032 memory=4721132 CPUtime=3213 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 860244 0 0 0 318861 2439 0 0 20 0 1 0 44408190 5739552768 1180283 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 1401258 1180283 2336 1147 0 1388685 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 5609224 KiB
Current children cumulated memory: 4724076 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 38613
/proc/meminfo: memFree=116276368/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=6060216 memory=5093548 CPUtime=3272.84 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 933305 0 0 0 324812 2472 0 0 20 0 1 0 44408190 6205661184 1273387 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 1515054 1273387 2336 1147 0 1502481 0
Current children cumulated CPU time: 3272.84 s
Current children cumulated vsize: 6064408 KiB
Current children cumulated memory: 5096492 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 38615
/proc/meminfo: memFree=116205032/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=6060216 memory=5127340 CPUtime=3332.68 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 933770 0 0 0 330745 2523 0 0 20 0 1 0 44408190 6205661184 1281835 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 1515054 1281835 2336 1147 0 1502481 0
Current children cumulated CPU time: 3332.68 s
Current children cumulated vsize: 6064408 KiB
Current children cumulated memory: 5130284 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 38617
/proc/meminfo: memFree=116092628/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=6060216 memory=5161132 CPUtime=3392.51 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 933851 0 0 0 336709 2542 0 0 20 0 1 0 44408190 6205661184 1290283 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 1515054 1290283 2336 1147 0 1502481 0
Current children cumulated CPU time: 3392.51 s
Current children cumulated vsize: 6064408 KiB
Current children cumulated memory: 5164076 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 38619
/proc/meminfo: memFree=115993816/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=6060216 memory=5197484 CPUtime=3452.35 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 934413 0 0 0 342647 2588 0 0 20 0 1 0 44408190 6205661184 1299371 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 1515054 1299371 2336 1147 0 1502481 0
Current children cumulated CPU time: 3452.35 s
Current children cumulated vsize: 6064408 KiB
Current children cumulated memory: 5200428 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 38628
/proc/meminfo: memFree=115969712/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=6060216 memory=5231532 CPUtime=3512.19 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 934474 0 0 0 348559 2660 0 0 20 0 1 0 44408190 6205661184 1307883 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 1515054 1307883 2336 1147 0 1502481 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 6064408 KiB
Current children cumulated memory: 5234476 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 3/253 38692
/proc/meminfo: memFree=122252616/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=6060216 memory=5265324 CPUtime=3572.03 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 934558 0 0 0 354513 2690 0 0 20 0 1 0 44408190 6205661184 1316331 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 1515054 1316331 2336 1147 0 1502481 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 6064408 KiB
Current children cumulated memory: 5268268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 3.32 3.90 4.03 3/253 38693
/proc/meminfo: memFree=122221084/131249988 swapFree=33010684/33010684
[pid=38401] ppid=38398 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/38401/stat : 38401 (run-opt.sh) S 38398 38401 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44408189 4292608 736 18446744073709551615 94261310693376 94261311587909 140723360760128 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94261311826960 94261311874704 94261318922240 140723360762221 140723360762344 140723360762344 140723360767946 0
/proc/38401/statm: 1048 736 672 219 0 110 0
[pid=38403] ppid=38401 vsize=6060216 memory=5276716 CPUtime=3600.06 cores=1,3
/proc/38403/stat : 38403 (roundingsat) R 38401 38401 37500 0 -1 4194304 934628 0 0 0 357310 2696 0 0 20 0 1 0 44408190 6205661184 1319179 18446744073709551615 4227072 8923433 140727921123952 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37339136 140727921129890 140727921130024 140727921130024 140727921135594 0
/proc/38403/statm: 1515054 1319179 2336 1147 0 1502481 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 6064408 KiB
Current children cumulated memory: 5279660 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001031 s, system=0.00103 s

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

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

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

Child status: 2

Real time (s): 3610.48
CPU time (s): 3600.15
CPU user time (s): 3573.12
CPU system time (s): 27.0335
CPU usage (%): 99.714
Max. virtual memory (cumulated for all children) (KiB): 6064408
Max. memory (cumulated for all children) (KiB): 5279660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.12
system time used= 27.0335
maximum resident set size= 5276972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 934858
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= 455
involuntary context switches= 5830


# summary of solver processes directly reported to runsolver:
#   pid: 38401,38403
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3573.12
#   total CPU system time (s): 27.0335

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92256 second user time and 16.5403 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-30 14:41:46
IDJOB=4484354
IDBENCH=146655
IDSOLVER=3350
FILE ID=nodeC020/4484354-1751287306
RUNJOBID= nodeC020-1751280053-37512
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:70: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-4484354-1751287306/watcher-4484354-1751287306 -o /tmp/evaluation-result-4484354-1751287306/solver-4484354-1751287306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751280053-37512 --watchdog 3760  run-opt.sh HOME/instance-4484354-1751287306.opb

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

MD5SUM BENCH= 6e8bf543846202ec1846dd4adbdb6152
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.881
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.860
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		: 3600.329
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		: 3625.064
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.902
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.899
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.272
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		: 3602.551
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:        128562072 kB
MemAvailable:   128726056 kB
Buffers:            3280 kB
Cached:           969356 kB
SwapCached:            0 kB
Active:          1444436 kB
Inactive:         662056 kB
Active(anon):    1151912 kB
Inactive(anon):        0 kB
Active(file):     292524 kB
Inactive(file):   662056 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31068 kB
Writeback:             0 kB
AnonPages:       1137008 kB
Mapped:           116196 kB
Shmem:             18056 kB
KReclaimable:      97288 kB
Slab:             183920 kB
SReclaimable:      97288 kB
SUnreclaim:        86632 kB
KernelStack:        4288 kB
PageTables:         5508 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    1591280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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= 433048 MiB
End job on nodeC020 at 2025-06-30 15:41:57