Trace number 4520711

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_400.opb
MD5SUM8e16dee4cd29ebff6657caf88bddd14a
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 benchmark1800
Best CPU time to get the best result obtained on this benchmark0.548063
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7200
Total number of constraints7200
Number of constraints which are clauses7200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 7200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7200
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7200
Number of bits of the biggest sum of numbers13
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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.08	c #variables 7200 #constraints 7200
0.00/0.08	c objective is ce32 
0.00/0.10	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.10	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.10	c GLOBAL bounds - >= 0 @ 0.044954
0.06/0.11	c GLOBAL bounds - >= 0 @ 0.050438
0.06/0.14	c GLOBAL bounds - >= 0 @ 0.080165
0.06/0.17	c GLOBAL bounds - >= 0 @ 0.105126
0.16/0.22	c GLOBAL bounds - >= 0 @ 0.1539
0.16/0.28	c GLOBAL bounds - >= 0 @ 0.198109
0.26/0.37	c GLOBAL bounds - >= 0 @ 0.287931
0.36/0.46	c GLOBAL bounds - >= 0 @ 0.366319
0.46/0.59	c GLOBAL bounds - >= 0 @ 0.500499
0.65/0.75	c GLOBAL bounds - >= 0 @ 0.637684
0.84/0.92	c GLOBAL bounds - >= 0 @ 0.798658
1.25/1.30	c GLOBAL bounds - >= 0 @ 1.15956
1.44/1.51	c GLOBAL bounds - >= 0 @ 1.36137
1.65/1.73	c GLOBAL bounds - >= 0 @ 1.57514
1.85/1.96	c GLOBAL bounds - >= 0 @ 1.78956
2.05/2.11	c GLOBAL bounds - >= 0 @ 1.93643
2.24/2.37	c #Conflicts:       1000 | #Constraints:       8228
2.24/2.37	c GLOBAL bounds - >= 0 @ 2.18943
2.65/2.78	c GLOBAL bounds - >= 0 @ 2.55167
3.24/3.35	c GLOBAL bounds - >= 0 @ 3.09991
3.64/3.70	c GLOBAL bounds - >= 0 @ 3.44482
3.84/3.97	c GLOBAL bounds - >= 0 @ 3.69821
4.44/4.59	c GLOBAL bounds - >= 0 @ 4.30608
4.84/4.93	c GLOBAL bounds - >= 0 @ 4.64192
5.43/5.56	c #Conflicts:       2000 | #Constraints:       9242
5.43/5.56	c INPROCESSING
5.43/5.56	c GARBAGE COLLECT
5.43/5.56	c GLOBAL bounds - >= 0 @ 5.26552
7.33/7.45	c GLOBAL bounds - >= 0 @ 7.11597
9.13/9.26	c #Conflicts:       3000 | #Constraints:       9311
9.13/9.26	c GLOBAL bounds - >= 0 @ 8.8385
9.83/9.98	c GLOBAL bounds - >= 0 @ 9.54252
10.42/10.58	c GLOBAL bounds - >= 0 @ 10.1291
10.93/11.06	c GLOBAL bounds - >= 0 @ 10.5957
11.22/11.38	c #Conflicts:       4000 | #Constraints:      10319
11.22/11.38	c GLOBAL bounds - >= 0 @ 10.9055
11.92/12.00	c GLOBAL bounds - >= 0 @ 11.5085
12.81/12.91	c INPROCESSING
12.81/12.91	c GARBAGE COLLECT
12.81/12.91	c GLOBAL bounds - >= 0 @ 12.3983
13.21/13.30	c GLOBAL bounds - >= 0 @ 12.7862
13.52/13.66	c GLOBAL bounds - >= 0 @ 13.1403
13.92/14.01	c GLOBAL bounds - >= 0 @ 13.4837
14.32/14.48	c GLOBAL bounds - >= 0 @ 13.9436
14.92/15.04	c GLOBAL bounds - >= 0 @ 14.4836
15.41/15.57	c #Conflicts:       5000 | #Constraints:       9735
15.41/15.57	c GLOBAL bounds - >= 0 @ 14.9954
15.80/15.92	c GLOBAL bounds - >= 0 @ 15.3408
16.30/16.45	c GLOBAL bounds - >= 0 @ 15.8616
16.91/17.05	c GLOBAL bounds - >= 0 @ 16.4487
17.50/17.65	c GLOBAL bounds - >= 0 @ 17.0423
18.20/18.31	c GLOBAL bounds - >= 0 @ 17.6888
18.80/18.96	c #Conflicts:       6000 | #Constraints:      10747
18.80/18.96	c GLOBAL bounds - >= 0 @ 18.3221
19.50/19.68	c GLOBAL bounds - >= 0 @ 19.0245
20.10/20.23	c GLOBAL bounds - >= 0 @ 19.5652
22.30/22.48	c INPROCESSING
22.30/22.48	c GARBAGE COLLECT
22.30/22.48	c #Conflicts:       7000 | #Constraints:       9832
22.30/22.48	c GLOBAL bounds - >= 0 @ 21.7879
29.67/29.86	c #Conflicts:       8000 | #Constraints:      10834
29.67/29.86	c #Conflicts:       9000 | #Constraints:      11834
29.67/29.86	c INPROCESSING
29.67/29.86	c GARBAGE COLLECT
29.67/29.86	c GLOBAL bounds - >= 0 @ 29.006
77.76/78.03	c #Conflicts:      10000 | #Constraints:      10571
77.76/78.03	c #Conflicts:      11000 | #Constraints:      11571
77.76/78.03	c #Conflicts:      12000 | #Constraints:      12571
77.76/78.03	c INPROCESSING
77.76/78.03	c GARBAGE COLLECT
77.76/78.03	c #Conflicts:      13000 | #Constraints:      11016
77.76/78.03	c #Conflicts:      14000 | #Constraints:      12016
77.76/78.03	c #Conflicts:      15000 | #Constraints:      13016
77.76/78.03	c INPROCESSING
77.76/78.03	c GARBAGE COLLECT
77.76/78.03	c #Conflicts:      16000 | #Constraints:      11237
77.76/78.03	c #Conflicts:      17000 | #Constraints:      12237
77.76/78.03	c #Conflicts:      18000 | #Constraints:      13237
77.76/78.03	c INPROCESSING
77.76/78.03	c GARBAGE COLLECT
77.76/78.03	c #Conflicts:      19000 | #Constraints:      11256
77.76/78.03	c #Conflicts:      20000 | #Constraints:      12256
77.76/78.03	c #Conflicts:      21000 | #Constraints:      13256
77.76/78.03	c INPROCESSING
77.76/78.03	c GARBAGE COLLECT
77.76/78.03	c GLOBAL bounds - >= 0 @ 76.5054
85.14/85.42	c #Conflicts:      22000 | #Constraints:      11062
85.14/85.42	c #Conflicts:      23000 | #Constraints:      12062
85.14/85.42	c GLOBAL bounds - >= 0 @ 83.7337
88.83/89.18	c #Conflicts:      24000 | #Constraints:      13064
88.83/89.18	c GLOBAL bounds - >= 0 @ 87.4297
89.83/90.10	c GLOBAL bounds - >= 0 @ 88.3216
91.01/91.37	c #Conflicts:      25000 | #Constraints:      14068
91.01/91.37	c GLOBAL bounds - >= 0 @ 89.5692
104.78/105.11	c INPROCESSING
104.78/105.11	c GARBAGE COLLECT
104.78/105.11	c #Conflicts:      26000 | #Constraints:      11671
104.78/105.11	c #Conflicts:      27000 | #Constraints:      12671
104.78/105.11	c #Conflicts:      28000 | #Constraints:      13671
104.78/105.11	c GLOBAL bounds - >= 0 @ 103.093
108.27/108.66	c #Conflicts:      29000 | #Constraints:      14673
108.27/108.66	c INPROCESSING
108.27/108.66	c GARBAGE COLLECT
108.27/108.66	c GLOBAL bounds - >= 0 @ 106.606
111.26/111.68	c #Conflicts:      30000 | #Constraints:      12061
111.26/111.68	c GLOBAL bounds - >= 0 @ 109.561
116.24/116.67	c #Conflicts:      31000 | #Constraints:      13063
116.24/116.67	c GLOBAL bounds - >= 0 @ 114.496
118.24/118.63	c #Conflicts:      32000 | #Constraints:      14065
118.24/118.63	c GLOBAL bounds - >= 0 @ 116.423
121.73/122.17	c GLOBAL bounds - >= 0 @ 119.877
124.42/124.80	c #Conflicts:      33000 | #Constraints:      15069
124.42/124.80	c INPROCESSING
124.42/124.80	c GARBAGE COLLECT
124.42/124.80	c GLOBAL bounds - >= 0 @ 122.469
136.38/136.89	c #Conflicts:      34000 | #Constraints:      12254
136.38/136.89	c #Conflicts:      35000 | #Constraints:      13254
136.38/136.89	c #Conflicts:      36000 | #Constraints:      14254
136.38/136.89	c GLOBAL bounds - >= 0 @ 134.326
166.78/167.38	c #Conflicts:      37000 | #Constraints:      15256
166.78/167.38	c INPROCESSING
166.78/167.38	c GARBAGE COLLECT
166.78/167.38	c #Conflicts:      38000 | #Constraints:      12283
166.78/167.38	c #Conflicts:      39000 | #Constraints:      13283
166.78/167.38	c #Conflicts:      40000 | #Constraints:      14283
166.78/167.38	c #Conflicts:      41000 | #Constraints:      15283
166.78/167.38	c INPROCESSING
166.78/167.38	c GARBAGE COLLECT
166.78/167.38	c #Conflicts:      42000 | #Constraints:      12102
166.78/167.38	c #Conflicts:      43000 | #Constraints:      13102
166.78/167.38	c #Conflicts:      44000 | #Constraints:      14102
166.78/167.38	c GLOBAL bounds - >= 0 @ 164.447
167.59/168.18	c GLOBAL bounds - >= 0 @ 165.233
170.87/171.43	c #Conflicts:      45000 | #Constraints:      15106
170.87/171.43	c GLOBAL bounds - >= 0 @ 168.449
177.66/178.22	c #Conflicts:      46000 | #Constraints:      16108
177.66/178.22	c INPROCESSING
177.66/178.22	c GARBAGE COLLECT
177.66/178.22	c #Conflicts:      47000 | #Constraints:      12708
177.66/178.22	c GLOBAL bounds - >= 0 @ 175.136
179.55/180.12	c GLOBAL bounds - >= 0 @ 177.002
181.14/181.72	c #Conflicts:      48000 | #Constraints:      13712
181.14/181.72	c GLOBAL bounds - >= 0 @ 178.576
181.84/182.49	c GLOBAL bounds - >= 0 @ 179.337
183.04/183.68	c GLOBAL bounds - >= 0 @ 180.511
188.22/188.84	c #Conflicts:      49000 | #Constraints:      14718
188.22/188.84	c GLOBAL bounds - >= 0 @ 185.603
201.08/201.74	c #Conflicts:      50000 | #Constraints:      15720
201.08/201.74	c #Conflicts:      51000 | #Constraints:      16720
201.08/201.74	c INPROCESSING
201.08/201.74	c GARBAGE COLLECT
201.08/201.74	c #Conflicts:      52000 | #Constraints:      13155
201.08/201.74	c GLOBAL bounds - >= 0 @ 198.273
224.61/225.39	c #Conflicts:      53000 | #Constraints:      14157
224.61/225.39	c #Conflicts:      54000 | #Constraints:      15157
224.61/225.39	c #Conflicts:      55000 | #Constraints:      16157
224.61/225.39	c #Conflicts:      56000 | #Constraints:      17157
224.61/225.39	c INPROCESSING
224.61/225.39	c GARBAGE COLLECT
224.61/225.39	c #Conflicts:      57000 | #Constraints:      13359
224.61/225.39	c GLOBAL bounds - >= 0 @ 221.609
229.99/230.71	c #Conflicts:      58000 | #Constraints:      14361
229.99/230.71	c GLOBAL bounds - >= 0 @ 226.829
233.48/234.29	c #Conflicts:      59000 | #Constraints:      15363
233.48/234.29	c GLOBAL bounds - >= 0 @ 230.335
238.06/238.83	c #Conflicts:      60000 | #Constraints:      16365
238.06/238.83	c GLOBAL bounds - >= 0 @ 234.822
253.11/253.95	c #Conflicts:      61000 | #Constraints:      17367
253.11/253.95	c INPROCESSING
253.11/253.95	c GARBAGE COLLECT
253.11/253.95	c #Conflicts:      62000 | #Constraints:      13371
253.11/253.95	c #Conflicts:      63000 | #Constraints:      14371
253.11/253.95	c #Conflicts:      64000 | #Constraints:      15371
253.11/253.95	c GLOBAL bounds - >= 0 @ 249.735
278.93/279.83	c #Conflicts:      65000 | #Constraints:      16373
278.93/279.83	c #Conflicts:      66000 | #Constraints:      17373
278.93/279.83	c INPROCESSING
278.93/279.83	c GARBAGE COLLECT
278.93/279.83	c #Conflicts:      67000 | #Constraints:      13162
278.93/279.83	c #Conflicts:      68000 | #Constraints:      14162
278.93/279.83	c #Conflicts:      69000 | #Constraints:      15162
278.93/279.83	c GLOBAL bounds - >= 0 @ 275.181
286.51/287.41	c #Conflicts:      70000 | #Constraints:      16164
286.51/287.41	c GLOBAL bounds - >= 0 @ 282.666
287.60/288.58	c #Conflicts:      71000 | #Constraints:      17166
287.60/288.58	c GLOBAL bounds - >= 0 @ 283.821
288.41/289.32	c GLOBAL bounds - >= 0 @ 284.551
289.90/290.85	c GLOBAL bounds - >= 0 @ 286.066
291.30/292.21	c #Conflicts:      72000 | #Constraints:      18172
291.30/292.21	c GLOBAL bounds - >= 0 @ 287.407
293.89/294.80	c INPROCESSING
293.89/294.80	c GARBAGE COLLECT
293.89/294.80	c GLOBAL bounds - >= 0 @ 289.823
302.66/303.68	c #Conflicts:      73000 | #Constraints:      13783
302.66/303.68	c #Conflicts:      74000 | #Constraints:      14783
302.66/303.68	c GLOBAL bounds - >= 0 @ 298.611
303.46/304.49	c #Conflicts:      75000 | #Constraints:      15785
303.46/304.49	c GLOBAL bounds - >= 0 @ 299.408
304.65/305.60	c GLOBAL bounds - >= 0 @ 300.507
305.75/306.77	c GLOBAL bounds - >= 0 @ 301.658
308.24/309.22	c GLOBAL bounds - >= 0 @ 304.075
310.04/311.10	c #Conflicts:      76000 | #Constraints:      16793
310.04/311.10	c GLOBAL bounds - >= 0 @ 305.928
312.04/313.01	c GLOBAL bounds - >= 0 @ 307.816
313.82/314.84	c #Conflicts:      77000 | #Constraints:      17797
313.82/314.84	c GLOBAL bounds - >= 0 @ 309.605
320.71/321.73	c #Conflicts:      78000 | #Constraints:      18799
320.71/321.73	c INPROCESSING
320.71/321.73	c GARBAGE COLLECT
320.71/321.73	c GLOBAL bounds - >= 0 @ 316.356
323.69/324.76	c #Conflicts:      79000 | #Constraints:      14216
323.69/324.76	c GLOBAL bounds - >= 0 @ 319.353
337.15/338.28	c #Conflicts:      80000 | #Constraints:      15218
337.15/338.28	c #Conflicts:      81000 | #Constraints:      16218
337.15/338.28	c #Conflicts:      82000 | #Constraints:      17218
337.15/338.28	c GLOBAL bounds - >= 0 @ 332.692
344.62/345.78	c #Conflicts:      83000 | #Constraints:      18220
344.62/345.78	c #Conflicts:      84000 | #Constraints:      19220
344.62/345.78	c INPROCESSING
344.62/345.78	c GARBAGE COLLECT
344.62/345.78	c GLOBAL bounds - >= 0 @ 340.109
381.50/382.77	c #Conflicts:      85000 | #Constraints:      14445
381.50/382.77	c #Conflicts:      86000 | #Constraints:      15445
381.50/382.77	c #Conflicts:      87000 | #Constraints:      16445
381.50/382.77	c #Conflicts:      88000 | #Constraints:      17445
381.50/382.77	c #Conflicts:      89000 | #Constraints:      18445
381.50/382.77	c #Conflicts:      90000 | #Constraints:      19445
381.50/382.77	c INPROCESSING
381.50/382.77	c GARBAGE COLLECT
381.50/382.77	c #Conflicts:      91000 | #Constraints:      14446
381.50/382.77	c #Conflicts:      92000 | #Constraints:      15446
381.50/382.77	c #Conflicts:      93000 | #Constraints:      16446
381.50/382.77	c GLOBAL bounds - >= 0 @ 376.55
386.09/387.39	c #Conflicts:      94000 | #Constraints:      17448
386.09/387.39	c #Conflicts:      95000 | #Constraints:      18448
386.09/387.39	c GLOBAL bounds - >= 0 @ 381.113
387.90/389.13	c GLOBAL bounds - >= 0 @ 382.827
424.08/425.47	c #Conflicts:      96000 | #Constraints:      19452
424.08/425.47	c INPROCESSING
424.08/425.47	c GARBAGE COLLECT
424.08/425.47	c #Conflicts:      97000 | #Constraints:      14264
424.08/425.47	c #Conflicts:      98000 | #Constraints:      15264
424.08/425.47	c #Conflicts:      99000 | #Constraints:      16264
424.08/425.47	c #Conflicts:     100000 | #Constraints:      17264
424.08/425.47	c #Conflicts:     101000 | #Constraints:      18264
424.08/425.47	c #Conflicts:     102000 | #Constraints:      19264
424.08/425.47	c #Conflicts:     103000 | #Constraints:      20264
424.08/425.47	c INPROCESSING
424.08/425.47	c GARBAGE COLLECT
424.08/425.47	c #Conflicts:     104000 | #Constraints:      14874
424.08/425.47	c GLOBAL bounds - >= 0 @ 418.705
425.87/427.25	c #Conflicts:     105000 | #Constraints:      15876
425.87/427.25	c GLOBAL bounds - >= 0 @ 420.469
444.21/445.68	c #Conflicts:     106000 | #Constraints:      16878
444.21/445.68	c #Conflicts:     107000 | #Constraints:      17878
444.21/445.68	c #Conflicts:     108000 | #Constraints:      18878
444.21/445.68	c GLOBAL bounds - >= 0 @ 438.65
452.98/454.46	c #Conflicts:     109000 | #Constraints:      19880
452.98/454.46	c #Conflicts:     110000 | #Constraints:      20880
452.98/454.46	c INPROCESSING
452.98/454.46	c GARBAGE COLLECT
452.98/454.46	c GLOBAL bounds - >= 0 @ 447.294
468.93/470.46	c #Conflicts:     111000 | #Constraints:      15284
468.93/470.46	c #Conflicts:     112000 | #Constraints:      16284
468.93/470.46	c #Conflicts:     113000 | #Constraints:      17284
468.93/470.46	c GLOBAL bounds - >= 0 @ 463.111
472.12/473.64	c #Conflicts:     114000 | #Constraints:      18286
472.12/473.64	c GLOBAL bounds - >= 0 @ 466.25
474.41/475.91	c GLOBAL bounds - >= 0 @ 468.497
477.11/478.63	c #Conflicts:     115000 | #Constraints:      19290
477.11/478.63	c GLOBAL bounds - >= 0 @ 471.191
484.18/485.79	c #Conflicts:     116000 | #Constraints:      20292
484.18/485.79	c GLOBAL bounds - >= 0 @ 478.256
490.27/491.80	c #Conflicts:     117000 | #Constraints:      21294
490.27/491.80	c INPROCESSING
490.27/491.80	c GARBAGE COLLECT
490.27/491.80	c GLOBAL bounds - >= 0 @ 484.188
494.95/496.59	c #Conflicts:     118000 | #Constraints:      15490
494.95/496.59	c GLOBAL bounds - >= 0 @ 488.937
496.65/498.20	c #Conflicts:     119000 | #Constraints:      16492
496.65/498.20	c GLOBAL bounds - >= 0 @ 490.529
498.54/500.17	c GLOBAL bounds - >= 0 @ 492.475
499.54/501.15	c #Conflicts:     120000 | #Constraints:      17496
499.54/501.15	c GLOBAL bounds - >= 0 @ 493.448
500.93/502.53	c GLOBAL bounds - >= 0 @ 494.813
520.77/522.43	c #Conflicts:     121000 | #Constraints:      18500
520.77/522.43	c #Conflicts:     122000 | #Constraints:      19500
520.77/522.43	c #Conflicts:     123000 | #Constraints:      20500
520.77/522.43	c #Conflicts:     124000 | #Constraints:      21500
520.77/522.43	c INPROCESSING
520.77/522.43	c GARBAGE COLLECT
520.77/522.43	c #Conflicts:     125000 | #Constraints:      15537
520.77/522.43	c GLOBAL bounds - >= 0 @ 514.532
522.36/524.03	c GLOBAL bounds - >= 0 @ 516.107
530.24/531.93	c #Conflicts:     126000 | #Constraints:      16541
530.24/531.93	c #Conflicts:     127000 | #Constraints:      17541
530.24/531.93	c GLOBAL bounds - >= 0 @ 523.873
689.34/691.59	c #Conflicts:     128000 | #Constraints:      18543
689.34/691.59	c #Conflicts:     129000 | #Constraints:      19543
689.34/691.59	c #Conflicts:     130000 | #Constraints:      20543
689.34/691.59	c #Conflicts:     131000 | #Constraints:      21543
689.34/691.59	c INPROCESSING
689.34/691.59	c GARBAGE COLLECT
689.34/691.59	c #Conflicts:     132000 | #Constraints:      15314
689.34/691.59	c #Conflicts:     133000 | #Constraints:      16314
689.34/691.59	c #Conflicts:     134000 | #Constraints:      17314
689.34/691.59	c #Conflicts:     135000 | #Constraints:      18314
689.34/691.59	c #Conflicts:     136000 | #Constraints:      19314
689.34/691.59	c #Conflicts:     137000 | #Constraints:      20314
689.34/691.59	c #Conflicts:     138000 | #Constraints:      21314
689.34/691.59	c #Conflicts:     139000 | #Constraints:      22314
689.34/691.59	c INPROCESSING
689.34/691.59	c GARBAGE COLLECT
689.34/691.59	c #Conflicts:     140000 | #Constraints:      15899
689.34/691.59	c #Conflicts:     141000 | #Constraints:      16899
689.34/691.59	c #Conflicts:     142000 | #Constraints:      17899
689.34/691.59	c #Conflicts:     143000 | #Constraints:      18899
689.34/691.59	c #Conflicts:     144000 | #Constraints:      19899
689.34/691.59	c #Conflicts:     145000 | #Constraints:      20899
689.34/691.59	c #Conflicts:     146000 | #Constraints:      21899
689.34/691.59	c #Conflicts:     147000 | #Constraints:      22899
689.34/691.59	c INPROCESSING
689.34/691.59	c GARBAGE COLLECT
689.34/691.59	c #Conflicts:     148000 | #Constraints:      16312
689.34/691.59	c #Conflicts:     149000 | #Constraints:      17312
689.34/691.59	c #Conflicts:     150000 | #Constraints:      18312
689.34/691.59	c #Conflicts:     151000 | #Constraints:      19312
689.34/691.59	c #Conflicts:     152000 | #Constraints:      20312
689.34/691.59	c #Conflicts:     153000 | #Constraints:      21312
689.34/691.59	c #Conflicts:     154000 | #Constraints:      22312
689.34/691.59	c #Conflicts:     155000 | #Constraints:      23312
689.34/691.59	c INPROCESSING
689.34/691.59	c GARBAGE COLLECT
689.34/691.59	c #Conflicts:     156000 | #Constraints:      16523
689.34/691.59	c #Conflicts:     157000 | #Constraints:      17523
689.34/691.59	c #Conflicts:     158000 | #Constraints:      18523
689.34/691.59	c GLOBAL bounds - >= 0 @ 681.451
695.23/697.40	c #Conflicts:     159000 | #Constraints:      19525
695.23/697.40	c GLOBAL bounds - >= 0 @ 687.19
698.22/700.45	c #Conflicts:     160000 | #Constraints:      20527
698.22/700.45	c GLOBAL bounds - >= 0 @ 690.216
700.62/702.80	c GLOBAL bounds - >= 0 @ 692.55
703.41/705.68	c #Conflicts:     161000 | #Constraints:      21531
703.41/705.68	c GLOBAL bounds - >= 0 @ 695.405
706.01/708.29	c GLOBAL bounds - >= 0 @ 697.994
724.75/727.06	c #Conflicts:     162000 | #Constraints:      22535
724.75/727.06	c #Conflicts:     163000 | #Constraints:      23535
724.75/727.06	c INPROCESSING
724.75/727.06	c GARBAGE COLLECT
724.75/727.06	c #Conflicts:     164000 | #Constraints:      16532
724.75/727.06	c #Conflicts:     165000 | #Constraints:      17532
724.75/727.06	c GLOBAL bounds - >= 0 @ 716.484
727.95/730.27	c #Conflicts:     166000 | #Constraints:      18534
727.95/730.27	c GLOBAL bounds - >= 0 @ 719.665
742.01/744.39	c #Conflicts:     167000 | #Constraints:      19536
742.01/744.39	c #Conflicts:     168000 | #Constraints:      20536
742.01/744.39	c #Conflicts:     169000 | #Constraints:      21536
742.01/744.39	c GLOBAL bounds - >= 0 @ 733.594
758.26/760.68	c #Conflicts:     170000 | #Constraints:      22538
758.26/760.68	c #Conflicts:     171000 | #Constraints:      23538
758.26/760.68	c INPROCESSING
758.26/760.68	c GARBAGE COLLECT
758.26/760.68	c #Conflicts:     172000 | #Constraints:      16321
758.26/760.68	c #Conflicts:     173000 | #Constraints:      17321
758.26/760.68	c GLOBAL bounds - >= 0 @ 749.655
769.83/772.25	c #Conflicts:     174000 | #Constraints:      18323
769.83/772.25	c #Conflicts:     175000 | #Constraints:      19323
769.83/772.25	c GLOBAL bounds - >= 0 @ 761.099
886.52/889.25	c #Conflicts:     176000 | #Constraints:      20325
886.52/889.25	c #Conflicts:     177000 | #Constraints:      21325
886.52/889.25	c #Conflicts:     178000 | #Constraints:      22325
886.52/889.25	c #Conflicts:     179000 | #Constraints:      23325
886.52/889.25	c #Conflicts:     180000 | #Constraints:      24325
886.52/889.25	c INPROCESSING
886.52/889.25	c GARBAGE COLLECT
886.52/889.25	c #Conflicts:     181000 | #Constraints:      16903
886.52/889.25	c #Conflicts:     182000 | #Constraints:      17903
886.52/889.25	c #Conflicts:     183000 | #Constraints:      18903
886.52/889.25	c #Conflicts:     184000 | #Constraints:      19903
886.52/889.25	c #Conflicts:     185000 | #Constraints:      20903
886.52/889.25	c #Conflicts:     186000 | #Constraints:      21903
886.52/889.25	c #Conflicts:     187000 | #Constraints:      22903
886.52/889.25	c #Conflicts:     188000 | #Constraints:      23903
886.52/889.25	c #Conflicts:     189000 | #Constraints:      24903
886.52/889.25	c INPROCESSING
886.52/889.25	c GARBAGE COLLECT
886.52/889.25	c #Conflicts:     190000 | #Constraints:      17299
886.52/889.25	c #Conflicts:     191000 | #Constraints:      18299
886.52/889.25	c #Conflicts:     192000 | #Constraints:      19299
886.52/889.25	c #Conflicts:     193000 | #Constraints:      20299
886.52/889.25	c #Conflicts:     194000 | #Constraints:      21299
886.52/889.25	c #Conflicts:     195000 | #Constraints:      22299
886.52/889.25	c #Conflicts:     196000 | #Constraints:      23299
886.52/889.25	c #Conflicts:     197000 | #Constraints:      24299
886.52/889.25	c GLOBAL bounds - >= 0 @ 876.695
888.33/891.06	c GLOBAL bounds - >= 0 @ 878.487
892.02/894.79	c #Conflicts:     198000 | #Constraints:      25303
892.02/894.79	c INPROCESSING
892.02/894.79	c GARBAGE COLLECT
892.02/894.79	c GLOBAL bounds - >= 0 @ 882.195
892.91/895.67	c GLOBAL bounds - >= 0 @ 883.068
945.07/947.98	c #Conflicts:     199000 | #Constraints:      17516
945.07/947.98	c #Conflicts:     200000 | #Constraints:      18516
945.07/947.98	c #Conflicts:     201000 | #Constraints:      19516
945.07/947.98	c #Conflicts:     202000 | #Constraints:      20516
945.07/947.98	c #Conflicts:     203000 | #Constraints:      21516
945.07/947.98	c #Conflicts:     204000 | #Constraints:      22516
945.07/947.98	c #Conflicts:     205000 | #Constraints:      23516
945.07/947.98	c #Conflicts:     206000 | #Constraints:      24516
945.07/947.98	c #Conflicts:     207000 | #Constraints:      25516
945.07/947.98	c INPROCESSING
945.07/947.98	c GARBAGE COLLECT
945.07/947.98	c #Conflicts:     208000 | #Constraints:      17567
945.07/947.98	c GLOBAL bounds - >= 0 @ 934.87
952.36/955.23	c #Conflicts:     209000 | #Constraints:      18569
952.36/955.23	c #Conflicts:     210000 | #Constraints:      19569
952.36/955.23	c GLOBAL bounds - >= 0 @ 942.05
1034.64/1037.76	c #Conflicts:     211000 | #Constraints:      20571
1034.64/1037.76	c #Conflicts:     212000 | #Constraints:      21571
1034.64/1037.76	c #Conflicts:     213000 | #Constraints:      22571
1034.64/1037.76	c #Conflicts:     214000 | #Constraints:      23571
1034.64/1037.76	c #Conflicts:     215000 | #Constraints:      24571
1034.64/1037.76	c #Conflicts:     216000 | #Constraints:      25571
1034.64/1037.76	c INPROCESSING
1034.64/1037.76	c GARBAGE COLLECT
1034.64/1037.76	c #Conflicts:     217000 | #Constraints:      17359
1034.64/1037.76	c #Conflicts:     218000 | #Constraints:      18359
1034.64/1037.76	c #Conflicts:     219000 | #Constraints:      19359
1034.64/1037.76	c #Conflicts:     220000 | #Constraints:      20359
1034.64/1037.76	c #Conflicts:     221000 | #Constraints:      21359
1034.64/1037.76	c #Conflicts:     222000 | #Constraints:      22359
1034.64/1037.76	c #Conflicts:     223000 | #Constraints:      23359
1034.64/1037.76	c #Conflicts:     224000 | #Constraints:      24359
1034.64/1037.76	c #Conflicts:     225000 | #Constraints:      25359
1034.64/1037.76	c #Conflicts:     226000 | #Constraints:      26359
1034.64/1037.76	c INPROCESSING
1034.64/1037.76	c GARBAGE COLLECT
1034.64/1037.76	c #Conflicts:     227000 | #Constraints:      17956
1034.64/1037.76	c GLOBAL bounds - >= 0 @ 1023.74
1116.81/1120.14	c #Conflicts:     228000 | #Constraints:      18958
1116.81/1120.14	c #Conflicts:     229000 | #Constraints:      19958
1116.81/1120.14	c #Conflicts:     230000 | #Constraints:      20958
1116.81/1120.14	c #Conflicts:     231000 | #Constraints:      21958
1116.81/1120.14	c #Conflicts:     232000 | #Constraints:      22958
1116.81/1120.14	c #Conflicts:     233000 | #Constraints:      23958
1116.81/1120.14	c #Conflicts:     234000 | #Constraints:      24958
1116.81/1120.14	c #Conflicts:     235000 | #Constraints:      25958
1116.81/1120.14	c #Conflicts:     236000 | #Constraints:      26958
1116.81/1120.14	c INPROCESSING
1116.81/1120.14	c GARBAGE COLLECT
1116.81/1120.14	c #Conflicts:     237000 | #Constraints:      18348
1116.81/1120.14	c #Conflicts:     238000 | #Constraints:      19348
1116.81/1120.14	c #Conflicts:     239000 | #Constraints:      20348
1116.81/1120.14	c #Conflicts:     240000 | #Constraints:      21348
1116.81/1120.14	c #Conflicts:     241000 | #Constraints:      22348
1116.81/1120.14	c #Conflicts:     242000 | #Constraints:      23348
1116.81/1120.14	c #Conflicts:     243000 | #Constraints:      24348
1116.81/1120.14	c GLOBAL bounds - >= 0 @ 1105.05
1122.39/1125.71	c #Conflicts:     244000 | #Constraints:      25350
1122.39/1125.71	c GLOBAL bounds - >= 0 @ 1110.57
1126.58/1129.98	c #Conflicts:     245000 | #Constraints:      26352
1126.58/1129.98	c GLOBAL bounds - >= 0 @ 1114.78
1131.17/1134.53	c GLOBAL bounds - >= 0 @ 1119.27
1135.46/1138.84	c #Conflicts:     246000 | #Constraints:      27356
1135.46/1138.84	c INPROCESSING
1135.46/1138.84	c GARBAGE COLLECT
1135.46/1138.84	c GLOBAL bounds - >= 0 @ 1123.53
1145.64/1149.01	c #Conflicts:     247000 | #Constraints:      18542
1145.64/1149.01	c #Conflicts:     248000 | #Constraints:      19542
1145.64/1149.01	c GLOBAL bounds - >= 0 @ 1133.56
1209.47/1213.00	c #Conflicts:     249000 | #Constraints:      20544
1209.47/1213.00	c #Conflicts:     250000 | #Constraints:      21544
1209.47/1213.00	c #Conflicts:     251000 | #Constraints:      22544
1209.47/1213.00	c #Conflicts:     252000 | #Constraints:      23544
1209.47/1213.00	c #Conflicts:     253000 | #Constraints:      24544
1209.47/1213.00	c #Conflicts:     254000 | #Constraints:      25544
1209.47/1213.00	c #Conflicts:     255000 | #Constraints:      26544
1209.47/1213.00	c #Conflicts:     256000 | #Constraints:      27544
1209.47/1213.00	c INPROCESSING
1209.47/1213.00	c GARBAGE COLLECT
1209.47/1213.00	c #Conflicts:     257000 | #Constraints:      18560
1209.47/1213.00	c #Conflicts:     258000 | #Constraints:      19560
1209.47/1213.00	c #Conflicts:     259000 | #Constraints:      20560
1209.47/1213.00	c GLOBAL bounds - >= 0 @ 1196.91
1217.54/1221.17	c #Conflicts:     260000 | #Constraints:      21562
1217.54/1221.17	c GLOBAL bounds - >= 0 @ 1205
1297.82/1301.68	c #Conflicts:     261000 | #Constraints:      22564
1297.82/1301.68	c #Conflicts:     262000 | #Constraints:      23564
1297.82/1301.68	c #Conflicts:     263000 | #Constraints:      24564
1297.82/1301.68	c #Conflicts:     264000 | #Constraints:      25564
1297.82/1301.68	c #Conflicts:     265000 | #Constraints:      26564
1297.82/1301.68	c #Conflicts:     266000 | #Constraints:      27564
1297.82/1301.68	c INPROCESSING
1297.82/1301.68	c GARBAGE COLLECT
1297.82/1301.68	c #Conflicts:     267000 | #Constraints:      18372
1297.82/1301.68	c #Conflicts:     268000 | #Constraints:      19372
1297.82/1301.68	c #Conflicts:     269000 | #Constraints:      20372
1297.82/1301.68	c #Conflicts:     270000 | #Constraints:      21372
1297.82/1301.68	c #Conflicts:     271000 | #Constraints:      22372
1297.82/1301.68	c #Conflicts:     272000 | #Constraints:      23372
1297.82/1301.68	c #Conflicts:     273000 | #Constraints:      24372
1297.82/1301.68	c #Conflicts:     274000 | #Constraints:      25372
1297.82/1301.68	c #Conflicts:     275000 | #Constraints:      26372
1297.82/1301.68	c GLOBAL bounds - >= 0 @ 1284.51
1393.08/1397.14	c #Conflicts:     276000 | #Constraints:      27374
1393.08/1397.14	c #Conflicts:     277000 | #Constraints:      28374
1393.08/1397.14	c INPROCESSING
1393.08/1397.14	c GARBAGE COLLECT
1393.08/1397.14	c #Conflicts:     278000 | #Constraints:      18976
1393.08/1397.14	c #Conflicts:     279000 | #Constraints:      19976
1393.08/1397.14	c #Conflicts:     280000 | #Constraints:      20976
1393.08/1397.14	c #Conflicts:     281000 | #Constraints:      21976
1393.08/1397.14	c #Conflicts:     282000 | #Constraints:      22976
1393.08/1397.14	c #Conflicts:     283000 | #Constraints:      23976
1393.08/1397.14	c #Conflicts:     284000 | #Constraints:      24976
1393.08/1397.14	c #Conflicts:     285000 | #Constraints:      25976
1393.08/1397.14	c #Conflicts:     286000 | #Constraints:      26976
1393.08/1397.14	c #Conflicts:     287000 | #Constraints:      27976
1393.08/1397.14	c #Conflicts:     288000 | #Constraints:      28976
1393.08/1397.14	c INPROCESSING
1393.08/1397.14	c GARBAGE COLLECT
1393.08/1397.14	c #Conflicts:     289000 | #Constraints:      19374
1393.08/1397.14	c #Conflicts:     290000 | #Constraints:      20374
1393.08/1397.14	c GLOBAL bounds - >= 0 @ 1378.83
1399.35/1403.47	c #Conflicts:     291000 | #Constraints:      21376
1399.35/1403.47	c #Conflicts:     292000 | #Constraints:      22376
1399.35/1403.47	c GLOBAL bounds - >= 0 @ 1385.09
1404.24/1408.31	c #Conflicts:     293000 | #Constraints:      23378
1404.24/1408.31	c GLOBAL bounds - >= 0 @ 1389.88
1407.83/1411.94	c GLOBAL bounds - >= 0 @ 1393.48
1409.62/1413.74	c #Conflicts:     294000 | #Constraints:      24382
1409.62/1413.74	c GLOBAL bounds - >= 0 @ 1395.26
1415.41/1419.57	c #Conflicts:     295000 | #Constraints:      25384
1415.41/1419.57	c GLOBAL bounds - >= 0 @ 1401.03
1426.68/1430.80	c #Conflicts:     296000 | #Constraints:      26386
1426.68/1430.80	c #Conflicts:     297000 | #Constraints:      27386
1426.68/1430.80	c GLOBAL bounds - >= 0 @ 1412.14
1473.25/1477.53	c #Conflicts:     298000 | #Constraints:      28388
1473.25/1477.53	c #Conflicts:     299000 | #Constraints:      29388
1473.25/1477.53	c INPROCESSING
1473.25/1477.53	c GARBAGE COLLECT
1473.25/1477.53	c #Conflicts:     300000 | #Constraints:      19590
1473.25/1477.53	c #Conflicts:     301000 | #Constraints:      20590
1473.25/1477.53	c #Conflicts:     302000 | #Constraints:      21590
1473.25/1477.53	c #Conflicts:     303000 | #Constraints:      22590
1473.25/1477.53	c #Conflicts:     304000 | #Constraints:      23590
1473.25/1477.53	c #Conflicts:     305000 | #Constraints:      24590
1473.25/1477.53	c GLOBAL bounds - >= 0 @ 1457.94
1483.03/1487.33	c #Conflicts:     306000 | #Constraints:      25592
1483.03/1487.33	c #Conflicts:     307000 | #Constraints:      26592
1483.03/1487.33	c GLOBAL bounds - >= 0 @ 1467.64
1485.42/1489.72	c GLOBAL bounds - >= 0 @ 1470
1488.02/1492.39	c #Conflicts:     308000 | #Constraints:      27596
1488.02/1492.39	c GLOBAL bounds - >= 0 @ 1472.65
1497.09/1501.42	c #Conflicts:     309000 | #Constraints:      28598
1497.09/1501.42	c #Conflicts:     310000 | #Constraints:      29598
1497.09/1501.42	c GLOBAL bounds - >= 0 @ 1481.61
1530.71/1535.14	c INPROCESSING
1530.71/1535.14	c GARBAGE COLLECT
1530.71/1535.14	c #Conflicts:     311000 | #Constraints:      19541
1530.71/1535.14	c #Conflicts:     312000 | #Constraints:      20541
1530.71/1535.14	c #Conflicts:     313000 | #Constraints:      21541
1530.71/1535.14	c #Conflicts:     314000 | #Constraints:      22541
1530.71/1535.14	c #Conflicts:     315000 | #Constraints:      23541
1530.71/1535.14	c GLOBAL bounds - >= 0 @ 1514.87
1550.65/1555.10	c #Conflicts:     316000 | #Constraints:      24543
1550.65/1555.10	c #Conflicts:     317000 | #Constraints:      25543
1550.65/1555.10	c #Conflicts:     318000 | #Constraints:      26543
1550.65/1555.10	c #Conflicts:     319000 | #Constraints:      27543
1550.65/1555.10	c GLOBAL bounds - >= 0 @ 1534.65
1557.43/1561.91	c #Conflicts:     320000 | #Constraints:      28545
1557.43/1561.91	c #Conflicts:     321000 | #Constraints:      29545
1557.43/1561.91	c GLOBAL bounds - >= 0 @ 1541.39
1558.83/1563.37	c GLOBAL bounds - >= 0 @ 1542.84
1562.53/1567.08	c INPROCESSING
1562.53/1567.08	c GARBAGE COLLECT
1562.53/1567.08	c GLOBAL bounds - >= 0 @ 1546.53
1563.41/1567.93	c #Conflicts:     322000 | #Constraints:      19303
1563.41/1567.93	c GLOBAL bounds - >= 0 @ 1547.37
1567.41/1571.95	c #Conflicts:     323000 | #Constraints:      20305
1567.41/1571.95	c GLOBAL bounds - >= 0 @ 1551.35
1573.19/1577.75	c #Conflicts:     324000 | #Constraints:      21307
1573.19/1577.75	c #Conflicts:     325000 | #Constraints:      22307
1573.19/1577.75	c GLOBAL bounds - >= 0 @ 1557.11
1620.47/1625.14	c #Conflicts:     326000 | #Constraints:      23309
1620.47/1625.14	c #Conflicts:     327000 | #Constraints:      24309
1620.47/1625.14	c #Conflicts:     328000 | #Constraints:      25309
1620.47/1625.14	c #Conflicts:     329000 | #Constraints:      26309
1620.47/1625.14	c #Conflicts:     330000 | #Constraints:      27309
1620.47/1625.14	c #Conflicts:     331000 | #Constraints:      28309
1620.47/1625.14	c #Conflicts:     332000 | #Constraints:      29309
1620.47/1625.14	c #Conflicts:     333000 | #Constraints:      30309
1620.47/1625.14	c INPROCESSING
1620.47/1625.14	c GARBAGE COLLECT
1620.47/1625.14	c #Conflicts:     334000 | #Constraints:      19981
1620.47/1625.14	c #Conflicts:     335000 | #Constraints:      20981
1620.47/1625.14	c GLOBAL bounds - >= 0 @ 1603.99
1688.38/1693.26	c #Conflicts:     336000 | #Constraints:      21983
1688.38/1693.26	c #Conflicts:     337000 | #Constraints:      22983
1688.38/1693.26	c #Conflicts:     338000 | #Constraints:      23983
1688.38/1693.26	c #Conflicts:     339000 | #Constraints:      24983
1688.38/1693.26	c #Conflicts:     340000 | #Constraints:      25983
1688.38/1693.26	c #Conflicts:     341000 | #Constraints:      26983
1688.38/1693.26	c #Conflicts:     342000 | #Constraints:      27983
1688.38/1693.26	c #Conflicts:     343000 | #Constraints:      28983
1688.38/1693.26	c #Conflicts:     344000 | #Constraints:      29983
1688.38/1693.26	c GLOBAL bounds - >= 0 @ 1671.45
1694.86/1699.78	c #Conflicts:     345000 | #Constraints:      30985
1694.86/1699.78	c INPROCESSING
1694.86/1699.78	c GARBAGE COLLECT
1694.86/1699.78	c GLOBAL bounds - >= 0 @ 1677.93
1699.06/1703.93	c #Conflicts:     346000 | #Constraints:      20354
1699.06/1703.93	c GLOBAL bounds - >= 0 @ 1682.04
1700.75/1705.63	c #Conflicts:     347000 | #Constraints:      21356
1700.75/1705.63	c GLOBAL bounds - >= 0 @ 1683.72
1701.75/1706.69	c GLOBAL bounds - >= 0 @ 1684.77
1702.84/1707.75	c GLOBAL bounds - >= 0 @ 1685.82
1703.94/1708.82	c GLOBAL bounds - >= 0 @ 1686.88
1707.04/1711.92	c #Conflicts:     348000 | #Constraints:      22364
1707.04/1711.92	c GLOBAL bounds - >= 0 @ 1689.96
1714.22/1719.10	c #Conflicts:     349000 | #Constraints:      23366
1714.22/1719.10	c GLOBAL bounds - >= 0 @ 1697.07
1734.86/1739.87	c #Conflicts:     350000 | #Constraints:      24368
1734.86/1739.87	c #Conflicts:     351000 | #Constraints:      25368
1734.86/1739.87	c #Conflicts:     352000 | #Constraints:      26368
1734.86/1739.87	c GLOBAL bounds - >= 0 @ 1717.57
1740.25/1745.27	c #Conflicts:     353000 | #Constraints:      27370
1740.25/1745.27	c GLOBAL bounds - >= 0 @ 1722.93
1795.40/1800.58	c #Conflicts:     354000 | #Constraints:      28372
1795.40/1800.58	c #Conflicts:     355000 | #Constraints:      29372
1795.40/1800.58	c #Conflicts:     356000 | #Constraints:      30372
1795.40/1800.58	c #Conflicts:     357000 | #Constraints:      31372
1795.40/1800.58	c INPROCESSING
1795.40/1800.58	c GARBAGE COLLECT
1795.40/1800.58	c #Conflicts:     358000 | #Constraints:      20591
1795.40/1800.58	c #Conflicts:     359000 | #Constraints:      21591
1795.40/1800.58	c #Conflicts:     360000 | #Constraints:      22591
1795.40/1800.58	c #Conflicts:     361000 | #Constraints:      23591
1795.40/1800.58	c GLOBAL bounds - >= 0 @ 1777.52
1801.18/1806.33	c #Conflicts:     362000 | #Constraints:      24593
1801.18/1806.33	c GLOBAL bounds - >= 0 @ 1783.22
1808.26/1813.46	c #Conflicts:     363000 | #Constraints:      25595
1808.26/1813.46	c GLOBAL bounds - >= 0 @ 1790.29
1810.96/1816.16	c #Conflicts:     364000 | #Constraints:      26597
1810.96/1816.16	c GLOBAL bounds - >= 0 @ 1792.97
1815.55/1820.73	c GLOBAL bounds - >= 0 @ 1797.5
1819.64/1824.84	c #Conflicts:     365000 | #Constraints:      27601
1819.64/1824.84	c GLOBAL bounds - >= 0 @ 1801.58
1828.91/1834.10	c #Conflicts:     366000 | #Constraints:      28603
1828.91/1834.10	c #Conflicts:     367000 | #Constraints:      29603
1828.91/1834.10	c GLOBAL bounds - >= 0 @ 1810.76
1848.76/1854.08	c #Conflicts:     368000 | #Constraints:      30605
1848.76/1854.08	c #Conflicts:     369000 | #Constraints:      31605
1848.76/1854.08	c INPROCESSING
1848.76/1854.08	c GARBAGE COLLECT
1848.76/1854.08	c GLOBAL bounds - >= 0 @ 1830.58
1886.76/1892.15	c #Conflicts:     370000 | #Constraints:      20618
1886.76/1892.15	c #Conflicts:     371000 | #Constraints:      21618
1886.76/1892.15	c #Conflicts:     372000 | #Constraints:      22618
1886.76/1892.15	c #Conflicts:     373000 | #Constraints:      23618
1886.76/1892.15	c #Conflicts:     374000 | #Constraints:      24618
1886.76/1892.15	c #Conflicts:     375000 | #Constraints:      25618
1886.76/1892.15	c GLOBAL bounds - >= 0 @ 1868.29
1894.23/1899.68	c #Conflicts:     376000 | #Constraints:      26620
1894.23/1899.68	c #Conflicts:     377000 | #Constraints:      27620
1894.23/1899.68	c GLOBAL bounds - >= 0 @ 1875.74
1904.31/1909.72	c #Conflicts:     378000 | #Constraints:      28622
1904.31/1909.72	c #Conflicts:     379000 | #Constraints:      29622
1904.31/1909.72	c #Conflicts:     380000 | #Constraints:      30622
1904.31/1909.72	c GLOBAL bounds - >= 0 @ 1885.7
1941.31/1946.88	c #Conflicts:     381000 | #Constraints:      31624
1941.31/1946.88	c INPROCESSING
1941.31/1946.88	c GARBAGE COLLECT
1941.31/1946.88	c #Conflicts:     382000 | #Constraints:      20429
1941.31/1946.88	c #Conflicts:     383000 | #Constraints:      21429
1941.31/1946.88	c #Conflicts:     384000 | #Constraints:      22429
1941.31/1946.88	c #Conflicts:     385000 | #Constraints:      23429
1941.31/1946.88	c #Conflicts:     386000 | #Constraints:      24429
1941.31/1946.88	c #Conflicts:     387000 | #Constraints:      25429
1941.31/1946.88	c GLOBAL bounds - >= 0 @ 1922.44
1956.07/1961.68	c #Conflicts:     388000 | #Constraints:      26431
1956.07/1961.68	c #Conflicts:     389000 | #Constraints:      27431
1956.07/1961.68	c GLOBAL bounds - >= 0 @ 1937.12
2019.19/2024.92	c #Conflicts:     390000 | #Constraints:      28433
2019.19/2024.92	c #Conflicts:     391000 | #Constraints:      29433
2019.19/2024.92	c #Conflicts:     392000 | #Constraints:      30433
2019.19/2024.92	c #Conflicts:     393000 | #Constraints:      31433
2019.19/2024.92	c #Conflicts:     394000 | #Constraints:      32433
2019.19/2024.92	c INPROCESSING
2019.19/2024.92	c GARBAGE COLLECT
2019.19/2024.92	c #Conflicts:     395000 | #Constraints:      21035
2019.19/2024.92	c #Conflicts:     396000 | #Constraints:      22035
2019.19/2024.92	c #Conflicts:     397000 | #Constraints:      23035
2019.19/2024.92	c #Conflicts:     398000 | #Constraints:      24035
2019.19/2024.92	c GLOBAL bounds - >= 0 @ 1999.56
2027.17/2032.95	c #Conflicts:     399000 | #Constraints:      25037
2027.17/2032.95	c GLOBAL bounds - >= 0 @ 2007.52
2031.27/2037.08	c #Conflicts:     400000 | #Constraints:      26039
2031.27/2037.08	c GLOBAL bounds - >= 0 @ 2011.62
2033.95/2039.74	c #Conflicts:     401000 | #Constraints:      27041
2033.95/2039.74	c GLOBAL bounds - >= 0 @ 2014.25
2036.25/2042.00	c GLOBAL bounds - >= 0 @ 2016.5
2084.82/2090.75	c #Conflicts:     402000 | #Constraints:      28045
2084.82/2090.75	c #Conflicts:     403000 | #Constraints:      29045
2084.82/2090.75	c #Conflicts:     404000 | #Constraints:      30045
2084.82/2090.75	c #Conflicts:     405000 | #Constraints:      31045
2084.82/2090.75	c #Conflicts:     406000 | #Constraints:      32045
2084.82/2090.75	c #Conflicts:     407000 | #Constraints:      33045
2084.82/2090.75	c INPROCESSING
2084.82/2090.75	c GARBAGE COLLECT
2084.82/2090.75	c #Conflicts:     408000 | #Constraints:      21442
2084.82/2090.75	c #Conflicts:     409000 | #Constraints:      22442
2084.82/2090.75	c GLOBAL bounds - >= 0 @ 2064.69
2116.43/2122.43	c #Conflicts:     410000 | #Constraints:      23444
2116.43/2122.43	c #Conflicts:     411000 | #Constraints:      24444
2116.43/2122.43	c #Conflicts:     412000 | #Constraints:      25444
2116.43/2122.43	c #Conflicts:     413000 | #Constraints:      26444
2116.43/2122.43	c #Conflicts:     414000 | #Constraints:      27444
2116.43/2122.43	c GLOBAL bounds - >= 0 @ 2095.97
2120.92/2126.95	c #Conflicts:     415000 | #Constraints:      28446
2120.92/2126.95	c GLOBAL bounds - >= 0 @ 2100.46
2122.72/2128.78	c GLOBAL bounds - >= 0 @ 2102.28
2130.00/2136.07	c #Conflicts:     416000 | #Constraints:      29450
2130.00/2136.07	c GLOBAL bounds - >= 0 @ 2109.5
2141.77/2147.86	c #Conflicts:     417000 | #Constraints:      30452
2141.77/2147.86	c #Conflicts:     418000 | #Constraints:      31452
2141.77/2147.86	c GLOBAL bounds - >= 0 @ 2121.18
2168.10/2174.25	c #Conflicts:     419000 | #Constraints:      32454
2168.10/2174.25	c #Conflicts:     420000 | #Constraints:      33454
2168.10/2174.25	c INPROCESSING
2168.10/2174.25	c GARBAGE COLLECT
2168.10/2174.25	c #Conflicts:     421000 | #Constraints:      21640
2168.10/2174.25	c #Conflicts:     422000 | #Constraints:      22640
2168.10/2174.25	c GLOBAL bounds - >= 0 @ 2147.29
2169.19/2175.39	c #Conflicts:     423000 | #Constraints:      23642
2169.19/2175.39	c GLOBAL bounds - >= 0 @ 2148.42
2175.98/2182.15	c #Conflicts:     424000 | #Constraints:      24644
2175.98/2182.15	c GLOBAL bounds - >= 0 @ 2155.12
2181.06/2187.24	c #Conflicts:     425000 | #Constraints:      25646
2181.06/2187.24	c #Conflicts:     426000 | #Constraints:      26646
2181.06/2187.24	c GLOBAL bounds - >= 0 @ 2160.15
2192.83/2199.02	c #Conflicts:     427000 | #Constraints:      27648
2192.83/2199.02	c #Conflicts:     428000 | #Constraints:      28648
2192.83/2199.02	c #Conflicts:     429000 | #Constraints:      29648
2192.83/2199.02	c GLOBAL bounds - >= 0 @ 2171.84
2195.93/2202.17	c #Conflicts:     430000 | #Constraints:      30650
2195.93/2202.17	c GLOBAL bounds - >= 0 @ 2174.95
2197.61/2203.81	c GLOBAL bounds - >= 0 @ 2176.59
2260.75/2267.14	c #Conflicts:     431000 | #Constraints:      31654
2260.75/2267.14	c #Conflicts:     432000 | #Constraints:      32654
2260.75/2267.14	c #Conflicts:     433000 | #Constraints:      33654
2260.75/2267.14	c INPROCESSING
2260.75/2267.14	c GARBAGE COLLECT
2260.75/2267.14	c #Conflicts:     434000 | #Constraints:      21661
2260.75/2267.14	c #Conflicts:     435000 | #Constraints:      22661
2260.75/2267.14	c #Conflicts:     436000 | #Constraints:      23661
2260.75/2267.14	c #Conflicts:     437000 | #Constraints:      24661
2260.75/2267.14	c #Conflicts:     438000 | #Constraints:      25661
2260.75/2267.14	c #Conflicts:     439000 | #Constraints:      26661
2260.75/2267.14	c #Conflicts:     440000 | #Constraints:      27661
2260.75/2267.14	c #Conflicts:     441000 | #Constraints:      28661
2260.75/2267.14	c GLOBAL bounds - >= 0 @ 2239.37
2279.29/2285.77	c #Conflicts:     442000 | #Constraints:      29663
2279.29/2285.77	c #Conflicts:     443000 | #Constraints:      30663
2279.29/2285.77	c #Conflicts:     444000 | #Constraints:      31663
2279.29/2285.77	c #Conflicts:     445000 | #Constraints:      32663
2279.29/2285.77	c GLOBAL bounds - >= 0 @ 2257.8
2294.05/2300.56	c #Conflicts:     446000 | #Constraints:      33665
2294.05/2300.56	c INPROCESSING
2294.05/2300.56	c GARBAGE COLLECT
2294.05/2300.56	c #Conflicts:     447000 | #Constraints:      21448
2294.05/2300.56	c #Conflicts:     448000 | #Constraints:      22448
2294.05/2300.56	c GLOBAL bounds - >= 0 @ 2272.45
2296.24/2302.77	c #Conflicts:     449000 | #Constraints:      23450
2296.24/2302.77	c GLOBAL bounds - >= 0 @ 2274.64
2305.72/2312.28	c #Conflicts:     450000 | #Constraints:      24452
2305.72/2312.28	c #Conflicts:     451000 | #Constraints:      25452
2305.72/2312.28	c #Conflicts:     452000 | #Constraints:      26452
2305.72/2312.28	c GLOBAL bounds - >= 0 @ 2284.06
2330.16/2336.79	c #Conflicts:     453000 | #Constraints:      27454
2330.16/2336.79	c #Conflicts:     454000 | #Constraints:      28454
2330.16/2336.79	c #Conflicts:     455000 | #Constraints:      29454
2330.16/2336.79	c #Conflicts:     456000 | #Constraints:      30454
2330.16/2336.79	c GLOBAL bounds - >= 0 @ 2308.33
2334.24/2340.80	c #Conflicts:     457000 | #Constraints:      31456
2334.24/2340.80	c GLOBAL bounds - >= 0 @ 2312.3
2353.09/2359.78	c #Conflicts:     458000 | #Constraints:      32458
2353.09/2359.78	c #Conflicts:     459000 | #Constraints:      33458
2353.09/2359.78	c #Conflicts:     460000 | #Constraints:      34458
2353.09/2359.78	c INPROCESSING
2353.09/2359.78	c GARBAGE COLLECT
2353.09/2359.78	c GLOBAL bounds - >= 0 @ 2331.09
2453.52/2460.43	c #Conflicts:     461000 | #Constraints:      22065
2453.52/2460.43	c #Conflicts:     462000 | #Constraints:      23065
2453.52/2460.43	c #Conflicts:     463000 | #Constraints:      24065
2453.52/2460.43	c #Conflicts:     464000 | #Constraints:      25065
2453.52/2460.43	c #Conflicts:     465000 | #Constraints:      26065
2453.52/2460.43	c #Conflicts:     466000 | #Constraints:      27065
2453.52/2460.43	c #Conflicts:     467000 | #Constraints:      28065
2453.52/2460.43	c #Conflicts:     468000 | #Constraints:      29065
2453.52/2460.43	c #Conflicts:     469000 | #Constraints:      30065
2453.52/2460.43	c #Conflicts:     470000 | #Constraints:      31065
2453.52/2460.43	c #Conflicts:     471000 | #Constraints:      32065
2453.52/2460.43	c #Conflicts:     472000 | #Constraints:      33065
2453.52/2460.43	c GLOBAL bounds - >= 0 @ 2430.76
2454.72/2461.68	c #Conflicts:     473000 | #Constraints:      34067
2454.72/2461.68	c GLOBAL bounds - >= 0 @ 2432
2456.32/2463.25	c GLOBAL bounds - >= 0 @ 2433.56
2458.01/2464.94	c GLOBAL bounds - >= 0 @ 2435.24
2505.38/2512.45	c #Conflicts:     474000 | #Constraints:      35073
2505.38/2512.45	c INPROCESSING
2505.38/2512.45	c GARBAGE COLLECT
2505.38/2512.45	c #Conflicts:     475000 | #Constraints:      22442
2505.38/2512.45	c #Conflicts:     476000 | #Constraints:      23442
2505.38/2512.45	c #Conflicts:     477000 | #Constraints:      24442
2505.38/2512.45	c #Conflicts:     478000 | #Constraints:      25442
2505.38/2512.45	c #Conflicts:     479000 | #Constraints:      26442
2505.38/2512.45	c #Conflicts:     480000 | #Constraints:      27442
2505.38/2512.45	c #Conflicts:     481000 | #Constraints:      28442
2505.38/2512.45	c #Conflicts:     482000 | #Constraints:      29442
2505.38/2512.45	c #Conflicts:     483000 | #Constraints:      30442
2505.38/2512.45	c GLOBAL bounds - >= 0 @ 2482.37
2563.72/2570.90	c #Conflicts:     484000 | #Constraints:      31444
2563.72/2570.90	c #Conflicts:     485000 | #Constraints:      32444
2563.72/2570.90	c #Conflicts:     486000 | #Constraints:      33444
2563.72/2570.90	c #Conflicts:     487000 | #Constraints:      34444
2563.72/2570.90	c #Conflicts:     488000 | #Constraints:      35444
2563.72/2570.90	c INPROCESSING
2563.72/2570.90	c GARBAGE COLLECT
2563.72/2570.90	c #Conflicts:     489000 | #Constraints:      22640
2563.72/2570.90	c #Conflicts:     490000 | #Constraints:      23640
2563.72/2570.90	c #Conflicts:     491000 | #Constraints:      24640
2563.72/2570.90	c GLOBAL bounds - >= 0 @ 2540.23
2631.03/2638.41	c #Conflicts:     492000 | #Constraints:      25642
2631.03/2638.41	c #Conflicts:     493000 | #Constraints:      26642
2631.03/2638.41	c #Conflicts:     494000 | #Constraints:      27642
2631.03/2638.41	c #Conflicts:     495000 | #Constraints:      28642
2631.03/2638.41	c #Conflicts:     496000 | #Constraints:      29642
2631.03/2638.41	c #Conflicts:     497000 | #Constraints:      30642
2631.03/2638.41	c #Conflicts:     498000 | #Constraints:      31642
2631.03/2638.41	c #Conflicts:     499000 | #Constraints:      32642
2631.03/2638.41	c #Conflicts:     500000 | #Constraints:      33642
2631.03/2638.41	c #Conflicts:     501000 | #Constraints:      34642
2631.03/2638.41	c #Conflicts:     502000 | #Constraints:      35642
2631.03/2638.41	c INPROCESSING
2631.03/2638.41	c GARBAGE COLLECT
2631.03/2638.41	c GLOBAL bounds - >= 0 @ 2607.09
2679.90/2687.44	c #Conflicts:     503000 | #Constraints:      22668
2679.90/2687.44	c #Conflicts:     504000 | #Constraints:      23668
2679.90/2687.44	c #Conflicts:     505000 | #Constraints:      24668
2679.90/2687.44	c #Conflicts:     506000 | #Constraints:      25668
2679.90/2687.44	c #Conflicts:     507000 | #Constraints:      26668
2679.90/2687.44	c #Conflicts:     508000 | #Constraints:      27668
2679.90/2687.44	c #Conflicts:     509000 | #Constraints:      28668
2679.90/2687.44	c #Conflicts:     510000 | #Constraints:      29668
2679.90/2687.44	c GLOBAL bounds - >= 0 @ 2655.64
2774.84/2782.68	c #Conflicts:     511000 | #Constraints:      30670
2774.84/2782.68	c #Conflicts:     512000 | #Constraints:      31670
2774.84/2782.68	c #Conflicts:     513000 | #Constraints:      32670
2774.84/2782.68	c #Conflicts:     514000 | #Constraints:      33670
2774.84/2782.68	c #Conflicts:     515000 | #Constraints:      34670
2774.84/2782.68	c #Conflicts:     516000 | #Constraints:      35670
2774.84/2782.68	c INPROCESSING
2774.84/2782.68	c GARBAGE COLLECT
2774.84/2782.68	c #Conflicts:     517000 | #Constraints:      22473
2774.84/2782.68	c #Conflicts:     518000 | #Constraints:      23473
2774.84/2782.68	c #Conflicts:     519000 | #Constraints:      24473
2774.84/2782.68	c #Conflicts:     520000 | #Constraints:      25473
2774.84/2782.68	c #Conflicts:     521000 | #Constraints:      26473
2774.84/2782.68	c #Conflicts:     522000 | #Constraints:      27473
2774.84/2782.68	c #Conflicts:     523000 | #Constraints:      28473
2774.84/2782.68	c #Conflicts:     524000 | #Constraints:      29473
2774.84/2782.68	c #Conflicts:     525000 | #Constraints:      30473
2774.84/2782.68	c GLOBAL bounds - >= 0 @ 2749.99
2792.40/2800.25	c #Conflicts:     526000 | #Constraints:      31475
2792.40/2800.25	c #Conflicts:     527000 | #Constraints:      32475
2792.40/2800.25	c GLOBAL bounds - >= 0 @ 2767.42
2804.27/2812.19	c #Conflicts:     528000 | #Constraints:      33477
2804.27/2812.19	c #Conflicts:     529000 | #Constraints:      34477
2804.27/2812.19	c GLOBAL bounds - >= 0 @ 2779.25
2810.25/2818.14	c #Conflicts:     530000 | #Constraints:      35479
2810.25/2818.14	c GLOBAL bounds - >= 0 @ 2785.13
2814.54/2822.46	c #Conflicts:     531000 | #Constraints:      36481
2814.54/2822.46	c GLOBAL bounds - >= 0 @ 2789.4
2819.02/2826.93	c INPROCESSING
2819.02/2826.93	c GARBAGE COLLECT
2819.02/2826.93	c GLOBAL bounds - >= 0 @ 2793.84
2823.01/2830.94	c GLOBAL bounds - >= 0 @ 2797.81
2831.99/2839.95	c #Conflicts:     532000 | #Constraints:      23048
2831.99/2839.95	c #Conflicts:     533000 | #Constraints:      24048
2831.99/2839.95	c GLOBAL bounds - >= 0 @ 2806.73
2842.56/2850.59	c #Conflicts:     534000 | #Constraints:      25050
2842.56/2850.59	c #Conflicts:     535000 | #Constraints:      26050
2842.56/2850.59	c GLOBAL bounds - >= 0 @ 2817.27
2845.15/2853.14	c GLOBAL bounds - >= 0 @ 2819.78
2849.34/2857.34	c #Conflicts:     536000 | #Constraints:      27054
2849.34/2857.34	c GLOBAL bounds - >= 0 @ 2823.93
2854.04/2862.09	c #Conflicts:     537000 | #Constraints:      28056
2854.04/2862.09	c GLOBAL bounds - >= 0 @ 2828.64
2859.02/2867.01	c #Conflicts:     538000 | #Constraints:      29058
2859.02/2867.01	c GLOBAL bounds - >= 0 @ 2833.52
2905.09/2913.26	c #Conflicts:     539000 | #Constraints:      30060
2905.09/2913.26	c #Conflicts:     540000 | #Constraints:      31060
2905.09/2913.26	c #Conflicts:     541000 | #Constraints:      32060
2905.09/2913.26	c #Conflicts:     542000 | #Constraints:      33060
2905.09/2913.26	c #Conflicts:     543000 | #Constraints:      34060
2905.09/2913.26	c #Conflicts:     544000 | #Constraints:      35060
2905.09/2913.26	c GLOBAL bounds - >= 0 @ 2879.24
2910.08/2918.24	c #Conflicts:     545000 | #Constraints:      36062
2910.08/2918.24	c GLOBAL bounds - >= 0 @ 2884.18
2912.67/2920.87	c GLOBAL bounds - >= 0 @ 2886.79
2915.07/2923.27	c GLOBAL bounds - >= 0 @ 2889.16
2924.34/2932.50	c #Conflicts:     546000 | #Constraints:      37068
2924.34/2932.50	c INPROCESSING
2924.34/2932.50	c GARBAGE COLLECT
2924.34/2932.50	c GLOBAL bounds - >= 0 @ 2898.33
2926.63/2934.80	c GLOBAL bounds - >= 0 @ 2900.61
2928.23/2936.41	c #Conflicts:     547000 | #Constraints:      23428
2928.23/2936.41	c GLOBAL bounds - >= 0 @ 2902.2
2930.93/2939.14	c GLOBAL bounds - >= 0 @ 2904.92
2932.52/2940.74	c GLOBAL bounds - >= 0 @ 2906.5
2954.87/2963.15	c #Conflicts:     548000 | #Constraints:      24434
2954.87/2963.15	c #Conflicts:     549000 | #Constraints:      25434
2954.87/2963.15	c #Conflicts:     550000 | #Constraints:      26434
2954.87/2963.15	c #Conflicts:     551000 | #Constraints:      27434
2954.87/2963.15	c GLOBAL bounds - >= 0 @ 2928.7
2976.80/2985.13	c #Conflicts:     552000 | #Constraints:      28436
2976.80/2985.13	c #Conflicts:     553000 | #Constraints:      29436
2976.80/2985.13	c GLOBAL bounds - >= 0 @ 2950.45
2991.86/3000.21	c #Conflicts:     554000 | #Constraints:      30438
2991.86/3000.21	c #Conflicts:     555000 | #Constraints:      31438
2991.86/3000.21	c GLOBAL bounds - >= 0 @ 2965.37
2993.95/3002.37	c GLOBAL bounds - >= 0 @ 2967.51
3021.28/3029.72	c #Conflicts:     556000 | #Constraints:      32442
3021.28/3029.72	c #Conflicts:     557000 | #Constraints:      33442
3021.28/3029.72	c #Conflicts:     558000 | #Constraints:      34442
3021.28/3029.72	c #Conflicts:     559000 | #Constraints:      35442
3021.28/3029.72	c #Conflicts:     560000 | #Constraints:      36442
3021.28/3029.72	c GLOBAL bounds - >= 0 @ 2994.57
3024.38/3032.86	c GLOBAL bounds - >= 0 @ 2997.69
3080.83/3089.40	c #Conflicts:     561000 | #Constraints:      37446
3080.83/3089.40	c INPROCESSING
3080.83/3089.40	c GARBAGE COLLECT
3080.83/3089.40	c #Conflicts:     562000 | #Constraints:      23621
3080.83/3089.40	c #Conflicts:     563000 | #Constraints:      24621
3080.83/3089.40	c #Conflicts:     564000 | #Constraints:      25621
3080.83/3089.40	c #Conflicts:     565000 | #Constraints:      26621
3080.83/3089.40	c #Conflicts:     566000 | #Constraints:      27621
3080.83/3089.40	c #Conflicts:     567000 | #Constraints:      28621
3080.83/3089.40	c #Conflicts:     568000 | #Constraints:      29621
3080.83/3089.40	c #Conflicts:     569000 | #Constraints:      30621
3080.83/3089.40	c GLOBAL bounds - >= 0 @ 3053.74
3381.93/3391.35	c #Conflicts:     570000 | #Constraints:      31623
3381.93/3391.35	c #Conflicts:     571000 | #Constraints:      32623
3381.93/3391.35	c #Conflicts:     572000 | #Constraints:      33623
3381.93/3391.35	c #Conflicts:     573000 | #Constraints:      34623
3381.93/3391.35	c #Conflicts:     574000 | #Constraints:      35623
3381.93/3391.35	c #Conflicts:     575000 | #Constraints:      36623
3381.93/3391.35	c #Conflicts:     576000 | #Constraints:      37623
3381.93/3391.35	c INPROCESSING
3381.93/3391.35	c GARBAGE COLLECT
3381.93/3391.35	c #Conflicts:     577000 | #Constraints:      23673
3381.93/3391.35	c #Conflicts:     578000 | #Constraints:      24673
3381.93/3391.35	c #Conflicts:     579000 | #Constraints:      25673
3381.93/3391.35	c #Conflicts:     580000 | #Constraints:      26673
3381.93/3391.35	c #Conflicts:     581000 | #Constraints:      27673
3381.93/3391.35	c #Conflicts:     582000 | #Constraints:      28673
3381.93/3391.35	c #Conflicts:     583000 | #Constraints:      29673
3381.93/3391.35	c #Conflicts:     584000 | #Constraints:      30673
3381.93/3391.35	c #Conflicts:     585000 | #Constraints:      31673
3381.93/3391.35	c #Conflicts:     586000 | #Constraints:      32673
3381.93/3391.35	c #Conflicts:     587000 | #Constraints:      33673
3381.93/3391.35	c #Conflicts:     588000 | #Constraints:      34673
3381.93/3391.35	c #Conflicts:     589000 | #Constraints:      35673
3381.93/3391.35	c #Conflicts:     590000 | #Constraints:      36673
3381.93/3391.35	c #Conflicts:     591000 | #Constraints:      37673
3381.93/3391.35	c INPROCESSING
3381.93/3391.35	c GARBAGE COLLECT
3381.93/3391.35	c #Conflicts:     592000 | #Constraints:      23510
3381.93/3391.35	c #Conflicts:     593000 | #Constraints:      24510
3381.93/3391.35	c #Conflicts:     594000 | #Constraints:      25510
3381.93/3391.35	c #Conflicts:     595000 | #Constraints:      26510
3381.93/3391.35	c #Conflicts:     596000 | #Constraints:      27510
3381.93/3391.35	c #Conflicts:     597000 | #Constraints:      28510
3381.93/3391.35	c #Conflicts:     598000 | #Constraints:      29510
3381.93/3391.35	c #Conflicts:     599000 | #Constraints:      30510
3381.93/3391.35	c #Conflicts:     600000 | #Constraints:      31510
3381.93/3391.35	c #Conflicts:     601000 | #Constraints:      32510
3381.93/3391.35	c #Conflicts:     602000 | #Constraints:      33510
3381.93/3391.35	c #Conflicts:     603000 | #Constraints:      34510
3381.93/3391.35	c #Conflicts:     604000 | #Constraints:      35510
3381.93/3391.35	c GLOBAL bounds - >= 0 @ 3352.8
3533.72/3543.59	c #Conflicts:     605000 | #Constraints:      36512
3533.72/3543.59	c #Conflicts:     606000 | #Constraints:      37512
3533.72/3543.59	c #Conflicts:     607000 | #Constraints:      38512
3533.72/3543.59	c INPROCESSING
3533.72/3543.59	c GARBAGE COLLECT
3533.72/3543.59	c #Conflicts:     608000 | #Constraints:      24116
3533.72/3543.59	c #Conflicts:     609000 | #Constraints:      25116
3533.72/3543.59	c #Conflicts:     610000 | #Constraints:      26116
3533.72/3543.59	c #Conflicts:     611000 | #Constraints:      27116
3533.72/3543.59	c #Conflicts:     612000 | #Constraints:      28116
3533.72/3543.59	c #Conflicts:     613000 | #Constraints:      29116
3533.72/3543.59	c #Conflicts:     614000 | #Constraints:      30116
3533.72/3543.59	c #Conflicts:     615000 | #Constraints:      31116
3533.72/3543.59	c #Conflicts:     616000 | #Constraints:      32116
3533.72/3543.59	c #Conflicts:     617000 | #Constraints:      33116
3533.72/3543.59	c #Conflicts:     618000 | #Constraints:      34116
3533.72/3543.59	c #Conflicts:     619000 | #Constraints:      35116
3533.72/3543.59	c #Conflicts:     620000 | #Constraints:      36116
3533.72/3543.59	c #Conflicts:     621000 | #Constraints:      37116
3533.72/3543.59	c #Conflicts:     622000 | #Constraints:      38116
3533.72/3543.59	c #Conflicts:     623000 | #Constraints:      39116
3533.72/3543.59	c INPROCESSING
3533.72/3543.59	c GARBAGE COLLECT
3533.72/3543.59	c #Conflicts:     624000 | #Constraints:      24522
3533.72/3543.59	c #Conflicts:     625000 | #Constraints:      25522
3533.72/3543.59	c GLOBAL bounds - >= 0 @ 3503.8
3600.05/3610.00	c #Conflicts:     626000 | #Constraints:      26524
3600.05/3610.00	c #Conflicts:     627000 | #Constraints:      27524
3600.05/3610.00	c #Conflicts:     628000 | #Constraints:      28524
3600.05/3610.00	c #Conflicts:     629000 | #Constraints:      29524
3600.05/3610.00	c #Conflicts:     630000 | #Constraints:      30524
3600.05/3610.00	c #Conflicts:     631000 | #Constraints:      31524
3600.05/3610.00	c #Conflicts:     632000 | #Constraints:      32524
3600.05/3610.00	c #Conflicts:     633000 | #Constraints:      33524
3600.05/3610.00	c #Conflicts:     634000 | #Constraints:      34524
3600.05/3610.00	c cpu time 3569.27 s
3600.05/3610.00	c deterministic time 1 1.00e+00
3600.05/3610.00	c optimization time 3569.24 s
3600.05/3610.00	c total solve time 0 s
3600.05/3610.00	c core-guided solve time 0 s
3600.05/3610.00	c propagation time 0.002105 s
3600.05/3610.00	c conflict analysis time 0 s
3600.05/3610.00	c propagations 0
3600.05/3610.00	c resolve steps 0
3600.05/3610.00	c decisions 0
3600.05/3610.00	c conflicts 0
3600.05/3610.00	c restarts 0
3600.05/3610.00	c inprocessing phases 0
3600.05/3610.00	c garbage collections 0 ,( -nan )
3600.05/3610.00	c input clauses 7200 ,( 100.00 )
3600.05/3610.00	c input cardinalities 0 ,( 0.00 )
3600.05/3610.00	c input general constraints 0 ,( 0.00 )
3600.05/3610.00	c input average constraint length 4.00
3600.05/3610.00	c input average constraint degree 1.00
3600.05/3610.00	c learned clauses 0 ,( 0.00 )
3600.05/3610.00	c learned cardinalities 0 ,( 0.00 )
3600.05/3610.00	c learned general constraints 0 ,( 0.00 )
3600.05/3610.00	c learned average constraint length 0.00
3600.05/3610.00	c learned average constraint degree 0.00
3600.05/3610.00	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3610.00	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3610.00	c watched   constraints 0 ,( -nan ) 
3600.05/3610.00	c counting  constraints 0 ,( -nan ) 
3600.05/3610.00	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3610.00	c gcd simplifications 0
3600.05/3610.00	c detected cardinalities 0
3600.05/3610.00	c weakened non-implied lits 0
3600.05/3610.00	c weakened non-implying lits 0
3600.05/3610.00	c original variables 7200
3600.05/3610.00	c clausal propagations 0
3600.05/3610.00	c cardinality propagations 0
3600.05/3610.00	c watched propagations 0
3600.05/3610.00	c counting propagations 0
3600.05/3610.00	c watch lookups 0
3600.05/3610.00	c watch backjump lookups 0
3600.05/3610.00	c watch checks 0
3600.05/3610.00	c propagation checks 0
3600.05/3610.00	c constraint additions 0
3600.05/3610.00	c trail pops 0
3600.05/3610.00	c formula constraints 7200
3600.05/3610.00	c learned constraints 0
3600.05/3610.00	c bound constraints 0
3600.05/3610.00	c core-guided constraints 0
3600.05/3610.00	c encountered formula constraints 0
3600.05/3610.00	c encountered learned constraints 0
3600.05/3610.00	c encountered bound constraints 0
3600.05/3610.00	c encountered core-guided constraints 0
3600.05/3610.00	c LP total time 0 s
3600.05/3610.00	c LP solve time 0 s
3600.05/3610.00	c LP constraints added 0
3600.05/3610.00	c LP constraints removed 0
3600.05/3610.00	c LP pivots internal 0
3600.05/3610.00	c LP pivots root 0
3600.05/3610.00	c LP calls 0
3600.05/3610.00	c LP optimalities 0
3600.05/3610.00	c LP no pivot count 0
3600.05/3610.00	c LP infeasibilities 0
3600.05/3610.00	c LP valid Farkas constraints 0
3600.05/3610.00	c LP learned Farkas constraints 0
3600.05/3610.00	c LP basis resets 0
3600.05/3610.00	c LP cycling count 0
3600.05/3610.00	c LP singular count 0
3600.05/3610.00	c LP no primal count 0
3600.05/3610.00	c LP no farkas count 0
3600.05/3610.00	c LP other issue count 0
3600.05/3610.00	c LP Gomory cuts 0
3600.05/3610.00	c LP learned cuts 0
3600.05/3610.00	c LP deleted cuts 0
3600.05/3610.00	c LP encountered Gomory constraints 0
3600.05/3610.00	c LP encountered Farkas constraints 0
3600.05/3610.00	c LP encountered learned Farkas constraints 0
3600.05/3610.00	c CG auxiliary variables introduced 0
3600.05/3610.00	c CG solutions found 0
3600.05/3610.00	c CG cores constructed 0
3600.05/3610.00	c CG core cardinality constraints returned 0
3600.05/3610.00	c CG unit cores 0
3600.05/3610.00	c CG single cores 0
3600.05/3610.00	c CG blocks removed during cardinality reduction 0
3600.05/3610.00	c CG first core best 0
3600.05/3610.00	c CG decision core best 0
3600.05/3610.00	c CG core reduction tie 0
3600.05/3610.00	c CG core degree average 0.00
3600.05/3610.00	c CG core slack average 0.00
3600.05/3610.00	c CG core upper bound improvements 0
3600.05/3610.00	c STR number of successful calls 0
3600.05/3610.00	c STR number of unsuccessful calls 0
3600.05/3610.00	c STR number of inconclusive calls 0
3600.05/3610.00	c STR number of successful attempts 0
3600.05/3610.00	c STR number of unsuccessful attempts 0
3600.05/3610.00	c STR number of inconclusive attempts 0
3600.05/3610.00	c STR average degree increase per successful call inf
3600.05/3610.00	c STR average degree increase per successful attempt inf
3600.05/3610.00	c STR total number of conflicts for successful attempts 0
3600.05/3610.00	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.00	c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.00	c STR average number of conflicts per successful attempt inf
3600.05/3610.00	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.00	c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.00	c AVG.sumWPerc -nan 
3600.05/3610.00	c bigint constraints 0 
3600.05/3610.00	s UNKNOWN
3600.05/3610.00	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 (62874 MiB free)
  memory of node 1: 64465 MiB (63809 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10006 s]*
