Trace number 4484584

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22ad? (TO) 3600.15 3610.88

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:98.opb
MD5SUM3dc780a187102f53f7868f024506933f
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 benchmark12
Best CPU time to get the best result obtained on this benchmark3.27712
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10989
Total number of constraints12472
Number of constraints which are clauses10469
Number of constraints which are cardinality constraints (but not clauses)2003
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Number of terms in the objective function 10989
Biggest coefficient in the objective function 5985
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 32028
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5985
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 32028
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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
0.00/0.09	c #variables 10989 #constraints 12472
0.00/0.09	c objective is ce32 
0.06/0.12	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.12	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.06/0.12	c GLOBAL bounds - >= -5985 @ 0.06842
0.06/0.13	c GLOBAL bounds - >= -5985 @ 0.070586
0.46/0.55	c GLOBAL bounds - >= -5985 @ 0.480516
0.55/0.62	c GLOBAL bounds - >= -5985 @ 0.535668
1.14/1.27	c GLOBAL bounds - >= -5985 @ 1.16963
1.44/1.56	c GLOBAL bounds - >= -5985 @ 1.42975
1.55/1.69	c GLOBAL bounds - >= -5985 @ 1.55388
1.65/1.74	c GLOBAL bounds - >= -5985 @ 1.59748
1.74/1.89	c GLOBAL bounds - >= -5985 @ 1.74015
1.95/2.06	c GLOBAL bounds - >= -5985 @ 1.89737
1.95/2.10	c GLOBAL bounds - >= -5985 @ 1.925
2.74/2.80	c GLOBAL bounds - >= -5985 @ 2.58349
3.05/3.18	c GLOBAL bounds - >= -5985 @ 2.9415
3.14/3.23	c GLOBAL bounds - >= -5985 @ 2.9892
3.14/3.29	c GLOBAL bounds - >= -5985 @ 3.04013
3.24/3.36	c GLOBAL bounds - >= -5985 @ 3.10393
3.34/3.44	c GLOBAL bounds - >= -5985 @ 3.16628
3.44/3.51	c GLOBAL bounds - >= -5985 @ 3.22852
3.44/3.58	c GLOBAL bounds - >= -5985 @ 3.28693
3.54/3.63	c GLOBAL bounds - >= -5985 @ 3.33658
3.64/3.76	c GLOBAL bounds - >= -5985 @ 3.456
3.95/4.04	c GLOBAL bounds - >= -5985 @ 3.73331
4.04/4.15	c GLOBAL bounds - >= -5985 @ 3.81623
4.34/4.41	c GLOBAL bounds - >= -5985 @ 4.0654
4.84/4.95	c #Conflicts:       1000 | #Constraints:      13516
4.84/4.95	c GLOBAL bounds - >= -5985 @ 4.58888
4.95/5.06	c GLOBAL bounds - >= -5985 @ 4.69269
5.24/5.35	c GLOBAL bounds - >= -5985 @ 4.96028
5.64/5.73	c GLOBAL bounds - >= -5985 @ 5.32339
5.74/5.85	c GLOBAL bounds - >= -5985 @ 5.43021
5.94/6.04	c GLOBAL bounds - >= -5985 @ 5.61392
6.53/6.65	c GLOBAL bounds - >= -5985 @ 6.2004
6.83/6.98	c GLOBAL bounds - >= -5985 @ 6.52008
7.04/7.19	c GLOBAL bounds - >= -5985 @ 6.73122
7.23/7.30	c GLOBAL bounds - >= -5985 @ 6.83655
7.43/7.58	c GLOBAL bounds - >= -5985 @ 7.08093
7.62/7.72	c GLOBAL bounds - >= -5985 @ 7.20654
7.73/7.83	c GLOBAL bounds - >= -5985 @ 7.30931
7.93/8.09	c GLOBAL bounds - >= -5985 @ 7.55515
8.53/8.63	c GLOBAL bounds - >= -5985 @ 8.07684
10.72/10.82	c #Conflicts:       2000 | #Constraints:      14546
10.72/10.82	c INPROCESSING
10.72/10.82	c GARBAGE COLLECT
10.72/10.82	c GLOBAL bounds - >= -5985 @ 10.2143
13.72/13.87	c #Conflicts:       3000 | #Constraints:      14561
13.72/13.87	c GLOBAL bounds - >= -5985 @ 13.2006
14.41/14.51	c GLOBAL bounds - >= -5985 @ 13.8339
16.71/16.84	c GLOBAL bounds - >= -5985 @ 16.1056
17.01/17.11	c GLOBAL bounds - >= -5985 @ 16.3739
17.41/17.58	c GLOBAL bounds - >= -5985 @ 16.8299
18.01/18.17	c GLOBAL bounds - >= -5985 @ 17.4016
18.90/19.04	c #Conflicts:       4000 | #Constraints:      15573
18.90/19.04	c GLOBAL bounds - >= -5985 @ 18.2041
19.90/20.02	c INPROCESSING
19.90/20.02	c GARBAGE COLLECT
19.90/20.02	c GLOBAL bounds - >= -5985 @ 19.1642
20.10/20.20	c GLOBAL bounds - >= -5985 @ 19.3346
20.80/20.92	c GLOBAL bounds - >= -5985 @ 20.0399
21.00/21.19	c GLOBAL bounds - >= -5985 @ 20.3056
21.19/21.34	c GLOBAL bounds - >= -5985 @ 20.4575
21.59/21.71	c GLOBAL bounds - >= -5985 @ 20.8122
22.29/22.41	c GLOBAL bounds - >= -5985 @ 21.4996
22.79/22.91	c GLOBAL bounds - >= -5985 @ 21.98
24.69/24.81	c #Conflicts:       5000 | #Constraints:      14996
24.69/24.81	c GLOBAL bounds - >= -5985 @ 23.8436
25.08/25.23	c GLOBAL bounds - >= -5985 @ 24.2413
26.48/26.67	c GLOBAL bounds - >= -5985 @ 25.6604
27.08/27.20	c GLOBAL bounds - >= -5985 @ 26.1822
27.27/27.49	c GLOBAL bounds - >= -5985 @ 26.4661
27.98/28.15	c GLOBAL bounds - >= -5985 @ 27.1178
30.87/31.03	c #Conflicts:       6000 | #Constraints:      16008
30.87/31.03	c GLOBAL bounds - >= -5985 @ 29.9268
37.65/37.82	c INPROCESSING
37.65/37.82	c GARBAGE COLLECT
37.65/37.82	c #Conflicts:       7000 | #Constraints:      15017
37.65/37.82	c #Conflicts:       8000 | #Constraints:      16017
37.65/37.82	c GLOBAL bounds - >= -5985 @ 36.5261
40.34/40.57	c GLOBAL bounds - >= -5985 @ 39.223
42.24/42.40	c GLOBAL bounds - >= -5985 @ 41.0169
42.43/42.69	c #Conflicts:       9000 | #Constraints:      17023
42.43/42.69	c GLOBAL bounds - >= -5985 @ 41.2993
42.84/43.06	c GLOBAL bounds - >= -5985 @ 41.6614
43.43/43.61	c GLOBAL bounds - >= -5985 @ 42.1963
43.64/43.89	c GLOBAL bounds - >= -5985 @ 42.4787
44.63/44.82	c INPROCESSING
44.63/44.82	c GARBAGE COLLECT
44.63/44.82	c GLOBAL bounds - >= -5985 @ 43.3917
45.43/45.67	c GLOBAL bounds - >= -5985 @ 44.2209
45.84/46.08	c GLOBAL bounds - >= -5985 @ 44.6275
46.13/46.33	c GLOBAL bounds - >= -5985 @ 44.8737
46.63/46.87	c GLOBAL bounds - >= -5985 @ 45.4096
46.93/47.11	c GLOBAL bounds - >= -5985 @ 45.639
47.72/47.95	c GLOBAL bounds - >= -5985 @ 46.4564
48.23/48.42	c GLOBAL bounds - >= -5985 @ 46.9127
48.43/48.66	c GLOBAL bounds - >= -5985 @ 47.1487
48.72/48.94	c GLOBAL bounds - >= -5985 @ 47.4245
49.02/49.21	c GLOBAL bounds - >= -5985 @ 47.6824
51.21/51.45	c #Conflicts:      10000 | #Constraints:      15754
51.21/51.45	c GLOBAL bounds - >= -5985 @ 49.8934
57.39/57.64	c #Conflicts:      11000 | #Constraints:      16756
57.39/57.64	c GLOBAL bounds - >= -5985 @ 55.931
63.28/63.58	c #Conflicts:      12000 | #Constraints:      17758
63.28/63.58	c INPROCESSING
63.28/63.58	c GARBAGE COLLECT
63.28/63.58	c GLOBAL bounds - >= -5985 @ 61.7135
63.58/63.85	c GLOBAL bounds - >= -5985 @ 61.9769
65.18/65.49	c #Conflicts:      13000 | #Constraints:      16218
65.18/65.49	c GLOBAL bounds - >= -5985 @ 63.5936
66.67/66.91	c GLOBAL bounds - >= -5985 @ 64.9929
68.17/68.49	c GLOBAL bounds - >= -5985 @ 66.5359
68.97/69.23	c #Conflicts:      14000 | #Constraints:      17224
68.97/69.23	c GLOBAL bounds - >= -5985 @ 67.2638
69.66/69.93	c GLOBAL bounds - >= -5985 @ 67.9505
70.16/70.48	c GLOBAL bounds - >= -5985 @ 68.4791
70.66/70.93	c GLOBAL bounds - >= -5985 @ 68.9131
71.46/71.79	c GLOBAL bounds - >= -5985 @ 69.7506
73.06/73.37	c GLOBAL bounds - >= -5985 @ 71.2938
73.86/74.10	c GLOBAL bounds - >= -5985 @ 72.0131
76.85/77.15	c #Conflicts:      15000 | #Constraints:      18238
76.85/77.15	c INPROCESSING
76.85/77.15	c GARBAGE COLLECT
76.85/77.15	c GLOBAL bounds - >= -5985 @ 75.0203
77.43/77.77	c GLOBAL bounds - >= -5985 @ 75.624
78.43/78.73	c GLOBAL bounds - >= -5985 @ 76.5543
78.84/79.16	c GLOBAL bounds - >= -5985 @ 76.9672
84.02/84.36	c #Conflicts:      16000 | #Constraints:      16475
84.02/84.36	c #Conflicts:      17000 | #Constraints:      17475
84.02/84.36	c GLOBAL bounds - >= -5985 @ 82.0936
93.48/93.89	c #Conflicts:      18000 | #Constraints:      18477
93.48/93.89	c INPROCESSING
93.48/93.89	c GARBAGE COLLECT
93.48/93.89	c #Conflicts:      19000 | #Constraints:      16495
93.48/93.89	c GLOBAL bounds - >= -5985 @ 91.4699
94.08/94.48	c GLOBAL bounds - >= -5985 @ 92.0456
94.98/95.30	c GLOBAL bounds - >= -5985 @ 92.8474
95.68/96.04	c GLOBAL bounds - >= -5985 @ 93.5643
97.08/97.45	c GLOBAL bounds - >= -5985 @ 94.9406
98.17/98.59	c GLOBAL bounds - >= -5985 @ 96.0636
101.37/101.79	c #Conflicts:      20000 | #Constraints:      17507
101.37/101.79	c GLOBAL bounds - >= -5985 @ 99.1856
103.45/103.86	c GLOBAL bounds - >= -5985 @ 101.216
104.35/104.78	c GLOBAL bounds - >= -5985 @ 102.125
105.65/106.01	c #Conflicts:      21000 | #Constraints:      18513
105.65/106.01	c GLOBAL bounds - >= -5985 @ 103.318
106.15/106.52	c GLOBAL bounds - >= -5985 @ 103.819
106.64/107.10	c GLOBAL bounds - >= -5985 @ 104.334
107.65/108.01	c GLOBAL bounds - >= -5985 @ 105.218
108.34/108.72	c GLOBAL bounds - >= -5985 @ 105.907
109.04/109.40	c GLOBAL bounds - >= -5985 @ 106.577
116.41/116.88	c INPROCESSING
116.41/116.88	c GARBAGE COLLECT
116.41/116.88	c #Conflicts:      22000 | #Constraints:      16337
116.41/116.88	c GLOBAL bounds - >= -5985 @ 113.864
118.11/118.50	c #Conflicts:      23000 | #Constraints:      17339
118.11/118.50	c GLOBAL bounds - >= -5985 @ 115.452
118.91/119.38	c GLOBAL bounds - >= -5985 @ 116.313
119.40/119.87	c GLOBAL bounds - >= -5985 @ 116.791
121.70/122.13	c GLOBAL bounds - >= -5985 @ 119.014
127.78/128.29	c #Conflicts:      24000 | #Constraints:      18347
127.78/128.29	c GLOBAL bounds - >= -5985 @ 125.038
132.36/132.84	c #Conflicts:      25000 | #Constraints:      19349
132.36/132.84	c INPROCESSING
132.36/132.84	c GARBAGE COLLECT
132.36/132.84	c GLOBAL bounds - >= -5985 @ 129.512
132.96/133.46	c GLOBAL bounds - >= -5985 @ 130.114
133.56/134.10	c GLOBAL bounds - >= -5985 @ 130.746
141.83/142.32	c #Conflicts:      26000 | #Constraints:      16967
141.83/142.32	c #Conflicts:      27000 | #Constraints:      17967
141.83/142.32	c GLOBAL bounds - >= -5985 @ 138.824
143.22/143.79	c #Conflicts:      28000 | #Constraints:      18969
143.22/143.79	c GLOBAL bounds - >= -5985 @ 140.277
146.41/146.93	c GLOBAL bounds - >= -5985 @ 143.379
150.50/151.02	c #Conflicts:      29000 | #Constraints:      19973
150.50/151.02	c INPROCESSING
150.50/151.02	c GARBAGE COLLECT
150.50/151.02	c GLOBAL bounds - >= -5985 @ 147.401
154.49/155.05	c GLOBAL bounds - >= -5985 @ 151.325
155.49/156.08	c #Conflicts:      30000 | #Constraints:      17388
155.49/156.08	c GLOBAL bounds - >= -5985 @ 152.338
156.68/157.20	c GLOBAL bounds - >= -5985 @ 153.44
160.87/161.43	c GLOBAL bounds - >= -5985 @ 157.604
161.96/162.55	c #Conflicts:      31000 | #Constraints:      18394
161.96/162.55	c GLOBAL bounds - >= -5985 @ 158.71
164.06/164.67	c GLOBAL bounds - >= -5985 @ 160.811
165.66/166.22	c GLOBAL bounds - >= -5985 @ 162.323
167.74/168.34	c #Conflicts:      32000 | #Constraints:      19400
167.74/168.34	c GLOBAL bounds - >= -5985 @ 164.415
181.80/182.49	c #Conflicts:      33000 | #Constraints:      20402
181.80/182.49	c INPROCESSING
181.80/182.49	c GARBAGE COLLECT
181.80/182.49	c #Conflicts:      34000 | #Constraints:      17607
181.80/182.49	c GLOBAL bounds - >= -5985 @ 178.322
191.37/192.06	c #Conflicts:      35000 | #Constraints:      18609
191.37/192.06	c #Conflicts:      36000 | #Constraints:      19609
191.37/192.06	c GLOBAL bounds - >= -5985 @ 187.774
193.97/194.67	c #Conflicts:      37000 | #Constraints:      20611
193.97/194.67	c INPROCESSING
193.97/194.67	c GARBAGE COLLECT
193.97/194.67	c GLOBAL bounds - >= -5985 @ 190.357
197.65/198.32	c #Conflicts:      38000 | #Constraints:      17621
197.65/198.32	c GLOBAL bounds - >= -5985 @ 193.954
203.13/203.83	c #Conflicts:      39000 | #Constraints:      18623
203.13/203.83	c GLOBAL bounds - >= -5985 @ 199.326
210.41/211.19	c #Conflicts:      40000 | #Constraints:      19625
210.41/211.19	c #Conflicts:      41000 | #Constraints:      20625
210.41/211.19	c GLOBAL bounds - >= -5985 @ 206.574
212.90/213.68	c INPROCESSING
212.90/213.68	c GARBAGE COLLECT
212.90/213.68	c GLOBAL bounds - >= -5985 @ 209.029
217.19/217.91	c #Conflicts:      42000 | #Constraints:      17430
217.19/217.91	c GLOBAL bounds - >= -5985 @ 213.227
217.98/218.73	c GLOBAL bounds - >= -5985 @ 214.042
218.68/219.47	c #Conflicts:      43000 | #Constraints:      18434
218.68/219.47	c GLOBAL bounds - >= -5985 @ 214.773
219.48/220.23	c GLOBAL bounds - >= -5985 @ 215.516
220.28/221.07	c GLOBAL bounds - >= -5985 @ 216.346
221.38/222.12	c GLOBAL bounds - >= -5985 @ 217.38
236.23/237.06	c #Conflicts:      44000 | #Constraints:      19442
236.23/237.06	c #Conflicts:      45000 | #Constraints:      20442
236.23/237.06	c #Conflicts:      46000 | #Constraints:      21442
236.23/237.06	c INPROCESSING
236.23/237.06	c GARBAGE COLLECT
236.23/237.06	c GLOBAL bounds - >= -5985 @ 231.984
246.69/247.58	c #Conflicts:      47000 | #Constraints:      18053
246.69/247.58	c #Conflicts:      48000 | #Constraints:      19053
246.69/247.58	c GLOBAL bounds - >= -5985 @ 242.323
247.49/248.37	c GLOBAL bounds - >= -5985 @ 243.104
249.98/250.85	c GLOBAL bounds - >= -5985 @ 245.529
250.88/251.72	c GLOBAL bounds - >= -5985 @ 246.388
252.28/253.18	c #Conflicts:      49000 | #Constraints:      20061
252.28/253.18	c GLOBAL bounds - >= -5985 @ 247.836
253.17/254.00	c GLOBAL bounds - >= -5985 @ 248.649
254.46/255.39	c GLOBAL bounds - >= -5985 @ 250.022
257.56/258.46	c GLOBAL bounds - >= -5985 @ 253.049
259.85/260.78	c #Conflicts:      50000 | #Constraints:      21069
259.85/260.78	c GLOBAL bounds - >= -5985 @ 255.339
260.64/261.55	c GLOBAL bounds - >= -5985 @ 256.092
261.94/262.83	c GLOBAL bounds - >= -5985 @ 257.354
262.64/263.55	c GLOBAL bounds - >= -5985 @ 258.059
267.62/268.50	c #Conflicts:      51000 | #Constraints:      22077
267.62/268.50	c INPROCESSING
267.62/268.50	c GARBAGE COLLECT
267.62/268.50	c GLOBAL bounds - >= -5985 @ 262.94
268.52/269.45	c GLOBAL bounds - >= -5985 @ 263.876
269.02/269.98	c GLOBAL bounds - >= -5985 @ 264.406
270.01/270.93	c GLOBAL bounds - >= -5985 @ 265.335
270.61/271.54	c GLOBAL bounds - >= -5985 @ 265.937
271.22/272.13	c GLOBAL bounds - >= -5985 @ 266.525
271.81/272.77	c GLOBAL bounds - >= -5985 @ 267.157
273.50/274.42	c #Conflicts:      52000 | #Constraints:      18487
273.50/274.42	c GLOBAL bounds - >= -5985 @ 268.778
277.59/278.56	c GLOBAL bounds - >= -5985 @ 272.868
279.49/280.44	c #Conflicts:      53000 | #Constraints:      19491
279.49/280.44	c GLOBAL bounds - >= -5985 @ 274.726
281.67/282.67	c GLOBAL bounds - >= -5985 @ 276.913
286.36/287.37	c #Conflicts:      54000 | #Constraints:      20495
286.36/287.37	c GLOBAL bounds - >= -5985 @ 281.565
289.75/290.77	c GLOBAL bounds - >= -5985 @ 284.91
291.16/292.15	c GLOBAL bounds - >= -5985 @ 286.27
292.84/293.86	c GLOBAL bounds - >= -5985 @ 287.953
294.04/295.08	c #Conflicts:      55000 | #Constraints:      21503
294.04/295.08	c GLOBAL bounds - >= -5985 @ 289.156
295.73/296.72	c GLOBAL bounds - >= -5985 @ 290.746
297.32/298.35	c GLOBAL bounds - >= -5985 @ 292.358
298.13/299.19	c GLOBAL bounds - >= -5985 @ 293.179
299.22/300.27	c GLOBAL bounds - >= -5985 @ 294.241
300.02/301.03	c GLOBAL bounds - >= -5985 @ 294.981
300.91/301.98	c GLOBAL bounds - >= -5985 @ 295.913
305.40/306.47	c #Conflicts:      56000 | #Constraints:      22517
305.40/306.47	c INPROCESSING
305.40/306.47	c GARBAGE COLLECT
305.40/306.47	c GLOBAL bounds - >= -5985 @ 300.33
305.79/306.81	c GLOBAL bounds - >= -5985 @ 300.675
307.10/308.14	c GLOBAL bounds - >= -5985 @ 301.994
307.60/308.66	c GLOBAL bounds - >= -5985 @ 302.507
308.49/309.53	c GLOBAL bounds - >= -5985 @ 303.351
309.29/310.39	c GLOBAL bounds - >= -5985 @ 304.202
310.09/311.13	c GLOBAL bounds - >= -5985 @ 304.935
310.99/312.07	c #Conflicts:      57000 | #Constraints:      18724
310.99/312.07	c GLOBAL bounds - >= -5985 @ 305.861
311.48/312.59	c GLOBAL bounds - >= -5985 @ 306.362
312.28/313.35	c GLOBAL bounds - >= -5985 @ 307.112
312.98/314.08	c GLOBAL bounds - >= -5985 @ 307.822
314.08/315.12	c GLOBAL bounds - >= -5985 @ 308.85
314.57/315.65	c GLOBAL bounds - >= -5985 @ 309.376
315.46/316.59	c GLOBAL bounds - >= -5985 @ 310.315
316.07/317.11	c GLOBAL bounds - >= -5985 @ 310.826
318.16/319.24	c GLOBAL bounds - >= -5985 @ 312.923
319.25/320.31	c GLOBAL bounds - >= -5985 @ 313.967
321.55/322.60	c #Conflicts:      58000 | #Constraints:      19744
321.55/322.60	c GLOBAL bounds - >= -5985 @ 316.235
322.05/323.19	c GLOBAL bounds - >= -5985 @ 316.818
322.85/323.93	c GLOBAL bounds - >= -5985 @ 317.548
334.41/335.56	c #Conflicts:      59000 | #Constraints:      20750
334.41/335.56	c #Conflicts:      60000 | #Constraints:      21750
334.41/335.56	c #Conflicts:      61000 | #Constraints:      22750
334.41/335.56	c GLOBAL bounds - >= -5985 @ 328.917
335.10/336.28	c GLOBAL bounds - >= -5985 @ 329.627
338.00/339.17	c INPROCESSING
338.00/339.17	c GARBAGE COLLECT
338.00/339.17	c GLOBAL bounds - >= -5985 @ 332.475
341.08/342.25	c #Conflicts:      62000 | #Constraints:      18745
341.08/342.25	c GLOBAL bounds - >= -5985 @ 335.494
366.81/368.07	c #Conflicts:      63000 | #Constraints:      19747
366.81/368.07	c #Conflicts:      64000 | #Constraints:      20747
366.81/368.07	c #Conflicts:      65000 | #Constraints:      21747
366.81/368.07	c #Conflicts:      66000 | #Constraints:      22747
366.81/368.07	c INPROCESSING
366.81/368.07	c GARBAGE COLLECT
366.81/368.07	c GLOBAL bounds - >= -5985 @ 360.981
367.60/368.89	c GLOBAL bounds - >= -5985 @ 361.776
370.19/371.41	c #Conflicts:      67000 | #Constraints:      18554
370.19/371.41	c GLOBAL bounds - >= -5985 @ 364.258
373.98/375.23	c GLOBAL bounds - >= -5985 @ 368.011
375.27/376.54	c #Conflicts:      68000 | #Constraints:      19558
375.27/376.54	c GLOBAL bounds - >= -5985 @ 369.3
377.96/379.28	c GLOBAL bounds - >= -5985 @ 371.992
382.15/383.49	c #Conflicts:      69000 | #Constraints:      20562
382.15/383.49	c GLOBAL bounds - >= -5985 @ 376.151
383.55/384.83	c GLOBAL bounds - >= -5985 @ 377.48
384.65/386.00	c GLOBAL bounds - >= -5985 @ 378.634
386.54/387.80	c GLOBAL bounds - >= -5985 @ 380.418
392.42/393.78	c #Conflicts:      70000 | #Constraints:      21570
392.42/393.78	c GLOBAL bounds - >= -5985 @ 386.328
401.99/403.36	c #Conflicts:      71000 | #Constraints:      22572
401.99/403.36	c #Conflicts:      72000 | #Constraints:      23572
401.99/403.36	c INPROCESSING
401.99/403.36	c GARBAGE COLLECT
401.99/403.36	c GLOBAL bounds - >= -5985 @ 395.696
406.57/407.93	c #Conflicts:      73000 | #Constraints:      19183
406.57/407.93	c GLOBAL bounds - >= -5985 @ 400.173
409.67/411.05	c GLOBAL bounds - >= -5985 @ 403.251
411.16/412.57	c GLOBAL bounds - >= -5985 @ 404.747
413.15/414.55	c #Conflicts:      74000 | #Constraints:      20189
413.15/414.55	c GLOBAL bounds - >= -5985 @ 406.705
414.15/415.57	c GLOBAL bounds - >= -5985 @ 407.713
428.61/430.05	c #Conflicts:      75000 | #Constraints:      21193
428.61/430.05	c #Conflicts:      76000 | #Constraints:      22193
428.61/430.05	c GLOBAL bounds - >= -5985 @ 421.974
429.19/430.60	c GLOBAL bounds - >= -5985 @ 422.514
434.38/435.83	c #Conflicts:      77000 | #Constraints:      23197
434.38/435.83	c GLOBAL bounds - >= -5985 @ 427.683
441.76/443.26	c #Conflicts:      78000 | #Constraints:      24199
441.76/443.26	c INPROCESSING
441.76/443.26	c GARBAGE COLLECT
441.76/443.26	c GLOBAL bounds - >= -5985 @ 434.988
446.35/447.80	c #Conflicts:      79000 | #Constraints:      19602
446.35/447.80	c GLOBAL bounds - >= -5985 @ 439.489
458.80/460.32	c #Conflicts:      80000 | #Constraints:      20604
458.80/460.32	c #Conflicts:      81000 | #Constraints:      21604
458.80/460.32	c GLOBAL bounds - >= -5985 @ 451.9
461.99/463.57	c GLOBAL bounds - >= -5985 @ 455.099
474.75/476.39	c #Conflicts:      82000 | #Constraints:      22608
474.75/476.39	c #Conflicts:      83000 | #Constraints:      23608
474.75/476.39	c #Conflicts:      84000 | #Constraints:      24608
474.75/476.39	c INPROCESSING
474.75/476.39	c GARBAGE COLLECT
474.75/476.39	c GLOBAL bounds - >= -5985 @ 467.486
494.98/496.63	c #Conflicts:      85000 | #Constraints:      19816
494.98/496.63	c #Conflicts:      86000 | #Constraints:      20816
494.98/496.63	c #Conflicts:      87000 | #Constraints:      21816
494.98/496.63	c #Conflicts:      88000 | #Constraints:      22816
494.98/496.63	c GLOBAL bounds - >= -5985 @ 487.507
544.52/546.35	c #Conflicts:      89000 | #Constraints:      23818
544.52/546.35	c #Conflicts:      90000 | #Constraints:      24818
544.52/546.35	c INPROCESSING
544.52/546.35	c GARBAGE COLLECT
544.52/546.35	c #Conflicts:      91000 | #Constraints:      19830
544.52/546.35	c #Conflicts:      92000 | #Constraints:      20830
544.52/546.35	c #Conflicts:      93000 | #Constraints:      21830
544.52/546.35	c #Conflicts:      94000 | #Constraints:      22830
544.52/546.35	c #Conflicts:      95000 | #Constraints:      23830
544.52/546.35	c #Conflicts:      96000 | #Constraints:      24830
544.52/546.35	c INPROCESSING
544.52/546.35	c GARBAGE COLLECT
544.52/546.35	c #Conflicts:      97000 | #Constraints:      19632
544.52/546.35	c GLOBAL bounds - >= -5985 @ 536.625
561.56/563.40	c #Conflicts:      98000 | #Constraints:      20634
561.56/563.40	c #Conflicts:      99000 | #Constraints:      21634
561.56/563.40	c #Conflicts:     100000 | #Constraints:      22634
561.56/563.40	c GLOBAL bounds - >= -5985 @ 553.513
596.45/598.43	c #Conflicts:     101000 | #Constraints:      23636
596.45/598.43	c #Conflicts:     102000 | #Constraints:      24636
596.45/598.43	c #Conflicts:     103000 | #Constraints:      25636
596.45/598.43	c INPROCESSING
596.45/598.43	c GARBAGE COLLECT
596.45/598.43	c #Conflicts:     104000 | #Constraints:      20232
596.45/598.43	c #Conflicts:     105000 | #Constraints:      21232
596.45/598.43	c #Conflicts:     106000 | #Constraints:      22232
596.45/598.43	c GLOBAL bounds - >= -5985 @ 588.026
597.94/599.94	c GLOBAL bounds - >= -5985 @ 589.516
614.39/616.40	c #Conflicts:     107000 | #Constraints:      23236
614.39/616.40	c #Conflicts:     108000 | #Constraints:      24236
614.39/616.40	c GLOBAL bounds - >= -5985 @ 605.788
634.93/637.05	c #Conflicts:     109000 | #Constraints:      25238
634.93/637.05	c #Conflicts:     110000 | #Constraints:      26238
634.93/637.05	c INPROCESSING
634.93/637.05	c GARBAGE COLLECT
634.93/637.05	c #Conflicts:     111000 | #Constraints:      20634
634.93/637.05	c GLOBAL bounds - >= -5985 @ 626.241
646.28/648.49	c #Conflicts:     112000 | #Constraints:      21636
646.28/648.49	c GLOBAL bounds - >= -5985 @ 637.563
718.85/721.24	c #Conflicts:     113000 | #Constraints:      22638
718.85/721.24	c #Conflicts:     114000 | #Constraints:      23638
718.85/721.24	c #Conflicts:     115000 | #Constraints:      24638
718.85/721.24	c #Conflicts:     116000 | #Constraints:      25638
718.85/721.24	c #Conflicts:     117000 | #Constraints:      26638
718.85/721.24	c INPROCESSING
718.85/721.24	c GARBAGE COLLECT
718.85/721.24	c #Conflicts:     118000 | #Constraints:      20841
718.85/721.24	c #Conflicts:     119000 | #Constraints:      21841
718.85/721.24	c #Conflicts:     120000 | #Constraints:      22841
718.85/721.24	c #Conflicts:     121000 | #Constraints:      23841
718.85/721.24	c #Conflicts:     122000 | #Constraints:      24841
718.85/721.24	c GLOBAL bounds - >= -5985 @ 709.432
739.28/741.77	c #Conflicts:     123000 | #Constraints:      25843
739.28/741.77	c #Conflicts:     124000 | #Constraints:      26843
739.28/741.77	c INPROCESSING
739.28/741.77	c GARBAGE COLLECT
739.28/741.77	c GLOBAL bounds - >= -5985 @ 729.762
751.45/753.96	c #Conflicts:     125000 | #Constraints:      20846
751.45/753.96	c GLOBAL bounds - >= -5985 @ 741.838
781.25/783.88	c #Conflicts:     126000 | #Constraints:      21848
781.25/783.88	c #Conflicts:     127000 | #Constraints:      22848
781.25/783.88	c #Conflicts:     128000 | #Constraints:      23848
781.25/783.88	c #Conflicts:     129000 | #Constraints:      24848
781.25/783.88	c #Conflicts:     130000 | #Constraints:      25848
781.25/783.88	c GLOBAL bounds - >= -5985 @ 771.279
817.73/820.48	c #Conflicts:     131000 | #Constraints:      26850
817.73/820.48	c INPROCESSING
817.73/820.48	c GARBAGE COLLECT
817.73/820.48	c #Conflicts:     132000 | #Constraints:      20648
817.73/820.48	c #Conflicts:     133000 | #Constraints:      21648
817.73/820.48	c #Conflicts:     134000 | #Constraints:      22648
817.73/820.48	c GLOBAL bounds - >= -5985 @ 807.509
879.93/882.83	c #Conflicts:     135000 | #Constraints:      23650
879.93/882.83	c #Conflicts:     136000 | #Constraints:      24650
879.93/882.83	c #Conflicts:     137000 | #Constraints:      25650
879.93/882.83	c #Conflicts:     138000 | #Constraints:      26650
879.93/882.83	c #Conflicts:     139000 | #Constraints:      27650
879.93/882.83	c INPROCESSING
879.93/882.83	c GARBAGE COLLECT
879.93/882.83	c #Conflicts:     140000 | #Constraints:      21267
879.93/882.83	c #Conflicts:     141000 | #Constraints:      22267
879.93/882.83	c #Conflicts:     142000 | #Constraints:      23267
879.93/882.83	c #Conflicts:     143000 | #Constraints:      24267
879.93/882.83	c #Conflicts:     144000 | #Constraints:      25267
879.93/882.83	c #Conflicts:     145000 | #Constraints:      26267
879.93/882.83	c #Conflicts:     146000 | #Constraints:      27267
879.93/882.83	c #Conflicts:     147000 | #Constraints:      28267
879.93/882.83	c INPROCESSING
879.93/882.83	c GARBAGE COLLECT
879.93/882.83	c GLOBAL bounds - >= -5985 @ 868.942
893.99/896.98	c #Conflicts:     148000 | #Constraints:      21682
893.99/896.98	c #Conflicts:     149000 | #Constraints:      22682
893.99/896.98	c GLOBAL bounds - >= -5985 @ 882.951
897.77/900.70	c GLOBAL bounds - >= -5985 @ 886.641
907.33/910.36	c #Conflicts:     150000 | #Constraints:      23686
907.33/910.36	c #Conflicts:     151000 | #Constraints:      24686
907.33/910.36	c GLOBAL bounds - >= -5985 @ 896.127
920.20/923.20	c #Conflicts:     152000 | #Constraints:      25688
920.20/923.20	c GLOBAL bounds - >= -5985 @ 908.85
953.99/957.17	c #Conflicts:     153000 | #Constraints:      26690
953.99/957.17	c #Conflicts:     154000 | #Constraints:      27690
953.99/957.17	c #Conflicts:     155000 | #Constraints:      28690
953.99/957.17	c INPROCESSING
953.99/957.17	c GARBAGE COLLECT
953.99/957.17	c #Conflicts:     156000 | #Constraints:      21882
953.99/957.17	c #Conflicts:     157000 | #Constraints:      22882
953.99/957.17	c GLOBAL bounds - >= -5985 @ 942.29
960.56/963.75	c GLOBAL bounds - >= -5985 @ 948.798
963.85/967.03	c #Conflicts:     158000 | #Constraints:      23886
963.85/967.03	c GLOBAL bounds - >= -5985 @ 952.054
966.94/970.19	c GLOBAL bounds - >= -5985 @ 955.194
968.54/971.76	c GLOBAL bounds - >= -5985 @ 956.758
970.53/973.76	c #Conflicts:     159000 | #Constraints:      24892
970.53/973.76	c GLOBAL bounds - >= -5985 @ 958.738
973.72/976.94	c GLOBAL bounds - >= -5985 @ 961.878
981.00/984.29	c #Conflicts:     160000 | #Constraints:      25896
981.00/984.29	c GLOBAL bounds - >= -5985 @ 969.16
990.07/993.34	c GLOBAL bounds - >= -5985 @ 978.11
992.16/995.43	c #Conflicts:     161000 | #Constraints:      26900
992.16/995.43	c GLOBAL bounds - >= -5985 @ 980.183
993.36/996.61	c GLOBAL bounds - >= -5985 @ 981.352
994.45/997.77	c GLOBAL bounds - >= -5985 @ 982.5
997.24/1000.54	c GLOBAL bounds - >= -5985 @ 985.241
998.44/1001.70	c GLOBAL bounds - >= -5985 @ 986.391
999.94/1003.24	c GLOBAL bounds - >= -5985 @ 987.928
1010.90/1014.25	c #Conflicts:     162000 | #Constraints:      27912
1010.90/1014.25	c #Conflicts:     163000 | #Constraints:      28912
1010.90/1014.25	c INPROCESSING
1010.90/1014.25	c GARBAGE COLLECT
1010.90/1014.25	c GLOBAL bounds - >= -5985 @ 998.778
1012.00/1015.36	c GLOBAL bounds - >= -5985 @ 999.872
1013.19/1016.58	c GLOBAL bounds - >= -5985 @ 1001.08
1014.88/1018.20	c #Conflicts:     164000 | #Constraints:      21909
1014.88/1018.20	c GLOBAL bounds - >= -5985 @ 1002.67
1034.33/1037.73	c #Conflicts:     165000 | #Constraints:      22911
1034.33/1037.73	c #Conflicts:     166000 | #Constraints:      23911
1034.33/1037.73	c #Conflicts:     167000 | #Constraints:      24911
1034.33/1037.73	c GLOBAL bounds - >= -5985 @ 1021.94
1043.60/1047.06	c #Conflicts:     168000 | #Constraints:      25913
1043.60/1047.06	c GLOBAL bounds - >= -5985 @ 1031.17
1053.26/1056.80	c #Conflicts:     169000 | #Constraints:      26915
1053.26/1056.80	c GLOBAL bounds - >= -5985 @ 1040.81
1061.14/1064.66	c #Conflicts:     170000 | #Constraints:      27917
1061.14/1064.66	c GLOBAL bounds - >= -5985 @ 1048.59
1073.00/1076.50	c #Conflicts:     171000 | #Constraints:      28919
1073.00/1076.50	c INPROCESSING
1073.00/1076.50	c GARBAGE COLLECT
1073.00/1076.50	c GLOBAL bounds - >= -5985 @ 1060.35
1076.39/1079.91	c GLOBAL bounds - >= -5985 @ 1063.73
1082.76/1086.33	c #Conflicts:     172000 | #Constraints:      21726
1082.76/1086.33	c GLOBAL bounds - >= -5985 @ 1070.07
1084.36/1087.92	c #Conflicts:     173000 | #Constraints:      22728
1084.36/1087.92	c GLOBAL bounds - >= -5985 @ 1071.63
1087.16/1090.78	c GLOBAL bounds - >= -5985 @ 1074.46
1108.88/1112.55	c #Conflicts:     174000 | #Constraints:      23732
1108.88/1112.55	c #Conflicts:     175000 | #Constraints:      24732
1108.88/1112.55	c #Conflicts:     176000 | #Constraints:      25732
1108.88/1112.55	c GLOBAL bounds - >= -5985 @ 1095.93
1115.76/1119.40	c #Conflicts:     177000 | #Constraints:      26734
1115.76/1119.40	c GLOBAL bounds - >= -5985 @ 1102.71
1124.13/1127.84	c #Conflicts:     178000 | #Constraints:      27736
1124.13/1127.84	c GLOBAL bounds - >= -5985 @ 1111.03
1139.39/1143.13	c #Conflicts:     179000 | #Constraints:      28738
1139.39/1143.13	c GLOBAL bounds - >= -5985 @ 1126.16
1153.84/1157.64	c #Conflicts:     180000 | #Constraints:      29740
1153.84/1157.64	c INPROCESSING
1153.84/1157.64	c GARBAGE COLLECT
1153.84/1157.64	c #Conflicts:     181000 | #Constraints:      22332
1153.84/1157.64	c GLOBAL bounds - >= -5985 @ 1140.53
1157.43/1161.21	c #Conflicts:     182000 | #Constraints:      23334
1157.43/1161.21	c GLOBAL bounds - >= -5985 @ 1144.06
1159.92/1163.73	c GLOBAL bounds - >= -5985 @ 1146.56
1181.05/1184.90	c #Conflicts:     183000 | #Constraints:      24338
1181.05/1184.90	c #Conflicts:     184000 | #Constraints:      25338
1181.05/1184.90	c #Conflicts:     185000 | #Constraints:      26338
1181.05/1184.90	c #Conflicts:     186000 | #Constraints:      27338
1181.05/1184.90	c GLOBAL bounds - >= -5985 @ 1167.46
1196.11/1200.04	c #Conflicts:     187000 | #Constraints:      28340
1196.11/1200.04	c #Conflicts:     188000 | #Constraints:      29340
1196.11/1200.04	c #Conflicts:     189000 | #Constraints:      30340
1196.11/1200.04	c INPROCESSING
1196.11/1200.04	c GARBAGE COLLECT
1196.11/1200.04	c GLOBAL bounds - >= -5985 @ 1182.48
1197.70/1201.66	c GLOBAL bounds - >= -5985 @ 1184.08
1210.86/1214.89	c #Conflicts:     190000 | #Constraints:      22771
1210.86/1214.89	c #Conflicts:     191000 | #Constraints:      23771
1210.86/1214.89	c GLOBAL bounds - >= -5985 @ 1197.22
1224.71/1228.79	c #Conflicts:     192000 | #Constraints:      24773
1224.71/1228.79	c #Conflicts:     193000 | #Constraints:      25773
1224.71/1228.79	c #Conflicts:     194000 | #Constraints:      26773
1224.71/1228.79	c GLOBAL bounds - >= -5985 @ 1210.98
1246.33/1250.41	c #Conflicts:     195000 | #Constraints:      27775
1246.33/1250.41	c #Conflicts:     196000 | #Constraints:      28775
1246.33/1250.41	c #Conflicts:     197000 | #Constraints:      29775
1246.33/1250.41	c #Conflicts:     198000 | #Constraints:      30775
1246.33/1250.41	c INPROCESSING
1246.33/1250.41	c GARBAGE COLLECT
1246.33/1250.41	c GLOBAL bounds - >= -5985 @ 1232.33
1282.62/1286.83	c #Conflicts:     199000 | #Constraints:      22974
1282.62/1286.83	c #Conflicts:     200000 | #Constraints:      23974
1282.62/1286.83	c #Conflicts:     201000 | #Constraints:      24974
1282.62/1286.83	c #Conflicts:     202000 | #Constraints:      25974
1282.62/1286.83	c #Conflicts:     203000 | #Constraints:      26974
1282.62/1286.83	c #Conflicts:     204000 | #Constraints:      27974
1282.62/1286.83	c #Conflicts:     205000 | #Constraints:      28974
1282.62/1286.83	c #Conflicts:     206000 | #Constraints:      29974
1282.62/1286.83	c GLOBAL bounds - >= -5985 @ 1268.12
1301.17/1305.41	c #Conflicts:     207000 | #Constraints:      30976
1301.17/1305.41	c INPROCESSING
1301.17/1305.41	c GARBAGE COLLECT
1301.17/1305.41	c #Conflicts:     208000 | #Constraints:      22993
1301.17/1305.41	c #Conflicts:     209000 | #Constraints:      23993
1301.17/1305.41	c #Conflicts:     210000 | #Constraints:      24993
1301.17/1305.41	c GLOBAL bounds - >= -5985 @ 1286.44
1350.43/1354.87	c #Conflicts:     211000 | #Constraints:      25995
1350.43/1354.87	c #Conflicts:     212000 | #Constraints:      26995
1350.43/1354.87	c #Conflicts:     213000 | #Constraints:      27995
1350.43/1354.87	c #Conflicts:     214000 | #Constraints:      28995
1350.43/1354.87	c #Conflicts:     215000 | #Constraints:      29995
1350.43/1354.87	c #Conflicts:     216000 | #Constraints:      30995
1350.43/1354.87	c INPROCESSING
1350.43/1354.87	c GARBAGE COLLECT
1350.43/1354.87	c #Conflicts:     217000 | #Constraints:      22811
1350.43/1354.87	c #Conflicts:     218000 | #Constraints:      23811
1350.43/1354.87	c #Conflicts:     219000 | #Constraints:      24811
1350.43/1354.87	c #Conflicts:     220000 | #Constraints:      25811
1350.43/1354.87	c #Conflicts:     221000 | #Constraints:      26811
1350.43/1354.87	c #Conflicts:     222000 | #Constraints:      27811
1350.43/1354.87	c GLOBAL bounds - >= -5985 @ 1334.91
1363.40/1367.86	c #Conflicts:     223000 | #Constraints:      28813
1363.40/1367.86	c #Conflicts:     224000 | #Constraints:      29813
1363.40/1367.86	c GLOBAL bounds - >= -5985 @ 1347.8
1378.95/1383.42	c #Conflicts:     225000 | #Constraints:      30815
1378.95/1383.42	c #Conflicts:     226000 | #Constraints:      31815
1378.95/1383.42	c INPROCESSING
1378.95/1383.42	c GARBAGE COLLECT
1378.95/1383.42	c #Conflicts:     227000 | #Constraints:      23424
1378.95/1383.42	c GLOBAL bounds - >= -5985 @ 1363.25
1397.80/1402.37	c #Conflicts:     228000 | #Constraints:      24426
1397.80/1402.37	c #Conflicts:     229000 | #Constraints:      25426
1397.80/1402.37	c #Conflicts:     230000 | #Constraints:      26426
1397.80/1402.37	c #Conflicts:     231000 | #Constraints:      27426
1397.80/1402.37	c GLOBAL bounds - >= -5985 @ 1381.91
1414.65/1419.26	c #Conflicts:     232000 | #Constraints:      28428
1414.65/1419.26	c GLOBAL bounds - >= -5985 @ 1398.65
1434.10/1438.71	c #Conflicts:     233000 | #Constraints:      29430
1434.10/1438.71	c #Conflicts:     234000 | #Constraints:      30430
1434.10/1438.71	c #Conflicts:     235000 | #Constraints:      31430
1434.10/1438.71	c GLOBAL bounds - >= -5985 @ 1417.9
1441.18/1445.84	c GLOBAL bounds - >= -5985 @ 1424.97
1449.46/1454.11	c #Conflicts:     236000 | #Constraints:      32434
1449.46/1454.11	c INPROCESSING
1449.46/1454.11	c GARBAGE COLLECT
1449.46/1454.11	c GLOBAL bounds - >= -5985 @ 1433.18
1450.05/1454.70	c GLOBAL bounds - >= -5985 @ 1433.77
1470.10/1474.80	c #Conflicts:     237000 | #Constraints:      23825
1470.10/1474.80	c #Conflicts:     238000 | #Constraints:      24825
1470.10/1474.80	c #Conflicts:     239000 | #Constraints:      25825
1470.10/1474.80	c GLOBAL bounds - >= -5985 @ 1453.65
1484.76/1489.51	c #Conflicts:     240000 | #Constraints:      26827
1484.76/1489.51	c #Conflicts:     241000 | #Constraints:      27827
1484.76/1489.51	c GLOBAL bounds - >= -5985 @ 1468.2
1485.86/1490.68	c GLOBAL bounds - >= -5985 @ 1469.35
1495.13/1499.91	c #Conflicts:     242000 | #Constraints:      28831
1495.13/1499.91	c GLOBAL bounds - >= -5985 @ 1478.51
1499.42/1504.27	c #Conflicts:     243000 | #Constraints:      29833
1499.42/1504.27	c GLOBAL bounds - >= -5985 @ 1482.84
1504.50/1509.34	c GLOBAL bounds - >= -5985 @ 1487.86
1511.39/1516.20	c #Conflicts:     244000 | #Constraints:      30837
1511.39/1516.20	c GLOBAL bounds - >= -5985 @ 1494.66
1520.17/1525.07	c GLOBAL bounds - >= -5985 @ 1503.44
1535.62/1540.51	c #Conflicts:     245000 | #Constraints:      31841
1535.62/1540.51	c #Conflicts:     246000 | #Constraints:      32841
1535.62/1540.51	c INPROCESSING
1535.62/1540.51	c GARBAGE COLLECT
1535.62/1540.51	c GLOBAL bounds - >= -5985 @ 1518.72
1652.80/1658.07	c #Conflicts:     247000 | #Constraints:      24039
1652.80/1658.07	c #Conflicts:     248000 | #Constraints:      25039
1652.80/1658.07	c #Conflicts:     249000 | #Constraints:      26039
1652.80/1658.07	c #Conflicts:     250000 | #Constraints:      27039
1652.80/1658.07	c #Conflicts:     251000 | #Constraints:      28039
1652.80/1658.07	c #Conflicts:     252000 | #Constraints:      29039
1652.80/1658.07	c #Conflicts:     253000 | #Constraints:      30039
1652.80/1658.07	c #Conflicts:     254000 | #Constraints:      31039
1652.80/1658.07	c #Conflicts:     255000 | #Constraints:      32039
1652.80/1658.07	c #Conflicts:     256000 | #Constraints:      33039
1652.80/1658.07	c INPROCESSING
1652.80/1658.07	c GARBAGE COLLECT
1652.80/1658.07	c #Conflicts:     257000 | #Constraints:      24039
1652.80/1658.07	c #Conflicts:     258000 | #Constraints:      25039
1652.80/1658.07	c #Conflicts:     259000 | #Constraints:      26039
1652.80/1658.07	c #Conflicts:     260000 | #Constraints:      27039
1652.80/1658.07	c GLOBAL bounds - >= -5985 @ 1635.35
1678.53/1683.80	c #Conflicts:     261000 | #Constraints:      28041
1678.53/1683.80	c #Conflicts:     262000 | #Constraints:      29041
1678.53/1683.80	c #Conflicts:     263000 | #Constraints:      30041
1678.53/1683.80	c GLOBAL bounds - >= -5985 @ 1660.89
1688.81/1694.13	c GLOBAL bounds - >= -5985 @ 1671.15
1702.07/1707.48	c #Conflicts:     264000 | #Constraints:      31045
1702.07/1707.48	c #Conflicts:     265000 | #Constraints:      32045
1702.07/1707.48	c GLOBAL bounds - >= -5985 @ 1684.41
1709.65/1715.02	c #Conflicts:     266000 | #Constraints:      33047
1709.65/1715.02	c GLOBAL bounds - >= -5985 @ 1691.85
1729.19/1734.62	c INPROCESSING
1729.19/1734.62	c GARBAGE COLLECT
1729.19/1734.62	c #Conflicts:     267000 | #Constraints:      23846
1729.19/1734.62	c #Conflicts:     268000 | #Constraints:      24846
1729.19/1734.62	c #Conflicts:     269000 | #Constraints:      25846
1729.19/1734.62	c #Conflicts:     270000 | #Constraints:      26846
1729.19/1734.62	c GLOBAL bounds - >= -5985 @ 1711.21
1746.34/1751.88	c #Conflicts:     271000 | #Constraints:      27848
1746.34/1751.88	c #Conflicts:     272000 | #Constraints:      28848
1746.34/1751.88	c #Conflicts:     273000 | #Constraints:      29848
1746.34/1751.88	c GLOBAL bounds - >= -5985 @ 1728.34
1786.32/1791.99	c #Conflicts:     274000 | #Constraints:      30850
1786.32/1791.99	c #Conflicts:     275000 | #Constraints:      31850
1786.32/1791.99	c #Conflicts:     276000 | #Constraints:      32850
1786.32/1791.99	c #Conflicts:     277000 | #Constraints:      33850
1786.32/1791.99	c INPROCESSING
1786.32/1791.99	c GARBAGE COLLECT
1786.32/1791.99	c GLOBAL bounds - >= -5985 @ 1768.06
1792.41/1798.01	c #Conflicts:     278000 | #Constraints:      24475
1792.41/1798.01	c GLOBAL bounds - >= -5985 @ 1774.03
1856.92/1862.73	c #Conflicts:     279000 | #Constraints:      25477
1856.92/1862.73	c #Conflicts:     280000 | #Constraints:      26477
1856.92/1862.73	c #Conflicts:     281000 | #Constraints:      27477
1856.92/1862.73	c #Conflicts:     282000 | #Constraints:      28477
1856.92/1862.73	c #Conflicts:     283000 | #Constraints:      29477
1856.92/1862.73	c #Conflicts:     284000 | #Constraints:      30477
1856.92/1862.73	c GLOBAL bounds - >= -5985 @ 1838.32
1875.68/1881.57	c #Conflicts:     285000 | #Constraints:      31479
1875.68/1881.57	c #Conflicts:     286000 | #Constraints:      32479
1875.68/1881.57	c GLOBAL bounds - >= -5985 @ 1857.04
1881.66/1887.53	c #Conflicts:     287000 | #Constraints:      33481
1881.66/1887.53	c GLOBAL bounds - >= -5985 @ 1862.95
1905.38/1911.34	c #Conflicts:     288000 | #Constraints:      34483
1905.38/1911.34	c INPROCESSING
1905.38/1911.34	c GARBAGE COLLECT
1905.38/1911.34	c #Conflicts:     289000 | #Constraints:      24890
1905.38/1911.34	c GLOBAL bounds - >= -5985 @ 1886.43
1920.34/1926.33	c #Conflicts:     290000 | #Constraints:      25892
1920.34/1926.33	c #Conflicts:     291000 | #Constraints:      26892
1920.34/1926.33	c GLOBAL bounds - >= -5985 @ 1901.33
1930.71/1936.76	c #Conflicts:     292000 | #Constraints:      27894
1930.71/1936.76	c #Conflicts:     293000 | #Constraints:      28894
1930.71/1936.76	c GLOBAL bounds - >= -5985 @ 1911.67
1942.77/1948.89	c #Conflicts:     294000 | #Constraints:      29896
1942.77/1948.89	c #Conflicts:     295000 | #Constraints:      30896
1942.77/1948.89	c GLOBAL bounds - >= -5985 @ 1923.72
2001.21/2007.41	c #Conflicts:     296000 | #Constraints:      31898
2001.21/2007.41	c #Conflicts:     297000 | #Constraints:      32898
2001.21/2007.41	c #Conflicts:     298000 | #Constraints:      33898
2001.21/2007.41	c #Conflicts:     299000 | #Constraints:      34898
2001.21/2007.41	c INPROCESSING
2001.21/2007.41	c GARBAGE COLLECT
2001.21/2007.41	c #Conflicts:     300000 | #Constraints:      25107
2001.21/2007.41	c GLOBAL bounds - >= -5985 @ 1981.75
2018.56/2024.87	c #Conflicts:     301000 | #Constraints:      26109
2018.56/2024.87	c #Conflicts:     302000 | #Constraints:      27109
2018.56/2024.87	c #Conflicts:     303000 | #Constraints:      28109
2018.56/2024.87	c GLOBAL bounds - >= -5985 @ 1999.03
2027.14/2033.45	c #Conflicts:     304000 | #Constraints:      29111
2027.14/2033.45	c GLOBAL bounds - >= -5985 @ 2007.57
2084.38/2090.86	c #Conflicts:     305000 | #Constraints:      30113
2084.38/2090.86	c #Conflicts:     306000 | #Constraints:      31113
2084.38/2090.86	c #Conflicts:     307000 | #Constraints:      32113
2084.38/2090.86	c #Conflicts:     308000 | #Constraints:      33113
2084.38/2090.86	c GLOBAL bounds - >= -5985 @ 2064.64
2090.96/2097.48	c #Conflicts:     309000 | #Constraints:      34115
2090.96/2097.48	c GLOBAL bounds - >= -5985 @ 2071.19
2112.19/2118.73	c #Conflicts:     310000 | #Constraints:      35117
2112.19/2118.73	c INPROCESSING
2112.19/2118.73	c GARBAGE COLLECT
2112.19/2118.73	c #Conflicts:     311000 | #Constraints:      25118
2112.19/2118.73	c #Conflicts:     312000 | #Constraints:      26118
2112.19/2118.73	c GLOBAL bounds - >= -5985 @ 2092.27
2179.10/2185.80	c #Conflicts:     313000 | #Constraints:      27120
2179.10/2185.80	c #Conflicts:     314000 | #Constraints:      28120
2179.10/2185.80	c #Conflicts:     315000 | #Constraints:      29120
2179.10/2185.80	c #Conflicts:     316000 | #Constraints:      30120
2179.10/2185.80	c #Conflicts:     317000 | #Constraints:      31120
2179.10/2185.80	c #Conflicts:     318000 | #Constraints:      32120
2179.10/2185.80	c #Conflicts:     319000 | #Constraints:      33120
2179.10/2185.80	c #Conflicts:     320000 | #Constraints:      34120
2179.10/2185.80	c #Conflicts:     321000 | #Constraints:      35120
2179.10/2185.80	c INPROCESSING
2179.10/2185.80	c GARBAGE COLLECT
2179.10/2185.80	c #Conflicts:     322000 | #Constraints:      24928
2179.10/2185.80	c GLOBAL bounds - >= -5985 @ 2158.83
2243.52/2250.45	c #Conflicts:     323000 | #Constraints:      25930
2243.52/2250.45	c #Conflicts:     324000 | #Constraints:      26930
2243.52/2250.45	c #Conflicts:     325000 | #Constraints:      27930
2243.52/2250.45	c #Conflicts:     326000 | #Constraints:      28930
2243.52/2250.45	c #Conflicts:     327000 | #Constraints:      29930
2243.52/2250.45	c #Conflicts:     328000 | #Constraints:      30930
2243.52/2250.45	c #Conflicts:     329000 | #Constraints:      31930
2243.52/2250.45	c #Conflicts:     330000 | #Constraints:      32930
2243.52/2250.45	c #Conflicts:     331000 | #Constraints:      33930
2243.52/2250.45	c #Conflicts:     332000 | #Constraints:      34930
2243.52/2250.45	c #Conflicts:     333000 | #Constraints:      35930
2243.52/2250.45	c INPROCESSING
2243.52/2250.45	c GARBAGE COLLECT
2243.52/2250.45	c #Conflicts:     334000 | #Constraints:      25548
2243.52/2250.45	c GLOBAL bounds - >= -5985 @ 2222.72
2290.69/2297.72	c #Conflicts:     335000 | #Constraints:      26550
2290.69/2297.72	c #Conflicts:     336000 | #Constraints:      27550
2290.69/2297.72	c #Conflicts:     337000 | #Constraints:      28550
2290.69/2297.72	c #Conflicts:     338000 | #Constraints:      29550
2290.69/2297.72	c GLOBAL bounds - >= -5985 @ 2269.67
2304.84/2311.94	c #Conflicts:     339000 | #Constraints:      30552
2304.84/2311.94	c #Conflicts:     340000 | #Constraints:      31552
2304.84/2311.94	c GLOBAL bounds - >= -5985 @ 2283.8
2327.08/2334.22	c #Conflicts:     341000 | #Constraints:      32554
2327.08/2334.22	c #Conflicts:     342000 | #Constraints:      33554
2327.08/2334.22	c GLOBAL bounds - >= -5985 @ 2305.94
2371.35/2378.67	c #Conflicts:     343000 | #Constraints:      34556
2371.35/2378.67	c #Conflicts:     344000 | #Constraints:      35556
2371.35/2378.67	c #Conflicts:     345000 | #Constraints:      36556
2371.35/2378.67	c INPROCESSING
2371.35/2378.67	c GARBAGE COLLECT
2371.35/2378.67	c #Conflicts:     346000 | #Constraints:      25945
2371.35/2378.67	c GLOBAL bounds - >= -5985 @ 2350.02
2395.89/2403.21	c #Conflicts:     347000 | #Constraints:      26947
2395.89/2403.21	c #Conflicts:     348000 | #Constraints:      27947
2395.89/2403.21	c #Conflicts:     349000 | #Constraints:      28947
2395.89/2403.21	c #Conflicts:     350000 | #Constraints:      29947
2395.89/2403.21	c GLOBAL bounds - >= -5985 @ 2374.35
2410.14/2417.50	c #Conflicts:     351000 | #Constraints:      30949
2410.14/2417.50	c #Conflicts:     352000 | #Constraints:      31949
2410.14/2417.50	c GLOBAL bounds - >= -5985 @ 2388.54
2435.27/2442.73	c #Conflicts:     353000 | #Constraints:      32951
2435.27/2442.73	c #Conflicts:     354000 | #Constraints:      33951
2435.27/2442.73	c GLOBAL bounds - >= -5985 @ 2413.64
2507.26/2514.99	c #Conflicts:     355000 | #Constraints:      34953
2507.26/2514.99	c #Conflicts:     356000 | #Constraints:      35953
2507.26/2514.99	c #Conflicts:     357000 | #Constraints:      36953
2507.26/2514.99	c INPROCESSING
2507.26/2514.99	c GARBAGE COLLECT
2507.26/2514.99	c #Conflicts:     358000 | #Constraints:      26126
2507.26/2514.99	c #Conflicts:     359000 | #Constraints:      27126
2507.26/2514.99	c #Conflicts:     360000 | #Constraints:      28126
2507.26/2514.99	c #Conflicts:     361000 | #Constraints:      29126
2507.26/2514.99	c #Conflicts:     362000 | #Constraints:      30126
2507.26/2514.99	c GLOBAL bounds - >= -5985 @ 2485.4
2513.84/2521.56	c #Conflicts:     363000 | #Constraints:      31128
2513.84/2521.56	c GLOBAL bounds - >= -5985 @ 2491.93
2520.12/2527.86	c GLOBAL bounds - >= -5985 @ 2498.18
2533.39/2541.17	c #Conflicts:     364000 | #Constraints:      32132
2533.39/2541.17	c GLOBAL bounds - >= -5985 @ 2511.35
2550.35/2558.12	c #Conflicts:     365000 | #Constraints:      33134
2550.35/2558.12	c #Conflicts:     366000 | #Constraints:      34134
2550.35/2558.12	c GLOBAL bounds - >= -5985 @ 2528.17
2557.52/2565.30	c GLOBAL bounds - >= -5985 @ 2535.3
2561.61/2569.40	c GLOBAL bounds - >= -5985 @ 2539.37
2602.49/2610.43	c #Conflicts:     367000 | #Constraints:      35140
2602.49/2610.43	c #Conflicts:     368000 | #Constraints:      36140
2602.49/2610.43	c #Conflicts:     369000 | #Constraints:      37140
2602.49/2610.43	c INPROCESSING
2602.49/2610.43	c GARBAGE COLLECT
2602.49/2610.43	c #Conflicts:     370000 | #Constraints:      26130
2602.49/2610.43	c #Conflicts:     371000 | #Constraints:      27130
2602.49/2610.43	c #Conflicts:     372000 | #Constraints:      28130
2602.49/2610.43	c GLOBAL bounds - >= -5985 @ 2579.96
2667.71/2675.80	c #Conflicts:     373000 | #Constraints:      29132
2667.71/2675.80	c #Conflicts:     374000 | #Constraints:      30132
2667.71/2675.80	c #Conflicts:     375000 | #Constraints:      31132
2667.71/2675.80	c #Conflicts:     376000 | #Constraints:      32132
2667.71/2675.80	c #Conflicts:     377000 | #Constraints:      33132
2667.71/2675.80	c #Conflicts:     378000 | #Constraints:      34132
2667.71/2675.80	c #Conflicts:     379000 | #Constraints:      35132
2667.71/2675.80	c #Conflicts:     380000 | #Constraints:      36132
2667.71/2675.80	c #Conflicts:     381000 | #Constraints:      37132
2667.71/2675.80	c GLOBAL bounds - >= -5985 @ 2644.76
2715.47/2723.71	c INPROCESSING
2715.47/2723.71	c GARBAGE COLLECT
2715.47/2723.71	c #Conflicts:     382000 | #Constraints:      25876
2715.47/2723.71	c #Conflicts:     383000 | #Constraints:      26876
2715.47/2723.71	c #Conflicts:     384000 | #Constraints:      27876
2715.47/2723.71	c #Conflicts:     385000 | #Constraints:      28876
2715.47/2723.71	c GLOBAL bounds - >= -5985 @ 2692.34
2738.72/2747.10	c #Conflicts:     386000 | #Constraints:      29878
2738.72/2747.10	c #Conflicts:     387000 | #Constraints:      30878
2738.72/2747.10	c #Conflicts:     388000 | #Constraints:      31878
2738.72/2747.10	c GLOBAL bounds - >= -5985 @ 2715.52
2761.26/2769.62	c #Conflicts:     389000 | #Constraints:      32880
2761.26/2769.62	c #Conflicts:     390000 | #Constraints:      33880
2761.26/2769.62	c GLOBAL bounds - >= -5985 @ 2737.86
2783.49/2791.97	c #Conflicts:     391000 | #Constraints:      34882
2783.49/2791.97	c GLOBAL bounds - >= -5985 @ 2760.04
2795.96/2804.49	c #Conflicts:     392000 | #Constraints:      35884
2795.96/2804.49	c GLOBAL bounds - >= -5985 @ 2772.46
2798.15/2806.68	c #Conflicts:     393000 | #Constraints:      36886
2798.15/2806.68	c GLOBAL bounds - >= -5985 @ 2774.63
2800.35/2808.83	c GLOBAL bounds - >= -5985 @ 2776.75
2803.44/2811.90	c GLOBAL bounds - >= -5985 @ 2779.73
2819.69/2828.25	c #Conflicts:     394000 | #Constraints:      37892
2819.69/2828.25	c INPROCESSING
2819.69/2828.25	c GARBAGE COLLECT
2819.69/2828.25	c #Conflicts:     395000 | #Constraints:      26516
2819.69/2828.25	c GLOBAL bounds - >= -5985 @ 2795.91
2856.89/2865.50	c #Conflicts:     396000 | #Constraints:      27518
2856.89/2865.50	c #Conflicts:     397000 | #Constraints:      28518
2856.89/2865.50	c #Conflicts:     398000 | #Constraints:      29518
2856.89/2865.50	c #Conflicts:     399000 | #Constraints:      30518
2856.89/2865.50	c #Conflicts:     400000 | #Constraints:      31518
2856.89/2865.50	c GLOBAL bounds - >= -5985 @ 2832.69
2897.97/2906.77	c #Conflicts:     401000 | #Constraints:      32520
2897.97/2906.77	c #Conflicts:     402000 | #Constraints:      33520
2897.97/2906.77	c #Conflicts:     403000 | #Constraints:      34520
2897.97/2906.77	c #Conflicts:     404000 | #Constraints:      35520
2897.97/2906.77	c GLOBAL bounds - >= -5985 @ 2873.62
2963.79/2972.79	c #Conflicts:     405000 | #Constraints:      36522
2963.79/2972.79	c #Conflicts:     406000 | #Constraints:      37522
2963.79/2972.79	c #Conflicts:     407000 | #Constraints:      38522
2963.79/2972.79	c INPROCESSING
2963.79/2972.79	c GARBAGE COLLECT
2963.79/2972.79	c #Conflicts:     408000 | #Constraints:      26931
2963.79/2972.79	c #Conflicts:     409000 | #Constraints:      27931
2963.79/2972.79	c #Conflicts:     410000 | #Constraints:      28931
2963.79/2972.79	c #Conflicts:     411000 | #Constraints:      29931
2963.79/2972.79	c GLOBAL bounds - >= -5985 @ 2939.05
3056.53/3065.74	c #Conflicts:     412000 | #Constraints:      30933
3056.53/3065.74	c #Conflicts:     413000 | #Constraints:      31933
3056.53/3065.74	c #Conflicts:     414000 | #Constraints:      32933
3056.53/3065.74	c #Conflicts:     415000 | #Constraints:      33933
3056.53/3065.74	c #Conflicts:     416000 | #Constraints:      34933
3056.53/3065.74	c #Conflicts:     417000 | #Constraints:      35933
3056.53/3065.74	c #Conflicts:     418000 | #Constraints:      36933
3056.53/3065.74	c #Conflicts:     419000 | #Constraints:      37933
3056.53/3065.74	c #Conflicts:     420000 | #Constraints:      38933
3056.53/3065.74	c INPROCESSING
3056.53/3065.74	c GARBAGE COLLECT
3056.53/3065.74	c #Conflicts:     421000 | #Constraints:      27149
3056.53/3065.74	c #Conflicts:     422000 | #Constraints:      28149
3056.53/3065.74	c #Conflicts:     423000 | #Constraints:      29149
3056.53/3065.74	c #Conflicts:     424000 | #Constraints:      30149
3056.53/3065.74	c #Conflicts:     425000 | #Constraints:      31149
3056.53/3065.74	c GLOBAL bounds - >= -5985 @ 3031.09
3202.60/3212.28	c #Conflicts:     426000 | #Constraints:      32151
3202.60/3212.28	c #Conflicts:     427000 | #Constraints:      33151
3202.60/3212.28	c #Conflicts:     428000 | #Constraints:      34151
3202.60/3212.28	c #Conflicts:     429000 | #Constraints:      35151
3202.60/3212.28	c #Conflicts:     430000 | #Constraints:      36151
3202.60/3212.28	c #Conflicts:     431000 | #Constraints:      37151
3202.60/3212.28	c #Conflicts:     432000 | #Constraints:      38151
3202.60/3212.28	c #Conflicts:     433000 | #Constraints:      39151
3202.60/3212.28	c INPROCESSING
3202.60/3212.28	c GARBAGE COLLECT
3202.60/3212.28	c #Conflicts:     434000 | #Constraints:      27173
3202.60/3212.28	c #Conflicts:     435000 | #Constraints:      28173
3202.60/3212.28	c #Conflicts:     436000 | #Constraints:      29173
3202.60/3212.28	c #Conflicts:     437000 | #Constraints:      30173
3202.60/3212.28	c #Conflicts:     438000 | #Constraints:      31173
3202.60/3212.28	c #Conflicts:     439000 | #Constraints:      32173
3202.60/3212.28	c #Conflicts:     440000 | #Constraints:      33173
3202.60/3212.28	c #Conflicts:     441000 | #Constraints:      34173
3202.60/3212.28	c #Conflicts:     442000 | #Constraints:      35173
3202.60/3212.28	c #Conflicts:     443000 | #Constraints:      36173
3202.60/3212.28	c #Conflicts:     444000 | #Constraints:      37173
3202.60/3212.28	c #Conflicts:     445000 | #Constraints:      38173
3202.60/3212.28	c #Conflicts:     446000 | #Constraints:      39173
3202.60/3212.28	c INPROCESSING
3202.60/3212.28	c GARBAGE COLLECT
3202.60/3212.28	c #Conflicts:     447000 | #Constraints:      26989
3202.60/3212.28	c GLOBAL bounds - >= -5985 @ 3176.41
3330.83/3340.90	c #Conflicts:     448000 | #Constraints:      27991
3330.83/3340.90	c #Conflicts:     449000 | #Constraints:      28991
3330.83/3340.90	c #Conflicts:     450000 | #Constraints:      29991
3330.83/3340.90	c #Conflicts:     451000 | #Constraints:      30991
3330.83/3340.90	c #Conflicts:     452000 | #Constraints:      31991
3330.83/3340.90	c #Conflicts:     453000 | #Constraints:      32991
3330.83/3340.90	c #Conflicts:     454000 | #Constraints:      33991
3330.83/3340.90	c #Conflicts:     455000 | #Constraints:      34991
3330.83/3340.90	c #Conflicts:     456000 | #Constraints:      35991
3330.83/3340.90	c #Conflicts:     457000 | #Constraints:      36991
3330.83/3340.90	c #Conflicts:     458000 | #Constraints:      37991
3330.83/3340.90	c #Conflicts:     459000 | #Constraints:      38991
3330.83/3340.90	c #Conflicts:     460000 | #Constraints:      39991
3330.83/3340.90	c INPROCESSING
3330.83/3340.90	c GARBAGE COLLECT
3330.83/3340.90	c #Conflicts:     461000 | #Constraints:      27595
3330.83/3340.90	c #Conflicts:     462000 | #Constraints:      28595
3330.83/3340.90	c GLOBAL bounds - >= -5985 @ 3304.34
3353.36/3363.40	c #Conflicts:     463000 | #Constraints:      29597
3353.36/3363.40	c #Conflicts:     464000 | #Constraints:      30597
3353.36/3363.40	c #Conflicts:     465000 | #Constraints:      31597
3353.36/3363.40	c #Conflicts:     466000 | #Constraints:      32597
3353.36/3363.40	c GLOBAL bounds - >= -5985 @ 3326.72
3356.46/3366.51	c GLOBAL bounds - >= -5985 @ 3329.81
3363.05/3373.17	c #Conflicts:     467000 | #Constraints:      33601
3363.05/3373.17	c #Conflicts:     468000 | #Constraints:      34601
3363.05/3373.17	c GLOBAL bounds - >= -5985 @ 3336.4
3366.13/3376.20	c GLOBAL bounds - >= -5985 @ 3339.41
3391.26/3401.41	c #Conflicts:     469000 | #Constraints:      35605
3391.26/3401.41	c #Conflicts:     470000 | #Constraints:      36605
3391.26/3401.41	c #Conflicts:     471000 | #Constraints:      37605
3391.26/3401.41	c #Conflicts:     472000 | #Constraints:      38605
3391.26/3401.41	c #Conflicts:     473000 | #Constraints:      39605
3391.26/3401.41	c GLOBAL bounds - >= -5985 @ 3364.34
3430.25/3440.52	c #Conflicts:     474000 | #Constraints:      40607
3430.25/3440.52	c INPROCESSING
3430.25/3440.52	c GARBAGE COLLECT
3430.25/3440.52	c #Conflicts:     475000 | #Constraints:      28014
3430.25/3440.52	c #Conflicts:     476000 | #Constraints:      29014
3430.25/3440.52	c #Conflicts:     477000 | #Constraints:      30014
3430.25/3440.52	c #Conflicts:     478000 | #Constraints:      31014
3430.25/3440.52	c #Conflicts:     479000 | #Constraints:      32014
3430.25/3440.52	c #Conflicts:     480000 | #Constraints:      33014
3430.25/3440.52	c #Conflicts:     481000 | #Constraints:      34014
3430.25/3440.52	c GLOBAL bounds - >= -5985 @ 3403.04
3600.06/3610.81	c #Conflicts:     482000 | #Constraints:      35016
3600.06/3610.81	c #Conflicts:     483000 | #Constraints:      36016
3600.06/3610.81	c #Conflicts:     484000 | #Constraints:      37016
3600.06/3610.81	c #Conflicts:     485000 | #Constraints:      38016
3600.06/3610.81	c #Conflicts:     486000 | #Constraints:      39016
3600.06/3610.81	c #Conflicts:     487000 | #Constraints:      40016
3600.06/3610.81	c #Conflicts:     488000 | #Constraints:      41016
3600.06/3610.81	c INPROCESSING
3600.06/3610.81	c GARBAGE COLLECT
3600.06/3610.81	c #Conflicts:     489000 | #Constraints:      28226
3600.06/3610.81	c #Conflicts:     490000 | #Constraints:      29226
3600.06/3610.81	c #Conflicts:     491000 | #Constraints:      30226
3600.06/3610.81	c #Conflicts:     492000 | #Constraints:      31226
3600.06/3610.81	c #Conflicts:     493000 | #Constraints:      32226
3600.06/3610.81	c #Conflicts:     494000 | #Constraints:      33226
3600.06/3610.81	c #Conflicts:     495000 | #Constraints:      34226
3600.06/3610.81	c #Conflicts:     496000 | #Constraints:      35226
3600.06/3610.81	c #Conflicts:     497000 | #Constraints:      36226
3600.06/3610.81	c #Conflicts:     498000 | #Constraints:      37226
3600.06/3610.81	c #Conflicts:     499000 | #Constraints:      38226
3600.06/3610.81	c #Conflicts:     500000 | #Constraints:      39226
3600.06/3610.81	c #Conflicts:     501000 | #Constraints:      40226
3600.06/3610.81	c #Conflicts:     502000 | #Constraints:      41226
3600.06/3610.81	c INPROCESSING
3600.06/3610.81	c GARBAGE COLLECT
3600.06/3610.81	c #Conflicts:     503000 | #Constraints:      28228
3600.06/3610.81	c #Conflicts:     504000 | #Constraints:      29228
3600.06/3610.81	c #Conflicts:     505000 | #Constraints:      30228
3600.06/3610.81	c #Conflicts:     506000 | #Constraints:      31228
3600.06/3610.81	c #Conflicts:     507000 | #Constraints:      32228
3600.06/3610.81	c #Conflicts:     508000 | #Constraints:      33228
3600.06/3610.81	c #Conflicts:     509000 | #Constraints:      34228
3600.06/3610.81	c #Conflicts:     510000 | #Constraints:      35228
3600.06/3610.81	c #Conflicts:     511000 | #Constraints:      36228
3600.06/3610.81	c cpu time 3571.82 s
3600.06/3610.81	c deterministic time 2 2.00e+00
3600.06/3610.81	c optimization time 3571.78 s
3600.06/3610.81	c total solve time 0 s
3600.06/3610.81	c core-guided solve time 0 s
3600.06/3610.81	c propagation time 0.004068 s
3600.06/3610.81	c conflict analysis time 0 s
3600.06/3610.81	c propagations 1
3600.06/3610.81	c resolve steps 0
3600.06/3610.81	c decisions 0
3600.06/3610.81	c conflicts 0
3600.06/3610.81	c restarts 0
3600.06/3610.81	c inprocessing phases 0
3600.06/3610.81	c garbage collections 0 ,( -nan )
3600.06/3610.81	c input clauses 10470 ,( 83.95 )
3600.06/3610.81	c input cardinalities 2002 ,( 16.05 )
3600.06/3610.81	c input general constraints 0 ,( 0.00 )
3600.06/3610.81	c input average constraint length 3.72
3600.06/3610.81	c input average constraint degree 1.32
3600.06/3610.81	c learned clauses 0 ,( 0.00 )
3600.06/3610.81	c learned cardinalities 0 ,( 0.00 )
3600.06/3610.81	c learned general constraints 0 ,( 0.00 )
3600.06/3610.81	c learned average constraint length 0.00
3600.06/3610.81	c learned average constraint degree 0.00
3600.06/3610.81	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3610.81	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.06/3610.81	c watched   constraints 0 ,( -nan ) 
3600.06/3610.81	c counting  constraints 0 ,( -nan ) 
3600.06/3610.81	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3610.81	c gcd simplifications 0
3600.06/3610.81	c detected cardinalities 0
3600.06/3610.81	c weakened non-implied lits 0
3600.06/3610.81	c weakened non-implying lits 0
3600.06/3610.81	c original variables 10989
3600.06/3610.81	c clausal propagations 0
3600.06/3610.81	c cardinality propagations 0
3600.06/3610.81	c watched propagations 0
3600.06/3610.81	c counting propagations 0
3600.06/3610.81	c watch lookups 0
3600.06/3610.81	c watch backjump lookups 0
3600.06/3610.81	c watch checks 0
3600.06/3610.81	c propagation checks 0
3600.06/3610.81	c constraint additions 0
3600.06/3610.81	c trail pops 0
3600.06/3610.81	c formula constraints 12472
3600.06/3610.81	c learned constraints 0
3600.06/3610.81	c bound constraints 0
3600.06/3610.81	c core-guided constraints 0
3600.06/3610.81	c encountered formula constraints 0
3600.06/3610.81	c encountered learned constraints 0
3600.06/3610.81	c encountered bound constraints 0
3600.06/3610.81	c encountered core-guided constraints 0
3600.06/3610.81	c LP total time 0 s
3600.06/3610.81	c LP solve time 0 s
3600.06/3610.81	c LP constraints added 0
3600.06/3610.81	c LP constraints removed 0
3600.06/3610.81	c LP pivots internal 0
3600.06/3610.81	c LP pivots root 0
3600.06/3610.81	c LP calls 0
3600.06/3610.81	c LP optimalities 0
3600.06/3610.81	c LP no pivot count 0
3600.06/3610.81	c LP infeasibilities 0
3600.06/3610.81	c LP valid Farkas constraints 0
3600.06/3610.81	c LP learned Farkas constraints 0
3600.06/3610.81	c LP basis resets 0
3600.06/3610.81	c LP cycling count 0
3600.06/3610.81	c LP singular count 0
3600.06/3610.81	c LP no primal count 0
3600.06/3610.81	c LP no farkas count 0
3600.06/3610.81	c LP other issue count 0
3600.06/3610.81	c LP Gomory cuts 0
3600.06/3610.81	c LP learned cuts 0
3600.06/3610.81	c LP deleted cuts 0
3600.06/3610.81	c LP encountered Gomory constraints 0
3600.06/3610.81	c LP encountered Farkas constraints 0
3600.06/3610.81	c LP encountered learned Farkas constraints 0
3600.06/3610.81	c CG auxiliary variables introduced 0
3600.06/3610.81	c CG solutions found 0
3600.06/3610.81	c CG cores constructed 0
3600.06/3610.81	c CG core cardinality constraints returned 0
3600.06/3610.81	c CG unit cores 0
3600.06/3610.81	c CG single cores 0
3600.06/3610.81	c CG blocks removed during cardinality reduction 0
3600.06/3610.81	c CG first core best 0
3600.06/3610.81	c CG decision core best 0
3600.06/3610.81	c CG core reduction tie 0
3600.06/3610.81	c CG core degree average 0.00
3600.06/3610.81	c CG core slack average 0.00
3600.06/3610.81	c CG core upper bound improvements 0
3600.06/3610.81	c STR number of successful calls 0
3600.06/3610.81	c STR number of unsuccessful calls 0
3600.06/3610.81	c STR number of inconclusive calls 0
3600.06/3610.81	c STR number of successful attempts 0
3600.06/3610.81	c STR number of unsuccessful attempts 0
3600.06/3610.81	c STR number of inconclusive attempts 0
3600.06/3610.81	c STR average degree increase per successful call inf
3600.06/3610.81	c STR average degree increase per successful attempt inf
3600.06/3610.81	c STR total number of conflicts for successful attempts 0
3600.06/3610.81	c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.81	c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.81	c STR average number of conflicts per successful attempt inf
3600.06/3610.81	c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.81	c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.81	c AVG.sumWPerc -nan 
3600.06/3610.81	c bigint constraints 0 
3600.06/3610.81	s UNKNOWN
3600.06/3610.81	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 (60646 MiB free)
  memory of node 1: 64465 MiB (61494 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484584-1751292234/watcher-4484584-1751292234 -o /tmp/evaluation-result-4484584-1751292234/solver-4484584-1751292234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39125 --watchdog 3760 run-opt.sh HOME/instance-4484584-1751292234.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100064 s]*
