Trace number 4488909

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.02 3609.62

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
MD5SUM40839a009ce460ae7be0fe2be6267e36
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 benchmark1028
Best CPU time to get the best result obtained on this benchmark13003.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1964
Total number of constraints4000
Number of constraints which are clauses4000
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 1964
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 1964
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1964
Number of bits of the biggest sum of numbers11
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.04	c #variables 1964 #constraints 4000
0.00/0.04	c objective is ce32 
0.00/0.05	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05	c GLOBAL bounds - >= 0 @ 0.020191
0.00/0.05	c GLOBAL bounds - >= 0 @ 0.020698
0.00/0.07	c GLOBAL bounds - >= 0 @ 0.035709
0.00/0.08	c GLOBAL bounds - >= 0 @ 0.045988
0.07/0.10	c GLOBAL bounds - >= 0 @ 0.065169
0.07/0.13	c GLOBAL bounds - >= 0 @ 0.090505
0.07/0.15	c GLOBAL bounds - >= 0 @ 0.10851
0.07/0.17	c GLOBAL bounds - >= 0 @ 0.125975
0.07/0.19	c GLOBAL bounds - >= 0 @ 0.146862
0.18/0.21	c GLOBAL bounds - >= 0 @ 0.17018
0.18/0.24	c GLOBAL bounds - >= 0 @ 0.191705
0.18/0.26	c GLOBAL bounds - >= 0 @ 0.218053
0.18/0.29	c GLOBAL bounds - >= 0 @ 0.235572
0.27/0.31	c GLOBAL bounds - >= 0 @ 0.257714
0.27/0.33	c GLOBAL bounds - >= 0 @ 0.280526
0.27/0.40	c GLOBAL bounds - >= 0 @ 0.342056
0.38/0.45	c GLOBAL bounds - >= 0 @ 0.394017
0.38/0.50	c GLOBAL bounds - >= 0 @ 0.436671
0.47/0.55	c GLOBAL bounds - >= 0 @ 0.485162
0.57/0.61	c GLOBAL bounds - >= 0 @ 0.546655
0.57/0.66	c GLOBAL bounds - >= 0 @ 0.597022
0.66/0.71	c GLOBAL bounds - >= 0 @ 0.643949
0.66/0.76	c #Conflicts:       1000 | #Constraints:       5040
0.66/0.76	c GLOBAL bounds - >= 0 @ 0.69396
0.77/0.83	c GLOBAL bounds - >= 0 @ 0.750786
0.77/0.88	c GLOBAL bounds - >= 0 @ 0.798919
0.86/0.95	c GLOBAL bounds - >= 0 @ 0.874138
0.97/1.01	c GLOBAL bounds - >= 0 @ 0.926491
0.97/1.09	c GLOBAL bounds - >= 0 @ 1.00952
1.16/1.21	c GLOBAL bounds - >= 0 @ 1.12757
1.16/1.29	c GLOBAL bounds - >= 0 @ 1.20221
1.36/1.41	c GLOBAL bounds - >= 0 @ 1.32581
1.46/1.53	c GLOBAL bounds - >= 0 @ 1.44105
1.56/1.66	c GLOBAL bounds - >= 0 @ 1.55797
1.66/1.75	c GLOBAL bounds - >= 0 @ 1.65297
1.86/1.98	c #Conflicts:       2000 | #Constraints:       6064
1.86/1.98	c INPROCESSING
1.86/1.98	c GARBAGE COLLECT
1.86/1.98	c GLOBAL bounds - >= 0 @ 1.85986
1.96/2.06	c GLOBAL bounds - >= 0 @ 1.93995
2.06/2.14	c GLOBAL bounds - >= 0 @ 2.01892
2.16/2.23	c GLOBAL bounds - >= 0 @ 2.1022
2.26/2.34	c GLOBAL bounds - >= 0 @ 2.2165
2.36/2.43	c GLOBAL bounds - >= 0 @ 2.30387
2.46/2.52	c GLOBAL bounds - >= 0 @ 2.39194
2.56/2.62	c GLOBAL bounds - >= 0 @ 2.48154
2.66/2.71	c #Conflicts:       3000 | #Constraints:       6087
2.66/2.71	c GLOBAL bounds - >= 0 @ 2.57965
2.75/2.82	c GLOBAL bounds - >= 0 @ 2.68119
2.86/2.92	c GLOBAL bounds - >= 0 @ 2.78224
2.97/3.07	c GLOBAL bounds - >= 0 @ 2.92811
3.16/3.22	c GLOBAL bounds - >= 0 @ 3.07668
3.25/3.38	c GLOBAL bounds - >= 0 @ 3.22636
3.36/3.48	c GLOBAL bounds - >= 0 @ 3.32864
3.56/3.64	c GLOBAL bounds - >= 0 @ 3.48503
3.66/3.75	c GLOBAL bounds - >= 0 @ 3.58811
3.85/3.91	c #Conflicts:       4000 | #Constraints:       7105
3.85/3.91	c GLOBAL bounds - >= 0 @ 3.75165
3.96/4.02	c GLOBAL bounds - >= 0 @ 3.8562
4.16/4.20	c GLOBAL bounds - >= 0 @ 4.03481
4.26/4.33	c GLOBAL bounds - >= 0 @ 4.15864
4.55/4.62	c INPROCESSING
4.55/4.62	c GARBAGE COLLECT
4.55/4.62	c GLOBAL bounds - >= 0 @ 4.44744
4.66/4.72	c GLOBAL bounds - >= 0 @ 4.54481
4.76/4.82	c GLOBAL bounds - >= 0 @ 4.64047
4.85/4.92	c GLOBAL bounds - >= 0 @ 4.74101
4.96/5.07	c GLOBAL bounds - >= 0 @ 4.88733
5.16/5.22	c #Conflicts:       5000 | #Constraints:       6450
5.16/5.22	c GLOBAL bounds - >= 0 @ 5.03892
5.26/5.33	c GLOBAL bounds - >= 0 @ 5.1406
5.36/5.49	c GLOBAL bounds - >= 0 @ 5.30175
5.55/5.60	c GLOBAL bounds - >= 0 @ 5.40839
5.65/5.71	c GLOBAL bounds - >= 0 @ 5.51543
5.75/5.88	c GLOBAL bounds - >= 0 @ 5.68513
5.85/5.99	c GLOBAL bounds - >= 0 @ 5.79831
6.05/6.18	c GLOBAL bounds - >= 0 @ 5.97673
6.15/6.29	c GLOBAL bounds - >= 0 @ 6.08934
6.35/6.48	c GLOBAL bounds - >= 0 @ 6.2755
6.55/6.60	c GLOBAL bounds - >= 0 @ 6.394
6.65/6.72	c #Conflicts:       6000 | #Constraints:       7472
6.65/6.72	c GLOBAL bounds - >= 0 @ 6.51463
6.84/6.93	c GLOBAL bounds - >= 0 @ 6.71803
6.96/7.09	c GLOBAL bounds - >= 0 @ 6.88117
7.15/7.24	c GLOBAL bounds - >= 0 @ 7.02393
7.45/7.52	c GLOBAL bounds - >= 0 @ 7.29568
7.65/7.73	c GLOBAL bounds - >= 0 @ 7.48083
8.05/8.11	c INPROCESSING
8.05/8.11	c GARBAGE COLLECT
8.05/8.11	c GLOBAL bounds - >= 0 @ 7.84526
8.15/8.26	c #Conflicts:       7000 | #Constraints:       6446
8.15/8.26	c GLOBAL bounds - >= 0 @ 7.99498
8.35/8.40	c GLOBAL bounds - >= 0 @ 8.13923
8.54/8.61	c GLOBAL bounds - >= 0 @ 8.34349
8.64/8.76	c GLOBAL bounds - >= 0 @ 8.48605
8.85/8.90	c GLOBAL bounds - >= 0 @ 8.6245
8.95/9.07	c GLOBAL bounds - >= 0 @ 8.7947
9.24/9.35	c #Conflicts:       8000 | #Constraints:       7458
9.24/9.35	c GLOBAL bounds - >= 0 @ 9.01719
9.44/9.50	c GLOBAL bounds - >= 0 @ 9.16573
9.54/9.67	c GLOBAL bounds - >= 0 @ 9.33379
9.75/9.87	c GLOBAL bounds - >= 0 @ 9.52484
9.94/10.05	c GLOBAL bounds - >= 0 @ 9.69981
10.44/10.53	c #Conflicts:       9000 | #Constraints:       8468
10.44/10.53	c GLOBAL bounds - >= 0 @ 10.1745
15.13/15.23	c INPROCESSING
15.13/15.23	c GARBAGE COLLECT
15.13/15.23	c #Conflicts:      10000 | #Constraints:       7102
15.13/15.23	c #Conflicts:      11000 | #Constraints:       8102
15.13/15.23	c #Conflicts:      12000 | #Constraints:       9102
15.13/15.23	c GLOBAL bounds - >= 0 @ 14.8179
16.82/16.91	c INPROCESSING
16.82/16.91	c GARBAGE COLLECT
16.82/16.91	c #Conflicts:      13000 | #Constraints:       7426
16.82/16.91	c GLOBAL bounds - >= 0 @ 16.4797
20.82/20.99	c #Conflicts:      14000 | #Constraints:       8428
20.82/20.99	c #Conflicts:      15000 | #Constraints:       9428
20.82/20.99	c INPROCESSING
20.82/20.99	c GARBAGE COLLECT
20.82/20.99	c #Conflicts:      16000 | #Constraints:       7585
20.82/20.99	c GLOBAL bounds - >= 0 @ 20.5082
31.58/31.73	c #Conflicts:      17000 | #Constraints:       8587
31.58/31.73	c #Conflicts:      18000 | #Constraints:       9587
31.58/31.73	c INPROCESSING
31.58/31.73	c GARBAGE COLLECT
31.58/31.73	c #Conflicts:      19000 | #Constraints:       7530
31.58/31.73	c #Conflicts:      20000 | #Constraints:       8530
31.58/31.73	c #Conflicts:      21000 | #Constraints:       9530
31.58/31.73	c #Conflicts:      22000 | #Constraints:      10530
31.58/31.73	c INPROCESSING
31.58/31.73	c GARBAGE COLLECT
31.58/31.73	c #Conflicts:      23000 | #Constraints:       8234
31.58/31.73	c GLOBAL bounds - >= 0 @ 31.1428
42.96/43.10	c #Conflicts:      24000 | #Constraints:       9236
42.96/43.10	c #Conflicts:      25000 | #Constraints:      10236
42.96/43.10	c #Conflicts:      26000 | #Constraints:      11236
42.96/43.10	c INPROCESSING
42.96/43.10	c GARBAGE COLLECT
42.96/43.10	c #Conflicts:      27000 | #Constraints:       8742
42.96/43.10	c #Conflicts:      28000 | #Constraints:       9742
42.96/43.10	c GLOBAL bounds - >= 0 @ 42.4041
46.96/47.19	c #Conflicts:      29000 | #Constraints:      10744
46.96/47.19	c #Conflicts:      30000 | #Constraints:      11744
46.96/47.19	c INPROCESSING
46.96/47.19	c GARBAGE COLLECT
46.96/47.19	c GLOBAL bounds - >= 0 @ 46.4584
85.03/85.33	c #Conflicts:      31000 | #Constraints:       9051
85.03/85.33	c #Conflicts:      32000 | #Constraints:      10051
85.03/85.33	c #Conflicts:      33000 | #Constraints:      11051
85.03/85.33	c #Conflicts:      34000 | #Constraints:      12051
85.03/85.33	c INPROCESSING
85.03/85.33	c GARBAGE COLLECT
85.03/85.33	c #Conflicts:      35000 | #Constraints:       9152
85.03/85.33	c #Conflicts:      36000 | #Constraints:      10152
85.03/85.33	c #Conflicts:      37000 | #Constraints:      11152
85.03/85.33	c #Conflicts:      38000 | #Constraints:      12152
85.03/85.33	c INPROCESSING
85.03/85.33	c GARBAGE COLLECT
85.03/85.33	c #Conflicts:      39000 | #Constraints:       9045
85.03/85.33	c #Conflicts:      40000 | #Constraints:      10045
85.03/85.33	c #Conflicts:      41000 | #Constraints:      11045
85.03/85.33	c #Conflicts:      42000 | #Constraints:      12045
85.03/85.33	c INPROCESSING
85.03/85.33	c GARBAGE COLLECT
85.03/85.33	c #Conflicts:      43000 | #Constraints:       8737
85.03/85.33	c GLOBAL bounds - >= 0 @ 84.3062
94.71/95.01	c #Conflicts:      44000 | #Constraints:       9739
94.71/95.01	c #Conflicts:      45000 | #Constraints:      10739
94.71/95.01	c #Conflicts:      46000 | #Constraints:      11739
94.71/95.01	c #Conflicts:      47000 | #Constraints:      12739
94.71/95.01	c GLOBAL bounds - >= 0 @ 93.916
101.48/101.81	c INPROCESSING
101.48/101.81	c GARBAGE COLLECT
101.48/101.81	c #Conflicts:      48000 | #Constraints:       9255
101.48/101.81	c #Conflicts:      49000 | #Constraints:      10255
101.48/101.81	c #Conflicts:      50000 | #Constraints:      11255
101.48/101.81	c GLOBAL bounds - >= 0 @ 100.62
101.79/102.18	c GLOBAL bounds - >= 0 @ 100.989
102.18/102.55	c GLOBAL bounds - >= 0 @ 101.347
103.78/104.14	c #Conflicts:      51000 | #Constraints:      12261
103.78/104.14	c GLOBAL bounds - >= 0 @ 102.925
105.18/105.57	c #Conflicts:      52000 | #Constraints:      13263
105.18/105.57	c GLOBAL bounds - >= 0 @ 104.33
106.57/106.96	c INPROCESSING
106.57/106.96	c GARBAGE COLLECT
106.57/106.96	c GLOBAL bounds - >= 0 @ 105.695
120.23/120.62	c #Conflicts:      53000 | #Constraints:       9604
120.23/120.62	c #Conflicts:      54000 | #Constraints:      10604
120.23/120.62	c #Conflicts:      55000 | #Constraints:      11604
120.23/120.62	c #Conflicts:      56000 | #Constraints:      12604
120.23/120.62	c #Conflicts:      57000 | #Constraints:      13604
120.23/120.62	c INPROCESSING
120.23/120.62	c GARBAGE COLLECT
120.23/120.62	c #Conflicts:      58000 | #Constraints:       9698
120.23/120.62	c GLOBAL bounds - >= 0 @ 119.239
120.83/121.25	c #Conflicts:      59000 | #Constraints:      10700
120.83/121.25	c GLOBAL bounds - >= 0 @ 119.865
123.03/123.45	c #Conflicts:      60000 | #Constraints:      11702
123.03/123.45	c GLOBAL bounds - >= 0 @ 122.043
124.02/124.44	c #Conflicts:      61000 | #Constraints:      12704
124.02/124.44	c GLOBAL bounds - >= 0 @ 123.021
128.51/129.00	c #Conflicts:      62000 | #Constraints:      13706
128.51/129.00	c INPROCESSING
128.51/129.00	c GARBAGE COLLECT
128.51/129.00	c #Conflicts:      63000 | #Constraints:       9630
128.51/129.00	c GLOBAL bounds - >= 0 @ 127.529
147.95/148.48	c #Conflicts:      64000 | #Constraints:      10632
147.95/148.48	c #Conflicts:      65000 | #Constraints:      11632
147.95/148.48	c #Conflicts:      66000 | #Constraints:      12632
147.95/148.48	c #Conflicts:      67000 | #Constraints:      13632
147.95/148.48	c #Conflicts:      68000 | #Constraints:      14632
147.95/148.48	c INPROCESSING
147.95/148.48	c GARBAGE COLLECT
147.95/148.48	c #Conflicts:      69000 | #Constraints:      10324
147.95/148.48	c #Conflicts:      70000 | #Constraints:      11324
147.95/148.48	c #Conflicts:      71000 | #Constraints:      12324
147.95/148.48	c #Conflicts:      72000 | #Constraints:      13324
147.95/148.48	c #Conflicts:      73000 | #Constraints:      14324
147.95/148.48	c GLOBAL bounds - >= 0 @ 146.838
152.14/152.60	c #Conflicts:      74000 | #Constraints:      15326
152.14/152.60	c INPROCESSING
152.14/152.60	c GARBAGE COLLECT
152.14/152.60	c #Conflicts:      75000 | #Constraints:      10826
152.14/152.60	c GLOBAL bounds - >= 0 @ 150.922
208.27/208.91	c #Conflicts:      76000 | #Constraints:      11828
208.27/208.91	c #Conflicts:      77000 | #Constraints:      12828
208.27/208.91	c #Conflicts:      78000 | #Constraints:      13828
208.27/208.91	c #Conflicts:      79000 | #Constraints:      14828
208.27/208.91	c #Conflicts:      80000 | #Constraints:      15828
208.27/208.91	c INPROCESSING
208.27/208.91	c GARBAGE COLLECT
208.27/208.91	c #Conflicts:      81000 | #Constraints:      11103
208.27/208.91	c #Conflicts:      82000 | #Constraints:      12103
208.27/208.91	c #Conflicts:      83000 | #Constraints:      13103
208.27/208.91	c #Conflicts:      84000 | #Constraints:      14103
208.27/208.91	c #Conflicts:      85000 | #Constraints:      15103
208.27/208.91	c #Conflicts:      86000 | #Constraints:      16103
208.27/208.91	c INPROCESSING
208.27/208.91	c GARBAGE COLLECT
208.27/208.91	c #Conflicts:      87000 | #Constraints:      11190
208.27/208.91	c #Conflicts:      88000 | #Constraints:      12190
208.27/208.91	c #Conflicts:      89000 | #Constraints:      13190
208.27/208.91	c #Conflicts:      90000 | #Constraints:      14190
208.27/208.91	c #Conflicts:      91000 | #Constraints:      15190
208.27/208.91	c #Conflicts:      92000 | #Constraints:      16190
208.27/208.91	c INPROCESSING
208.27/208.91	c GARBAGE COLLECT
208.27/208.91	c #Conflicts:      93000 | #Constraints:      11099
208.27/208.91	c #Conflicts:      94000 | #Constraints:      12099
208.27/208.91	c #Conflicts:      95000 | #Constraints:      13099
208.27/208.91	c GLOBAL bounds - >= 0 @ 206.842
252.84/253.61	c #Conflicts:      96000 | #Constraints:      14101
252.84/253.61	c #Conflicts:      97000 | #Constraints:      15101
252.84/253.61	c #Conflicts:      98000 | #Constraints:      16101
252.84/253.61	c INPROCESSING
252.84/253.61	c GARBAGE COLLECT
252.84/253.61	c #Conflicts:      99000 | #Constraints:      10803
252.84/253.61	c #Conflicts:     100000 | #Constraints:      11803
252.84/253.61	c #Conflicts:     101000 | #Constraints:      12803
252.84/253.61	c #Conflicts:     102000 | #Constraints:      13803
252.84/253.61	c #Conflicts:     103000 | #Constraints:      14803
252.84/253.61	c #Conflicts:     104000 | #Constraints:      15803
252.84/253.61	c #Conflicts:     105000 | #Constraints:      16803
252.84/253.61	c INPROCESSING
252.84/253.61	c GARBAGE COLLECT
252.84/253.61	c #Conflicts:     106000 | #Constraints:      11298
252.84/253.61	c #Conflicts:     107000 | #Constraints:      12298
252.84/253.61	c #Conflicts:     108000 | #Constraints:      13298
252.84/253.61	c GLOBAL bounds - >= 0 @ 251.238
264.60/265.46	c #Conflicts:     109000 | #Constraints:      14300
264.60/265.46	c #Conflicts:     110000 | #Constraints:      15300
264.60/265.46	c #Conflicts:     111000 | #Constraints:      16300
264.60/265.46	c GLOBAL bounds - >= 0 @ 262.998
266.39/267.27	c #Conflicts:     112000 | #Constraints:      17302
266.39/267.27	c INPROCESSING
266.39/267.27	c GARBAGE COLLECT
266.39/267.27	c GLOBAL bounds - >= 0 @ 264.79
268.09/268.93	c #Conflicts:     113000 | #Constraints:      11643
268.09/268.93	c GLOBAL bounds - >= 0 @ 266.437
278.17/279.01	c #Conflicts:     114000 | #Constraints:      12645
278.17/279.01	c #Conflicts:     115000 | #Constraints:      13645
278.17/279.01	c #Conflicts:     116000 | #Constraints:      14645
278.17/279.01	c #Conflicts:     117000 | #Constraints:      15645
278.17/279.01	c GLOBAL bounds - >= 0 @ 276.426
301.99/302.99	c #Conflicts:     118000 | #Constraints:      16647
301.99/302.99	c #Conflicts:     119000 | #Constraints:      17647
301.99/302.99	c INPROCESSING
301.99/302.99	c GARBAGE COLLECT
301.99/302.99	c #Conflicts:     120000 | #Constraints:      11721
301.99/302.99	c #Conflicts:     121000 | #Constraints:      12721
301.99/302.99	c #Conflicts:     122000 | #Constraints:      13721
301.99/302.99	c #Conflicts:     123000 | #Constraints:      14721
301.99/302.99	c #Conflicts:     124000 | #Constraints:      15721
301.99/302.99	c #Conflicts:     125000 | #Constraints:      16721
301.99/302.99	c #Conflicts:     126000 | #Constraints:      17721
301.99/302.99	c GLOBAL bounds - >= 0 @ 300.188
306.88/307.87	c INPROCESSING
306.88/307.87	c GARBAGE COLLECT
306.88/307.87	c #Conflicts:     127000 | #Constraints:      11620
306.88/307.87	c #Conflicts:     128000 | #Constraints:      12620
306.88/307.87	c GLOBAL bounds - >= 0 @ 305.024
310.18/311.15	c #Conflicts:     129000 | #Constraints:      13622
310.18/311.15	c #Conflicts:     130000 | #Constraints:      14622
310.18/311.15	c GLOBAL bounds - >= 0 @ 308.277
316.45/317.44	c #Conflicts:     131000 | #Constraints:      15624
316.45/317.44	c GLOBAL bounds - >= 0 @ 314.524
333.29/334.38	c #Conflicts:     132000 | #Constraints:      16626
333.29/334.38	c #Conflicts:     133000 | #Constraints:      17626
333.29/334.38	c #Conflicts:     134000 | #Constraints:      18626
333.29/334.38	c INPROCESSING
333.29/334.38	c GARBAGE COLLECT
333.29/334.38	c #Conflicts:     135000 | #Constraints:      12304
333.29/334.38	c #Conflicts:     136000 | #Constraints:      13304
333.29/334.38	c #Conflicts:     137000 | #Constraints:      14304
333.29/334.38	c GLOBAL bounds - >= 0 @ 331.316
386.64/387.85	c #Conflicts:     138000 | #Constraints:      15306
386.64/387.85	c #Conflicts:     139000 | #Constraints:      16306
386.64/387.85	c #Conflicts:     140000 | #Constraints:      17306
386.64/387.85	c #Conflicts:     141000 | #Constraints:      18306
386.64/387.85	c #Conflicts:     142000 | #Constraints:      19306
386.64/387.85	c INPROCESSING
386.64/387.85	c GARBAGE COLLECT
386.64/387.85	c #Conflicts:     143000 | #Constraints:      12800
386.64/387.85	c #Conflicts:     144000 | #Constraints:      13800
386.64/387.85	c #Conflicts:     145000 | #Constraints:      14800
386.64/387.85	c #Conflicts:     146000 | #Constraints:      15800
386.64/387.85	c #Conflicts:     147000 | #Constraints:      16800
386.64/387.85	c #Conflicts:     148000 | #Constraints:      17800
386.64/387.85	c #Conflicts:     149000 | #Constraints:      18800
386.64/387.85	c #Conflicts:     150000 | #Constraints:      19800
386.64/387.85	c INPROCESSING
386.64/387.85	c GARBAGE COLLECT
386.64/387.85	c #Conflicts:     151000 | #Constraints:      13096
386.64/387.85	c #Conflicts:     152000 | #Constraints:      14096
386.64/387.85	c #Conflicts:     153000 | #Constraints:      15096
386.64/387.85	c GLOBAL bounds - >= 0 @ 384.4
498.41/499.95	c #Conflicts:     154000 | #Constraints:      16098
498.41/499.95	c #Conflicts:     155000 | #Constraints:      17098
498.41/499.95	c #Conflicts:     156000 | #Constraints:      18098
498.41/499.95	c #Conflicts:     157000 | #Constraints:      19098
498.41/499.95	c #Conflicts:     158000 | #Constraints:      20098
498.41/499.95	c INPROCESSING
498.41/499.95	c GARBAGE COLLECT
498.41/499.95	c #Conflicts:     159000 | #Constraints:      13193
498.41/499.95	c #Conflicts:     160000 | #Constraints:      14193
498.41/499.95	c #Conflicts:     161000 | #Constraints:      15193
498.41/499.95	c #Conflicts:     162000 | #Constraints:      16193
498.41/499.95	c #Conflicts:     163000 | #Constraints:      17193
498.41/499.95	c #Conflicts:     164000 | #Constraints:      18193
498.41/499.95	c #Conflicts:     165000 | #Constraints:      19193
498.41/499.95	c #Conflicts:     166000 | #Constraints:      20193
498.41/499.95	c INPROCESSING
498.41/499.95	c GARBAGE COLLECT
498.41/499.95	c #Conflicts:     167000 | #Constraints:      13090
498.41/499.95	c #Conflicts:     168000 | #Constraints:      14090
498.41/499.95	c #Conflicts:     169000 | #Constraints:      15090
498.41/499.95	c #Conflicts:     170000 | #Constraints:      16090
498.41/499.95	c #Conflicts:     171000 | #Constraints:      17090
498.41/499.95	c #Conflicts:     172000 | #Constraints:      18090
498.41/499.95	c #Conflicts:     173000 | #Constraints:      19090
498.41/499.95	c #Conflicts:     174000 | #Constraints:      20090
498.41/499.95	c GLOBAL bounds - >= 0 @ 495.773
525.93/527.58	c INPROCESSING
525.93/527.58	c GARBAGE COLLECT
525.93/527.58	c #Conflicts:     175000 | #Constraints:      12794
525.93/527.58	c #Conflicts:     176000 | #Constraints:      13794
525.93/527.58	c #Conflicts:     177000 | #Constraints:      14794
525.93/527.58	c #Conflicts:     178000 | #Constraints:      15794
525.93/527.58	c #Conflicts:     179000 | #Constraints:      16794
525.93/527.58	c #Conflicts:     180000 | #Constraints:      17794
525.93/527.58	c GLOBAL bounds - >= 0 @ 523.198
535.91/537.59	c #Conflicts:     181000 | #Constraints:      18796
535.91/537.59	c #Conflicts:     182000 | #Constraints:      19796
535.91/537.59	c GLOBAL bounds - >= 0 @ 533.145
549.96/551.66	c #Conflicts:     183000 | #Constraints:      20798
549.96/551.66	c INPROCESSING
549.96/551.66	c GARBAGE COLLECT
549.96/551.66	c #Conflicts:     184000 | #Constraints:      13312
549.96/551.66	c #Conflicts:     185000 | #Constraints:      14312
549.96/551.66	c #Conflicts:     186000 | #Constraints:      15312
549.96/551.66	c GLOBAL bounds - >= 0 @ 547.111
904.52/907.28	c #Conflicts:     187000 | #Constraints:      16314
904.52/907.28	c #Conflicts:     188000 | #Constraints:      17314
904.52/907.28	c #Conflicts:     189000 | #Constraints:      18314
904.52/907.28	c #Conflicts:     190000 | #Constraints:      19314
904.52/907.28	c #Conflicts:     191000 | #Constraints:      20314
904.52/907.28	c #Conflicts:     192000 | #Constraints:      21314
904.52/907.28	c INPROCESSING
904.52/907.28	c GARBAGE COLLECT
904.52/907.28	c #Conflicts:     193000 | #Constraints:      13615
904.52/907.28	c #Conflicts:     194000 | #Constraints:      14615
904.52/907.28	c #Conflicts:     195000 | #Constraints:      15615
904.52/907.28	c #Conflicts:     196000 | #Constraints:      16615
904.52/907.28	c #Conflicts:     197000 | #Constraints:      17615
904.52/907.28	c #Conflicts:     198000 | #Constraints:      18615
904.52/907.28	c #Conflicts:     199000 | #Constraints:      19615
904.52/907.28	c #Conflicts:     200000 | #Constraints:      20615
904.52/907.28	c #Conflicts:     201000 | #Constraints:      21615
904.52/907.28	c INPROCESSING
904.52/907.28	c GARBAGE COLLECT
904.52/907.28	c #Conflicts:     202000 | #Constraints:      13707
904.52/907.28	c #Conflicts:     203000 | #Constraints:      14707
904.52/907.28	c #Conflicts:     204000 | #Constraints:      15707
904.52/907.28	c #Conflicts:     205000 | #Constraints:      16707
904.52/907.28	c #Conflicts:     206000 | #Constraints:      17707
904.52/907.28	c #Conflicts:     207000 | #Constraints:      18707
904.52/907.28	c #Conflicts:     208000 | #Constraints:      19707
904.52/907.28	c #Conflicts:     209000 | #Constraints:      20707
904.52/907.28	c #Conflicts:     210000 | #Constraints:      21707
904.52/907.28	c INPROCESSING
904.52/907.28	c GARBAGE COLLECT
904.52/907.28	c #Conflicts:     211000 | #Constraints:      13624
904.52/907.28	c #Conflicts:     212000 | #Constraints:      14624
904.52/907.28	c #Conflicts:     213000 | #Constraints:      15624
904.52/907.28	c #Conflicts:     214000 | #Constraints:      16624
904.52/907.28	c #Conflicts:     215000 | #Constraints:      17624
904.52/907.28	c #Conflicts:     216000 | #Constraints:      18624
904.52/907.28	c #Conflicts:     217000 | #Constraints:      19624
904.52/907.28	c #Conflicts:     218000 | #Constraints:      20624
904.52/907.28	c #Conflicts:     219000 | #Constraints:      21624
904.52/907.28	c #Conflicts:     220000 | #Constraints:      22624
904.52/907.28	c INPROCESSING
904.52/907.28	c GARBAGE COLLECT
904.52/907.28	c #Conflicts:     221000 | #Constraints:      14305
904.52/907.28	c #Conflicts:     222000 | #Constraints:      15305
904.52/907.28	c #Conflicts:     223000 | #Constraints:      16305
904.52/907.28	c #Conflicts:     224000 | #Constraints:      17305
904.52/907.28	c #Conflicts:     225000 | #Constraints:      18305
904.52/907.28	c #Conflicts:     226000 | #Constraints:      19305
904.52/907.28	c #Conflicts:     227000 | #Constraints:      20305
904.52/907.28	c #Conflicts:     228000 | #Constraints:      21305
904.52/907.28	c #Conflicts:     229000 | #Constraints:      22305
904.52/907.28	c #Conflicts:     230000 | #Constraints:      23305
904.52/907.28	c INPROCESSING
904.52/907.28	c GARBAGE COLLECT
904.52/907.28	c #Conflicts:     231000 | #Constraints:      14821
904.52/907.28	c #Conflicts:     232000 | #Constraints:      15821
904.52/907.28	c #Conflicts:     233000 | #Constraints:      16821
904.52/907.28	c #Conflicts:     234000 | #Constraints:      17821
904.52/907.28	c #Conflicts:     235000 | #Constraints:      18821
904.52/907.28	c #Conflicts:     236000 | #Constraints:      19821
904.52/907.28	c #Conflicts:     237000 | #Constraints:      20821
904.52/907.28	c #Conflicts:     238000 | #Constraints:      21821
904.52/907.28	c #Conflicts:     239000 | #Constraints:      22821
904.52/907.28	c #Conflicts:     240000 | #Constraints:      23821
904.52/907.28	c INPROCESSING
904.52/907.28	c GARBAGE COLLECT
904.52/907.28	c #Conflicts:     241000 | #Constraints:      15100
904.52/907.28	c #Conflicts:     242000 | #Constraints:      16100
904.52/907.28	c #Conflicts:     243000 | #Constraints:      17100
904.52/907.28	c #Conflicts:     244000 | #Constraints:      18100
904.52/907.28	c #Conflicts:     245000 | #Constraints:      19100
904.52/907.28	c #Conflicts:     246000 | #Constraints:      20100
904.52/907.28	c #Conflicts:     247000 | #Constraints:      21100
904.52/907.28	c #Conflicts:     248000 | #Constraints:      22100
904.52/907.28	c #Conflicts:     249000 | #Constraints:      23100
904.52/907.28	c #Conflicts:     250000 | #Constraints:      24100
904.52/907.28	c INPROCESSING
904.52/907.28	c GARBAGE COLLECT
904.52/907.28	c #Conflicts:     251000 | #Constraints:      15197
904.52/907.28	c #Conflicts:     252000 | #Constraints:      16197
904.52/907.28	c #Conflicts:     253000 | #Constraints:      17197
904.52/907.28	c #Conflicts:     254000 | #Constraints:      18197
904.52/907.28	c #Conflicts:     255000 | #Constraints:      19197
904.52/907.28	c #Conflicts:     256000 | #Constraints:      20197
904.52/907.28	c #Conflicts:     257000 | #Constraints:      21197
904.52/907.28	c #Conflicts:     258000 | #Constraints:      22197
904.52/907.28	c #Conflicts:     259000 | #Constraints:      23197
904.52/907.28	c #Conflicts:     260000 | #Constraints:      24197
904.52/907.28	c INPROCESSING
904.52/907.28	c GARBAGE COLLECT
1354.35/1358.35	c #Conflicts:     261000 | #Constraints:      15093
1354.35/1358.35	c #Conflicts:     262000 | #Constraints:      16093
1354.35/1358.35	c #Conflicts:     263000 | #Constraints:      17093
1354.35/1358.35	c #Conflicts:     264000 | #Constraints:      18093
1354.35/1358.35	c #Conflicts:     265000 | #Constraints:      19093
1354.35/1358.35	c #Conflicts:     266000 | #Constraints:      20093
1354.35/1358.35	c #Conflicts:     267000 | #Constraints:      21093
1354.35/1358.35	c #Conflicts:     268000 | #Constraints:      22093
1354.35/1358.35	c #Conflicts:     269000 | #Constraints:      23093
1354.35/1358.35	c #Conflicts:     270000 | #Constraints:      24093
1354.35/1358.35	c INPROCESSING
1354.35/1358.35	c GARBAGE COLLECT
1354.35/1358.35	c #Conflicts:     271000 | #Constraints:      14787
1354.35/1358.35	c #Conflicts:     272000 | #Constraints:      15787
1354.35/1358.35	c #Conflicts:     273000 | #Constraints:      16787
1354.35/1358.35	c #Conflicts:     274000 | #Constraints:      17787
1354.35/1358.35	c #Conflicts:     275000 | #Constraints:      18787
1354.35/1358.35	c #Conflicts:     276000 | #Constraints:      19787
1354.35/1358.35	c #Conflicts:     277000 | #Constraints:      20787
1354.35/1358.35	c #Conflicts:     278000 | #Constraints:      21787
1354.35/1358.35	c #Conflicts:     279000 | #Constraints:      22787
1354.35/1358.35	c #Conflicts:     280000 | #Constraints:      23787
1354.35/1358.35	c #Conflicts:     281000 | #Constraints:      24787
1354.35/1358.35	c INPROCESSING
1354.35/1358.35	c GARBAGE COLLECT
1354.35/1358.35	c #Conflicts:     282000 | #Constraints:      15282
1354.35/1358.35	c #Conflicts:     283000 | #Constraints:      16282
1354.35/1358.35	c #Conflicts:     284000 | #Constraints:      17282
1354.35/1358.35	c #Conflicts:     285000 | #Constraints:      18282
1354.35/1358.35	c #Conflicts:     286000 | #Constraints:      19282
1354.35/1358.35	c #Conflicts:     287000 | #Constraints:      20282
1354.35/1358.35	c #Conflicts:     288000 | #Constraints:      21282
1354.35/1358.35	c #Conflicts:     289000 | #Constraints:      22282
1354.35/1358.35	c #Conflicts:     290000 | #Constraints:      23282
1354.35/1358.35	c #Conflicts:     291000 | #Constraints:      24282
1354.35/1358.35	c #Conflicts:     292000 | #Constraints:      25282
1354.35/1358.35	c INPROCESSING
1354.35/1358.35	c GARBAGE COLLECT
1354.35/1358.35	c #Conflicts:     293000 | #Constraints:      15577
1354.35/1358.35	c #Conflicts:     294000 | #Constraints:      16577
1354.35/1358.35	c #Conflicts:     295000 | #Constraints:      17577
1354.35/1358.35	c #Conflicts:     296000 | #Constraints:      18577
1354.35/1358.35	c #Conflicts:     297000 | #Constraints:      19577
1354.35/1358.35	c #Conflicts:     298000 | #Constraints:      20577
1354.35/1358.35	c #Conflicts:     299000 | #Constraints:      21577
1354.35/1358.35	c #Conflicts:     300000 | #Constraints:      22577
1354.35/1358.35	c #Conflicts:     301000 | #Constraints:      23577
1354.35/1358.35	c #Conflicts:     302000 | #Constraints:      24577
1354.35/1358.35	c #Conflicts:     303000 | #Constraints:      25577
1354.35/1358.35	c INPROCESSING
1354.35/1358.35	c GARBAGE COLLECT
1354.35/1358.35	c #Conflicts:     304000 | #Constraints:      15673
1354.35/1358.35	c #Conflicts:     305000 | #Constraints:      16673
1354.35/1358.35	c #Conflicts:     306000 | #Constraints:      17673
1354.35/1358.35	c #Conflicts:     307000 | #Constraints:      18673
1354.35/1358.35	c #Conflicts:     308000 | #Constraints:      19673
1354.35/1358.35	c #Conflicts:     309000 | #Constraints:      20673
1354.35/1358.35	c #Conflicts:     310000 | #Constraints:      21673
1354.35/1358.35	c #Conflicts:     311000 | #Constraints:      22673
1354.35/1358.35	c #Conflicts:     312000 | #Constraints:      23673
1354.35/1358.35	c #Conflicts:     313000 | #Constraints:      24673
1354.35/1358.35	c #Conflicts:     314000 | #Constraints:      25673
1354.35/1358.35	c INPROCESSING
1354.35/1358.35	c GARBAGE COLLECT
1354.35/1358.35	c #Conflicts:     315000 | #Constraints:      15576
1354.35/1358.35	c #Conflicts:     316000 | #Constraints:      16576
1354.35/1358.35	c #Conflicts:     317000 | #Constraints:      17576
1354.35/1358.35	c #Conflicts:     318000 | #Constraints:      18576
1354.35/1358.35	c #Conflicts:     319000 | #Constraints:      19576
1354.35/1358.35	c #Conflicts:     320000 | #Constraints:      20576
1354.35/1358.35	c #Conflicts:     321000 | #Constraints:      21576
1354.35/1358.35	c #Conflicts:     322000 | #Constraints:      22576
1354.35/1358.35	c #Conflicts:     323000 | #Constraints:      23576
1354.35/1358.35	c #Conflicts:     324000 | #Constraints:      24576
1354.35/1358.35	c #Conflicts:     325000 | #Constraints:      25576
1354.35/1358.35	c #Conflicts:     326000 | #Constraints:      26576
1354.35/1358.35	c INPROCESSING
1354.35/1358.35	c GARBAGE COLLECT
1354.35/1358.35	c #Conflicts:     327000 | #Constraints:      16277
1354.35/1358.35	c #Conflicts:     328000 | #Constraints:      17277
1354.35/1358.35	c #Conflicts:     329000 | #Constraints:      18277
1354.35/1358.35	c #Conflicts:     330000 | #Constraints:      19277
1354.35/1358.35	c #Conflicts:     331000 | #Constraints:      20277
1354.35/1358.35	c #Conflicts:     332000 | #Constraints:      21277
1354.35/1358.35	c #Conflicts:     333000 | #Constraints:      22277
1354.35/1358.35	c #Conflicts:     334000 | #Constraints:      23277
1354.35/1358.35	c #Conflicts:     335000 | #Constraints:      24277
1523.82/1528.26	c #Conflicts:     336000 | #Constraints:      25277
1523.82/1528.26	c #Conflicts:     337000 | #Constraints:      26277
1523.82/1528.26	c #Conflicts:     338000 | #Constraints:      27277
1523.82/1528.26	c INPROCESSING
1523.82/1528.26	c GARBAGE COLLECT
1523.82/1528.26	c #Conflicts:     339000 | #Constraints:      16772
1523.82/1528.26	c #Conflicts:     340000 | #Constraints:      17772
1523.82/1528.26	c #Conflicts:     341000 | #Constraints:      18772
1523.82/1528.26	c #Conflicts:     342000 | #Constraints:      19772
1523.82/1528.26	c #Conflicts:     343000 | #Constraints:      20772
1523.82/1528.26	c #Conflicts:     344000 | #Constraints:      21772
1523.82/1528.26	c #Conflicts:     345000 | #Constraints:      22772
1523.82/1528.26	c #Conflicts:     346000 | #Constraints:      23772
1523.82/1528.26	c #Conflicts:     347000 | #Constraints:      24772
1523.82/1528.26	c #Conflicts:     348000 | #Constraints:      25772
1523.82/1528.26	c #Conflicts:     349000 | #Constraints:      26772
1523.82/1528.26	c #Conflicts:     350000 | #Constraints:      27772
1523.82/1528.26	c INPROCESSING
1523.82/1528.26	c GARBAGE COLLECT
1523.82/1528.26	c #Conflicts:     351000 | #Constraints:      17091
1523.82/1528.26	c #Conflicts:     352000 | #Constraints:      18091
1523.82/1528.26	c #Conflicts:     353000 | #Constraints:      19091
1523.82/1528.26	c #Conflicts:     354000 | #Constraints:      20091
1523.82/1528.26	c #Conflicts:     355000 | #Constraints:      21091
1523.82/1528.26	c #Conflicts:     356000 | #Constraints:      22091
1523.82/1528.26	c #Conflicts:     357000 | #Constraints:      23091
1523.82/1528.26	c #Conflicts:     358000 | #Constraints:      24091
1523.82/1528.26	c #Conflicts:     359000 | #Constraints:      25091
1523.82/1528.26	c GLOBAL bounds - >= 0 @ 1518.25
1863.22/1868.51	c #Conflicts:     360000 | #Constraints:      26093
1863.22/1868.51	c #Conflicts:     361000 | #Constraints:      27093
1863.22/1868.51	c #Conflicts:     362000 | #Constraints:      28093
1863.22/1868.51	c INPROCESSING
1863.22/1868.51	c GARBAGE COLLECT
1863.22/1868.51	c #Conflicts:     363000 | #Constraints:      17226
1863.22/1868.51	c #Conflicts:     364000 | #Constraints:      18226
1863.22/1868.51	c #Conflicts:     365000 | #Constraints:      19226
1863.22/1868.51	c #Conflicts:     366000 | #Constraints:      20226
1863.22/1868.51	c #Conflicts:     367000 | #Constraints:      21226
1863.22/1868.51	c #Conflicts:     368000 | #Constraints:      22226
1863.22/1868.51	c #Conflicts:     369000 | #Constraints:      23226
1863.22/1868.51	c #Conflicts:     370000 | #Constraints:      24226
1863.22/1868.51	c #Conflicts:     371000 | #Constraints:      25226
1863.22/1868.51	c #Conflicts:     372000 | #Constraints:      26226
1863.22/1868.51	c #Conflicts:     373000 | #Constraints:      27226
1863.22/1868.51	c #Conflicts:     374000 | #Constraints:      28226
1863.22/1868.51	c INPROCESSING
1863.22/1868.51	c GARBAGE COLLECT
1863.22/1868.51	c #Conflicts:     375000 | #Constraints:      17121
1863.22/1868.51	c #Conflicts:     376000 | #Constraints:      18121
1863.22/1868.51	c #Conflicts:     377000 | #Constraints:      19121
1863.22/1868.51	c #Conflicts:     378000 | #Constraints:      20121
1863.22/1868.51	c #Conflicts:     379000 | #Constraints:      21121
1863.22/1868.51	c #Conflicts:     380000 | #Constraints:      22121
1863.22/1868.51	c #Conflicts:     381000 | #Constraints:      23121
1863.22/1868.51	c #Conflicts:     382000 | #Constraints:      24121
1863.22/1868.51	c #Conflicts:     383000 | #Constraints:      25121
1863.22/1868.51	c #Conflicts:     384000 | #Constraints:      26121
1863.22/1868.51	c #Conflicts:     385000 | #Constraints:      27121
1863.22/1868.51	c #Conflicts:     386000 | #Constraints:      28121
1863.22/1868.51	c INPROCESSING
1863.22/1868.51	c GARBAGE COLLECT
1863.22/1868.51	c #Conflicts:     387000 | #Constraints:      16807
1863.22/1868.51	c #Conflicts:     388000 | #Constraints:      17807
1863.22/1868.51	c #Conflicts:     389000 | #Constraints:      18807
1863.22/1868.51	c #Conflicts:     390000 | #Constraints:      19807
1863.22/1868.51	c #Conflicts:     391000 | #Constraints:      20807
1863.22/1868.51	c #Conflicts:     392000 | #Constraints:      21807
1863.22/1868.51	c #Conflicts:     393000 | #Constraints:      22807
1863.22/1868.51	c #Conflicts:     394000 | #Constraints:      23807
1863.22/1868.51	c #Conflicts:     395000 | #Constraints:      24807
1863.22/1868.51	c #Conflicts:     396000 | #Constraints:      25807
1863.22/1868.51	c #Conflicts:     397000 | #Constraints:      26807
1863.22/1868.51	c #Conflicts:     398000 | #Constraints:      27807
1863.22/1868.51	c #Conflicts:     399000 | #Constraints:      28807
1863.22/1868.51	c INPROCESSING
1863.22/1868.51	c GARBAGE COLLECT
1863.22/1868.51	c #Conflicts:     400000 | #Constraints:      17317
1863.22/1868.51	c #Conflicts:     401000 | #Constraints:      18317
1863.22/1868.51	c #Conflicts:     402000 | #Constraints:      19317
1863.22/1868.51	c #Conflicts:     403000 | #Constraints:      20317
1863.22/1868.51	c #Conflicts:     404000 | #Constraints:      21317
1863.22/1868.51	c #Conflicts:     405000 | #Constraints:      22317
1863.22/1868.51	c #Conflicts:     406000 | #Constraints:      23317
1863.22/1868.51	c #Conflicts:     407000 | #Constraints:      24317
1863.22/1868.51	c #Conflicts:     408000 | #Constraints:      25317
1863.22/1868.51	c #Conflicts:     409000 | #Constraints:      26317
1863.22/1868.51	c #Conflicts:     410000 | #Constraints:      27317
1863.22/1868.51	c #Conflicts:     411000 | #Constraints:      28317
1863.22/1868.51	c #Conflicts:     412000 | #Constraints:      29317
1863.22/1868.51	c INPROCESSING
1863.22/1868.51	c GARBAGE COLLECT
1863.22/1868.51	c #Conflicts:     413000 | #Constraints:      17612
1863.22/1868.51	c #Conflicts:     414000 | #Constraints:      18612
1863.22/1868.51	c #Conflicts:     415000 | #Constraints:      19612
1863.22/1868.51	c #Conflicts:     416000 | #Constraints:      20612
1863.22/1868.51	c #Conflicts:     417000 | #Constraints:      21612
1863.22/1868.51	c #Conflicts:     418000 | #Constraints:      22612
1863.22/1868.51	c #Conflicts:     419000 | #Constraints:      23612
1863.22/1868.51	c #Conflicts:     420000 | #Constraints:      24612
1863.22/1868.51	c #Conflicts:     421000 | #Constraints:      25612
1863.22/1868.51	c #Conflicts:     422000 | #Constraints:      26612
1863.22/1868.51	c #Conflicts:     423000 | #Constraints:      27612
1863.22/1868.51	c #Conflicts:     424000 | #Constraints:      28612
1863.22/1868.51	c #Conflicts:     425000 | #Constraints:      29612
1863.22/1868.51	c INPROCESSING
1863.22/1868.51	c GARBAGE COLLECT
1863.22/1868.51	c #Conflicts:     426000 | #Constraints:      17695
1863.22/1868.51	c #Conflicts:     427000 | #Constraints:      18695
1863.22/1868.51	c #Conflicts:     428000 | #Constraints:      19695
1863.22/1868.51	c #Conflicts:     429000 | #Constraints:      20695
1863.22/1868.51	c #Conflicts:     430000 | #Constraints:      21695
1863.22/1868.51	c #Conflicts:     431000 | #Constraints:      22695
1863.22/1868.51	c #Conflicts:     432000 | #Constraints:      23695
1863.22/1868.51	c #Conflicts:     433000 | #Constraints:      24695
1863.22/1868.51	c #Conflicts:     434000 | #Constraints:      25695
2159.90/2165.92	c #Conflicts:     435000 | #Constraints:      26695
2159.90/2165.92	c #Conflicts:     436000 | #Constraints:      27695
2159.90/2165.92	c #Conflicts:     437000 | #Constraints:      28695
2159.90/2165.92	c #Conflicts:     438000 | #Constraints:      29695
2159.90/2165.92	c INPROCESSING
2159.90/2165.92	c GARBAGE COLLECT
2159.90/2165.92	c #Conflicts:     439000 | #Constraints:      17593
2159.90/2165.92	c #Conflicts:     440000 | #Constraints:      18593
2159.90/2165.92	c #Conflicts:     441000 | #Constraints:      19593
2159.90/2165.92	c #Conflicts:     442000 | #Constraints:      20593
2159.90/2165.92	c #Conflicts:     443000 | #Constraints:      21593
2159.90/2165.92	c #Conflicts:     444000 | #Constraints:      22593
2159.90/2165.92	c #Conflicts:     445000 | #Constraints:      23593
2159.90/2165.92	c #Conflicts:     446000 | #Constraints:      24593
2159.90/2165.92	c #Conflicts:     447000 | #Constraints:      25593
2159.90/2165.92	c #Conflicts:     448000 | #Constraints:      26593
2159.90/2165.92	c #Conflicts:     449000 | #Constraints:      27593
2159.90/2165.92	c #Conflicts:     450000 | #Constraints:      28593
2159.90/2165.92	c #Conflicts:     451000 | #Constraints:      29593
2159.90/2165.92	c #Conflicts:     452000 | #Constraints:      30593
2159.90/2165.92	c INPROCESSING
2159.90/2165.92	c GARBAGE COLLECT
2159.90/2165.92	c #Conflicts:     453000 | #Constraints:      18299
2159.90/2165.92	c #Conflicts:     454000 | #Constraints:      19299
2159.90/2165.92	c #Conflicts:     455000 | #Constraints:      20299
2159.90/2165.92	c #Conflicts:     456000 | #Constraints:      21299
2159.90/2165.92	c #Conflicts:     457000 | #Constraints:      22299
2159.90/2165.92	c #Conflicts:     458000 | #Constraints:      23299
2159.90/2165.92	c #Conflicts:     459000 | #Constraints:      24299
2159.90/2165.92	c #Conflicts:     460000 | #Constraints:      25299
2159.90/2165.92	c #Conflicts:     461000 | #Constraints:      26299
2159.90/2165.92	c #Conflicts:     462000 | #Constraints:      27299
2159.90/2165.92	c #Conflicts:     463000 | #Constraints:      28299
2159.90/2165.92	c #Conflicts:     464000 | #Constraints:      29299
2159.90/2165.92	c #Conflicts:     465000 | #Constraints:      30299
2159.90/2165.92	c #Conflicts:     466000 | #Constraints:      31299
2159.90/2165.92	c INPROCESSING
2159.90/2165.92	c GARBAGE COLLECT
2159.90/2165.92	c #Conflicts:     467000 | #Constraints:      18788
2159.90/2165.92	c #Conflicts:     468000 | #Constraints:      19788
2159.90/2165.92	c #Conflicts:     469000 | #Constraints:      20788
2159.90/2165.92	c #Conflicts:     470000 | #Constraints:      21788
2159.90/2165.92	c #Conflicts:     471000 | #Constraints:      22788
2159.90/2165.92	c #Conflicts:     472000 | #Constraints:      23788
2159.90/2165.92	c #Conflicts:     473000 | #Constraints:      24788
2159.90/2165.92	c #Conflicts:     474000 | #Constraints:      25788
2159.90/2165.92	c #Conflicts:     475000 | #Constraints:      26788
2159.90/2165.92	c #Conflicts:     476000 | #Constraints:      27788
2159.90/2165.92	c #Conflicts:     477000 | #Constraints:      28788
2159.90/2165.92	c #Conflicts:     478000 | #Constraints:      29788
2159.90/2165.92	c #Conflicts:     479000 | #Constraints:      30788
2159.90/2165.92	c #Conflicts:     480000 | #Constraints:      31788
2159.90/2165.92	c INPROCESSING
2159.90/2165.92	c GARBAGE COLLECT
2159.90/2165.92	c #Conflicts:     481000 | #Constraints:      19080
2159.90/2165.92	c #Conflicts:     482000 | #Constraints:      20080
2159.90/2165.92	c #Conflicts:     483000 | #Constraints:      21080
2159.90/2165.92	c #Conflicts:     484000 | #Constraints:      22080
2159.90/2165.92	c #Conflicts:     485000 | #Constraints:      23080
2159.90/2165.92	c #Conflicts:     486000 | #Constraints:      24080
2159.90/2165.92	c #Conflicts:     487000 | #Constraints:      25080
2159.90/2165.92	c #Conflicts:     488000 | #Constraints:      26080
2159.90/2165.92	c #Conflicts:     489000 | #Constraints:      27080
2159.90/2165.92	c #Conflicts:     490000 | #Constraints:      28080
2159.90/2165.92	c #Conflicts:     491000 | #Constraints:      29080
2159.90/2165.92	c #Conflicts:     492000 | #Constraints:      30080
2159.90/2165.92	c #Conflicts:     493000 | #Constraints:      31080
2159.90/2165.92	c #Conflicts:     494000 | #Constraints:      32080
2159.90/2165.92	c INPROCESSING
2159.90/2165.92	c GARBAGE COLLECT
2159.90/2165.92	c #Conflicts:     495000 | #Constraints:      19183
2159.90/2165.92	c #Conflicts:     496000 | #Constraints:      20183
2159.90/2165.92	c #Conflicts:     497000 | #Constraints:      21183
2159.90/2165.92	c #Conflicts:     498000 | #Constraints:      22183
2159.90/2165.92	c #Conflicts:     499000 | #Constraints:      23183
2159.90/2165.92	c GLOBAL bounds - >= 0 @ 2152.34
2482.59/2489.42	c #Conflicts:     500000 | #Constraints:      24185
2482.59/2489.42	c #Conflicts:     501000 | #Constraints:      25185
2482.59/2489.42	c #Conflicts:     502000 | #Constraints:      26185
2482.59/2489.42	c #Conflicts:     503000 | #Constraints:      27185
2482.59/2489.42	c #Conflicts:     504000 | #Constraints:      28185
2482.59/2489.42	c #Conflicts:     505000 | #Constraints:      29185
2482.59/2489.42	c #Conflicts:     506000 | #Constraints:      30185
2482.59/2489.42	c #Conflicts:     507000 | #Constraints:      31185
2482.59/2489.42	c #Conflicts:     508000 | #Constraints:      32185
2482.59/2489.42	c INPROCESSING
2482.59/2489.42	c GARBAGE COLLECT
2482.59/2489.42	c #Conflicts:     509000 | #Constraints:      19107
2482.59/2489.42	c #Conflicts:     510000 | #Constraints:      20107
2482.59/2489.42	c #Conflicts:     511000 | #Constraints:      21107
2482.59/2489.42	c #Conflicts:     512000 | #Constraints:      22107
2482.59/2489.42	c #Conflicts:     513000 | #Constraints:      23107
2482.59/2489.42	c #Conflicts:     514000 | #Constraints:      24107
2482.59/2489.42	c #Conflicts:     515000 | #Constraints:      25107
2482.59/2489.42	c #Conflicts:     516000 | #Constraints:      26107
2482.59/2489.42	c #Conflicts:     517000 | #Constraints:      27107
2482.59/2489.42	c #Conflicts:     518000 | #Constraints:      28107
2482.59/2489.42	c #Conflicts:     519000 | #Constraints:      29107
2482.59/2489.42	c #Conflicts:     520000 | #Constraints:      30107
2482.59/2489.42	c #Conflicts:     521000 | #Constraints:      31107
2482.59/2489.42	c #Conflicts:     522000 | #Constraints:      32107
2482.59/2489.42	c INPROCESSING
2482.59/2489.42	c GARBAGE COLLECT
2482.59/2489.42	c #Conflicts:     523000 | #Constraints:      18799
2482.59/2489.42	c #Conflicts:     524000 | #Constraints:      19799
2482.59/2489.42	c #Conflicts:     525000 | #Constraints:      20799
2482.59/2489.42	c #Conflicts:     526000 | #Constraints:      21799
2482.59/2489.42	c #Conflicts:     527000 | #Constraints:      22799
2482.59/2489.42	c #Conflicts:     528000 | #Constraints:      23799
2482.59/2489.42	c #Conflicts:     529000 | #Constraints:      24799
2482.59/2489.42	c #Conflicts:     530000 | #Constraints:      25799
2482.59/2489.42	c #Conflicts:     531000 | #Constraints:      26799
2482.59/2489.42	c #Conflicts:     532000 | #Constraints:      27799
2482.59/2489.42	c #Conflicts:     533000 | #Constraints:      28799
2482.59/2489.42	c #Conflicts:     534000 | #Constraints:      29799
2482.59/2489.42	c #Conflicts:     535000 | #Constraints:      30799
2482.59/2489.42	c #Conflicts:     536000 | #Constraints:      31799
2482.59/2489.42	c #Conflicts:     537000 | #Constraints:      32799
2482.59/2489.42	c INPROCESSING
2482.59/2489.42	c GARBAGE COLLECT
2482.59/2489.42	c #Conflicts:     538000 | #Constraints:      19303
2482.59/2489.42	c #Conflicts:     539000 | #Constraints:      20303
2482.59/2489.42	c #Conflicts:     540000 | #Constraints:      21303
2482.59/2489.42	c #Conflicts:     541000 | #Constraints:      22303
2482.59/2489.42	c #Conflicts:     542000 | #Constraints:      23303
2482.59/2489.42	c #Conflicts:     543000 | #Constraints:      24303
2482.59/2489.42	c #Conflicts:     544000 | #Constraints:      25303
2482.59/2489.42	c #Conflicts:     545000 | #Constraints:      26303
2482.59/2489.42	c #Conflicts:     546000 | #Constraints:      27303
2482.59/2489.42	c #Conflicts:     547000 | #Constraints:      28303
2482.59/2489.42	c #Conflicts:     548000 | #Constraints:      29303
2482.59/2489.42	c #Conflicts:     549000 | #Constraints:      30303
2482.59/2489.42	c #Conflicts:     550000 | #Constraints:      31303
2482.59/2489.42	c #Conflicts:     551000 | #Constraints:      32303
2482.59/2489.42	c #Conflicts:     552000 | #Constraints:      33303
2482.59/2489.42	c INPROCESSING
2482.59/2489.42	c GARBAGE COLLECT
2482.59/2489.42	c #Conflicts:     553000 | #Constraints:      19594
2482.59/2489.42	c #Conflicts:     554000 | #Constraints:      20594
2482.59/2489.42	c #Conflicts:     555000 | #Constraints:      21594
2482.59/2489.42	c #Conflicts:     556000 | #Constraints:      22594
2482.59/2489.42	c #Conflicts:     557000 | #Constraints:      23594
2482.59/2489.42	c #Conflicts:     558000 | #Constraints:      24594
2482.59/2489.42	c #Conflicts:     559000 | #Constraints:      25594
2482.59/2489.42	c #Conflicts:     560000 | #Constraints:      26594
2482.59/2489.42	c #Conflicts:     561000 | #Constraints:      27594
2482.59/2489.42	c #Conflicts:     562000 | #Constraints:      28594
2482.59/2489.42	c #Conflicts:     563000 | #Constraints:      29594
2482.59/2489.42	c #Conflicts:     564000 | #Constraints:      30594
2482.59/2489.42	c #Conflicts:     565000 | #Constraints:      31594
2482.59/2489.42	c #Conflicts:     566000 | #Constraints:      32594
2482.59/2489.42	c #Conflicts:     567000 | #Constraints:      33594
2482.59/2489.42	c INPROCESSING
2482.59/2489.42	c GARBAGE COLLECT
2482.59/2489.42	c #Conflicts:     568000 | #Constraints:      19696
2482.59/2489.42	c #Conflicts:     569000 | #Constraints:      20696
2482.59/2489.42	c #Conflicts:     570000 | #Constraints:      21696
2482.59/2489.42	c #Conflicts:     571000 | #Constraints:      22696
2482.59/2489.42	c #Conflicts:     572000 | #Constraints:      23696
2482.59/2489.42	c #Conflicts:     573000 | #Constraints:      24696
2482.59/2489.42	c #Conflicts:     574000 | #Constraints:      25696
2482.59/2489.42	c #Conflicts:     575000 | #Constraints:      26696
2898.44/2906.34	c #Conflicts:     576000 | #Constraints:      27696
2898.44/2906.34	c #Conflicts:     577000 | #Constraints:      28696
2898.44/2906.34	c #Conflicts:     578000 | #Constraints:      29696
2898.44/2906.34	c #Conflicts:     579000 | #Constraints:      30696
2898.44/2906.34	c #Conflicts:     580000 | #Constraints:      31696
2898.44/2906.34	c #Conflicts:     581000 | #Constraints:      32696
2898.44/2906.34	c #Conflicts:     582000 | #Constraints:      33696
2898.44/2906.34	c INPROCESSING
2898.44/2906.34	c GARBAGE COLLECT
2898.44/2906.34	c #Conflicts:     583000 | #Constraints:      19595
2898.44/2906.34	c #Conflicts:     584000 | #Constraints:      20595
2898.44/2906.34	c #Conflicts:     585000 | #Constraints:      21595
2898.44/2906.34	c #Conflicts:     586000 | #Constraints:      22595
2898.44/2906.34	c #Conflicts:     587000 | #Constraints:      23595
2898.44/2906.34	c #Conflicts:     588000 | #Constraints:      24595
2898.44/2906.34	c #Conflicts:     589000 | #Constraints:      25595
2898.44/2906.34	c #Conflicts:     590000 | #Constraints:      26595
2898.44/2906.34	c #Conflicts:     591000 | #Constraints:      27595
2898.44/2906.34	c #Conflicts:     592000 | #Constraints:      28595
2898.44/2906.34	c #Conflicts:     593000 | #Constraints:      29595
2898.44/2906.34	c #Conflicts:     594000 | #Constraints:      30595
2898.44/2906.34	c #Conflicts:     595000 | #Constraints:      31595
2898.44/2906.34	c #Conflicts:     596000 | #Constraints:      32595
2898.44/2906.34	c #Conflicts:     597000 | #Constraints:      33595
2898.44/2906.34	c #Conflicts:     598000 | #Constraints:      34595
2898.44/2906.34	c INPROCESSING
2898.44/2906.34	c GARBAGE COLLECT
2898.44/2906.34	c #Conflicts:     599000 | #Constraints:      20304
2898.44/2906.34	c #Conflicts:     600000 | #Constraints:      21304
2898.44/2906.34	c #Conflicts:     601000 | #Constraints:      22304
2898.44/2906.34	c #Conflicts:     602000 | #Constraints:      23304
2898.44/2906.34	c #Conflicts:     603000 | #Constraints:      24304
2898.44/2906.34	c #Conflicts:     604000 | #Constraints:      25304
2898.44/2906.34	c #Conflicts:     605000 | #Constraints:      26304
2898.44/2906.34	c #Conflicts:     606000 | #Constraints:      27304
2898.44/2906.34	c #Conflicts:     607000 | #Constraints:      28304
2898.44/2906.34	c #Conflicts:     608000 | #Constraints:      29304
2898.44/2906.34	c #Conflicts:     609000 | #Constraints:      30304
2898.44/2906.34	c #Conflicts:     610000 | #Constraints:      31304
2898.44/2906.34	c #Conflicts:     611000 | #Constraints:      32304
2898.44/2906.34	c #Conflicts:     612000 | #Constraints:      33304
2898.44/2906.34	c #Conflicts:     613000 | #Constraints:      34304
2898.44/2906.34	c #Conflicts:     614000 | #Constraints:      35304
2898.44/2906.34	c INPROCESSING
2898.44/2906.34	c GARBAGE COLLECT
2898.44/2906.34	c #Conflicts:     615000 | #Constraints:      20807
2898.44/2906.34	c #Conflicts:     616000 | #Constraints:      21807
2898.44/2906.34	c #Conflicts:     617000 | #Constraints:      22807
2898.44/2906.34	c #Conflicts:     618000 | #Constraints:      23807
2898.44/2906.34	c #Conflicts:     619000 | #Constraints:      24807
2898.44/2906.34	c #Conflicts:     620000 | #Constraints:      25807
2898.44/2906.34	c #Conflicts:     621000 | #Constraints:      26807
2898.44/2906.34	c #Conflicts:     622000 | #Constraints:      27807
2898.44/2906.34	c #Conflicts:     623000 | #Constraints:      28807
2898.44/2906.34	c #Conflicts:     624000 | #Constraints:      29807
2898.44/2906.34	c #Conflicts:     625000 | #Constraints:      30807
2898.44/2906.34	c #Conflicts:     626000 | #Constraints:      31807
2898.44/2906.34	c #Conflicts:     627000 | #Constraints:      32807
2898.44/2906.34	c #Conflicts:     628000 | #Constraints:      33807
2898.44/2906.34	c #Conflicts:     629000 | #Constraints:      34807
2898.44/2906.34	c #Conflicts:     630000 | #Constraints:      35807
2898.44/2906.34	c INPROCESSING
2898.44/2906.34	c GARBAGE COLLECT
2898.44/2906.34	c #Conflicts:     631000 | #Constraints:      21091
2898.44/2906.34	c #Conflicts:     632000 | #Constraints:      22091
2898.44/2906.34	c #Conflicts:     633000 | #Constraints:      23091
2898.44/2906.34	c #Conflicts:     634000 | #Constraints:      24091
2898.44/2906.34	c #Conflicts:     635000 | #Constraints:      25091
2898.44/2906.34	c #Conflicts:     636000 | #Constraints:      26091
2898.44/2906.34	c #Conflicts:     637000 | #Constraints:      27091
2898.44/2906.34	c #Conflicts:     638000 | #Constraints:      28091
2898.44/2906.34	c #Conflicts:     639000 | #Constraints:      29091
2898.44/2906.34	c #Conflicts:     640000 | #Constraints:      30091
2898.44/2906.34	c #Conflicts:     641000 | #Constraints:      31091
2898.44/2906.34	c #Conflicts:     642000 | #Constraints:      32091
2898.44/2906.34	c #Conflicts:     643000 | #Constraints:      33091
2898.44/2906.34	c #Conflicts:     644000 | #Constraints:      34091
2898.44/2906.34	c #Conflicts:     645000 | #Constraints:      35091
2898.44/2906.34	c #Conflicts:     646000 | #Constraints:      36091
2898.44/2906.34	c INPROCESSING
2898.44/2906.34	c GARBAGE COLLECT
2898.44/2906.34	c #Conflicts:     647000 | #Constraints:      21193
2898.44/2906.34	c #Conflicts:     648000 | #Constraints:      22193
2898.44/2906.34	c #Conflicts:     649000 | #Constraints:      23193
2898.44/2906.34	c #Conflicts:     650000 | #Constraints:      24193
2898.44/2906.34	c #Conflicts:     651000 | #Constraints:      25193
3309.41/3318.35	c #Conflicts:     652000 | #Constraints:      26193
3309.41/3318.35	c #Conflicts:     653000 | #Constraints:      27193
3309.41/3318.35	c #Conflicts:     654000 | #Constraints:      28193
3309.41/3318.35	c #Conflicts:     655000 | #Constraints:      29193
3309.41/3318.35	c #Conflicts:     656000 | #Constraints:      30193
3309.41/3318.35	c #Conflicts:     657000 | #Constraints:      31193
3309.41/3318.35	c #Conflicts:     658000 | #Constraints:      32193
3309.41/3318.35	c #Conflicts:     659000 | #Constraints:      33193
3309.41/3318.35	c #Conflicts:     660000 | #Constraints:      34193
3309.41/3318.35	c #Conflicts:     661000 | #Constraints:      35193
3309.41/3318.35	c #Conflicts:     662000 | #Constraints:      36193
3309.41/3318.35	c INPROCESSING
3309.41/3318.35	c GARBAGE COLLECT
3309.41/3318.35	c #Conflicts:     663000 | #Constraints:      21084
3309.41/3318.35	c #Conflicts:     664000 | #Constraints:      22084
3309.41/3318.35	c #Conflicts:     665000 | #Constraints:      23084
3309.41/3318.35	c #Conflicts:     666000 | #Constraints:      24084
3309.41/3318.35	c #Conflicts:     667000 | #Constraints:      25084
3309.41/3318.35	c #Conflicts:     668000 | #Constraints:      26084
3309.41/3318.35	c #Conflicts:     669000 | #Constraints:      27084
3309.41/3318.35	c #Conflicts:     670000 | #Constraints:      28084
3309.41/3318.35	c #Conflicts:     671000 | #Constraints:      29084
3309.41/3318.35	c #Conflicts:     672000 | #Constraints:      30084
3309.41/3318.35	c #Conflicts:     673000 | #Constraints:      31084
3309.41/3318.35	c #Conflicts:     674000 | #Constraints:      32084
3309.41/3318.35	c #Conflicts:     675000 | #Constraints:      33084
3309.41/3318.35	c #Conflicts:     676000 | #Constraints:      34084
3309.41/3318.35	c #Conflicts:     677000 | #Constraints:      35084
3309.41/3318.35	c #Conflicts:     678000 | #Constraints:      36084
3309.41/3318.35	c INPROCESSING
3309.41/3318.35	c GARBAGE COLLECT
3309.41/3318.35	c #Conflicts:     679000 | #Constraints:      20785
3309.41/3318.35	c #Conflicts:     680000 | #Constraints:      21785
3309.41/3318.35	c #Conflicts:     681000 | #Constraints:      22785
3309.41/3318.35	c #Conflicts:     682000 | #Constraints:      23785
3309.41/3318.35	c #Conflicts:     683000 | #Constraints:      24785
3309.41/3318.35	c #Conflicts:     684000 | #Constraints:      25785
3309.41/3318.35	c #Conflicts:     685000 | #Constraints:      26785
3309.41/3318.35	c #Conflicts:     686000 | #Constraints:      27785
3309.41/3318.35	c #Conflicts:     687000 | #Constraints:      28785
3309.41/3318.35	c #Conflicts:     688000 | #Constraints:      29785
3309.41/3318.35	c #Conflicts:     689000 | #Constraints:      30785
3309.41/3318.35	c #Conflicts:     690000 | #Constraints:      31785
3309.41/3318.35	c #Conflicts:     691000 | #Constraints:      32785
3309.41/3318.35	c #Conflicts:     692000 | #Constraints:      33785
3309.41/3318.35	c #Conflicts:     693000 | #Constraints:      34785
3309.41/3318.35	c #Conflicts:     694000 | #Constraints:      35785
3309.41/3318.35	c #Conflicts:     695000 | #Constraints:      36785
3309.41/3318.35	c INPROCESSING
3309.41/3318.35	c GARBAGE COLLECT
3309.41/3318.35	c #Conflicts:     696000 | #Constraints:      21286
3309.41/3318.35	c #Conflicts:     697000 | #Constraints:      22286
3309.41/3318.35	c #Conflicts:     698000 | #Constraints:      23286
3309.41/3318.35	c #Conflicts:     699000 | #Constraints:      24286
3309.41/3318.35	c #Conflicts:     700000 | #Constraints:      25286
3309.41/3318.35	c #Conflicts:     701000 | #Constraints:      26286
3309.41/3318.35	c #Conflicts:     702000 | #Constraints:      27286
3309.41/3318.35	c #Conflicts:     703000 | #Constraints:      28286
3309.41/3318.35	c #Conflicts:     704000 | #Constraints:      29286
3309.41/3318.35	c #Conflicts:     705000 | #Constraints:      30286
3309.41/3318.35	c #Conflicts:     706000 | #Constraints:      31286
3309.41/3318.35	c #Conflicts:     707000 | #Constraints:      32286
3309.41/3318.35	c #Conflicts:     708000 | #Constraints:      33286
3309.41/3318.35	c #Conflicts:     709000 | #Constraints:      34286
3309.41/3318.35	c #Conflicts:     710000 | #Constraints:      35286
3309.41/3318.35	c #Conflicts:     711000 | #Constraints:      36286
3309.41/3318.35	c #Conflicts:     712000 | #Constraints:      37286
3309.41/3318.35	c INPROCESSING
3309.41/3318.35	c GARBAGE COLLECT
3309.41/3318.35	c #Conflicts:     713000 | #Constraints:      21590
3309.41/3318.35	c #Conflicts:     714000 | #Constraints:      22590
3309.41/3318.35	c #Conflicts:     715000 | #Constraints:      23590
3309.41/3318.35	c #Conflicts:     716000 | #Constraints:      24590
3309.41/3318.35	c #Conflicts:     717000 | #Constraints:      25590
3309.41/3318.35	c #Conflicts:     718000 | #Constraints:      26590
3309.41/3318.35	c #Conflicts:     719000 | #Constraints:      27590
3309.41/3318.35	c #Conflicts:     720000 | #Constraints:      28590
3309.41/3318.35	c #Conflicts:     721000 | #Constraints:      29590
3309.41/3318.35	c #Conflicts:     722000 | #Constraints:      30590
3309.41/3318.35	c #Conflicts:     723000 | #Constraints:      31590
3309.41/3318.35	c #Conflicts:     724000 | #Constraints:      32590
3309.41/3318.35	c #Conflicts:     725000 | #Constraints:      33590
3309.41/3318.35	c #Conflicts:     726000 | #Constraints:      34590
3309.41/3318.35	c #Conflicts:     727000 | #Constraints:      35590
3600.00/3609.60	c #Conflicts:     728000 | #Constraints:      36590
3600.00/3609.60	c #Conflicts:     729000 | #Constraints:      37590
3600.00/3609.60	c INPROCESSING
3600.00/3609.60	c GARBAGE COLLECT
3600.00/3609.60	c #Conflicts:     730000 | #Constraints:      21688
3600.00/3609.60	c #Conflicts:     731000 | #Constraints:      22688
3600.00/3609.60	c #Conflicts:     732000 | #Constraints:      23688
3600.00/3609.60	c #Conflicts:     733000 | #Constraints:      24688
3600.00/3609.60	c #Conflicts:     734000 | #Constraints:      25688
3600.00/3609.60	c #Conflicts:     735000 | #Constraints:      26688
3600.00/3609.60	c #Conflicts:     736000 | #Constraints:      27688
3600.00/3609.60	c #Conflicts:     737000 | #Constraints:      28688
3600.00/3609.60	c #Conflicts:     738000 | #Constraints:      29688
3600.00/3609.60	c #Conflicts:     739000 | #Constraints:      30688
3600.00/3609.60	c #Conflicts:     740000 | #Constraints:      31688
3600.00/3609.60	c #Conflicts:     741000 | #Constraints:      32688
3600.00/3609.60	c #Conflicts:     742000 | #Constraints:      33688
3600.00/3609.60	c #Conflicts:     743000 | #Constraints:      34688
3600.00/3609.60	c #Conflicts:     744000 | #Constraints:      35688
3600.00/3609.60	c #Conflicts:     745000 | #Constraints:      36688
3600.00/3609.60	c #Conflicts:     746000 | #Constraints:      37688
3600.00/3609.60	c INPROCESSING
3600.00/3609.60	c GARBAGE COLLECT
3600.00/3609.60	c #Conflicts:     747000 | #Constraints:      21584
3600.00/3609.60	c #Conflicts:     748000 | #Constraints:      22584
3600.00/3609.60	c #Conflicts:     749000 | #Constraints:      23584
3600.00/3609.60	c #Conflicts:     750000 | #Constraints:      24584
3600.00/3609.60	c #Conflicts:     751000 | #Constraints:      25584
3600.00/3609.60	c #Conflicts:     752000 | #Constraints:      26584
3600.00/3609.60	c #Conflicts:     753000 | #Constraints:      27584
3600.00/3609.60	c #Conflicts:     754000 | #Constraints:      28584
3600.00/3609.60	c #Conflicts:     755000 | #Constraints:      29584
3600.00/3609.60	c #Conflicts:     756000 | #Constraints:      30584
3600.00/3609.60	c #Conflicts:     757000 | #Constraints:      31584
3600.00/3609.60	c #Conflicts:     758000 | #Constraints:      32584
3600.00/3609.60	c #Conflicts:     759000 | #Constraints:      33584
3600.00/3609.60	c #Conflicts:     760000 | #Constraints:      34584
3600.00/3609.60	c #Conflicts:     761000 | #Constraints:      35584
3600.00/3609.60	c #Conflicts:     762000 | #Constraints:      36584
3600.00/3609.60	c #Conflicts:     763000 | #Constraints:      37584
3600.00/3609.60	c #Conflicts:     764000 | #Constraints:      38584
3600.00/3609.60	c INPROCESSING
3600.00/3609.60	c GARBAGE COLLECT
3600.00/3609.60	c #Conflicts:     765000 | #Constraints:      22279
3600.00/3609.60	c #Conflicts:     766000 | #Constraints:      23279
3600.00/3609.60	c #Conflicts:     767000 | #Constraints:      24279
3600.00/3609.60	c #Conflicts:     768000 | #Constraints:      25279
3600.00/3609.60	c #Conflicts:     769000 | #Constraints:      26279
3600.00/3609.60	c #Conflicts:     770000 | #Constraints:      27279
3600.00/3609.60	c #Conflicts:     771000 | #Constraints:      28279
3600.00/3609.60	c #Conflicts:     772000 | #Constraints:      29279
3600.00/3609.60	c #Conflicts:     773000 | #Constraints:      30279
3600.00/3609.60	c #Conflicts:     774000 | #Constraints:      31279
3600.00/3609.60	c #Conflicts:     775000 | #Constraints:      32279
3600.00/3609.60	c #Conflicts:     776000 | #Constraints:      33279
3600.00/3609.60	c #Conflicts:     777000 | #Constraints:      34279
3600.00/3609.60	c cpu time 3588.2 s
3600.00/3609.60	c deterministic time 1 1.00e+00
3600.00/3609.60	c optimization time 3588.19 s
3600.00/3609.60	c total solve time 0 s
3600.00/3609.60	c core-guided solve time 0 s
3600.00/3609.60	c propagation time 0.001166 s
3600.00/3609.60	c conflict analysis time 0 s
3600.00/3609.60	c propagations 0
3600.00/3609.60	c resolve steps 0
3600.00/3609.60	c decisions 0
3600.00/3609.60	c conflicts 0
3600.00/3609.60	c restarts 0
3600.00/3609.60	c inprocessing phases 0
3600.00/3609.60	c garbage collections 0 ,( -nan )
3600.00/3609.60	c input clauses 4000 ,( 100.00 )
3600.00/3609.60	c input cardinalities 0 ,( 0.00 )
3600.00/3609.60	c input general constraints 0 ,( 0.00 )
3600.00/3609.60	c input average constraint length 2.00
3600.00/3609.60	c input average constraint degree 1.00
3600.00/3609.60	c learned clauses 0 ,( 0.00 )
3600.00/3609.60	c learned cardinalities 0 ,( 0.00 )
3600.00/3609.60	c learned general constraints 0 ,( 0.00 )
3600.00/3609.60	c learned average constraint length 0.00
3600.00/3609.60	c learned average constraint degree 0.00
3600.00/3609.60	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3609.60	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.00/3609.60	c watched   constraints 0 ,( -nan ) 
3600.00/3609.60	c counting  constraints 0 ,( -nan ) 
3600.00/3609.60	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3609.60	c gcd simplifications 0
3600.00/3609.60	c detected cardinalities 0
3600.00/3609.60	c weakened non-implied lits 0
3600.00/3609.60	c weakened non-implying lits 0
3600.00/3609.60	c original variables 1964
3600.00/3609.60	c clausal propagations 0
3600.00/3609.60	c cardinality propagations 0
3600.00/3609.60	c watched propagations 0
3600.00/3609.60	c counting propagations 0
3600.00/3609.60	c watch lookups 0
3600.00/3609.60	c watch backjump lookups 0
3600.00/3609.60	c watch checks 0
3600.00/3609.60	c propagation checks 0
3600.00/3609.60	c constraint additions 0
3600.00/3609.60	c trail pops 0
3600.00/3609.60	c formula constraints 4000
3600.00/3609.60	c learned constraints 0
3600.00/3609.60	c bound constraints 0
3600.00/3609.60	c core-guided constraints 0
3600.00/3609.60	c encountered formula constraints 0
3600.00/3609.60	c encountered learned constraints 0
3600.00/3609.60	c encountered bound constraints 0
3600.00/3609.60	c encountered core-guided constraints 0
3600.00/3609.60	c LP total time 0 s
3600.00/3609.60	c LP solve time 0 s
3600.00/3609.60	c LP constraints added 0
3600.00/3609.60	c LP constraints removed 0
3600.00/3609.60	c LP pivots internal 0
3600.00/3609.60	c LP pivots root 0
3600.00/3609.60	c LP calls 0
3600.00/3609.60	c LP optimalities 0
3600.00/3609.60	c LP no pivot count 0
3600.00/3609.60	c LP infeasibilities 0
3600.00/3609.60	c LP valid Farkas constraints 0
3600.00/3609.60	c LP learned Farkas constraints 0
3600.00/3609.60	c LP basis resets 0
3600.00/3609.60	c LP cycling count 0
3600.00/3609.60	c LP singular count 0
3600.00/3609.60	c LP no primal count 0
3600.00/3609.60	c LP no farkas count 0
3600.00/3609.60	c LP other issue count 0
3600.00/3609.60	c LP Gomory cuts 0
3600.00/3609.60	c LP learned cuts 0
3600.00/3609.60	c LP deleted cuts 0
3600.00/3609.60	c LP encountered Gomory constraints 0
3600.00/3609.60	c LP encountered Farkas constraints 0
3600.00/3609.60	c LP encountered learned Farkas constraints 0
3600.00/3609.60	c CG auxiliary variables introduced 0
3600.00/3609.60	c CG solutions found 0
3600.00/3609.60	c CG cores constructed 0
3600.00/3609.60	c CG core cardinality constraints returned 0
3600.00/3609.60	c CG unit cores 0
3600.00/3609.60	c CG single cores 0
3600.00/3609.60	c CG blocks removed during cardinality reduction 0
3600.00/3609.60	c CG first core best 0
3600.00/3609.60	c CG decision core best 0
3600.00/3609.60	c CG core reduction tie 0
3600.00/3609.60	c CG core degree average 0.00
3600.00/3609.60	c CG core slack average 0.00
3600.00/3609.60	c CG core upper bound improvements 0
3600.00/3609.60	c STR number of successful calls 0
3600.00/3609.60	c STR number of unsuccessful calls 0
3600.00/3609.60	c STR number of inconclusive calls 0
3600.00/3609.60	c STR number of successful attempts 0
3600.00/3609.60	c STR number of unsuccessful attempts 0
3600.00/3609.60	c STR number of inconclusive attempts 0
3600.00/3609.60	c STR average degree increase per successful call inf
3600.00/3609.60	c STR average degree increase per successful attempt inf
3600.00/3609.60	c STR total number of conflicts for successful attempts 0
3600.00/3609.60	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.60	c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.60	c STR average number of conflicts per successful attempt inf
3600.00/3609.60	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.60	c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.60	c AVG.sumWPerc -nan 
3600.00/3609.60	c bigint constraints 0 
3600.00/3609.60	s UNKNOWN
3600.00/3609.60	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: 63665 MiB (63110 MiB free)
  memory of node 1: 64507 MiB (63931 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=45666, runsolver pid=45650

[startup+0.100056 s]*
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=130047840/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=68548 memory=20496 CPUtime=0.07 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 3572 0 0 0 6 1 0 0 20 0 1 0 50507267 70193152 5124 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 17137 5124 2368 1147 0 4564 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 72740 KiB
Current children cumulated memory: 23440 KiB

[startup+0.20534 s]*
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=130003576/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=79972 memory=34600 CPUtime=0.18 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 6548 0 0 0 16 2 0 0 20 0 1 0 50507267 81891328 8650 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 19993 8650 2400 1147 0 7420 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 84164 KiB
Current children cumulated memory: 37544 KiB

[startup+0.305716 s]*
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=129963128/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=84188 memory=38652 CPUtime=0.27 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 7038 0 0 0 25 2 0 0 20 0 1 0 50507267 86208512 9663 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 21047 9663 2400 1147 0 8474 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 88380 KiB
Current children cumulated memory: 41596 KiB

[startup+0.700204 s]
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=129918208/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=113144 memory=65448 CPUtime=0.66 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 12203 0 0 0 62 4 0 0 20 0 1 0 50507267 115859456 16362 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 28286 16362 2400 1147 0 15713 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 117336 KiB
Current children cumulated memory: 68392 KiB

[startup+1.5002 s]
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=129780988/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=158996 memory=110812 CPUtime=1.46 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 20995 0 0 0 140 6 0 0 20 0 1 0 50507267 162811904 27703 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 39749 27703 2400 1147 0 27176 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 163188 KiB
Current children cumulated memory: 113756 KiB

[startup+3.10559 s]
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=129531788/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=243548 memory=162560 CPUtime=3.06 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 32425 0 0 0 295 11 0 0 20 0 1 0 50507267 249393152 40640 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 60887 40640 2400 1147 0 48314 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 247740 KiB
Current children cumulated memory: 165504 KiB

[startup+6.30019 s]
/proc/loadavg: 1.05 1.17 1.43 5/277 45670
/proc/meminfo: memFree=129324872/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=277760 memory=198432 CPUtime=6.25 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 37788 0 0 0 609 16 0 0 20 0 1 0 50507267 284426240 49608 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 69440 49608 2400 1147 0 56867 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 281952 KiB
Current children cumulated memory: 201376 KiB

[startup+12.7002 s]
/proc/loadavg: 1.29 1.22 1.45 5/277 45670
/proc/meminfo: memFree=128890748/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=588352 memory=448136 CPUtime=12.64 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 95642 0 0 0 1230 34 0 0 20 0 1 0 50507267 602472448 112034 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 147088 112034 2400 1147 0 134515 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 592544 KiB
Current children cumulated memory: 451080 KiB

[startup+25.5002 s]
/proc/loadavg: 1.97 1.37 1.49 5/277 45670
/proc/meminfo: memFree=128222720/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=588740 memory=450184 CPUtime=25.4 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 96162 0 0 0 2497 43 0 0 20 0 1 0 50507267 602869760 112546 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 147185 112546 2400 1147 0 134612 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 592932 KiB
Current children cumulated memory: 453128 KiB

[startup+51.1056 s]
/proc/loadavg: 2.66 1.59 1.56 5/277 45670
/proc/meminfo: memFree=127960888/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=590732 memory=468068 CPUtime=50.94 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 98564 0 0 0 5033 61 0 0 20 0 1 0 50507267 604909568 117017 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 147683 117017 2400 1147 0 135110 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 594924 KiB
Current children cumulated memory: 471012 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 1.98 1.70 5/277 45672
/proc/meminfo: memFree=127598732/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=732432 memory=539760 CPUtime=101.99 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 113951 0 0 0 10110 89 0 0 20 0 1 0 50507267 750010368 134940 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 183108 134940 2400 1147 0 170535 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 736624 KiB
Current children cumulated memory: 542704 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.38 1.85 5/274 45674
/proc/meminfo: memFree=127222652/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=819892 memory=617544 CPUtime=161.81 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 129842 0 0 0 16055 126 0 0 20 0 1 0 50507267 839569408 154386 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 204973 154386 2400 1147 0 192400 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 824084 KiB
Current children cumulated memory: 620488 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.69 2.00 5/274 45677
/proc/meminfo: memFree=126925764/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=827912 memory=636488 CPUtime=221.63 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 133057 0 0 0 22013 150 0 0 20 0 1 0 50507267 847781888 159122 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0

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

/proc/45670/statm: 305914 280740 2400 1147 0 293341 0
Current children cumulated CPU time: 3034.1 s
Current children cumulated vsize: 1227848 KiB
Current children cumulated memory: 1125904 KiB

[startup+3102.3 s]
/proc/loadavg: 4.27 4.33 4.13 5/270 45835
/proc/meminfo: memFree=117829068/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=1223656 memory=1123728 CPUtime=3093.94 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 195736 0 0 0 308361 1033 0 0 20 0 1 0 50507267 1253023744 280932 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 305914 280932 2400 1147 0 293341 0
Current children cumulated CPU time: 3093.94 s
Current children cumulated vsize: 1227848 KiB
Current children cumulated memory: 1126672 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.28 4.13 5/270 45837
/proc/meminfo: memFree=117703832/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=1223656 memory=1123856 CPUtime=3153.79 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 195892 0 0 0 314331 1048 0 0 20 0 1 0 50507267 1253023744 280964 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 305914 280964 2400 1147 0 293341 0
Current children cumulated CPU time: 3153.79 s
Current children cumulated vsize: 1227848 KiB
Current children cumulated memory: 1126800 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.24 4.12 5/269 45839
/proc/meminfo: memFree=117565316/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=1224520 memory=1128456 CPUtime=3213.64 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 196547 0 0 0 320296 1068 0 0 20 0 1 0 50507267 1253908480 282114 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 306130 282114 2400 1147 0 293557 0
Current children cumulated CPU time: 3213.64 s
Current children cumulated vsize: 1228712 KiB
Current children cumulated memory: 1131400 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.21 4.11 5/271 45845
/proc/meminfo: memFree=117407712/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=1225780 memory=1129608 CPUtime=3273.5 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 196808 0 0 0 326261 1089 0 0 20 0 1 0 50507267 1255198720 282402 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 306445 282402 2400 1147 0 293872 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 1229972 KiB
Current children cumulated memory: 1132552 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.20 4.11 5/270 45847
/proc/meminfo: memFree=117200520/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=1227092 memory=1137284 CPUtime=3333.36 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 197191 0 0 0 332226 1110 0 0 20 0 1 0 50507267 1256542208 284321 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 306773 284321 2400 1147 0 294200 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 1231284 KiB
Current children cumulated memory: 1140228 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.16 4.10 5/271 45850
/proc/meminfo: memFree=116990804/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=1385168 memory=1174480 CPUtime=3393.21 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 202419 0 0 0 338192 1129 0 0 20 0 1 0 50507267 1418412032 293620 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 346292 293620 2400 1147 0 333719 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 1389360 KiB
Current children cumulated memory: 1177424 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.16 4.10 5/271 45852
/proc/meminfo: memFree=116830804/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=1386320 memory=1177504 CPUtime=3453.06 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 203071 0 0 0 344164 1142 0 0 20 0 1 0 50507267 1419591680 294376 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 346580 294376 2400 1147 0 334007 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 1390512 KiB
Current children cumulated memory: 1180448 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.10 5/271 45858
/proc/meminfo: memFree=116709000/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=1386948 memory=1178144 CPUtime=3512.92 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 203256 0 0 0 350136 1156 0 0 20 0 1 0 50507267 1420234752 294536 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 346737 294536 2400 1147 0 334164 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 1391140 KiB
Current children cumulated memory: 1181088 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/269 45860
/proc/meminfo: memFree=116560876/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=1386948 memory=1178272 CPUtime=3572.76 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 203280 0 0 0 356103 1173 0 0 20 0 1 0 50507267 1420234752 294568 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 346737 294568 2400 1147 0 334164 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 1391140 KiB
Current children cumulated memory: 1181216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.14 4.15 4.10 5/269 45861
/proc/meminfo: memFree=116511188/131249996 swapFree=33010416/33010684
[pid=45666] ppid=45650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/45666/stat : 45666 (run-opt-log.sh) S 45650 45666 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507265 4292608 736 18446744073709551615 94677715419136 94677716313669 140725383913776 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94677716552720 94677716600464 94677719879680 140725383915809 140725383916004 140725383916004 140725383921606 0
/proc/45666/statm: 1048 736 672 219 0 110 0
[pid=45670] ppid=45666 vsize=1386948 memory=1178272 CPUtime=3600 cores=5,7
/proc/45670/stat : 45670 (roundingsat) R 45666 45666 45597 0 -1 4194304 203280 0 0 0 358820 1180 0 0 20 0 1 0 50507267 1420234752 294568 18446744073709551615 4227072 8923433 140722407861600 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31154176 140722407864658 140722407864872 140722407864872 140722407870442 0
/proc/45670/statm: 346737 294568 2400 1147 0 334164 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1391140 KiB
Current children cumulated memory: 1181216 KiB

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

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

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

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

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

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

Child status: 2

Real time (s): 3609.62
CPU time (s): 3600.02
CPU user time (s): 3588.21
CPU system time (s): 11.815
CPU usage (%): 99.7341
Max. virtual memory (cumulated for all children) (KiB): 1391140
Max. memory (cumulated for all children) (KiB): 1181216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.21
system time used= 11.815
maximum resident set size= 1178528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203567
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5508368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 451
involuntary context switches= 4875


# summary of solver processes directly reported to runsolver:
#   pid: 45666,45670
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3588.21
#   total CPU system time (s): 11.815

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00997 second user time and 17.6098 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-01 07:37:57
IDJOB=4488909
IDBENCH=147534
IDSOLVER=3351
FILE ID=nodeC030/4488909-1751348277
RUNJOBID= nodeC030-1751348277-45610
SLURM_JOB_ID= 9598121
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488909-1751348277/watcher-4488909-1751348277 -o /tmp/evaluation-result-4488909-1751348277/solver-4488909-1751348277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45610 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4488909-1751348277.opb PROOFDIR/proof-4488909-1751348277

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

MD5SUM BENCH= 40839a009ce460ae7be0fe2be6267e36
RANDOM SEED=719910755

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130094272 kB
MemAvailable:   129826704 kB
Buffers:            2564 kB
Cached:           526440 kB
SwapCached:           16 kB
Active:           480820 kB
Inactive:         108568 kB
Active(anon):      73884 kB
Inactive(anon):     4548 kB
Active(file):     406936 kB
Inactive(file):   104020 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28512 kB
Writeback:             0 kB
AnonPages:         63520 kB
Mapped:           102876 kB
Shmem:             18048 kB
KReclaimable:     121032 kB
Slab:             209720 kB
SReclaimable:     121032 kB
SUnreclaim:        88688 kB
KernelStack:        4168 kB
PageTables:         2656 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC030 at 2025-07-01 08:38:07