/proc/loadavg: 0.58 1.51 2.52 5/268 83094
/proc/meminfo: memFree=129686512/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=73416 memory=23952 CPUtime=0.06 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 4617 0 0 0 4 2 0 0 20 0 1 0 73583101 75177984 5988 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 18354 5988 2368 1147 0 5781 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 77608 KiB
Current children cumulated memory: 26896 KiB

[startup+0.205462 s]*
/proc/loadavg: 0.58 1.51 2.52 5/268 83094
/proc/meminfo: memFree=129662004/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=79404 memory=33164 CPUtime=0.16 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 6374 0 0 0 13 3 0 0 20 0 1 0 73583101 81309696 8291 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 19851 8291 2400 1147 0 7278 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 83596 KiB
Current children cumulated memory: 36108 KiB

[startup+0.30539 s]*
/proc/loadavg: 0.58 1.51 2.52 5/268 83094
/proc/meminfo: memFree=129617524/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=89920 memory=44052 CPUtime=0.26 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 8585 0 0 0 22 4 0 0 20 0 1 0 73583101 92078080 11013 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 22480 11013 2400 1147 0 9907 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 94112 KiB
Current children cumulated memory: 46996 KiB

[startup+0.700187 s]
/proc/loadavg: 0.58 1.51 2.52 5/268 83094
/proc/meminfo: memFree=129535876/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=147252 memory=99232 CPUtime=0.65 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 20843 0 0 0 58 7 0 0 20 0 1 0 73583101 150786048 24808 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 36813 24808 2400 1147 0 24240 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 151444 KiB
Current children cumulated memory: 102176 KiB