/proc/loadavg: 0.73 1.87 2.88 7/272 39185
/proc/meminfo: memFree=125034492/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=80452 memory=31020 CPUtime=0.06 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 5466 0 0 0 5 1 0 0 20 0 1 0 44897912 82382848 7755 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 20113 7755 2304 1147 0 7540 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 84644 KiB
Current children cumulated memory: 34092 KiB

[startup+0.205677 s]*
/proc/loadavg: 0.73 1.87 2.88 7/272 39185
/proc/meminfo: memFree=125010492/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=84312 memory=37460 CPUtime=0.16 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 6575 0 0 0 14 2 0 0 20 0 1 0 44897912 86335488 9365 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 21078 9365 2336 1147 0 8505 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 88504 KiB
Current children cumulated memory: 40532 KiB

[startup+0.30562 s]*
/proc/loadavg: 0.73 1.87 2.88 7/272 39185
/proc/meminfo: memFree=125000664/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=84312 memory=37460 CPUtime=0.26 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 6581 0 0 0 24 2 0 0 20 0 1 0 44897912 86335488 9365 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 21078 9365 2336 1147 0 8505 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 88504 KiB
Current children cumulated memory: 40532 KiB

[startup+0.700189 s]
/proc/loadavg: 0.73 1.87 2.88 7/272 39185
/proc/meminfo: memFree=124970612/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=90744 memory=43348 CPUtime=0.65 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 8076 0 0 0 61 4 0 0 20 0 1 0 44897912 92921856 10837 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 22686 10837 2336 1147 0 10113 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 94936 KiB
Current children cumulated memory: 46420 KiB

