Trace number 4484355

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (TO) 3600.23 3611.08

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.09	c #variables 10976 #constraints 12527
0.00/0.09	c objective is ce32 
0.06/0.14	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.14	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.06/0.14	c GLOBAL bounds - >= -6152 @ 0.090171
0.06/0.14	c GLOBAL bounds - >= -6152 @ 0.098293
0.06/0.18	c GLOBAL bounds - >= -6152 @ 0.127481
0.17/0.22	c GLOBAL bounds - >= -6152 @ 0.16481
0.66/0.76	c GLOBAL bounds - >= -6152 @ 0.686319
0.76/0.88	c GLOBAL bounds - >= -6152 @ 0.788143
0.85/0.90	c GLOBAL bounds - >= -6152 @ 0.811413
0.85/0.94	c GLOBAL bounds - >= -6152 @ 0.843573
0.85/0.98	c GLOBAL bounds - >= -6152 @ 0.872442
0.96/1.08	c GLOBAL bounds - >= -6152 @ 0.963277
1.06/1.14	c GLOBAL bounds - >= -6152 @ 1.00928
1.15/1.21	c GLOBAL bounds - >= -6152 @ 1.05989
1.46/1.54	c GLOBAL bounds - >= -6152 @ 1.37015
1.56/1.60	c GLOBAL bounds - >= -6152 @ 1.42475
1.56/1.67	c GLOBAL bounds - >= -6152 @ 1.48826
1.65/1.78	c GLOBAL bounds - >= -6152 @ 1.5886
1.96/2.07	c GLOBAL bounds - >= -6152 @ 1.8681
2.45/2.56	c GLOBAL bounds - >= -6152 @ 2.33047
2.55/2.66	c GLOBAL bounds - >= -6152 @ 2.42755
2.65/2.73	c GLOBAL bounds - >= -6152 @ 2.48986
2.75/2.85	c GLOBAL bounds - >= -6152 @ 2.59851
2.85/2.90	c GLOBAL bounds - >= -6152 @ 2.64917
2.95/3.02	c GLOBAL bounds - >= -6152 @ 2.76187
3.06/3.10	c GLOBAL bounds - >= -6152 @ 2.83235
3.15/3.22	c GLOBAL bounds - >= -6152 @ 2.93897
3.25/3.31	c GLOBAL bounds - >= -6152 @ 3.01667
3.25/3.37	c GLOBAL bounds - >= -6152 @ 3.07814
3.35/3.44	c GLOBAL bounds - >= -6152 @ 3.13774
3.45/3.56	c GLOBAL bounds - >= -6152 @ 3.25181
3.55/3.61	c GLOBAL bounds - >= -6152 @ 3.3061
3.65/3.78	c GLOBAL bounds - >= -6152 @ 3.45674
3.85/3.93	c GLOBAL bounds - >= -6152 @ 3.58677
3.95/4.04	c GLOBAL bounds - >= -6152 @ 3.69698
4.25/4.31	c GLOBAL bounds - >= -6152 @ 3.95414
4.25/4.37	c GLOBAL bounds - >= -6152 @ 4.01024
4.35/4.43	c GLOBAL bounds - >= -6152 @ 4.06801
5.84/5.95	c #Conflicts:       1000 | #Constraints:      13595
5.84/5.95	c GLOBAL bounds - >= -6152 @ 5.54543
6.34/6.44	c GLOBAL bounds - >= -6152 @ 6.01026
6.44/6.59	c GLOBAL bounds - >= -6152 @ 6.1452
6.84/6.95	c GLOBAL bounds - >= -6152 @ 6.49348
6.95/7.07	c GLOBAL bounds - >= -6152 @ 6.60166
7.83/7.98	c GLOBAL bounds - >= -6152 @ 7.46764
8.24/8.39	c GLOBAL bounds - >= -6152 @ 7.86719
9.04/9.17	c GLOBAL bounds - >= -6152 @ 8.62988
9.23/9.32	c GLOBAL bounds - >= -6152 @ 8.76895
9.33/9.46	c GLOBAL bounds - >= -6152 @ 8.89516
9.73/9.86	c GLOBAL bounds - >= -6152 @ 9.28365
9.94/10.02	c GLOBAL bounds - >= -6152 @ 9.4359
10.04/10.18	c GLOBAL bounds - >= -6152 @ 9.59356
10.23/10.32	c GLOBAL bounds - >= -6152 @ 9.72934
10.33/10.48	c GLOBAL bounds - >= -6152 @ 9.88344
10.73/10.83	c GLOBAL bounds - >= -6152 @ 10.2195
10.93/11.06	c GLOBAL bounds - >= -6152 @ 10.4252
11.13/11.24	c GLOBAL bounds - >= -6152 @ 10.593
11.83/11.92	c #Conflicts:       2000 | #Constraints:      14631
11.83/11.92	c INPROCESSING
11.83/11.92	c GARBAGE COLLECT
11.83/11.92	c GLOBAL bounds - >= -6152 @ 11.2509
14.22/14.34	c GLOBAL bounds - >= -6152 @ 13.6322
17.31/17.40	c #Conflicts:       3000 | #Constraints:      14646
17.31/17.40	c GLOBAL bounds - >= -6152 @ 16.61
19.30/19.44	c GLOBAL bounds - >= -6152 @ 18.5864
20.11/20.28	c GLOBAL bounds - >= -6152 @ 19.3977
20.71/20.85	c GLOBAL bounds - >= -6152 @ 19.9566
22.10/22.22	c #Conflicts:       4000 | #Constraints:      15654
22.10/22.22	c GLOBAL bounds - >= -6152 @ 21.2775
24.09/24.24	c INPROCESSING
24.09/24.24	c GARBAGE COLLECT
24.09/24.24	c GLOBAL bounds - >= -6152 @ 23.2266
24.29/24.43	c GLOBAL bounds - >= -6152 @ 23.4118
25.29/25.49	c GLOBAL bounds - >= -6152 @ 24.4462
25.69/25.84	c GLOBAL bounds - >= -6152 @ 24.7826
25.99/26.12	c GLOBAL bounds - >= -6152 @ 25.0634
26.99/27.12	c GLOBAL bounds - >= -6152 @ 26.0471
27.18/27.35	c GLOBAL bounds - >= -6152 @ 26.2634
27.48/27.60	c GLOBAL bounds - >= -6152 @ 26.5112
27.68/27.88	c #Conflicts:       5000 | #Constraints:      15081
27.68/27.88	c GLOBAL bounds - >= -6152 @ 26.7846
29.18/29.37	c GLOBAL bounds - >= -6152 @ 28.2521
29.58/29.75	c GLOBAL bounds - >= -6152 @ 28.614
29.77/29.99	c GLOBAL bounds - >= -6152 @ 28.8497
30.08/30.28	c GLOBAL bounds - >= -6152 @ 29.1272
30.67/30.82	c GLOBAL bounds - >= -6152 @ 29.6531
30.88/31.07	c GLOBAL bounds - >= -6152 @ 29.8975
36.35/36.55	c #Conflicts:       6000 | #Constraints:      16095
36.35/36.55	c INPROCESSING
36.35/36.55	c GARBAGE COLLECT
36.35/36.55	c GLOBAL bounds - >= -6152 @ 35.2209
36.55/36.77	c GLOBAL bounds - >= -6152 @ 35.43
37.86/38.04	c GLOBAL bounds - >= -6152 @ 36.6579
45.33/45.59	c #Conflicts:       7000 | #Constraints:      15110
45.33/45.59	c #Conflicts:       8000 | #Constraints:      16110
45.33/45.59	c GLOBAL bounds - >= -6152 @ 44.033
46.23/46.40	c GLOBAL bounds - >= -6152 @ 44.8238
46.53/46.73	c GLOBAL bounds - >= -6152 @ 45.1449
46.83/47.03	c GLOBAL bounds - >= -6152 @ 45.435
51.22/51.42	c #Conflicts:       9000 | #Constraints:      17118
51.22/51.42	c INPROCESSING
51.22/51.42	c GARBAGE COLLECT
51.22/51.42	c GLOBAL bounds - >= -6152 @ 49.7221
52.01/52.21	c GLOBAL bounds - >= -6152 @ 50.496
52.41/52.64	c GLOBAL bounds - >= -6152 @ 50.9106
52.71/52.90	c GLOBAL bounds - >= -6152 @ 51.1699
53.01/53.25	c GLOBAL bounds - >= -6152 @ 51.5091
53.40/53.65	c GLOBAL bounds - >= -6152 @ 51.9042
53.70/53.99	c GLOBAL bounds - >= -6152 @ 52.2328
54.10/54.39	c GLOBAL bounds - >= -6152 @ 52.6214
57.70/57.91	c #Conflicts:      10000 | #Constraints:      15843
57.70/57.91	c GLOBAL bounds - >= -6152 @ 56.0619
58.20/58.47	c GLOBAL bounds - >= -6152 @ 56.6113
60.68/60.99	c #Conflicts:      11000 | #Constraints:      16847
60.68/60.99	c GLOBAL bounds - >= -6152 @ 59.0503
61.68/61.97	c GLOBAL bounds - >= -6152 @ 59.9949
62.27/62.53	c GLOBAL bounds - >= -6152 @ 60.5497
65.16/65.47	c GLOBAL bounds - >= -6152 @ 63.3608
65.55/65.87	c GLOBAL bounds - >= -6152 @ 63.745
66.35/66.62	c GLOBAL bounds - >= -6152 @ 64.4855
67.75/68.10	c GLOBAL bounds - >= -6152 @ 65.9216
68.85/69.11	c #Conflicts:      12000 | #Constraints:      17861
68.85/69.11	c INPROCESSING
68.85/69.11	c GARBAGE COLLECT
68.85/69.11	c GLOBAL bounds - >= -6152 @ 66.9282
69.04/69.34	c GLOBAL bounds - >= -6152 @ 67.1479
69.24/69.56	c GLOBAL bounds - >= -6152 @ 67.3671
69.44/69.78	c GLOBAL bounds - >= -6152 @ 67.5831
69.75/70.03	c GLOBAL bounds - >= -6152 @ 67.8248
69.94/70.27	c GLOBAL bounds - >= -6152 @ 68.0581
70.24/70.50	c GLOBAL bounds - >= -6152 @ 68.2852
72.53/72.80	c GLOBAL bounds - >= -6152 @ 70.5404
73.04/73.32	c GLOBAL bounds - >= -6152 @ 71.0411
73.93/74.22	c GLOBAL bounds - >= -6152 @ 71.931
74.23/74.52	c GLOBAL bounds - >= -6152 @ 72.2222
75.23/75.51	c GLOBAL bounds - >= -6152 @ 73.1848
76.92/77.22	c #Conflicts:      13000 | #Constraints:      16330
76.92/77.22	c GLOBAL bounds - >= -6152 @ 74.8504
77.42/77.72	c GLOBAL bounds - >= -6152 @ 75.3387
78.01/78.33	c GLOBAL bounds - >= -6152 @ 75.9287
78.42/78.76	c GLOBAL bounds - >= -6152 @ 76.3538
79.82/80.17	c GLOBAL bounds - >= -6152 @ 77.7355
81.11/81.45	c GLOBAL bounds - >= -6152 @ 78.9869
82.71/83.10	c #Conflicts:      14000 | #Constraints:      17342
82.71/83.10	c GLOBAL bounds - >= -6152 @ 80.6057
84.10/84.43	c GLOBAL bounds - >= -6152 @ 81.8988
87.89/88.20	c #Conflicts:      15000 | #Constraints:      18346
87.89/88.20	c INPROCESSING
87.89/88.20	c GARBAGE COLLECT
87.89/88.20	c GLOBAL bounds - >= -6152 @ 85.6062
88.69/89.03	c GLOBAL bounds - >= -6152 @ 86.4268
89.19/89.50	c GLOBAL bounds - >= -6152 @ 86.8871
89.39/89.70	c GLOBAL bounds - >= -6152 @ 87.082
90.97/91.32	c GLOBAL bounds - >= -6152 @ 88.6504
104.52/104.98	c #Conflicts:      16000 | #Constraints:      16592
104.52/104.98	c #Conflicts:      17000 | #Constraints:      17592
104.52/104.98	c #Conflicts:      18000 | #Constraints:      18592
104.52/104.98	c INPROCESSING
104.52/104.98	c GARBAGE COLLECT
104.52/104.98	c GLOBAL bounds - >= -6152 @ 102.001
112.71/113.16	c #Conflicts:      19000 | #Constraints:      16616
112.71/113.16	c GLOBAL bounds - >= -6152 @ 110.038
114.40/114.88	c GLOBAL bounds - >= -6152 @ 111.723
116.10/116.57	c #Conflicts:      20000 | #Constraints:      17620
116.10/116.57	c GLOBAL bounds - >= -6152 @ 113.362
116.79/117.26	c GLOBAL bounds - >= -6152 @ 114.043
117.29/117.79	c GLOBAL bounds - >= -6152 @ 114.571
118.59/119.04	c GLOBAL bounds - >= -6152 @ 115.802
120.77/121.23	c GLOBAL bounds - >= -6152 @ 117.918
124.46/124.92	c #Conflicts:      21000 | #Constraints:      18630
124.46/124.92	c GLOBAL bounds - >= -6152 @ 121.487
128.65/129.10	c INPROCESSING
128.65/129.10	c GARBAGE COLLECT
128.65/129.10	c GLOBAL bounds - >= -6152 @ 125.59
130.44/130.99	c #Conflicts:      22000 | #Constraints:      16437
130.44/130.99	c GLOBAL bounds - >= -6152 @ 127.436
131.44/131.95	c GLOBAL bounds - >= -6152 @ 128.38
131.94/132.43	c GLOBAL bounds - >= -6152 @ 128.843
132.74/133.23	c GLOBAL bounds - >= -6152 @ 129.623
133.33/133.82	c GLOBAL bounds - >= -6152 @ 130.209
133.93/134.48	c GLOBAL bounds - >= -6152 @ 130.868
134.72/135.28	c GLOBAL bounds - >= -6152 @ 131.65
135.13/135.69	c GLOBAL bounds - >= -6152 @ 132.056
136.32/136.89	c GLOBAL bounds - >= -6152 @ 133.242
138.02/138.57	c GLOBAL bounds - >= -6152 @ 134.887
138.41/139.00	c #Conflicts:      23000 | #Constraints:      17457
138.41/139.00	c GLOBAL bounds - >= -6152 @ 135.311
139.22/139.77	c GLOBAL bounds - >= -6152 @ 136.061
140.01/140.54	c GLOBAL bounds - >= -6152 @ 136.828
140.62/141.15	c GLOBAL bounds - >= -6152 @ 137.427
141.71/142.20	c GLOBAL bounds - >= -6152 @ 138.455
142.21/142.70	c GLOBAL bounds - >= -6152 @ 138.95
142.71/143.28	c GLOBAL bounds - >= -6152 @ 139.513
143.71/144.28	c GLOBAL bounds - >= -6152 @ 140.494
144.30/144.81	c GLOBAL bounds - >= -6152 @ 141.02
147.19/147.70	c #Conflicts:      24000 | #Constraints:      18475
147.19/147.70	c GLOBAL bounds - >= -6152 @ 143.866
150.38/150.90	c GLOBAL bounds - >= -6152 @ 147.006
151.08/151.61	c GLOBAL bounds - >= -6152 @ 147.702
151.97/152.51	c GLOBAL bounds - >= -6152 @ 148.587
156.07/156.67	c #Conflicts:      25000 | #Constraints:      19483
156.07/156.67	c INPROCESSING
156.07/156.67	c GARBAGE COLLECT
156.07/156.67	c GLOBAL bounds - >= -6152 @ 152.637
156.86/157.49	c GLOBAL bounds - >= -6152 @ 153.439
165.54/166.11	c #Conflicts:      26000 | #Constraints:      17094
165.54/166.11	c #Conflicts:      27000 | #Constraints:      18094
165.54/166.11	c GLOBAL bounds - >= -6152 @ 161.862
166.44/167.06	c GLOBAL bounds - >= -6152 @ 162.801
168.03/168.60	c GLOBAL bounds - >= -6152 @ 164.316
169.03/169.64	c GLOBAL bounds - >= -6152 @ 165.339
170.62/171.22	c GLOBAL bounds - >= -6152 @ 166.901
171.12/171.76	c GLOBAL bounds - >= -6152 @ 167.436
171.72/172.33	c #Conflicts:      28000 | #Constraints:      19106
171.72/172.33	c GLOBAL bounds - >= -6152 @ 167.989
173.42/174.05	c GLOBAL bounds - >= -6152 @ 169.687
173.91/174.59	c GLOBAL bounds - >= -6152 @ 170.216
174.42/175.09	c GLOBAL bounds - >= -6152 @ 170.717
175.61/176.21	c GLOBAL bounds - >= -6152 @ 171.813
185.77/186.41	c #Conflicts:      29000 | #Constraints:      20116
185.77/186.41	c INPROCESSING
185.77/186.41	c GARBAGE COLLECT
185.77/186.41	c #Conflicts:      30000 | #Constraints:      17523
185.77/186.41	c GLOBAL bounds - >= -6152 @ 181.807
189.45/190.15	c GLOBAL bounds - >= -6152 @ 185.461
190.25/190.97	c GLOBAL bounds - >= -6152 @ 186.27
191.25/191.98	c GLOBAL bounds - >= -6152 @ 187.26
192.55/193.22	c #Conflicts:      31000 | #Constraints:      18531
192.55/193.22	c GLOBAL bounds - >= -6152 @ 188.476
195.23/195.97	c GLOBAL bounds - >= -6152 @ 191.175
200.02/200.79	c #Conflicts:      32000 | #Constraints:      19535
200.02/200.79	c GLOBAL bounds - >= -6152 @ 195.922
201.02/201.76	c GLOBAL bounds - >= -6152 @ 196.881
201.72/202.42	c GLOBAL bounds - >= -6152 @ 197.534
202.82/203.53	c GLOBAL bounds - >= -6152 @ 198.632
203.42/204.13	c GLOBAL bounds - >= -6152 @ 199.232
205.21/206.00	c GLOBAL bounds - >= -6152 @ 201.07
207.10/207.85	c GLOBAL bounds - >= -6152 @ 202.899
209.20/209.92	c #Conflicts:      33000 | #Constraints:      20549
209.20/209.92	c INPROCESSING
209.20/209.92	c GARBAGE COLLECT
209.20/209.92	c GLOBAL bounds - >= -6152 @ 204.94
210.20/210.97	c GLOBAL bounds - >= -6152 @ 205.983
210.99/211.79	c GLOBAL bounds - >= -6152 @ 206.793
212.78/213.56	c GLOBAL bounds - >= -6152 @ 208.524
219.96/220.75	c #Conflicts:      34000 | #Constraints:      17746
219.96/220.75	c #Conflicts:      35000 | #Constraints:      18746
219.96/220.75	c GLOBAL bounds - >= -6152 @ 215.507
220.65/221.40	c GLOBAL bounds - >= -6152 @ 216.15
221.15/221.97	c GLOBAL bounds - >= -6152 @ 216.714
234.72/235.54	c #Conflicts:      36000 | #Constraints:      19752
234.72/235.54	c #Conflicts:      37000 | #Constraints:      20752
234.72/235.54	c INPROCESSING
234.72/235.54	c GARBAGE COLLECT
234.72/235.54	c #Conflicts:      38000 | #Constraints:      17770
234.72/235.54	c GLOBAL bounds - >= -6152 @ 229.99
237.01/237.82	c GLOBAL bounds - >= -6152 @ 232.223
238.51/239.32	c GLOBAL bounds - >= -6152 @ 233.698
252.16/253.08	c #Conflicts:      39000 | #Constraints:      18776
252.16/253.08	c #Conflicts:      40000 | #Constraints:      19776
252.16/253.08	c #Conflicts:      41000 | #Constraints:      20776
252.16/253.08	c INPROCESSING
252.16/253.08	c GARBAGE COLLECT
252.16/253.08	c GLOBAL bounds - >= -6152 @ 247.141
256.44/257.39	c #Conflicts:      42000 | #Constraints:      17588
256.44/257.39	c GLOBAL bounds - >= -6152 @ 251.365
259.93/260.87	c #Conflicts:      43000 | #Constraints:      18590
259.93/260.87	c GLOBAL bounds - >= -6152 @ 254.775
271.50/272.43	c #Conflicts:      44000 | #Constraints:      19592
271.50/272.43	c #Conflicts:      45000 | #Constraints:      20592
271.50/272.43	c GLOBAL bounds - >= -6152 @ 266.126
279.76/280.78	c #Conflicts:      46000 | #Constraints:      21594
279.76/280.78	c INPROCESSING
279.76/280.78	c GARBAGE COLLECT
279.76/280.78	c GLOBAL bounds - >= -6152 @ 274.259
284.45/285.44	c GLOBAL bounds - >= -6152 @ 278.846
286.34/287.30	c #Conflicts:      47000 | #Constraints:      18205
286.34/287.30	c GLOBAL bounds - >= -6152 @ 280.667
287.53/288.50	c GLOBAL bounds - >= -6152 @ 281.847
296.51/297.50	c #Conflicts:      48000 | #Constraints:      19209
296.51/297.50	c GLOBAL bounds - >= -6152 @ 290.693
298.31/299.30	c #Conflicts:      49000 | #Constraints:      20211
298.31/299.30	c GLOBAL bounds - >= -6152 @ 292.468
299.01/300.05	c GLOBAL bounds - >= -6152 @ 293.209
299.90/300.94	c GLOBAL bounds - >= -6152 @ 294.089
301.79/302.84	c GLOBAL bounds - >= -6152 @ 295.958
303.19/304.22	c GLOBAL bounds - >= -6152 @ 297.322
307.48/308.56	c #Conflicts:      50000 | #Constraints:      21221
307.48/308.56	c GLOBAL bounds - >= -6152 @ 301.597
309.57/310.63	c GLOBAL bounds - >= -6152 @ 303.638
310.66/311.79	c GLOBAL bounds - >= -6152 @ 304.766
331.71/332.86	c #Conflicts:      51000 | #Constraints:      22227
331.71/332.86	c INPROCESSING
331.71/332.86	c GARBAGE COLLECT
331.71/332.86	c #Conflicts:      52000 | #Constraints:      18627
331.71/332.86	c #Conflicts:      53000 | #Constraints:      19627
331.71/332.86	c #Conflicts:      54000 | #Constraints:      20627
331.71/332.86	c GLOBAL bounds - >= -6152 @ 325.444
346.57/347.70	c #Conflicts:      55000 | #Constraints:      21629
346.57/347.70	c #Conflicts:      56000 | #Constraints:      22629
346.57/347.70	c INPROCESSING
346.57/347.70	c GARBAGE COLLECT
346.57/347.70	c GLOBAL bounds - >= -6152 @ 339.974
349.76/350.95	c GLOBAL bounds - >= -6152 @ 343.182
352.75/353.91	c #Conflicts:      57000 | #Constraints:      18843
352.75/353.91	c GLOBAL bounds - >= -6152 @ 346.096
354.35/355.55	c GLOBAL bounds - >= -6152 @ 347.709
355.24/356.44	c GLOBAL bounds - >= -6152 @ 348.579
357.94/359.19	c GLOBAL bounds - >= -6152 @ 351.293
359.23/360.41	c GLOBAL bounds - >= -6152 @ 352.497
372.00/373.20	c #Conflicts:      58000 | #Constraints:      19853
372.00/373.20	c #Conflicts:      59000 | #Constraints:      20853
372.00/373.20	c GLOBAL bounds - >= -6152 @ 365.04
374.29/375.50	c #Conflicts:      60000 | #Constraints:      21855
374.29/375.50	c GLOBAL bounds - >= -6152 @ 367.303
399.02/400.38	c #Conflicts:      61000 | #Constraints:      22857
399.02/400.38	c INPROCESSING
399.02/400.38	c GARBAGE COLLECT
399.02/400.38	c #Conflicts:      62000 | #Constraints:      18861
399.02/400.38	c #Conflicts:      63000 | #Constraints:      19861
399.02/400.38	c #Conflicts:      64000 | #Constraints:      20861
399.02/400.38	c GLOBAL bounds - >= -6152 @ 391.705
406.30/407.60	c #Conflicts:      65000 | #Constraints:      21863
406.30/407.60	c GLOBAL bounds - >= -6152 @ 398.81
412.69/414.07	c #Conflicts:      66000 | #Constraints:      22865
412.69/414.07	c GLOBAL bounds - >= -6152 @ 405.174
418.86/420.28	c INPROCESSING
418.86/420.28	c GARBAGE COLLECT
418.86/420.28	c GLOBAL bounds - >= -6152 @ 411.308
423.85/425.29	c #Conflicts:      67000 | #Constraints:      18680
423.85/425.29	c GLOBAL bounds - >= -6152 @ 416.208
427.34/428.72	c #Conflicts:      68000 | #Constraints:      19682
427.34/428.72	c GLOBAL bounds - >= -6152 @ 419.587
433.63/435.09	c #Conflicts:      69000 | #Constraints:      20684
433.63/435.09	c GLOBAL bounds - >= -6152 @ 425.809
434.62/436.05	c GLOBAL bounds - >= -6152 @ 426.761
449.08/450.59	c #Conflicts:      70000 | #Constraints:      21688
449.08/450.59	c #Conflicts:      71000 | #Constraints:      22688
449.08/450.59	c GLOBAL bounds - >= -6152 @ 441.084
455.96/457.45	c #Conflicts:      72000 | #Constraints:      23690
455.96/457.45	c INPROCESSING
455.96/457.45	c GARBAGE COLLECT
455.96/457.45	c GLOBAL bounds - >= -6152 @ 447.804
459.66/461.18	c GLOBAL bounds - >= -6152 @ 451.466
461.75/463.26	c #Conflicts:      73000 | #Constraints:      19304
461.75/463.26	c GLOBAL bounds - >= -6152 @ 453.535
464.93/466.44	c GLOBAL bounds - >= -6152 @ 456.673
469.92/471.40	c #Conflicts:      74000 | #Constraints:      20308
469.92/471.40	c GLOBAL bounds - >= -6152 @ 461.568
482.49/484.05	c #Conflicts:      75000 | #Constraints:      21310
482.49/484.05	c #Conflicts:      76000 | #Constraints:      22310
482.49/484.05	c GLOBAL bounds - >= -6152 @ 473.994
491.56/493.18	c #Conflicts:      77000 | #Constraints:      23312
491.56/493.18	c GLOBAL bounds - >= -6152 @ 483.008
499.34/500.99	c GLOBAL bounds - >= -6152 @ 490.571
504.02/505.69	c #Conflicts:      78000 | #Constraints:      24316
504.02/505.69	c INPROCESSING
504.02/505.69	c GARBAGE COLLECT
504.02/505.69	c GLOBAL bounds - >= -6152 @ 495.215
506.62/508.25	c GLOBAL bounds - >= -6152 @ 497.736
535.04/536.79	c #Conflicts:      79000 | #Constraints:      19682
535.04/536.79	c #Conflicts:      80000 | #Constraints:      20682
535.04/536.79	c #Conflicts:      81000 | #Constraints:      21682
535.04/536.79	c #Conflicts:      82000 | #Constraints:      22682
535.04/536.79	c #Conflicts:      83000 | #Constraints:      23682
535.04/536.79	c #Conflicts:      84000 | #Constraints:      24682
535.04/536.79	c INPROCESSING
535.04/536.79	c GARBAGE COLLECT
535.04/536.79	c GLOBAL bounds - >= -6152 @ 525.803
734.86/737.15	c #Conflicts:      85000 | #Constraints:      19907
734.86/737.15	c #Conflicts:      86000 | #Constraints:      20907
734.86/737.15	c #Conflicts:      87000 | #Constraints:      21907
734.86/737.15	c #Conflicts:      88000 | #Constraints:      22907
734.86/737.15	c #Conflicts:      89000 | #Constraints:      23907
734.86/737.15	c #Conflicts:      90000 | #Constraints:      24907
734.86/737.15	c INPROCESSING
734.86/737.15	c GARBAGE COLLECT
734.86/737.15	c #Conflicts:      91000 | #Constraints:      19924
734.86/737.15	c #Conflicts:      92000 | #Constraints:      20924
734.86/737.15	c #Conflicts:      93000 | #Constraints:      21924
734.86/737.15	c #Conflicts:      94000 | #Constraints:      22924
734.86/737.15	c #Conflicts:      95000 | #Constraints:      23924
734.86/737.15	c #Conflicts:      96000 | #Constraints:      24924
734.86/737.15	c INPROCESSING
734.86/737.15	c GARBAGE COLLECT
734.86/737.15	c #Conflicts:      97000 | #Constraints:      19740
734.86/737.15	c #Conflicts:      98000 | #Constraints:      20740
734.86/737.15	c #Conflicts:      99000 | #Constraints:      21740
734.86/737.15	c #Conflicts:     100000 | #Constraints:      22740
734.86/737.15	c #Conflicts:     101000 | #Constraints:      23740
734.86/737.15	c #Conflicts:     102000 | #Constraints:      24740
734.86/737.15	c #Conflicts:     103000 | #Constraints:      25740
734.86/737.15	c INPROCESSING
734.86/737.15	c GARBAGE COLLECT
734.86/737.15	c #Conflicts:     104000 | #Constraints:      20340
734.86/737.15	c #Conflicts:     105000 | #Constraints:      21340
734.86/737.15	c #Conflicts:     106000 | #Constraints:      22340
734.86/737.15	c #Conflicts:     107000 | #Constraints:      23340
734.86/737.15	c GLOBAL bounds - >= -6152 @ 723.623
755.99/758.39	c #Conflicts:     108000 | #Constraints:      24342
755.99/758.39	c #Conflicts:     109000 | #Constraints:      25342
755.99/758.39	c #Conflicts:     110000 | #Constraints:      26342
755.99/758.39	c INPROCESSING
755.99/758.39	c GARBAGE COLLECT
755.99/758.39	c GLOBAL bounds - >= -6152 @ 744.602
760.58/762.97	c #Conflicts:     111000 | #Constraints:      20720
760.58/762.97	c GLOBAL bounds - >= -6152 @ 749.14
762.18/764.53	c GLOBAL bounds - >= -6152 @ 750.684
777.53/779.95	c #Conflicts:     112000 | #Constraints:      21724
777.53/779.95	c #Conflicts:     113000 | #Constraints:      22724
777.53/779.95	c GLOBAL bounds - >= -6152 @ 765.819
788.09/790.53	c #Conflicts:     114000 | #Constraints:      23726
788.09/790.53	c GLOBAL bounds - >= -6152 @ 776.237
797.58/800.10	c #Conflicts:     115000 | #Constraints:      24728
797.58/800.10	c GLOBAL bounds - >= -6152 @ 785.688
810.54/813.07	c #Conflicts:     116000 | #Constraints:      25730
810.54/813.07	c GLOBAL bounds - >= -6152 @ 798.501
830.17/832.76	c #Conflicts:     117000 | #Constraints:      26732
830.17/832.76	c INPROCESSING
830.17/832.76	c GARBAGE COLLECT
830.17/832.76	c #Conflicts:     118000 | #Constraints:      20932
830.17/832.76	c #Conflicts:     119000 | #Constraints:      21932
830.17/832.76	c GLOBAL bounds - >= -6152 @ 817.857
847.43/850.09	c #Conflicts:     120000 | #Constraints:      22934
847.43/850.09	c #Conflicts:     121000 | #Constraints:      23934
847.43/850.09	c #Conflicts:     122000 | #Constraints:      24934
847.43/850.09	c GLOBAL bounds - >= -6152 @ 834.857
862.28/864.92	c #Conflicts:     123000 | #Constraints:      25936
862.28/864.92	c #Conflicts:     124000 | #Constraints:      26936
862.28/864.92	c GLOBAL bounds - >= -6152 @ 849.51
879.04/881.75	c INPROCESSING
879.04/881.75	c GARBAGE COLLECT
879.04/881.75	c #Conflicts:     125000 | #Constraints:      20932
879.04/881.75	c #Conflicts:     126000 | #Constraints:      21932
879.04/881.75	c GLOBAL bounds - >= -6152 @ 866.159
892.69/895.42	c #Conflicts:     127000 | #Constraints:      22934
892.69/895.42	c GLOBAL bounds - >= -6152 @ 879.681
917.03/919.86	c #Conflicts:     128000 | #Constraints:      23936
917.03/919.86	c #Conflicts:     129000 | #Constraints:      24936
917.03/919.86	c #Conflicts:     130000 | #Constraints:      25936
917.03/919.86	c GLOBAL bounds - >= -6152 @ 903.708
923.70/926.50	c #Conflicts:     131000 | #Constraints:      26938
923.70/926.50	c GLOBAL bounds - >= -6152 @ 910.249
937.96/940.86	c INPROCESSING
937.96/940.86	c GARBAGE COLLECT
937.96/940.86	c #Conflicts:     132000 | #Constraints:      20749
937.96/940.86	c GLOBAL bounds - >= -6152 @ 924.398
943.75/946.64	c #Conflicts:     133000 | #Constraints:      21751
943.75/946.64	c GLOBAL bounds - >= -6152 @ 930.102
952.42/955.30	c #Conflicts:     134000 | #Constraints:      22753
952.42/955.30	c GLOBAL bounds - >= -6152 @ 938.639
960.10/963.03	c #Conflicts:     135000 | #Constraints:      23755
960.10/963.03	c GLOBAL bounds - >= -6152 @ 946.269
965.38/968.34	c GLOBAL bounds - >= -6152 @ 951.517
970.97/973.92	c #Conflicts:     136000 | #Constraints:      24759
970.97/973.92	c GLOBAL bounds - >= -6152 @ 957.014
993.50/996.58	c #Conflicts:     137000 | #Constraints:      25761
993.50/996.58	c #Conflicts:     138000 | #Constraints:      26761
993.50/996.58	c #Conflicts:     139000 | #Constraints:      27761
993.50/996.58	c INPROCESSING
993.50/996.58	c GARBAGE COLLECT
993.50/996.58	c GLOBAL bounds - >= -6152 @ 979.333
995.00/998.02	c GLOBAL bounds - >= -6152 @ 980.751
1053.41/1056.63	c #Conflicts:     140000 | #Constraints:      21372
1053.41/1056.63	c #Conflicts:     141000 | #Constraints:      22372
1053.41/1056.63	c #Conflicts:     142000 | #Constraints:      23372
1053.41/1056.63	c #Conflicts:     143000 | #Constraints:      24372
1053.41/1056.63	c #Conflicts:     144000 | #Constraints:      25372
1053.41/1056.63	c #Conflicts:     145000 | #Constraints:      26372
1053.41/1056.63	c #Conflicts:     146000 | #Constraints:      27372
1053.41/1056.63	c #Conflicts:     147000 | #Constraints:      28372
1053.41/1056.63	c INPROCESSING
1053.41/1056.63	c GARBAGE COLLECT
1053.41/1056.63	c #Conflicts:     148000 | #Constraints:      21780
1053.41/1056.63	c GLOBAL bounds - >= -6152 @ 1038.3
1056.31/1059.50	c GLOBAL bounds - >= -6152 @ 1041.13
1065.88/1069.13	c #Conflicts:     149000 | #Constraints:      22784
1065.88/1069.13	c GLOBAL bounds - >= -6152 @ 1050.6
1079.19/1082.59	c #Conflicts:     150000 | #Constraints:      23786
1079.19/1082.59	c #Conflicts:     151000 | #Constraints:      24786
1079.19/1082.59	c GLOBAL bounds - >= -6152 @ 1063.81
1087.55/1090.94	c #Conflicts:     152000 | #Constraints:      25788
1087.55/1090.94	c GLOBAL bounds - >= -6152 @ 1072.02
1099.99/1103.40	c #Conflicts:     153000 | #Constraints:      26790
1099.99/1103.40	c GLOBAL bounds - >= -6152 @ 1084.21
1103.47/1106.98	c GLOBAL bounds - >= -6152 @ 1087.74
1133.01/1136.69	c #Conflicts:     154000 | #Constraints:      27794
1133.01/1136.69	c #Conflicts:     155000 | #Constraints:      28794
1133.01/1136.69	c INPROCESSING
1133.01/1136.69	c GARBAGE COLLECT
1133.01/1136.69	c #Conflicts:     156000 | #Constraints:      21999
1133.01/1136.69	c #Conflicts:     157000 | #Constraints:      22999
1133.01/1136.69	c GLOBAL bounds - >= -6152 @ 1116.91
1149.72/1153.48	c #Conflicts:     158000 | #Constraints:      24001
1149.72/1153.48	c #Conflicts:     159000 | #Constraints:      25001
1149.72/1153.48	c GLOBAL bounds - >= -6152 @ 1133.37
1158.10/1161.86	c #Conflicts:     160000 | #Constraints:      26003
1158.10/1161.86	c GLOBAL bounds - >= -6152 @ 1141.64
1160.58/1164.33	c GLOBAL bounds - >= -6152 @ 1144.08
1172.83/1176.67	c #Conflicts:     161000 | #Constraints:      27007
1172.83/1176.67	c GLOBAL bounds - >= -6152 @ 1156.23
1185.10/1188.93	c #Conflicts:     162000 | #Constraints:      28009
1185.10/1188.93	c #Conflicts:     163000 | #Constraints:      29009
1185.10/1188.93	c INPROCESSING
1185.10/1188.93	c GARBAGE COLLECT
1185.10/1188.93	c GLOBAL bounds - >= -6152 @ 1168.36
1187.09/1190.91	c GLOBAL bounds - >= -6152 @ 1170.32
1189.19/1193.05	c #Conflicts:     164000 | #Constraints:      22016
1189.19/1193.05	c GLOBAL bounds - >= -6152 @ 1172.44
1208.82/1212.74	c #Conflicts:     165000 | #Constraints:      23018
1208.82/1212.74	c #Conflicts:     166000 | #Constraints:      24018
1208.82/1212.74	c #Conflicts:     167000 | #Constraints:      25018
1208.82/1212.74	c GLOBAL bounds - >= -6152 @ 1191.8
1217.99/1221.90	c #Conflicts:     168000 | #Constraints:      26020
1217.99/1221.90	c GLOBAL bounds - >= -6152 @ 1200.86
1234.75/1238.73	c #Conflicts:     169000 | #Constraints:      27022
1234.75/1238.73	c GLOBAL bounds - >= -6152 @ 1217.5
1270.25/1274.40	c #Conflicts:     170000 | #Constraints:      28024
1270.25/1274.40	c #Conflicts:     171000 | #Constraints:      29024
1270.25/1274.40	c INPROCESSING
1270.25/1274.40	c GARBAGE COLLECT
1270.25/1274.40	c #Conflicts:     172000 | #Constraints:      21829
1270.25/1274.40	c #Conflicts:     173000 | #Constraints:      22829
1270.25/1274.40	c GLOBAL bounds - >= -6152 @ 1252.7
1326.40/1330.68	c #Conflicts:     174000 | #Constraints:      23831
1326.40/1330.68	c #Conflicts:     175000 | #Constraints:      24831
1326.40/1330.68	c #Conflicts:     176000 | #Constraints:      25831
1326.40/1330.68	c #Conflicts:     177000 | #Constraints:      26831
1326.40/1330.68	c #Conflicts:     178000 | #Constraints:      27831
1326.40/1330.68	c #Conflicts:     179000 | #Constraints:      28831
1326.40/1330.68	c GLOBAL bounds - >= -6152 @ 1308.18
1339.46/1343.76	c #Conflicts:     180000 | #Constraints:      29833
1339.46/1343.76	c INPROCESSING
1339.46/1343.76	c GARBAGE COLLECT
1339.46/1343.76	c #Conflicts:     181000 | #Constraints:      22421
1339.46/1343.76	c GLOBAL bounds - >= -6152 @ 1321.09
1355.51/1359.85	c #Conflicts:     182000 | #Constraints:      23423
1355.51/1359.85	c #Conflicts:     183000 | #Constraints:      24423
1355.51/1359.85	c #Conflicts:     184000 | #Constraints:      25423
1355.51/1359.85	c GLOBAL bounds - >= -6152 @ 1336.82
1362.09/1366.47	c #Conflicts:     185000 | #Constraints:      26425
1362.09/1366.47	c GLOBAL bounds - >= -6152 @ 1343.39
1371.46/1375.89	c #Conflicts:     186000 | #Constraints:      27427
1371.46/1375.89	c GLOBAL bounds - >= -6152 @ 1352.69
1425.92/1430.47	c #Conflicts:     187000 | #Constraints:      28429
1425.92/1430.47	c #Conflicts:     188000 | #Constraints:      29429
1425.92/1430.47	c #Conflicts:     189000 | #Constraints:      30429
1425.92/1430.47	c INPROCESSING
1425.92/1430.47	c GARBAGE COLLECT
1425.92/1430.47	c #Conflicts:     190000 | #Constraints:      22829
1425.92/1430.47	c #Conflicts:     191000 | #Constraints:      23829
1425.92/1430.47	c #Conflicts:     192000 | #Constraints:      24829
1425.92/1430.47	c #Conflicts:     193000 | #Constraints:      25829
1425.92/1430.47	c #Conflicts:     194000 | #Constraints:      26829
1425.92/1430.47	c #Conflicts:     195000 | #Constraints:      27829
1425.92/1430.47	c GLOBAL bounds - >= -6152 @ 1406.53
1458.13/1462.77	c #Conflicts:     196000 | #Constraints:      28831
1458.13/1462.77	c #Conflicts:     197000 | #Constraints:      29831
1458.13/1462.77	c #Conflicts:     198000 | #Constraints:      30831
1458.13/1462.77	c INPROCESSING
1458.13/1462.77	c GARBAGE COLLECT
1458.13/1462.77	c #Conflicts:     199000 | #Constraints:      23034
1458.13/1462.77	c GLOBAL bounds - >= -6152 @ 1438.51
1759.29/1764.72	c #Conflicts:     200000 | #Constraints:      24036
1759.29/1764.72	c #Conflicts:     201000 | #Constraints:      25036
1759.29/1764.72	c #Conflicts:     202000 | #Constraints:      26036
1759.29/1764.72	c #Conflicts:     203000 | #Constraints:      27036
1759.29/1764.72	c #Conflicts:     204000 | #Constraints:      28036
1759.29/1764.72	c #Conflicts:     205000 | #Constraints:      29036
1759.29/1764.72	c #Conflicts:     206000 | #Constraints:      30036
1759.29/1764.72	c #Conflicts:     207000 | #Constraints:      31036
1759.29/1764.72	c INPROCESSING
1759.29/1764.72	c GARBAGE COLLECT
1759.29/1764.72	c #Conflicts:     208000 | #Constraints:      23048
1759.29/1764.72	c #Conflicts:     209000 | #Constraints:      24048
1759.29/1764.72	c #Conflicts:     210000 | #Constraints:      25048
1759.29/1764.72	c #Conflicts:     211000 | #Constraints:      26048
1759.29/1764.72	c #Conflicts:     212000 | #Constraints:      27048
1759.29/1764.72	c #Conflicts:     213000 | #Constraints:      28048
1759.29/1764.72	c #Conflicts:     214000 | #Constraints:      29048
1759.29/1764.72	c #Conflicts:     215000 | #Constraints:      30048
1759.29/1764.72	c #Conflicts:     216000 | #Constraints:      31048
1759.29/1764.72	c INPROCESSING
1759.29/1764.72	c GARBAGE COLLECT
1759.29/1764.72	c #Conflicts:     217000 | #Constraints:      22853
1759.29/1764.72	c #Conflicts:     218000 | #Constraints:      23853
1759.29/1764.72	c #Conflicts:     219000 | #Constraints:      24853
1759.29/1764.72	c #Conflicts:     220000 | #Constraints:      25853
1759.29/1764.72	c #Conflicts:     221000 | #Constraints:      26853
1759.29/1764.72	c #Conflicts:     222000 | #Constraints:      27853
1759.29/1764.72	c #Conflicts:     223000 | #Constraints:      28853
1759.29/1764.72	c #Conflicts:     224000 | #Constraints:      29853
1759.29/1764.72	c #Conflicts:     225000 | #Constraints:      30853
1759.29/1764.72	c #Conflicts:     226000 | #Constraints:      31853
1759.29/1764.72	c INPROCESSING
1759.29/1764.72	c GARBAGE COLLECT
1759.29/1764.72	c #Conflicts:     227000 | #Constraints:      23454
1759.29/1764.72	c #Conflicts:     228000 | #Constraints:      24454
1759.29/1764.72	c #Conflicts:     229000 | #Constraints:      25454
1759.29/1764.72	c #Conflicts:     230000 | #Constraints:      26454
1759.29/1764.72	c #Conflicts:     231000 | #Constraints:      27454
1759.29/1764.72	c #Conflicts:     232000 | #Constraints:      28454
1759.29/1764.72	c #Conflicts:     233000 | #Constraints:      29454
1759.29/1764.72	c #Conflicts:     234000 | #Constraints:      30454
1759.29/1764.72	c #Conflicts:     235000 | #Constraints:      31454
1759.29/1764.72	c #Conflicts:     236000 | #Constraints:      32454
1759.29/1764.72	c INPROCESSING
1759.29/1764.72	c GARBAGE COLLECT
1759.29/1764.72	c #Conflicts:     237000 | #Constraints:      23858
1759.29/1764.72	c #Conflicts:     238000 | #Constraints:      24858
1759.29/1764.72	c #Conflicts:     239000 | #Constraints:      25858
1759.29/1764.72	c #Conflicts:     240000 | #Constraints:      26858
1759.29/1764.72	c #Conflicts:     241000 | #Constraints:      27858
1759.29/1764.72	c GLOBAL bounds - >= -6152 @ 1736.23
1880.44/1886.24	c #Conflicts:     242000 | #Constraints:      28860
1880.44/1886.24	c #Conflicts:     243000 | #Constraints:      29860
1880.44/1886.24	c #Conflicts:     244000 | #Constraints:      30860
1880.44/1886.24	c #Conflicts:     245000 | #Constraints:      31860
1880.44/1886.24	c #Conflicts:     246000 | #Constraints:      32860
1880.44/1886.24	c INPROCESSING
1880.44/1886.24	c GARBAGE COLLECT
1880.44/1886.24	c #Conflicts:     247000 | #Constraints:      24073
1880.44/1886.24	c #Conflicts:     248000 | #Constraints:      25073
1880.44/1886.24	c #Conflicts:     249000 | #Constraints:      26073
1880.44/1886.24	c #Conflicts:     250000 | #Constraints:      27073
1880.44/1886.24	c #Conflicts:     251000 | #Constraints:      28073
1880.44/1886.24	c #Conflicts:     252000 | #Constraints:      29073
1880.44/1886.24	c GLOBAL bounds - >= -6152 @ 1856.45
1902.48/1908.36	c #Conflicts:     253000 | #Constraints:      30075
1902.48/1908.36	c #Conflicts:     254000 | #Constraints:      31075
1902.48/1908.36	c GLOBAL bounds - >= -6152 @ 1878.39
1925.92/1931.80	c #Conflicts:     255000 | #Constraints:      32077
1925.92/1931.80	c #Conflicts:     256000 | #Constraints:      33077
1925.92/1931.80	c GLOBAL bounds - >= -6152 @ 1901.6
1933.90/1939.80	c INPROCESSING
1933.90/1939.80	c GARBAGE COLLECT
1933.90/1939.80	c GLOBAL bounds - >= -6152 @ 1909.55
1964.41/1970.47	c #Conflicts:     257000 | #Constraints:      24075
1964.41/1970.47	c #Conflicts:     258000 | #Constraints:      25075
1964.41/1970.47	c #Conflicts:     259000 | #Constraints:      26075
1964.41/1970.47	c #Conflicts:     260000 | #Constraints:      27075
1964.41/1970.47	c GLOBAL bounds - >= -6152 @ 1939.89
1975.28/1981.32	c #Conflicts:     261000 | #Constraints:      28077
1975.28/1981.32	c GLOBAL bounds - >= -6152 @ 1950.63
1990.24/1996.30	c #Conflicts:     262000 | #Constraints:      29079
1990.24/1996.30	c GLOBAL bounds - >= -6152 @ 1965.42
2018.56/2024.78	c #Conflicts:     263000 | #Constraints:      30081
2018.56/2024.78	c #Conflicts:     264000 | #Constraints:      31081
2018.56/2024.78	c #Conflicts:     265000 | #Constraints:      32081
2018.56/2024.78	c GLOBAL bounds - >= -6152 @ 1993.6
2027.44/2033.64	c #Conflicts:     266000 | #Constraints:      33083
2027.44/2033.64	c GLOBAL bounds - >= -6152 @ 2002.37
2038.81/2045.05	c INPROCESSING
2038.81/2045.05	c GARBAGE COLLECT
2038.81/2045.05	c #Conflicts:     267000 | #Constraints:      23883
2038.81/2045.05	c GLOBAL bounds - >= -6152 @ 2013.67
2073.61/2079.99	c #Conflicts:     268000 | #Constraints:      24885
2073.61/2079.99	c #Conflicts:     269000 | #Constraints:      25885
2073.61/2079.99	c #Conflicts:     270000 | #Constraints:      26885
2073.61/2079.99	c #Conflicts:     271000 | #Constraints:      27885
2073.61/2079.99	c #Conflicts:     272000 | #Constraints:      28885
2073.61/2079.99	c GLOBAL bounds - >= -6152 @ 2048.26
2180.51/2187.14	c #Conflicts:     273000 | #Constraints:      29887
2180.51/2187.14	c #Conflicts:     274000 | #Constraints:      30887
2180.51/2187.14	c #Conflicts:     275000 | #Constraints:      31887
2180.51/2187.14	c #Conflicts:     276000 | #Constraints:      32887
2180.51/2187.14	c #Conflicts:     277000 | #Constraints:      33887
2180.51/2187.14	c INPROCESSING
2180.51/2187.14	c GARBAGE COLLECT
2180.51/2187.14	c #Conflicts:     278000 | #Constraints:      24505
2180.51/2187.14	c #Conflicts:     279000 | #Constraints:      25505
2180.51/2187.14	c #Conflicts:     280000 | #Constraints:      26505
2180.51/2187.14	c #Conflicts:     281000 | #Constraints:      27505
2180.51/2187.14	c GLOBAL bounds - >= -6152 @ 2154.04
2204.84/2211.59	c #Conflicts:     282000 | #Constraints:      28507
2204.84/2211.59	c #Conflicts:     283000 | #Constraints:      29507
2204.84/2211.59	c #Conflicts:     284000 | #Constraints:      30507
2204.84/2211.59	c GLOBAL bounds - >= -6152 @ 2178.21
2222.99/2229.70	c #Conflicts:     285000 | #Constraints:      31509
2222.99/2229.70	c #Conflicts:     286000 | #Constraints:      32509
2222.99/2229.70	c GLOBAL bounds - >= -6152 @ 2196.2
2231.07/2237.81	c GLOBAL bounds - >= -6152 @ 2204.24
2237.95/2244.80	c #Conflicts:     287000 | #Constraints:      33513
2237.95/2244.80	c GLOBAL bounds - >= -6152 @ 2211.16
2243.53/2250.34	c GLOBAL bounds - >= -6152 @ 2216.65
2265.17/2272.10	c #Conflicts:     288000 | #Constraints:      34517
2265.17/2272.10	c INPROCESSING
2265.17/2272.10	c GARBAGE COLLECT
2265.17/2272.10	c #Conflicts:     289000 | #Constraints:      24894
2265.17/2272.10	c GLOBAL bounds - >= -6152 @ 2238.16
2268.16/2275.06	c GLOBAL bounds - >= -6152 @ 2241.09
2269.86/2276.72	c #Conflicts:     290000 | #Constraints:      25898
2269.86/2276.72	c GLOBAL bounds - >= -6152 @ 2242.74
2274.44/2281.33	c GLOBAL bounds - >= -6152 @ 2247.26
2335.78/2342.85	c #Conflicts:     291000 | #Constraints:      26902
2335.78/2342.85	c #Conflicts:     292000 | #Constraints:      27902
2335.78/2342.85	c #Conflicts:     293000 | #Constraints:      28902
2335.78/2342.85	c #Conflicts:     294000 | #Constraints:      29902
2335.78/2342.85	c #Conflicts:     295000 | #Constraints:      30902
2335.78/2342.85	c #Conflicts:     296000 | #Constraints:      31902
2335.78/2342.85	c #Conflicts:     297000 | #Constraints:      32902
2335.78/2342.85	c GLOBAL bounds - >= -6152 @ 2308.19
2338.97/2346.03	c GLOBAL bounds - >= -6152 @ 2311.34
2342.25/2349.33	c GLOBAL bounds - >= -6152 @ 2314.61
2347.54/2354.65	c GLOBAL bounds - >= -6152 @ 2319.88
2349.43/2356.59	c #Conflicts:     298000 | #Constraints:      33910
2349.43/2356.59	c GLOBAL bounds - >= -6152 @ 2321.81
2351.43/2358.58	c GLOBAL bounds - >= -6152 @ 2323.78
2363.19/2370.37	c #Conflicts:     299000 | #Constraints:      34914
2363.19/2370.37	c INPROCESSING
2363.19/2370.37	c GARBAGE COLLECT
2363.19/2370.37	c GLOBAL bounds - >= -6152 @ 2335.38
2371.87/2379.02	c GLOBAL bounds - >= -6152 @ 2343.94
2380.85/2388.08	c #Conflicts:     300000 | #Constraints:      25116
2380.85/2388.08	c GLOBAL bounds - >= -6152 @ 2352.89
2424.20/2431.52	c #Conflicts:     301000 | #Constraints:      26118
2424.20/2431.52	c #Conflicts:     302000 | #Constraints:      27118
2424.20/2431.52	c #Conflicts:     303000 | #Constraints:      28118
2424.20/2431.52	c #Conflicts:     304000 | #Constraints:      29118
2424.20/2431.52	c #Conflicts:     305000 | #Constraints:      30118
2424.20/2431.52	c GLOBAL bounds - >= -6152 @ 2395.75
2440.66/2448.01	c #Conflicts:     306000 | #Constraints:      31120
2440.66/2448.01	c #Conflicts:     307000 | #Constraints:      32120
2440.66/2448.01	c GLOBAL bounds - >= -6152 @ 2412.06
2459.99/2467.40	c #Conflicts:     308000 | #Constraints:      33122
2459.99/2467.40	c GLOBAL bounds - >= -6152 @ 2431.28
2466.28/2473.72	c #Conflicts:     309000 | #Constraints:      34124
2466.28/2473.72	c GLOBAL bounds - >= -6152 @ 2437.56
2470.16/2477.66	c GLOBAL bounds - >= -6152 @ 2441.46
2472.96/2480.47	c #Conflicts:     310000 | #Constraints:      35128
2472.96/2480.47	c GLOBAL bounds - >= -6152 @ 2444.25
2490.20/2497.76	c INPROCESSING
2490.20/2497.76	c GARBAGE COLLECT
2490.20/2497.76	c #Conflicts:     311000 | #Constraints:      25138
2490.20/2497.76	c #Conflicts:     312000 | #Constraints:      26138
2490.20/2497.76	c GLOBAL bounds - >= -6152 @ 2461.32
2657.55/2665.66	c #Conflicts:     313000 | #Constraints:      27140
2657.55/2665.66	c #Conflicts:     314000 | #Constraints:      28140
2657.55/2665.66	c #Conflicts:     315000 | #Constraints:      29140
2657.55/2665.66	c #Conflicts:     316000 | #Constraints:      30140
2657.55/2665.66	c #Conflicts:     317000 | #Constraints:      31140
2657.55/2665.66	c #Conflicts:     318000 | #Constraints:      32140
2657.55/2665.66	c #Conflicts:     319000 | #Constraints:      33140
2657.55/2665.66	c #Conflicts:     320000 | #Constraints:      34140
2657.55/2665.66	c #Conflicts:     321000 | #Constraints:      35140
2657.55/2665.66	c INPROCESSING
2657.55/2665.66	c GARBAGE COLLECT
2657.55/2665.66	c #Conflicts:     322000 | #Constraints:      24966
2657.55/2665.66	c #Conflicts:     323000 | #Constraints:      25966
2657.55/2665.66	c #Conflicts:     324000 | #Constraints:      26966
2657.55/2665.66	c #Conflicts:     325000 | #Constraints:      27966
2657.55/2665.66	c #Conflicts:     326000 | #Constraints:      28966
2657.55/2665.66	c #Conflicts:     327000 | #Constraints:      29966
2657.55/2665.66	c #Conflicts:     328000 | #Constraints:      30966
2657.55/2665.66	c #Conflicts:     329000 | #Constraints:      31966
2657.55/2665.66	c #Conflicts:     330000 | #Constraints:      32966
2657.55/2665.66	c #Conflicts:     331000 | #Constraints:      33966
2657.55/2665.66	c #Conflicts:     332000 | #Constraints:      34966
2657.55/2665.66	c #Conflicts:     333000 | #Constraints:      35966
2657.55/2665.66	c INPROCESSING
2657.55/2665.66	c GARBAGE COLLECT
2657.55/2665.66	c #Conflicts:     334000 | #Constraints:      25572
2657.55/2665.66	c #Conflicts:     335000 | #Constraints:      26572
2657.55/2665.66	c GLOBAL bounds - >= -6152 @ 2626.68
2710.41/2718.62	c #Conflicts:     336000 | #Constraints:      27574
2710.41/2718.62	c #Conflicts:     337000 | #Constraints:      28574
2710.41/2718.62	c #Conflicts:     338000 | #Constraints:      29574
2710.41/2718.62	c #Conflicts:     339000 | #Constraints:      30574
2710.41/2718.62	c GLOBAL bounds - >= -6152 @ 2679.08
2719.19/2727.42	c #Conflicts:     340000 | #Constraints:      31576
2719.19/2727.42	c GLOBAL bounds - >= -6152 @ 2687.8
2748.50/2756.80	c #Conflicts:     341000 | #Constraints:      32578
2748.50/2756.80	c #Conflicts:     342000 | #Constraints:      33578
2748.50/2756.80	c #Conflicts:     343000 | #Constraints:      34578
2748.50/2756.80	c GLOBAL bounds - >= -6152 @ 2716.86
2754.89/2763.26	c #Conflicts:     344000 | #Constraints:      35580
2754.89/2763.26	c GLOBAL bounds - >= -6152 @ 2723.27
2777.82/2786.29	c #Conflicts:     345000 | #Constraints:      36582
2777.82/2786.29	c INPROCESSING
2777.82/2786.29	c GARBAGE COLLECT
2777.82/2786.29	c GLOBAL bounds - >= -6152 @ 2746.03
2791.49/2799.94	c #Conflicts:     346000 | #Constraints:      25972
2791.49/2799.94	c #Conflicts:     347000 | #Constraints:      26972
2791.49/2799.94	c GLOBAL bounds - >= -6152 @ 2759.52
2796.77/2805.29	c GLOBAL bounds - >= -6152 @ 2764.83
2805.65/2814.11	c #Conflicts:     348000 | #Constraints:      27976
2805.65/2814.11	c GLOBAL bounds - >= -6152 @ 2773.56
2811.82/2820.39	c #Conflicts:     349000 | #Constraints:      28978
2811.82/2820.39	c GLOBAL bounds - >= -6152 @ 2779.78
2819.90/2828.49	c #Conflicts:     350000 | #Constraints:      29980
2819.90/2828.49	c GLOBAL bounds - >= -6152 @ 2787.78
2848.73/2857.37	c #Conflicts:     351000 | #Constraints:      30982
2848.73/2857.37	c #Conflicts:     352000 | #Constraints:      31982
2848.73/2857.37	c #Conflicts:     353000 | #Constraints:      32982
2848.73/2857.37	c #Conflicts:     354000 | #Constraints:      33982
2848.73/2857.37	c GLOBAL bounds - >= -6152 @ 2816.27
2905.17/2913.96	c #Conflicts:     355000 | #Constraints:      34984
2905.17/2913.96	c #Conflicts:     356000 | #Constraints:      35984
2905.17/2913.96	c #Conflicts:     357000 | #Constraints:      36984
2905.17/2913.96	c INPROCESSING
2905.17/2913.96	c GARBAGE COLLECT
2905.17/2913.96	c #Conflicts:     358000 | #Constraints:      26175
2905.17/2913.96	c GLOBAL bounds - >= -6152 @ 2872.31
2910.26/2919.03	c GLOBAL bounds - >= -6152 @ 2877.34
2937.28/2946.13	c #Conflicts:     359000 | #Constraints:      27179
2937.28/2946.13	c #Conflicts:     360000 | #Constraints:      28179
2937.28/2946.13	c #Conflicts:     361000 | #Constraints:      29179
2937.28/2946.13	c #Conflicts:     362000 | #Constraints:      30179
2937.28/2946.13	c GLOBAL bounds - >= -6152 @ 2904.07
2957.61/2966.56	c #Conflicts:     363000 | #Constraints:      31181
2957.61/2966.56	c GLOBAL bounds - >= -6152 @ 2924.31
2971.97/2980.90	c #Conflicts:     364000 | #Constraints:      32183
2971.97/2980.90	c #Conflicts:     365000 | #Constraints:      33183
2971.97/2980.90	c GLOBAL bounds - >= -6152 @ 2938.5
3039.66/3048.87	c #Conflicts:     366000 | #Constraints:      34185
3039.66/3048.87	c #Conflicts:     367000 | #Constraints:      35185
3039.66/3048.87	c #Conflicts:     368000 | #Constraints:      36185
3039.66/3048.87	c #Conflicts:     369000 | #Constraints:      37185
3039.66/3048.87	c INPROCESSING
3039.66/3048.87	c GARBAGE COLLECT
3039.66/3048.87	c #Conflicts:     370000 | #Constraints:      26192
3039.66/3048.87	c #Conflicts:     371000 | #Constraints:      27192
3039.66/3048.87	c GLOBAL bounds - >= -6152 @ 3005.66
3161.17/3170.73	c #Conflicts:     372000 | #Constraints:      28194
3161.17/3170.73	c #Conflicts:     373000 | #Constraints:      29194
3161.17/3170.73	c #Conflicts:     374000 | #Constraints:      30194
3161.17/3170.73	c #Conflicts:     375000 | #Constraints:      31194
3161.17/3170.73	c #Conflicts:     376000 | #Constraints:      32194
3161.17/3170.73	c #Conflicts:     377000 | #Constraints:      33194
3161.17/3170.73	c #Conflicts:     378000 | #Constraints:      34194
3161.17/3170.73	c #Conflicts:     379000 | #Constraints:      35194
3161.17/3170.73	c #Conflicts:     380000 | #Constraints:      36194
3161.17/3170.73	c #Conflicts:     381000 | #Constraints:      37194
3161.17/3170.73	c INPROCESSING
3161.17/3170.73	c GARBAGE COLLECT
3161.17/3170.73	c #Conflicts:     382000 | #Constraints:      26000
3161.17/3170.73	c #Conflicts:     383000 | #Constraints:      27000
3161.17/3170.73	c GLOBAL bounds - >= -6152 @ 3126.17
3171.45/3181.05	c #Conflicts:     384000 | #Constraints:      28002
3171.45/3181.05	c GLOBAL bounds - >= -6152 @ 3136.38
3199.67/3209.36	c #Conflicts:     385000 | #Constraints:      29004
3199.67/3209.36	c #Conflicts:     386000 | #Constraints:      30004
3199.67/3209.36	c #Conflicts:     387000 | #Constraints:      31004
3199.67/3209.36	c #Conflicts:     388000 | #Constraints:      32004
3199.67/3209.36	c GLOBAL bounds - >= -6152 @ 3164.38
3249.44/3259.27	c #Conflicts:     389000 | #Constraints:      33006
3249.44/3259.27	c #Conflicts:     390000 | #Constraints:      34006
3249.44/3259.27	c #Conflicts:     391000 | #Constraints:      35006
3249.44/3259.27	c GLOBAL bounds - >= -6152 @ 3213.75
3268.58/3278.46	c #Conflicts:     392000 | #Constraints:      36008
3268.58/3278.46	c #Conflicts:     393000 | #Constraints:      37008
3268.58/3278.46	c GLOBAL bounds - >= -6152 @ 3232.76
3329.61/3339.68	c #Conflicts:     394000 | #Constraints:      38010
3329.61/3339.68	c INPROCESSING
3329.61/3339.68	c GARBAGE COLLECT
3329.61/3339.68	c #Conflicts:     395000 | #Constraints:      26604
3329.61/3339.68	c #Conflicts:     396000 | #Constraints:      27604
3329.61/3339.68	c #Conflicts:     397000 | #Constraints:      28604
3329.61/3339.68	c #Conflicts:     398000 | #Constraints:      29604
3329.61/3339.68	c #Conflicts:     399000 | #Constraints:      30604
3329.61/3339.68	c #Conflicts:     400000 | #Constraints:      31604
3329.61/3339.68	c GLOBAL bounds - >= -6152 @ 3293.27
3344.47/3354.52	c #Conflicts:     401000 | #Constraints:      32606
3344.47/3354.52	c GLOBAL bounds - >= -6152 @ 3308
3395.93/3406.17	c #Conflicts:     402000 | #Constraints:      33608
3395.93/3406.17	c #Conflicts:     403000 | #Constraints:      34608
3395.93/3406.17	c #Conflicts:     404000 | #Constraints:      35608
3395.93/3406.17	c #Conflicts:     405000 | #Constraints:      36608
3395.93/3406.17	c GLOBAL bounds - >= -6152 @ 3359.1
3409.49/3419.70	c #Conflicts:     406000 | #Constraints:      37610
3409.49/3419.70	c #Conflicts:     407000 | #Constraints:      38610
3409.49/3419.70	c INPROCESSING
3409.49/3419.70	c GARBAGE COLLECT
3409.49/3419.70	c GLOBAL bounds - >= -6152 @ 3372.5
3425.54/3435.85	c #Conflicts:     408000 | #Constraints:      27025
3425.54/3435.85	c GLOBAL bounds - >= -6152 @ 3388.51
3436.91/3447.23	c #Conflicts:     409000 | #Constraints:      28027
3436.91/3447.23	c GLOBAL bounds - >= -6152 @ 3399.78
3593.93/3604.73	c #Conflicts:     410000 | #Constraints:      29029
3593.93/3604.73	c #Conflicts:     411000 | #Constraints:      30029
3593.93/3604.73	c #Conflicts:     412000 | #Constraints:      31029
3593.93/3604.73	c #Conflicts:     413000 | #Constraints:      32029
3593.93/3604.73	c #Conflicts:     414000 | #Constraints:      33029
3593.93/3604.73	c #Conflicts:     415000 | #Constraints:      34029
3593.93/3604.73	c #Conflicts:     416000 | #Constraints:      35029
3593.93/3604.73	c #Conflicts:     417000 | #Constraints:      36029
3593.93/3604.73	c #Conflicts:     418000 | #Constraints:      37029
3593.93/3604.73	c #Conflicts:     419000 | #Constraints:      38029
3593.93/3604.73	c #Conflicts:     420000 | #Constraints:      39029
3593.93/3604.73	c INPROCESSING
3593.93/3604.73	c GARBAGE COLLECT
3593.93/3604.73	c #Conflicts:     421000 | #Constraints:      27228
3593.93/3604.73	c #Conflicts:     422000 | #Constraints:      28228
3593.93/3604.73	c #Conflicts:     423000 | #Constraints:      29228
3593.93/3604.73	c #Conflicts:     424000 | #Constraints:      30228
3593.93/3604.73	c #Conflicts:     425000 | #Constraints:      31228
3593.93/3604.73	c #Conflicts:     426000 | #Constraints:      32228
3593.93/3604.73	c GLOBAL bounds - >= -6152 @ 3555.61
3600.02/3610.80	c cpu time 3561.62 s
3600.02/3610.80	c deterministic time 2 2.00e+00
3600.02/3610.80	c optimization time 3561.56 s
3600.02/3610.80	c total solve time 0 s
3600.02/3610.80	c core-guided solve time 0 s
3600.02/3610.80	c propagation time 0.004678 s
3600.02/3610.80	c conflict analysis time 0 s
3600.02/3610.80	c propagations 1
3600.02/3610.80	c resolve steps 0
3600.02/3610.80	c decisions 0
3600.02/3610.80	c conflicts 0
3600.02/3610.80	c restarts 0
3600.02/3610.80	c inprocessing phases 0
3600.02/3610.80	c garbage collections 0 ,( -nan )
3600.02/3610.80	c input clauses 10471 ,( 83.59 )
3600.02/3610.80	c input cardinalities 2056 ,( 16.41 )
3600.02/3610.80	c input general constraints 0 ,( 0.00 )
3600.02/3610.80	c input average constraint length 3.72
3600.02/3610.80	c input average constraint degree 1.33
3600.02/3610.80	c learned clauses 0 ,( 0.00 )
3600.02/3610.80	c learned cardinalities 0 ,( 0.00 )
3600.02/3610.80	c learned general constraints 0 ,( 0.00 )
3600.02/3610.80	c learned average constraint length 0.00
3600.02/3610.80	c learned average constraint degree 0.00
3600.02/3610.80	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3610.80	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3610.80	c watched   constraints 0 ,( -nan ) 
3600.02/3610.80	c counting  constraints 0 ,( -nan ) 
3600.02/3610.80	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3610.80	c gcd simplifications 0
3600.02/3610.80	c detected cardinalities 0
3600.02/3610.80	c weakened non-implied lits 0
3600.02/3610.80	c weakened non-implying lits 0
3600.02/3610.80	c original variables 10976
3600.02/3610.80	c clausal propagations 0
3600.02/3610.80	c cardinality propagations 0
3600.02/3610.80	c watched propagations 0
3600.02/3610.80	c counting propagations 0
3600.02/3610.80	c watch lookups 0
3600.02/3610.80	c watch backjump lookups 0
3600.02/3610.80	c watch checks 0
3600.02/3610.80	c propagation checks 0
3600.02/3610.80	c constraint additions 0
3600.02/3610.80	c trail pops 0
3600.02/3610.80	c formula constraints 12527
3600.02/3610.80	c learned constraints 0
3600.02/3610.80	c bound constraints 0
3600.02/3610.80	c core-guided constraints 0
3600.02/3610.80	c encountered formula constraints 0
3600.02/3610.80	c encountered learned constraints 0
3600.02/3610.80	c encountered bound constraints 0
3600.02/3610.80	c encountered core-guided constraints 0
3600.02/3610.80	c LP total time 0 s
3600.02/3610.80	c LP solve time 0 s
3600.02/3610.80	c LP constraints added 0
3600.02/3610.80	c LP constraints removed 0
3600.02/3610.80	c LP pivots internal 0
3600.02/3610.80	c LP pivots root 0
3600.02/3610.80	c LP calls 0
3600.02/3610.80	c LP optimalities 0
3600.02/3610.80	c LP no pivot count 0
3600.02/3610.80	c LP infeasibilities 0
3600.02/3610.80	c LP valid Farkas constraints 0
3600.02/3610.80	c LP learned Farkas constraints 0
3600.02/3610.80	c LP basis resets 0
3600.02/3610.80	c LP cycling count 0
3600.02/3610.80	c LP singular count 0
3600.02/3610.80	c LP no primal count 0
3600.02/3610.80	c LP no farkas count 0
3600.02/3610.80	c LP other issue count 0
3600.02/3610.80	c LP Gomory cuts 0
3600.02/3610.80	c LP learned cuts 0
3600.02/3610.80	c LP deleted cuts 0
3600.02/3610.80	c LP encountered Gomory constraints 0
3600.02/3610.80	c LP encountered Farkas constraints 0
3600.02/3610.80	c LP encountered learned Farkas constraints 0
3600.02/3610.80	c CG auxiliary variables introduced 0
3600.02/3610.80	c CG solutions found 0
3600.02/3610.80	c CG cores constructed 0
3600.02/3610.80	c CG core cardinality constraints returned 0
3600.02/3610.80	c CG unit cores 0
3600.02/3610.80	c CG single cores 0
3600.02/3610.80	c CG blocks removed during cardinality reduction 0
3600.02/3610.80	c CG first core best 0
3600.02/3610.80	c CG decision core best 0
3600.02/3610.80	c CG core reduction tie 0
3600.02/3610.80	c CG core degree average 0.00
3600.02/3610.80	c CG core slack average 0.00
3600.02/3610.80	c CG core upper bound improvements 0
3600.02/3610.80	c STR number of successful calls 0
3600.02/3610.80	c STR number of unsuccessful calls 0
3600.02/3610.80	c STR number of inconclusive calls 0
3600.02/3610.80	c STR number of successful attempts 0
3600.02/3610.80	c STR number of unsuccessful attempts 0
3600.02/3610.80	c STR number of inconclusive attempts 0
3600.02/3610.80	c STR average degree increase per successful call inf
3600.02/3610.80	c STR average degree increase per successful attempt inf
3600.02/3610.80	c STR total number of conflicts for successful attempts 0
3600.02/3610.80	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.80	c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.80	c STR average number of conflicts per successful attempt inf
3600.02/3610.80	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.80	c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.80	c AVG.sumWPerc -nan 
3600.02/3610.80	c bigint constraints 0 
3600.02/3610.80	s UNKNOWN
3600.02/3610.80	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 (62790 MiB free)
  memory of node 1: 64465 MiB (62259 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=40641, runsolver pid=40638

[startup+0.10006 s]*
/proc/loadavg: 4.14 4.10 4.09 5/274 40643
/proc/meminfo: memFree=128026260/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=77280 memory=27816 CPUtime=0.06 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 4680 0 0 0 6 0 0 0 20 0 1 0 44414378 79134720 6954 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 19320 6954 2304 1147 0 6747 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 81472 KiB
Current children cumulated memory: 30760 KiB

[startup+0.205608 s]*
/proc/loadavg: 4.21 4.12 4.10 5/274 40643
/proc/meminfo: memFree=128006288/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=85068 memory=38036 CPUtime=0.17 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 6767 0 0 0 15 2 0 0 20 0 1 0 44414378 87109632 9509 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 21267 9509 2304 1147 0 8694 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 89260 KiB
Current children cumulated memory: 40980 KiB

[startup+0.305611 s]*
/proc/loadavg: 4.21 4.12 4.10 5/274 40643
/proc/meminfo: memFree=128004524/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=88536 memory=41620 CPUtime=0.27 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 7657 0 0 0 24 3 0 0 20 0 1 0 44414378 90660864 10405 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 22134 10405 2304 1147 0 9561 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 92728 KiB
Current children cumulated memory: 44564 KiB

[startup+0.700204 s]
/proc/loadavg: 4.21 4.12 4.10 5/274 40643
/proc/meminfo: memFree=127982348/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=92584 memory=45332 CPUtime=0.66 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 8580 0 0 0 62 4 0 0 20 0 1 0 44414378 94806016 11333 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 23146 11333 2336 1147 0 10573 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 96776 KiB
Current children cumulated memory: 48276 KiB

[startup+1.5002 s]
/proc/loadavg: 4.21 4.12 4.10 5/274 40643
/proc/meminfo: memFree=127966724/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=126288 memory=74836 CPUtime=1.46 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 15421 0 0 0 133 13 0 0 20 0 1 0 44414378 129318912 18709 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 31572 18709 2336 1147 0 18999 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 130480 KiB
Current children cumulated memory: 77780 KiB

[startup+3.10544 s]
/proc/loadavg: 4.21 4.12 4.10 5/274 40643
/proc/meminfo: memFree=127814764/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=180620 memory=134980 CPUtime=3.06 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 26887 0 0 0 283 23 0 0 20 0 1 0 44414378 184954880 33745 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 45155 33745 2336 1147 0 32582 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 184812 KiB
Current children cumulated memory: 137924 KiB

[startup+6.30019 s]
/proc/loadavg: 4.27 4.13 4.10 5/274 40643
/proc/meminfo: memFree=127653584/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=303992 memory=231944 CPUtime=6.25 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 45524 0 0 0 588 37 0 0 20 0 1 0 44414378 311287808 57986 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 75998 57986 2336 1147 0 63425 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 308184 KiB
Current children cumulated memory: 234888 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.13 4.10 5/274 40643
/proc/meminfo: memFree=127244104/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=487224 memory=388244 CPUtime=12.62 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 73870 0 0 0 1201 61 0 0 20 0 1 0 44414378 498917376 97061 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 121806 97061 2336 1147 0 109233 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 491416 KiB
Current children cumulated memory: 391188 KiB

[startup+25.5002 s]
/proc/loadavg: 4.21 4.12 4.10 5/274 40643
/proc/meminfo: memFree=126504452/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=703828 memory=518344 CPUtime=25.39 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 98228 0 0 0 2445 94 0 0 20 0 1 0 44414378 720719872 129586 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 175957 129586 2336 1147 0 163384 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 708020 KiB
Current children cumulated memory: 521288 KiB

[startup+51.1055 s]
/proc/loadavg: 4.20 4.13 4.10 5/274 40645
/proc/meminfo: memFree=125683064/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=813132 memory=691648 CPUtime=50.92 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 127758 0 0 0 4942 150 0 0 20 0 1 0 44414378 832647168 172912 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 203283 172912 2336 1147 0 190710 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 817324 KiB
Current children cumulated memory: 694592 KiB

[startup+102.3 s]
/proc/loadavg: 4.30 4.15 4.11 5/274 40647
/proc/meminfo: memFree=124475704/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=1021232 memory=870000 CPUtime=101.93 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 155974 0 0 0 9937 256 0 0 20 0 1 0 44414378 1045741568 217500 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 255308 217500 2336 1147 0 242735 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1025424 KiB
Current children cumulated memory: 872944 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.15 4.11 5/275 40650
/proc/meminfo: memFree=122394604/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=1659172 memory=1259564 CPUtime=161.74 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 231920 0 0 0 15813 361 0 0 20 0 1 0 44414378 1698992128 314891 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 414793 314891 2336 1147 0 402220 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1663364 KiB
Current children cumulated memory: 1262508 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/275 40652
/proc/meminfo: memFree=121296280/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=1660232 memory=1279560 CPUtime=221.55 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 234412 0 0 0 21703 452 0 0 20 0 1 0 44414378 1700077568 319890 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0

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

[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=5524712 memory=4439516 CPUtime=3092.99 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 828951 0 0 0 305836 3463 0 0 20 0 1 0 44414378 5657305088 1109879 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 1381178 1109879 2336 1147 0 1368605 0
Current children cumulated CPU time: 3092.99 s
Current children cumulated vsize: 5528904 KiB
Current children cumulated memory: 4442460 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 40865
/proc/meminfo: memFree=71291244/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=5524712 memory=4439516 CPUtime=3152.8 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 829024 0 0 0 311783 3497 0 0 20 0 1 0 44414378 5657305088 1109879 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 1381178 1109879 2336 1147 0 1368605 0
Current children cumulated CPU time: 3152.8 s
Current children cumulated vsize: 5528904 KiB
Current children cumulated memory: 4442460 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/272 40866
/proc/meminfo: memFree=70618036/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=5524712 memory=4439516 CPUtime=3212.64 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 829059 0 0 0 317722 3542 0 0 20 0 1 0 44414378 5657305088 1109879 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 1381178 1109879 2336 1147 0 1368605 0
Current children cumulated CPU time: 3212.64 s
Current children cumulated vsize: 5528904 KiB
Current children cumulated memory: 4442460 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/271 40874
/proc/meminfo: memFree=69936264/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=5551336 memory=4522932 CPUtime=3272.47 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 842333 0 0 0 323655 3592 0 0 20 0 1 0 44414378 5684568064 1130733 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 1387834 1130733 2336 1147 0 1375261 0
Current children cumulated CPU time: 3272.47 s
Current children cumulated vsize: 5555528 KiB
Current children cumulated memory: 4525876 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.14 4.10 5/270 40876
/proc/meminfo: memFree=69097496/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=5608684 memory=4642752 CPUtime=3332.3 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 861192 0 0 0 329586 3644 0 0 20 0 1 0 44414378 5743292416 1160688 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 1402171 1160688 2336 1147 0 1389598 0
Current children cumulated CPU time: 3332.3 s
Current children cumulated vsize: 5612876 KiB
Current children cumulated memory: 4645696 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/271 40879
/proc/meminfo: memFree=68626552/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=5608684 memory=4642752 CPUtime=3392.14 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 861281 0 0 0 335526 3688 0 0 20 0 1 0 44414378 5743292416 1160688 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 1402171 1160688 2336 1147 0 1389598 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 5612876 KiB
Current children cumulated memory: 4645696 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/271 40881
/proc/meminfo: memFree=67899584/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=5610220 memory=4643776 CPUtime=3451.97 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 861560 0 0 0 341471 3726 0 0 20 0 1 0 44414378 5744865280 1160944 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 1402555 1160944 2336 1147 0 1389982 0
Current children cumulated CPU time: 3451.97 s
Current children cumulated vsize: 5614412 KiB
Current children cumulated memory: 4646720 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/271 40883
/proc/meminfo: memFree=66767140/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=5610220 memory=4643776 CPUtime=3511.81 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 861655 0 0 0 347416 3765 0 0 20 0 1 0 44414378 5744865280 1160944 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 1402555 1160944 2336 1147 0 1389982 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 5614412 KiB
Current children cumulated memory: 4646720 KiB

[startup+3582.3 s]
/proc/loadavg: 3.97 4.10 4.08 3/257 40947
/proc/meminfo: memFree=92999852/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=5626092 memory=4677196 CPUtime=3571.62 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 866517 0 0 0 353340 3822 0 0 20 0 1 0 44414378 5761118208 1169299 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 1406523 1169299 2336 1147 0 1393950 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 5630284 KiB
Current children cumulated memory: 4680140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 3.38 3.94 4.03 3/257 40949
/proc/meminfo: memFree=92775128/131250000 swapFree=33010684/33010684
[pid=40641] ppid=40638 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/40641/stat : 40641 (run-opt-log.sh) S 40638 40641 39688 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 44414377 4292608 736 18446744073709551615 94531231723520 94531232618053 140731894813632 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94531232857104 94531232904848 94531239170048 140731894815009 140731894815204 140731894815204 140731894820806 0
/proc/40641/statm: 1048 736 672 219 0 110 0
[pid=40643] ppid=40641 vsize=5626092 memory=4677196 CPUtime=3600.02 cores=0,2
/proc/40643/stat : 40643 (roundingsat) R 40641 40641 39688 0 -1 4194304 866551 0 0 0 356162 3840 0 0 20 0 1 0 44414378 5761118208 1169299 18446744073709551615 4227072 8923433 140729209120256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25100288 140729209125202 140729209125416 140729209125416 140729209130986 0
/proc/40643/statm: 1406523 1169299 2336 1147 0 1393950 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 5630284 KiB
Current children cumulated memory: 4680140 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

[startup+3611.01 s]*
/proc/loadavg: 3.27 3.91 4.02 3/256 40949
/proc/meminfo: memFree=95934604/131250000 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.001953 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3611.08
CPU time (s): 3600.23
CPU user time (s): 3561.63
CPU system time (s): 38.5972
CPU usage (%): 99.6994
Max. virtual memory (cumulated for all children) (KiB): 5630284
Max. memory (cumulated for all children) (KiB): 4680140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.63
system time used= 38.5972
maximum resident set size= 4677452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 866785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39598376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1782
involuntary context switches= 5366


# summary of solver processes directly reported to runsolver:
#   pid: 40641,40643
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3561.63
#   total CPU system time (s): 38.5972

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.9806 second user time and 16.7793 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-06-30 14:42:58
IDJOB=4484355
IDBENCH=146655
IDSOLVER=3351
FILE ID=nodeC014/4484355-1751287378
RUNJOBID= nodeC014-1751280113-39698
SLURM_JOB_ID= 9594224
Free space on /tmp= 432988 MiB

SOLVER NAME= roundingsat-ihs-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484355-1751287378/watcher-4484355-1751287378 -o /tmp/evaluation-result-4484355-1751287378/solver-4484355-1751287378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751280113-39698 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4484355-1751287378.opb PROOFDIR/proof-4484355-1751287378

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

MD5SUM BENCH= 6e8bf543846202ec1846dd4adbdb6152
RANDOM SEED=1322084978

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128052156 kB
MemAvailable:   128731072 kB
Buffers:            3280 kB
Cached:          1486168 kB
SwapCached:            0 kB
Active:          1397468 kB
Inactive:        1230032 kB
Active(anon):    1156184 kB
Inactive(anon):        0 kB
Active(file):     241284 kB
Inactive(file):  1230032 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            223528 kB
Writeback:             4 kB
AnonPages:       1141184 kB
Mapped:           117016 kB
Shmem:             18068 kB
KReclaimable:      93680 kB
Slab:             188252 kB
SReclaimable:      93680 kB
SUnreclaim:        94572 kB
KernelStack:        4416 kB
PageTables:         5572 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1598608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432996 MiB
End job on nodeC014 at 2025-06-30 15:43:09