[startup+1.50019 s]
/proc/loadavg: 0.58 1.51 2.52 5/268 83094
/proc/meminfo: memFree=129366700/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=238688 memory=172956 CPUtime=1.44 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 35190 0 0 0 134 10 0 0 20 0 1 0 73583101 244416512 43239 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 59672 43239 2400 1147 0 47099 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 242880 KiB
Current children cumulated memory: 175900 KiB

[startup+3.10537 s]
/proc/loadavg: 0.85 1.55 2.53 5/268 83094
/proc/meminfo: memFree=128875160/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=392416 memory=312384 CPUtime=3.05 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 61383 0 0 0 286 19 0 0 20 0 1 0 73583101 401833984 78096 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 98104 78096 2400 1147 0 85531 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 396608 KiB
Current children cumulated memory: 315328 KiB

[startup+6.30017 s]
/proc/loadavg: 0.85 1.55 2.53 5/269 83095
/proc/meminfo: memFree=128452724/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=445388 memory=379712 CPUtime=6.23 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 69520 0 0 0 597 26 0 0 20 0 1 0 73583101 456077312 94928 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 111347 94928 2400 1147 0 98774 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 449580 KiB
Current children cumulated memory: 382656 KiB

[startup+12.7002 s]
/proc/loadavg: 1.41 1.65 2.55 5/271 83097
/proc/meminfo: memFree=127935516/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=766048 memory=631000 CPUtime=12.62 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 118570 0 0 0 1219 43 0 0 20 0 1 0 73583101 784433152 157750 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 191512 157750 2400 1147 0 178939 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 770240 KiB
Current children cumulated memory: 633944 KiB