[startup+1.50018 s]
/proc/loadavg: 0.99 1.91 2.88 7/272 39185
/proc/meminfo: memFree=124888892/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=104116 memory=58392 CPUtime=1.44 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 11321 0 0 0 137 7 0 0 20 0 1 0 44897912 106614784 14598 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 26029 14598 2336 1147 0 13456 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 108308 KiB
Current children cumulated memory: 61464 KiB

[startup+3.10551 s]
/proc/loadavg: 0.99 1.91 2.88 7/272 39185
/proc/meminfo: memFree=124601704/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=165520 memory=117736 CPUtime=3.05 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 23071 0 0 0 286 19 0 0 20 0 1 0 44897912 169492480 29434 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 41380 29434 2336 1147 0 28807 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 169712 KiB
Current children cumulated memory: 120808 KiB

[startup+6.30017 s]
/proc/loadavg: 1.23 1.94 2.89 7/272 39185
/proc/meminfo: memFree=124323296/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=293140 memory=223588 CPUtime=6.23 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 42920 0 0 0 585 38 0 0 20 0 1 0 44897912 300175360 55897 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 73285 55897 2336 1147 0 60712 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 297332 KiB
Current children cumulated memory: 226660 KiB

[startup+12.7002 s]
/proc/loadavg: 1.45 1.98 2.90 7/272 39185
/proc/meminfo: memFree=124049424/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=449332 memory=343544 CPUtime=12.62 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 65242 0 0 0 1205 57 0 0 20 0 1 0 44897912 460115968 85886 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 112333 85886 2336 1147 0 99760 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 453524 KiB
Current children cumulated memory: 346616 KiB