[startup+25.5002 s]
/proc/loadavg: 1.81 1.72 2.57 5/271 83097
/proc/meminfo: memFree=126607344/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=774064 memory=721912 CPUtime=25.39 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 130584 0 0 0 2477 62 0 0 20 0 1 0 73583101 792641536 180478 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 193516 180478 2400 1147 0 180943 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 778256 KiB
Current children cumulated memory: 724856 KiB

[startup+51.1055 s]
/proc/loadavg: 2.63 1.92 2.61 5/272 83098
/proc/meminfo: memFree=125039388/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=1355132 memory=1052596 CPUtime=50.92 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 202006 0 0 0 4995 97 0 0 20 0 1 0 73583101 1387655168 263149 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 338783 263149 2400 1147 0 326210 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1359324 KiB
Current children cumulated memory: 1055540 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.31 2.70 5/272 83100
/proc/meminfo: memFree=122798500/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=1365884 memory=1179888 CPUtime=101.99 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 219085 0 0 0 10033 166 0 0 20 0 1 0 73583101 1398665216 294972 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 341471 294972 2400 1147 0 328898 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1370076 KiB
Current children cumulated memory: 1182832 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.63 2.79 5/273 83109
/proc/meminfo: memFree=120905464/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=1587756 memory=1259340 CPUtime=161.8 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 230247 0 0 0 15944 236 0 0 20 0 1 0 73583101 1625862144 314835 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 396939 314835 2400 1147 0 384366 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1591948 KiB
Current children cumulated memory: 1262284 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.91 2.88 5/272 83111
/proc/meminfo: memFree=118895888/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=1598516 memory=1363560 CPUtime=221.61 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 244556 0 0 0 21856 305 0 0 20 0 1 0 73583101 1636880384 340890 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 399629 340890 2400 1147 0 387056 0

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

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.04 5/272 83290
/proc/meminfo: memFree=53832076/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=5406064 memory=4846988 CPUtime=3273.21 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 772232 0 0 0 324468 2853 0 0 20 0 1 0 73583101 5535809536 1211747 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 1351516 1211747 2400 1147 0 1338943 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 5410256 KiB
Current children cumulated memory: 4849932 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.11 4.04 5/272 83292
/proc/meminfo: memFree=52985076/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=5406064 memory=4846988 CPUtime=3333.05 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 772389 0 0 0 330412 2893 0 0 20 0 1 0 73583101 5535809536 1211747 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 1351516 1211747 2400 1147 0 1338943 0
Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 5410256 KiB
Current children cumulated memory: 4849932 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.12 4.05 5/272 83294
/proc/meminfo: memFree=52336684/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=5411700 memory=4850188 CPUtime=3392.9 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 773430 0 0 0 336367 2923 0 0 20 0 1 0 73583101 5541580800 1212547 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 1352925 1212547 2400 1147 0 1340352 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 5415892 KiB
Current children cumulated memory: 4853132 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/271 83296
/proc/meminfo: memFree=51067608/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=5471092 memory=4914896 CPUtime=3452.73 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 783656 0 0 0 342321 2952 0 0 20 0 1 0 73583101 5602398208 1228724 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 1367773 1228724 2400 1147 0 1355200 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 5475284 KiB
Current children cumulated memory: 4917840 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/271 83298
/proc/meminfo: memFree=49727320/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=5471604 memory=4915280 CPUtime=3512.57 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 784873 0 0 0 348270 2987 0 0 20 0 1 0 73583101 5602922496 1228820 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 1367901 1228820 2400 1147 0 1355328 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 5475796 KiB
Current children cumulated memory: 4918224 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.06 5/271 83300
/proc/meminfo: memFree=48882172/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=5471604 memory=4915280 CPUtime=3572.42 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 785563 0 0 0 354202 3040 0 0 20 0 1 0 73583101 5602922496 1228820 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 1367901 1228820 2400 1147 0 1355328 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 5475796 KiB
Current children cumulated memory: 4918224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.10 4.11 4.06 4/266 83309
/proc/meminfo: memFree=51722612/131249988 swapFree=33010160/33010684
[pid=83092] ppid=83074 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/83092/stat : 83092 (run-opt-log.sh) S 83074 83092 83021 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 73583100 4292608 736 18446744073709551615 94384852525056 94384853419589 140733039052144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94384853658640 94384853706384 94384881315840 140733039057185 140733039057380 140733039057380 140733039062982 0
/proc/83092/statm: 1048 736 672 219 0 110 0
[pid=83094] ppid=83092 vsize=5471604 memory=4915280 CPUtime=3600.05 cores=1,3
/proc/83094/stat : 83094 (roundingsat) R 83092 83092 83021 0 -1 4194304 785614 0 0 0 356927 3078 0 0 20 0 1 0 73583101 5602922496 1228820 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 1367901 1228820 2400 1147 0 1355328 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 5475796 KiB
Current children cumulated memory: 4918224 KiB

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

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

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

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.17 4.13 4.06 3/266 83325
/proc/meminfo: memFree=51672876/131249988 swapFree=33010160/33010684
[pid=83094] ppid=83074 vsize=5471604 memory=4915536 CPUtime=3600.35 cores=1,3
/proc/83094/stat : 83094 (roundingsat) D 83074 83092 83021 0 -1 4194304 785619 0 0 0 356927 3108 0 0 20 0 1 0 73583101 5602922496 1228884 18446744073709551615 4227072 8923433 140723777888192 0 0 256 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 9
/proc/83094/statm: 1367901 1228884 2464 1147 0 1355328 0
??? kill 83094 sig 9
??? end of watcher thread

[startup+3612.82 s]
# the end of solver process 83094 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3611.2 s]
/proc/loadavg: 4.10 4.11 4.06 3/265 83309
/proc/meminfo: memFree=51726920/131249988 swapFree=33010160/33010684
[pid=83094] ppid=83074 vsize=5471604 memory=4915536 CPUtime=3600.33 cores=1,3
/proc/83094/stat : 83094 (roundingsat) D 83074 83092 83021 0 -1 4194304 785619 0 0 0 356927 3106 0 0 20 0 1 0 73583101 5602922496 1228884 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 1367901 1228884 2464 1147 0 1355328 0
Current cumulated CPU time of completed processes: 0.00286 s
Current children cumulated CPU time: 3600.33 s
Current children cumulated vsize: 5471604 KiB
Current children cumulated memory: 4915536 KiB

[startup+3611.6 s]
/proc/loadavg: 4.10 4.11 4.06 3/265 83309
/proc/meminfo: memFree=51726920/131249988 swapFree=33010160/33010684
[pid=83094] ppid=83074 vsize=5471604 memory=4915536 CPUtime=3600.35 cores=1,3
/proc/83094/stat : 83094 (roundingsat) D 83074 83092 83021 0 -1 4194304 785619 0 0 0 356927 3108 0 0 20 0 1 0 73583101 5602922496 1228884 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 1367901 1228884 2464 1147 0 1355328 0
Current cumulated CPU time of completed processes: 0.00286 s
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 5471604 KiB
Current children cumulated memory: 4915536 KiB