[startup+25.5002 s]
/proc/loadavg: 1.92 2.06 2.91 6/271 39231
/proc/meminfo: memFree=123472392/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=783468 memory=584628 CPUtime=25.38 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 112243 0 0 0 2450 88 0 0 20 0 1 0 44897912 802271232 146157 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 195867 146157 2336 1147 0 183294 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 787660 KiB
Current children cumulated memory: 587700 KiB

[startup+51.1055 s]
/proc/loadavg: 2.74 2.25 2.95 6/271 39232
/proc/meminfo: memFree=123133768/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=789972 memory=657812 CPUtime=50.92 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 121339 0 0 0 4955 137 0 0 20 0 1 0 44897912 808931328 164453 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 197493 164453 2336 1147 0 184920 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 794164 KiB
Current children cumulated memory: 660884 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.54 3.01 6/271 39233
/proc/meminfo: memFree=122470060/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=998472 memory=817712 CPUtime=101.96 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 146494 0 0 0 9967 229 0 0 20 0 1 0 44897912 1022435328 204428 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 249618 204428 2336 1147 0 237045 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1002664 KiB
Current children cumulated memory: 820784 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 2.82 3.08 6/271 39328
/proc/meminfo: memFree=121717324/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=1435864 memory=1186520 CPUtime=161.76 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 220308 0 0 0 15845 331 0 0 20 0 1 0 44897912 1470324736 296630 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 358966 296630 2336 1147 0 346393 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1440056 KiB
Current children cumulated memory: 1189592 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 3.05 3.15 6/271 39330
/proc/meminfo: memFree=121460640/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=1668196 memory=1275276 CPUtime=221.57 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 233364 0 0 0 21755 402 0 0 20 0 1 0 44897912 1708232704 318819 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 417049 318819 2336 1147 0 404476 0

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

/proc/39180/statm: 1530183 1309916 2336 1147 0 1517610 0
Current children cumulated CPU time: 3033.19 s
Current children cumulated vsize: 6124924 KiB
Current children cumulated memory: 5242736 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/269 39478
/proc/meminfo: memFree=113034028/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=6120732 memory=5274096 CPUtime=3093.02 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 954752 0 0 0 306734 2568 0 0 20 0 1 0 44897912 6267629568 1318524 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 1530183 1318524 2336 1147 0 1517610 0
Current children cumulated CPU time: 3093.02 s
Current children cumulated vsize: 6124924 KiB
Current children cumulated memory: 5277168 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/268 39480
/proc/meminfo: memFree=112899956/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=6139164 memory=5322864 CPUtime=3152.85 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 958544 0 0 0 312699 2586 0 0 20 0 1 0 44897912 6286503936 1330716 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 1534791 1330716 2336 1147 0 1522218 0
Current children cumulated CPU time: 3152.85 s
Current children cumulated vsize: 6143356 KiB
Current children cumulated memory: 5325936 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/268 39482
/proc/meminfo: memFree=112591452/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=6139164 memory=5356528 CPUtime=3212.68 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 958659 0 0 0 318638 2630 0 0 20 0 1 0 44897912 6286503936 1339132 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 1534791 1339132 2336 1147 0 1522218 0
Current children cumulated CPU time: 3212.68 s
Current children cumulated vsize: 6143356 KiB
Current children cumulated memory: 5359600 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/269 39485
/proc/meminfo: memFree=112390100/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=6142748 memory=5391856 CPUtime=3272.5 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 959292 0 0 0 324615 2635 0 0 20 0 1 0 44897912 6290173952 1347964 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 1535687 1347964 2336 1147 0 1523114 0
Current children cumulated CPU time: 3272.5 s
Current children cumulated vsize: 6146940 KiB
Current children cumulated memory: 5394928 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/270 39490
/proc/meminfo: memFree=111864004/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=6260512 memory=5698268 CPUtime=3332.33 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 997490 0 0 0 330573 2660 0 0 20 0 1 0 44897912 6410764288 1424567 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 1565128 1424567 2336 1147 0 1552555 0
Current children cumulated CPU time: 3332.33 s
Current children cumulated vsize: 6264704 KiB
Current children cumulated memory: 5701340 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/269 39493
/proc/meminfo: memFree=111791904/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=6260512 memory=5727068 CPUtime=3392.15 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 997676 0 0 0 336521 2694 0 0 20 0 1 0 44897912 6410764288 1431767 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 1565128 1431767 2336 1147 0 1552555 0
Current children cumulated CPU time: 3392.15 s
Current children cumulated vsize: 6264704 KiB
Current children cumulated memory: 5730140 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/269 39506
/proc/meminfo: memFree=111778952/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=6260512 memory=5755740 CPUtime=3451.99 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 997785 0 0 0 342470 2729 0 0 20 0 1 0 44897912 6410764288 1438935 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 1565128 1438935 2336 1147 0 1552555 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 6264704 KiB
Current children cumulated memory: 5758812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.09 6/269 39508
/proc/meminfo: memFree=111725764/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=6260512 memory=5784540 CPUtime=3511.82 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 997854 0 0 0 348402 2780 0 0 20 0 1 0 44897912 6410764288 1446135 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 1565128 1446135 2336 1147 0 1552555 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 6264704 KiB
Current children cumulated memory: 5787612 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/269 39510
/proc/meminfo: memFree=111494200/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=6260512 memory=5813084 CPUtime=3571.64 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 997887 0 0 0 354349 2815 0 0 20 0 1 0 44897912 6410764288 1453271 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 1565128 1453271 2336 1147 0 1552555 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 6264704 KiB
Current children cumulated memory: 5816156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.11 4.09 4.09 3/261 39519
/proc/meminfo: memFree=118712108/131249992 swapFree=33010160/33010684
[pid=39176] ppid=39164 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39176/stat : 39176 (run-opt.sh) S 39164 39176 39107 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 44897911 4292608 768 18446744073709551615 94320965083136 94320965977669 140726088760128 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320966216720 94320966264464 94320967651328 140726088763757 140726088763880 140726088763880 140726088769482 0
/proc/39176/statm: 1048 768 704 219 0 110 0
[pid=39180] ppid=39176 vsize=6260512 memory=5827420 CPUtime=3600.06 cores=5,7
/proc/39180/stat : 39180 (roundingsat) R 39176 39176 39107 0 -1 4194304 997982 0 0 0 357181 2825 0 0 20 0 1 0 44897912 6410764288 1456855 18446744073709551615 4227072 8923433 140721757308704 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 25686016 140721757313442 140721757313576 140721757313576 140721757319146 0
/proc/39180/statm: 1565128 1456855 2336 1147 0 1552555 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 6264704 KiB
Current children cumulated memory: 5830492 KiB

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

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

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

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

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

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