[startup+3612 s]*
/proc/loadavg: 4.17 4.13 4.06 2/264 83323
/proc/meminfo: memFree=51673912/131249988 swapFree=33010160/33010684
[pid=83094] ppid=83074 vsize=5471604 memory=4915536 CPUtime=3600.35 cores=1,3
/proc/83094/stat : 83094 (roundingsat) D 83074 83092 83021 0 -1 4194304 785619 0 0 0 356927 3108 0 0 20 0 1 0 73583101 5602922496 1228884 18446744073709551615 4227072 8923433 140723777888192 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 32858112 140723777890642 140723777890856 140723777890856 140723777896426 0
/proc/83094/statm: 1367901 1228884 2464 1147 0 1355328 0
Current cumulated CPU time of completed processes: 0.00286 s
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 5471604 KiB
Current children cumulated memory: 4915536 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3612.82
CPU time (s): 3600.52
CPU user time (s): 3569.29
CPU system time (s): 31.2343
CPU usage (%): 99.6597
Max. virtual memory (cumulated for all children) (KiB): 5475796
Max. memory (cumulated for all children) (KiB): 4918224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.29
system time used= 31.2343
maximum resident set size= 4915536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 785829
page faults= 0
swaps= 0
block input operations= 0
block output operations= 34809320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38087
involuntary context switches= 8280


# summary of solver processes directly reported to runsolver:
#   pid: 83092,83094
#   total CPU time (s): 3600.52
#   total CPU user time (s): 3569.29
#   total CPU system time (s): 31.2343

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29564 second user time and 16.4458 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-03 23:44:15
IDJOB=4520711
IDBENCH=178119
IDSOLVER=3351
FILE ID=nodeC020/4520711-1751579055
RUNJOBID= nodeC020-1751579055-83033
SLURM_JOB_ID= 9598813
Free space on /tmp= 431764 MiB

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

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

MD5SUM BENCH= 8e16dee4cd29ebff6657caf88bddd14a
RANDOM SEED=1054558691

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129724596 kB
MemAvailable:   129746800 kB
Buffers:            2128 kB
Cached:           814524 kB
SwapCached:            8 kB
Active:           643524 kB
Inactive:         249128 kB
Active(anon):      69472 kB
Inactive(anon):    24572 kB
Active(file):     574052 kB
Inactive(file):   224556 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29848 kB
Writeback:             0 kB
AnonPages:         79244 kB
Mapped:           103692 kB
Shmem:             18044 kB
KReclaimable:     125668 kB
Slab:             217324 kB
SReclaimable:     125668 kB
SUnreclaim:        91656 kB
KernelStack:        4096 kB
PageTables:         2928 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     344364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431748 MiB
End job on nodeC020 at 2025-07-04 00:44:28