Child status: 2

Real time (s): 3610.88
CPU time (s): 3600.15
CPU user time (s): 3571.83
CPU system time (s): 28.3167
CPU usage (%): 99.7027
Max. virtual memory (cumulated for all children) (KiB): 6264704
Max. memory (cumulated for all children) (KiB): 5830492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.83
system time used= 28.3167
maximum resident set size= 5827804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 998210
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 632
involuntary context switches= 20252


# summary of solver processes directly reported to runsolver:
#   pid: 39176,39180
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3571.83
#   total CPU system time (s): 28.3167

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.40697 second user time and 16.0645 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-06-30 16:03:54
IDJOB=4484584
IDBENCH=146662
IDSOLVER=3350
FILE ID=nodeC035/4484584-1751292234
RUNJOBID= nodeC035-1751292233-39125
SLURM_JOB_ID= 9594262
Free space on /tmp= 433064 MiB

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

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

MD5SUM BENCH= 3dc780a187102f53f7868f024506933f
RANDOM SEED=349211541

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        125080136 kB
MemAvailable:   129721588 kB
Buffers:            1840 kB
Cached:          5394976 kB
SwapCached:            8 kB
Active:           346296 kB
Inactive:        5115540 kB
Active(anon):      71444 kB
Inactive(anon):    11624 kB
Active(file):     274852 kB
Inactive(file):  5103916 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29816 kB
Writeback:             0 kB
AnonPages:         68048 kB
Mapped:           102544 kB
Shmem:             18048 kB
KReclaimable:     203848 kB
Slab:             292240 kB
SReclaimable:     203848 kB
SUnreclaim:        88392 kB
KernelStack:        4140 kB
PageTables:         2684 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC035 at 2025-06-30 17:04:05