Trace number 4459555

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
pb-oll-rs 2024-07-02SAT (TO)3326 3600.06 3610.12

DiagnosticValue
AM1LB0
LOWERBOUND412
NAM1S0
NCORES2
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2/normalized-lp4l.opb
MD5SUMb6d457804c0edb01048fac97a08f0a0d
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 benchmark2967
Best CPU time to get the best result obtained on this benchmark0.171659
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1086
Total number of constraints85
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint1086
Number of terms in the objective function 1086
Biggest coefficient in the objective function 283
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 197191
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 283
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 197191
Number of bits of the biggest sum of numbers18
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.01	c [STEP] solving
0.00/0.01	c #variables 1086 #constraints 169
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= 0 @ 0.007952
0.00/0.01	c stratification level: 235
0.00/0.06	c bounds 4878 >= 0 @ 0.047141
0.00/0.06	c stratification level: 234
0.00/0.07	c bounds 4877 >= 0 @ 0.055305
0.00/0.07	c stratification level: 233
0.10/0.15	c bounds 4777 >= 0 @ 0.139227
0.10/0.15	c stratification level: 232
0.10/0.16	c bounds 4770 >= 0 @ 0.142991
0.10/0.16	c stratification level: 231
0.10/0.16	c bounds 4767 >= 0 @ 0.14584
0.10/0.16	c stratification level: 230
0.10/0.17	c bounds 4762 >= 0 @ 0.147669
0.10/0.17	c stratification level: 229
0.10/0.17	c bounds 4760 >= 0 @ 0.150544
0.10/0.17	c stratification level: 228
0.10/0.19	c bounds 4759 >= 0 @ 0.164122
0.10/0.19	c stratification level: 227
0.10/0.21	c bounds 4755 >= 0 @ 0.18284
0.10/0.21	c stratification level: 226
0.21/0.29	c bounds 4177 >= 0 @ 0.262369
0.21/0.29	c stratification level: 225
0.21/0.29	c bounds 4176 >= 0 @ 0.264857
0.21/0.29	c stratification level: 224
0.21/0.31	c bounds 4173 >= 0 @ 0.281454
0.21/0.31	c stratification level: 223
0.31/0.37	c bounds 4049 >= 0 @ 0.332722
0.31/0.37	c stratification level: 222
0.31/0.38	c bounds 4014 >= 0 @ 0.339918
0.31/0.38	c stratification level: 221
0.31/0.40	c bounds 3992 >= 0 @ 0.361842
0.31/0.40	c stratification level: 220
1.39/1.40	c #Conflicts:       1000 | #Constraints:       1183
1.39/1.40	c #Conflicts:       2000 | #Constraints:       2183
1.39/1.40	c INPROCESSING
1.39/1.40	c GARBAGE COLLECT
1.39/1.40	c bounds 3948 >= 0 @ 1.32447
1.39/1.40	c stratification level: 219
1.49/1.52	c bounds 3822 >= 0 @ 1.43938
1.49/1.52	c stratification level: 218
3.18/3.27	c #Conflicts:       3000 | #Constraints:       2186
3.18/3.27	c #Conflicts:       4000 | #Constraints:       3186
3.18/3.27	c INPROCESSING
3.18/3.27	c GARBAGE COLLECT
3.18/3.27	c #Conflicts:       5000 | #Constraints:       2597
3.18/3.27	c bounds 3776 >= 0 @ 3.13984
3.18/3.27	c stratification level: 217
7.77/7.86	c #Conflicts:       6000 | #Constraints:       3598
7.77/7.86	c INPROCESSING
7.77/7.86	c GARBAGE COLLECT
7.77/7.86	c #Conflicts:       7000 | #Constraints:       2602
7.77/7.86	c #Conflicts:       8000 | #Constraints:       3602
7.77/7.86	c #Conflicts:       9000 | #Constraints:       4602
7.77/7.86	c INPROCESSING
7.77/7.86	c GARBAGE COLLECT
7.77/7.86	c #Conflicts:      10000 | #Constraints:       3307
7.77/7.86	c #Conflicts:      11000 | #Constraints:       4307
7.77/7.86	c bounds 3686 >= 0 @ 7.65511
7.77/7.86	c stratification level: 216
8.08/8.17	c #Conflicts:      12000 | #Constraints:       5308
8.08/8.17	c INPROCESSING
8.08/8.17	c GARBAGE COLLECT
8.08/8.17	c bounds 3678 >= 0 @ 7.96521
8.08/8.17	c stratification level: 215
9.07/9.17	c #Conflicts:      13000 | #Constraints:       3765
9.07/9.17	c bounds 3630 >= 0 @ 8.94652
9.07/9.17	c stratification level: 214
9.07/9.18	c bounds 3628 >= 0 @ 8.95663
9.07/9.18	c stratification level: 213
9.56/9.68	c #Conflicts:      14000 | #Constraints:       4767
9.56/9.68	c bounds 3622 >= 0 @ 9.44166
9.56/9.68	c stratification level: 212
34.19/34.36	c bounds 3622 >= 212 @ 9.85007
34.19/34.36	c #Conflicts:      15000 | #Constraints:       5769
34.19/34.36	c INPROCESSING
34.19/34.36	c GARBAGE COLLECT
34.19/34.36	c #Conflicts:      16000 | #Constraints:       3991
34.19/34.36	c #Conflicts:      17000 | #Constraints:       4991
34.19/34.36	c #Conflicts:      18000 | #Constraints:       5991
34.19/34.36	c INPROCESSING
34.19/34.36	c GARBAGE COLLECT
34.19/34.36	c #Conflicts:      19000 | #Constraints:       4009
34.19/34.36	c #Conflicts:      20000 | #Constraints:       5009
34.19/34.36	c #Conflicts:      21000 | #Constraints:       6009
34.19/34.36	c INPROCESSING
34.19/34.36	c GARBAGE COLLECT
34.19/34.36	c #Conflicts:      22000 | #Constraints:       3808
34.19/34.36	c #Conflicts:      23000 | #Constraints:       4808
34.19/34.36	c #Conflicts:      24000 | #Constraints:       5808
34.19/34.36	c #Conflicts:      25000 | #Constraints:       6808
34.19/34.36	c INPROCESSING
34.19/34.36	c GARBAGE COLLECT
34.19/34.36	c #Conflicts:      26000 | #Constraints:       4410
34.19/34.36	c #Conflicts:      27000 | #Constraints:       5410
34.19/34.36	c #Conflicts:      28000 | #Constraints:       6410
34.19/34.36	c #Conflicts:      29000 | #Constraints:       7410
34.19/34.36	c INPROCESSING
34.19/34.36	c GARBAGE COLLECT
34.19/34.36	c #Conflicts:      30000 | #Constraints:       4815
34.19/34.36	c #Conflicts:      31000 | #Constraints:       5815
34.19/34.36	c #Conflicts:      32000 | #Constraints:       6815
34.19/34.36	c #Conflicts:      33000 | #Constraints:       7815
34.19/34.36	c INPROCESSING
34.19/34.36	c GARBAGE COLLECT
34.19/34.36	c #Conflicts:      34000 | #Constraints:       5017
34.19/34.36	c #Conflicts:      35000 | #Constraints:       6017
34.19/34.36	c #Conflicts:      36000 | #Constraints:       7017
34.19/34.36	c #Conflicts:      37000 | #Constraints:       8017
34.19/34.36	c INPROCESSING
34.19/34.36	c GARBAGE COLLECT
34.19/34.36	c #Conflicts:      38000 | #Constraints:       5018
34.19/34.36	c #Conflicts:      39000 | #Constraints:       6018
34.19/34.36	c #Conflicts:      40000 | #Constraints:       7018
34.19/34.36	c #Conflicts:      41000 | #Constraints:       8018
34.19/34.36	c INPROCESSING
34.19/34.36	c GARBAGE COLLECT
34.19/34.36	c #Conflicts:      42000 | #Constraints:       4828
34.19/34.36	c #Conflicts:      43000 | #Constraints:       5828
34.19/34.36	c #Conflicts:      44000 | #Constraints:       6828
34.19/34.36	c finalizing WCE round: reformulating cores
37.99/38.12	c bounds 3580 >= 212 @ 34.5498
37.99/38.12	c #Conflicts:      45000 | #Constraints:       7831
37.99/38.12	c #Conflicts:      46000 | #Constraints:       8831
37.99/38.12	c INPROCESSING
37.99/38.12	c GARBAGE COLLECT
37.99/38.12	c bounds 3484 >= 212 @ 37.5017
37.99/38.12	c stratification level: 211
37.99/38.13	c bounds 3481 >= 212 @ 37.5139
37.99/38.13	c stratification level: 210
39.48/39.60	c #Conflicts:      47000 | #Constraints:       5437
39.48/39.60	c #Conflicts:      48000 | #Constraints:       6437
39.48/39.60	c bounds 3480 >= 212 @ 38.9529
39.48/39.60	c stratification level: 209
39.48/39.63	c bounds 3479 >= 212 @ 38.9854
39.48/39.63	c stratification level: 208
42.36/42.51	c #Conflicts:      49000 | #Constraints:       7439
42.36/42.51	c bounds 3463 >= 212 @ 41.8218
42.36/42.51	c stratification level: 207
42.36/42.54	c bounds 3460 >= 212 @ 41.8494
42.36/42.54	c stratification level: 206
42.36/42.57	c bounds 3457 >= 212 @ 41.8798
42.36/42.57	c stratification level: 205
42.46/42.69	c bounds 3454 >= 212 @ 41.9963
42.46/42.69	c stratification level: 204
42.57/42.71	c bounds 3448 >= 212 @ 42.0239
42.57/42.71	c stratification level: 203
42.88/43.05	c bounds 3416 >= 212 @ 42.3573
42.88/43.05	c stratification level: 202
42.88/43.08	c bounds 3415 >= 212 @ 42.3866
42.88/43.08	c stratification level: 201
648.12/650.00	c #Conflicts:      50000 | #Constraints:       8446
648.12/650.00	c #Conflicts:      51000 | #Constraints:       9446
648.12/650.00	c INPROCESSING
648.12/650.00	c GARBAGE COLLECT
648.12/650.00	c #Conflicts:      52000 | #Constraints:       5837
648.12/650.00	c #Conflicts:      53000 | #Constraints:       6837
648.12/650.00	c #Conflicts:      54000 | #Constraints:       7837
648.12/650.00	c #Conflicts:      55000 | #Constraints:       8837
648.12/650.00	c #Conflicts:      56000 | #Constraints:       9837
648.12/650.00	c INPROCESSING
648.12/650.00	c GARBAGE COLLECT
648.12/650.00	c #Conflicts:      57000 | #Constraints:       6044
648.12/650.00	c #Conflicts:      58000 | #Constraints:       7044
648.12/650.00	c #Conflicts:      59000 | #Constraints:       8044
648.12/650.00	c #Conflicts:      60000 | #Constraints:       9044
648.12/650.00	c #Conflicts:      61000 | #Constraints:      10044
648.12/650.00	c INPROCESSING
648.12/650.00	c GARBAGE COLLECT
648.12/650.00	c #Conflicts:      62000 | #Constraints:       6042
648.12/650.00	c #Conflicts:      63000 | #Constraints:       7042
648.12/650.00	c #Conflicts:      64000 | #Constraints:       8042
648.12/650.00	c #Conflicts:      65000 | #Constraints:       9042
648.12/650.00	c #Conflicts:      66000 | #Constraints:      10042
648.12/650.00	c INPROCESSING
648.12/650.00	c GARBAGE COLLECT
648.12/650.00	c #Conflicts:      67000 | #Constraints:       5847
648.12/650.00	c #Conflicts:      68000 | #Constraints:       6847
648.12/650.00	c #Conflicts:      69000 | #Constraints:       7847
648.12/650.00	c #Conflicts:      70000 | #Constraints:       8847
648.12/650.00	c #Conflicts:      71000 | #Constraints:       9847
648.12/650.00	c #Conflicts:      72000 | #Constraints:      10847
648.12/650.00	c INPROCESSING
648.12/650.00	c GARBAGE COLLECT
648.12/650.00	c #Conflicts:      73000 | #Constraints:       6449
648.12/650.00	c #Conflicts:      74000 | #Constraints:       7449
648.12/650.00	c #Conflicts:      75000 | #Constraints:       8449
648.12/650.00	c #Conflicts:      76000 | #Constraints:       9449
648.12/650.00	c #Conflicts:      77000 | #Constraints:      10449
648.12/650.00	c #Conflicts:      78000 | #Constraints:      11449
648.12/650.00	c INPROCESSING
648.12/650.00	c GARBAGE COLLECT
648.12/650.00	c #Conflicts:      79000 | #Constraints:       6855
648.12/650.00	c #Conflicts:      80000 | #Constraints:       7855
648.12/650.00	c #Conflicts:      81000 | #Constraints:       8855
648.12/650.00	c #Conflicts:      82000 | #Constraints:       9855
648.12/650.00	c #Conflicts:      83000 | #Constraints:      10855
648.12/650.00	c #Conflicts:      84000 | #Constraints:      11855
648.12/650.00	c INPROCESSING
648.12/650.00	c GARBAGE COLLECT
648.12/650.00	c #Conflicts:      85000 | #Constraints:       7054
648.12/650.00	c #Conflicts:      86000 | #Constraints:       8054
648.12/650.00	c #Conflicts:      87000 | #Constraints:       9054
648.12/650.00	c #Conflicts:      88000 | #Constraints:      10054
648.12/650.00	c #Conflicts:      89000 | #Constraints:      11054
648.12/650.00	c #Conflicts:      90000 | #Constraints:      12054
648.12/650.00	c INPROCESSING
648.12/650.00	c GARBAGE COLLECT
648.12/650.00	c #Conflicts:      91000 | #Constraints:       7058
648.12/650.00	c #Conflicts:      92000 | #Constraints:       8058
648.12/650.00	c #Conflicts:      93000 | #Constraints:       9058
648.12/650.00	c #Conflicts:      94000 | #Constraints:      10058
648.12/650.00	c #Conflicts:      95000 | #Constraints:      11058
648.12/650.00	c #Conflicts:      96000 | #Constraints:      12058
648.12/650.00	c bounds 3326 >= 212 @ 642.868
648.12/650.00	c stratification level: 200
828.92/831.23	c bounds 3326 >= 412 @ 643.612
828.92/831.23	c INPROCESSING
828.92/831.23	c GARBAGE COLLECT
828.92/831.23	c #Conflicts:      97000 | #Constraints:       6849
828.92/831.23	c #Conflicts:      98000 | #Constraints:       7849
828.92/831.23	c #Conflicts:      99000 | #Constraints:       8849
828.92/831.23	c #Conflicts:     100000 | #Constraints:       9849
828.92/831.23	c #Conflicts:     101000 | #Constraints:      10849
828.92/831.23	c #Conflicts:     102000 | #Constraints:      11849
828.92/831.23	c #Conflicts:     103000 | #Constraints:      12849
828.92/831.23	c INPROCESSING
828.92/831.23	c GARBAGE COLLECT
828.92/831.23	c #Conflicts:     104000 | #Constraints:       7437
828.92/831.23	c #Conflicts:     105000 | #Constraints:       8437
828.92/831.23	c #Conflicts:     106000 | #Constraints:       9437
828.92/831.23	c #Conflicts:     107000 | #Constraints:      10437
828.92/831.23	c #Conflicts:     108000 | #Constraints:      11437
828.92/831.23	c #Conflicts:     109000 | #Constraints:      12437
828.92/831.23	c #Conflicts:     110000 | #Constraints:      13437
828.92/831.23	c INPROCESSING
828.92/831.23	c GARBAGE COLLECT
828.92/831.23	c #Conflicts:     111000 | #Constraints:       7833
828.92/831.23	c #Conflicts:     112000 | #Constraints:       8833
828.92/831.23	c #Conflicts:     113000 | #Constraints:       9833
828.92/831.23	c #Conflicts:     114000 | #Constraints:      10833
828.92/831.23	c #Conflicts:     115000 | #Constraints:      11833
828.92/831.23	c #Conflicts:     116000 | #Constraints:      12833
828.92/831.23	c #Conflicts:     117000 | #Constraints:      13833
828.92/831.23	c INPROCESSING
828.92/831.23	c GARBAGE COLLECT
828.92/831.23	c #Conflicts:     118000 | #Constraints:       8029
828.92/831.23	c #Conflicts:     119000 | #Constraints:       9029
828.92/831.23	c #Conflicts:     120000 | #Constraints:      10029
828.92/831.23	c #Conflicts:     121000 | #Constraints:      11029
828.92/831.23	c #Conflicts:     122000 | #Constraints:      12029
828.92/831.23	c #Conflicts:     123000 | #Constraints:      13029
828.92/831.23	c #Conflicts:     124000 | #Constraints:      14029
828.92/831.23	c INPROCESSING
828.92/831.23	c GARBAGE COLLECT
828.92/831.23	c #Conflicts:     125000 | #Constraints:       8021
828.92/831.23	c #Conflicts:     126000 | #Constraints:       9021
828.92/831.23	c #Conflicts:     127000 | #Constraints:      10021
828.92/831.23	c #Conflicts:     128000 | #Constraints:      11021
828.92/831.23	c #Conflicts:     129000 | #Constraints:      12021
828.92/831.23	c #Conflicts:     130000 | #Constraints:      13021
828.92/831.23	c #Conflicts:     131000 | #Constraints:      14021
828.92/831.23	c INPROCESSING
828.92/831.23	c GARBAGE COLLECT
828.92/831.23	c #Conflicts:     132000 | #Constraints:       7820
828.92/831.23	c #Conflicts:     133000 | #Constraints:       8820
828.92/831.23	c #Conflicts:     134000 | #Constraints:       9820
828.92/831.23	c #Conflicts:     135000 | #Constraints:      10820
828.92/831.23	c #Conflicts:     136000 | #Constraints:      11820
828.92/831.23	c #Conflicts:     137000 | #Constraints:      12820
828.92/831.23	c #Conflicts:     138000 | #Constraints:      13820
828.92/831.23	c #Conflicts:     139000 | #Constraints:      14820
828.92/831.23	c INPROCESSING
828.92/831.23	c GARBAGE COLLECT
828.92/831.23	c #Conflicts:     140000 | #Constraints:       8426
828.92/831.23	c #Conflicts:     141000 | #Constraints:       9426
828.92/831.23	c #Conflicts:     142000 | #Constraints:      10426
828.92/831.23	c #Conflicts:     143000 | #Constraints:      11426
828.92/831.23	c #Conflicts:     144000 | #Constraints:      12426
828.92/831.23	c #Conflicts:     145000 | #Constraints:      13426
828.92/831.23	c #Conflicts:     146000 | #Constraints:      14426
828.92/831.23	c #Conflicts:     147000 | #Constraints:      15426
828.92/831.23	c INPROCESSING
828.92/831.23	c GARBAGE COLLECT
828.92/831.23	c #Conflicts:     148000 | #Constraints:       8832
828.92/831.23	c #Conflicts:     149000 | #Constraints:       9832
828.92/831.23	c #Conflicts:     150000 | #Constraints:      10832
828.92/831.23	c #Conflicts:     151000 | #Constraints:      11832
828.92/831.23	c #Conflicts:     152000 | #Constraints:      12832
828.92/831.23	c #Conflicts:     153000 | #Constraints:      13832
828.92/831.23	c #Conflicts:     154000 | #Constraints:      14832
828.92/831.23	c #Conflicts:     155000 | #Constraints:      15832
828.92/831.23	c INPROCESSING
828.92/831.23	c GARBAGE COLLECT
828.92/831.23	c #Conflicts:     156000 | #Constraints:       9027
828.92/831.23	c #Conflicts:     157000 | #Constraints:      10027
828.92/831.23	c #Conflicts:     158000 | #Constraints:      11027
828.92/831.23	c #Conflicts:     159000 | #Constraints:      12027
828.92/831.23	c #Conflicts:     160000 | #Constraints:      13027
828.92/831.23	c #Conflicts:     161000 | #Constraints:      14027
828.92/831.23	c #Conflicts:     162000 | #Constraints:      15027
828.92/831.23	c #Conflicts:     163000 | #Constraints:      16027
828.92/831.23	c INPROCESSING
828.92/831.23	c GARBAGE COLLECT
828.92/831.23	c #Conflicts:     164000 | #Constraints:       9029
828.92/831.23	c #Conflicts:     165000 | #Constraints:      10029
828.92/831.23	c #Conflicts:     166000 | #Constraints:      11029
828.92/831.23	c #Conflicts:     167000 | #Constraints:      12029
828.92/831.23	c #Conflicts:     168000 | #Constraints:      13029
1050.02/1052.96	c #Conflicts:     169000 | #Constraints:      14029
1050.02/1052.96	c #Conflicts:     170000 | #Constraints:      15029
1050.02/1052.96	c #Conflicts:     171000 | #Constraints:      16029
1050.02/1052.96	c INPROCESSING
1050.02/1052.96	c GARBAGE COLLECT
1050.02/1052.96	c #Conflicts:     172000 | #Constraints:       8829
1050.02/1052.96	c #Conflicts:     173000 | #Constraints:       9829
1050.02/1052.96	c #Conflicts:     174000 | #Constraints:      10829
1050.02/1052.96	c #Conflicts:     175000 | #Constraints:      11829
1050.02/1052.96	c #Conflicts:     176000 | #Constraints:      12829
1050.02/1052.96	c #Conflicts:     177000 | #Constraints:      13829
1050.02/1052.96	c #Conflicts:     178000 | #Constraints:      14829
1050.02/1052.96	c #Conflicts:     179000 | #Constraints:      15829
1050.02/1052.96	c #Conflicts:     180000 | #Constraints:      16829
1050.02/1052.96	c INPROCESSING
1050.02/1052.96	c GARBAGE COLLECT
1050.02/1052.96	c #Conflicts:     181000 | #Constraints:       9427
1050.02/1052.96	c #Conflicts:     182000 | #Constraints:      10427
1050.02/1052.96	c #Conflicts:     183000 | #Constraints:      11427
1050.02/1052.96	c #Conflicts:     184000 | #Constraints:      12427
1050.02/1052.96	c #Conflicts:     185000 | #Constraints:      13427
1050.02/1052.96	c #Conflicts:     186000 | #Constraints:      14427
1050.02/1052.96	c #Conflicts:     187000 | #Constraints:      15427
1050.02/1052.96	c #Conflicts:     188000 | #Constraints:      16427
1050.02/1052.96	c #Conflicts:     189000 | #Constraints:      17427
1050.02/1052.96	c INPROCESSING
1050.02/1052.96	c GARBAGE COLLECT
1050.02/1052.96	c #Conflicts:     190000 | #Constraints:       9834
1050.02/1052.96	c #Conflicts:     191000 | #Constraints:      10834
1050.02/1052.96	c #Conflicts:     192000 | #Constraints:      11834
1050.02/1052.96	c #Conflicts:     193000 | #Constraints:      12834
1050.02/1052.96	c #Conflicts:     194000 | #Constraints:      13834
1050.02/1052.96	c #Conflicts:     195000 | #Constraints:      14834
1050.02/1052.96	c #Conflicts:     196000 | #Constraints:      15834
1050.02/1052.96	c #Conflicts:     197000 | #Constraints:      16834
1050.02/1052.96	c #Conflicts:     198000 | #Constraints:      17834
1050.02/1052.96	c INPROCESSING
1050.02/1052.96	c GARBAGE COLLECT
1050.02/1052.96	c #Conflicts:     199000 | #Constraints:      10041
1050.02/1052.96	c #Conflicts:     200000 | #Constraints:      11041
1050.02/1052.96	c #Conflicts:     201000 | #Constraints:      12041
1050.02/1052.96	c #Conflicts:     202000 | #Constraints:      13041
1050.02/1052.96	c #Conflicts:     203000 | #Constraints:      14041
1050.02/1052.96	c #Conflicts:     204000 | #Constraints:      15041
1050.02/1052.96	c #Conflicts:     205000 | #Constraints:      16041
1050.02/1052.96	c #Conflicts:     206000 | #Constraints:      17041
1050.02/1052.96	c #Conflicts:     207000 | #Constraints:      18041
1050.02/1052.96	c INPROCESSING
1050.02/1052.96	c GARBAGE COLLECT
1050.02/1052.96	c #Conflicts:     208000 | #Constraints:      10048
1050.02/1052.96	c #Conflicts:     209000 | #Constraints:      11048
1050.02/1052.96	c #Conflicts:     210000 | #Constraints:      12048
1050.02/1052.96	c #Conflicts:     211000 | #Constraints:      13048
1050.02/1052.96	c #Conflicts:     212000 | #Constraints:      14048
1050.02/1052.96	c #Conflicts:     213000 | #Constraints:      15048
1050.02/1052.96	c #Conflicts:     214000 | #Constraints:      16048
1050.02/1052.96	c #Conflicts:     215000 | #Constraints:      17048
1050.02/1052.96	c #Conflicts:     216000 | #Constraints:      18048
1050.02/1052.96	c INPROCESSING
1050.02/1052.96	c GARBAGE COLLECT
1050.02/1052.96	c #Conflicts:     217000 | #Constraints:       9843
1050.02/1052.96	c #Conflicts:     218000 | #Constraints:      10843
1050.02/1052.96	c #Conflicts:     219000 | #Constraints:      11843
1050.02/1052.96	c #Conflicts:     220000 | #Constraints:      12843
1050.02/1052.96	c #Conflicts:     221000 | #Constraints:      13843
1050.02/1052.96	c #Conflicts:     222000 | #Constraints:      14843
1050.02/1052.96	c #Conflicts:     223000 | #Constraints:      15843
1050.02/1052.96	c #Conflicts:     224000 | #Constraints:      16843
1050.02/1052.96	c #Conflicts:     225000 | #Constraints:      17843
1050.02/1052.96	c #Conflicts:     226000 | #Constraints:      18843
1050.02/1052.96	c INPROCESSING
1050.02/1052.96	c GARBAGE COLLECT
1050.02/1052.96	c #Conflicts:     227000 | #Constraints:      10449
1050.02/1052.96	c #Conflicts:     228000 | #Constraints:      11449
1050.02/1052.96	c #Conflicts:     229000 | #Constraints:      12449
1050.02/1052.96	c #Conflicts:     230000 | #Constraints:      13449
1050.02/1052.96	c #Conflicts:     231000 | #Constraints:      14449
1050.02/1052.96	c #Conflicts:     232000 | #Constraints:      15449
1050.02/1052.96	c #Conflicts:     233000 | #Constraints:      16449
1050.02/1052.96	c #Conflicts:     234000 | #Constraints:      17449
1050.02/1052.96	c #Conflicts:     235000 | #Constraints:      18449
1050.02/1052.96	c #Conflicts:     236000 | #Constraints:      19449
1050.02/1052.96	c INPROCESSING
1050.02/1052.96	c GARBAGE COLLECT
1050.02/1052.96	c #Conflicts:     237000 | #Constraints:      10834
1050.02/1052.96	c #Conflicts:     238000 | #Constraints:      11834
1050.02/1052.96	c #Conflicts:     239000 | #Constraints:      12834
1050.02/1052.96	c #Conflicts:     240000 | #Constraints:      13834
1050.02/1052.96	c #Conflicts:     241000 | #Constraints:      14834
1050.02/1052.96	c #Conflicts:     242000 | #Constraints:      15834
1321.10/1324.73	c #Conflicts:     243000 | #Constraints:      16834
1321.10/1324.73	c #Conflicts:     244000 | #Constraints:      17834
1321.10/1324.73	c #Conflicts:     245000 | #Constraints:      18834
1321.10/1324.73	c #Conflicts:     246000 | #Constraints:      19834
1321.10/1324.73	c INPROCESSING
1321.10/1324.73	c GARBAGE COLLECT
1321.10/1324.73	c #Conflicts:     247000 | #Constraints:      11039
1321.10/1324.73	c #Conflicts:     248000 | #Constraints:      12039
1321.10/1324.73	c #Conflicts:     249000 | #Constraints:      13039
1321.10/1324.73	c #Conflicts:     250000 | #Constraints:      14039
1321.10/1324.73	c #Conflicts:     251000 | #Constraints:      15039
1321.10/1324.73	c #Conflicts:     252000 | #Constraints:      16039
1321.10/1324.73	c #Conflicts:     253000 | #Constraints:      17039
1321.10/1324.73	c #Conflicts:     254000 | #Constraints:      18039
1321.10/1324.73	c #Conflicts:     255000 | #Constraints:      19039
1321.10/1324.73	c #Conflicts:     256000 | #Constraints:      20039
1321.10/1324.73	c INPROCESSING
1321.10/1324.73	c GARBAGE COLLECT
1321.10/1324.73	c #Conflicts:     257000 | #Constraints:      11037
1321.10/1324.73	c #Conflicts:     258000 | #Constraints:      12037
1321.10/1324.73	c #Conflicts:     259000 | #Constraints:      13037
1321.10/1324.73	c #Conflicts:     260000 | #Constraints:      14037
1321.10/1324.73	c #Conflicts:     261000 | #Constraints:      15037
1321.10/1324.73	c #Conflicts:     262000 | #Constraints:      16037
1321.10/1324.73	c #Conflicts:     263000 | #Constraints:      17037
1321.10/1324.73	c #Conflicts:     264000 | #Constraints:      18037
1321.10/1324.73	c #Conflicts:     265000 | #Constraints:      19037
1321.10/1324.73	c #Conflicts:     266000 | #Constraints:      20037
1321.10/1324.73	c INPROCESSING
1321.10/1324.73	c GARBAGE COLLECT
1321.10/1324.73	c #Conflicts:     267000 | #Constraints:      10835
1321.10/1324.73	c #Conflicts:     268000 | #Constraints:      11835
1321.10/1324.73	c #Conflicts:     269000 | #Constraints:      12835
1321.10/1324.73	c #Conflicts:     270000 | #Constraints:      13835
1321.10/1324.73	c #Conflicts:     271000 | #Constraints:      14835
1321.10/1324.73	c #Conflicts:     272000 | #Constraints:      15835
1321.10/1324.73	c #Conflicts:     273000 | #Constraints:      16835
1321.10/1324.73	c #Conflicts:     274000 | #Constraints:      17835
1321.10/1324.73	c #Conflicts:     275000 | #Constraints:      18835
1321.10/1324.73	c #Conflicts:     276000 | #Constraints:      19835
1321.10/1324.73	c #Conflicts:     277000 | #Constraints:      20835
1321.10/1324.73	c INPROCESSING
1321.10/1324.73	c GARBAGE COLLECT
1321.10/1324.73	c #Conflicts:     278000 | #Constraints:      11435
1321.10/1324.73	c #Conflicts:     279000 | #Constraints:      12435
1321.10/1324.73	c #Conflicts:     280000 | #Constraints:      13435
1321.10/1324.73	c #Conflicts:     281000 | #Constraints:      14435
1321.10/1324.73	c #Conflicts:     282000 | #Constraints:      15435
1321.10/1324.73	c #Conflicts:     283000 | #Constraints:      16435
1321.10/1324.73	c #Conflicts:     284000 | #Constraints:      17435
1321.10/1324.73	c #Conflicts:     285000 | #Constraints:      18435
1321.10/1324.73	c #Conflicts:     286000 | #Constraints:      19435
1321.10/1324.73	c #Conflicts:     287000 | #Constraints:      20435
1321.10/1324.73	c #Conflicts:     288000 | #Constraints:      21435
1321.10/1324.73	c INPROCESSING
1321.10/1324.73	c GARBAGE COLLECT
1321.10/1324.73	c #Conflicts:     289000 | #Constraints:      11835
1321.10/1324.73	c #Conflicts:     290000 | #Constraints:      12835
1321.10/1324.73	c #Conflicts:     291000 | #Constraints:      13835
1321.10/1324.73	c #Conflicts:     292000 | #Constraints:      14835
1321.10/1324.73	c #Conflicts:     293000 | #Constraints:      15835
1321.10/1324.73	c #Conflicts:     294000 | #Constraints:      16835
1321.10/1324.73	c #Conflicts:     295000 | #Constraints:      17835
1321.10/1324.73	c #Conflicts:     296000 | #Constraints:      18835
1321.10/1324.73	c #Conflicts:     297000 | #Constraints:      19835
1321.10/1324.73	c #Conflicts:     298000 | #Constraints:      20835
1321.10/1324.73	c #Conflicts:     299000 | #Constraints:      21835
1321.10/1324.73	c INPROCESSING
1321.10/1324.73	c GARBAGE COLLECT
1321.10/1324.73	c #Conflicts:     300000 | #Constraints:      12027
1321.10/1324.73	c #Conflicts:     301000 | #Constraints:      13027
1321.10/1324.73	c #Conflicts:     302000 | #Constraints:      14027
1321.10/1324.73	c #Conflicts:     303000 | #Constraints:      15027
1321.10/1324.73	c #Conflicts:     304000 | #Constraints:      16027
1321.10/1324.73	c #Conflicts:     305000 | #Constraints:      17027
1321.10/1324.73	c #Conflicts:     306000 | #Constraints:      18027
1321.10/1324.73	c #Conflicts:     307000 | #Constraints:      19027
1321.10/1324.73	c #Conflicts:     308000 | #Constraints:      20027
1321.10/1324.73	c #Conflicts:     309000 | #Constraints:      21027
1321.10/1324.73	c #Conflicts:     310000 | #Constraints:      22027
1321.10/1324.73	c INPROCESSING
1321.10/1324.73	c GARBAGE COLLECT
1321.10/1324.73	c #Conflicts:     311000 | #Constraints:      12026
1321.10/1324.73	c #Conflicts:     312000 | #Constraints:      13026
1321.10/1324.73	c #Conflicts:     313000 | #Constraints:      14026
1321.10/1324.73	c #Conflicts:     314000 | #Constraints:      15026
1321.10/1324.73	c #Conflicts:     315000 | #Constraints:      16026
1321.10/1324.73	c #Conflicts:     316000 | #Constraints:      17026
1601.03/1605.52	c #Conflicts:     317000 | #Constraints:      18026
1601.03/1605.52	c #Conflicts:     318000 | #Constraints:      19026
1601.03/1605.52	c #Conflicts:     319000 | #Constraints:      20026
1601.03/1605.52	c #Conflicts:     320000 | #Constraints:      21026
1601.03/1605.52	c #Conflicts:     321000 | #Constraints:      22026
1601.03/1605.52	c INPROCESSING
1601.03/1605.52	c GARBAGE COLLECT
1601.03/1605.52	c #Conflicts:     322000 | #Constraints:      11838
1601.03/1605.52	c #Conflicts:     323000 | #Constraints:      12838
1601.03/1605.52	c #Conflicts:     324000 | #Constraints:      13838
1601.03/1605.52	c #Conflicts:     325000 | #Constraints:      14838
1601.03/1605.52	c #Conflicts:     326000 | #Constraints:      15838
1601.03/1605.52	c #Conflicts:     327000 | #Constraints:      16838
1601.03/1605.52	c #Conflicts:     328000 | #Constraints:      17838
1601.03/1605.52	c #Conflicts:     329000 | #Constraints:      18838
1601.03/1605.52	c #Conflicts:     330000 | #Constraints:      19838
1601.03/1605.52	c #Conflicts:     331000 | #Constraints:      20838
1601.03/1605.52	c #Conflicts:     332000 | #Constraints:      21838
1601.03/1605.52	c #Conflicts:     333000 | #Constraints:      22838
1601.03/1605.52	c INPROCESSING
1601.03/1605.52	c GARBAGE COLLECT
1601.03/1605.52	c #Conflicts:     334000 | #Constraints:      12440
1601.03/1605.52	c #Conflicts:     335000 | #Constraints:      13440
1601.03/1605.52	c #Conflicts:     336000 | #Constraints:      14440
1601.03/1605.52	c #Conflicts:     337000 | #Constraints:      15440
1601.03/1605.52	c #Conflicts:     338000 | #Constraints:      16440
1601.03/1605.52	c #Conflicts:     339000 | #Constraints:      17440
1601.03/1605.52	c #Conflicts:     340000 | #Constraints:      18440
1601.03/1605.52	c #Conflicts:     341000 | #Constraints:      19440
1601.03/1605.52	c #Conflicts:     342000 | #Constraints:      20440
1601.03/1605.52	c #Conflicts:     343000 | #Constraints:      21440
1601.03/1605.52	c #Conflicts:     344000 | #Constraints:      22440
1601.03/1605.52	c #Conflicts:     345000 | #Constraints:      23440
1601.03/1605.52	c INPROCESSING
1601.03/1605.52	c GARBAGE COLLECT
1601.03/1605.52	c #Conflicts:     346000 | #Constraints:      12835
1601.03/1605.52	c #Conflicts:     347000 | #Constraints:      13835
1601.03/1605.52	c #Conflicts:     348000 | #Constraints:      14835
1601.03/1605.52	c #Conflicts:     349000 | #Constraints:      15835
1601.03/1605.52	c #Conflicts:     350000 | #Constraints:      16835
1601.03/1605.52	c #Conflicts:     351000 | #Constraints:      17835
1601.03/1605.52	c #Conflicts:     352000 | #Constraints:      18835
1601.03/1605.52	c #Conflicts:     353000 | #Constraints:      19835
1601.03/1605.52	c #Conflicts:     354000 | #Constraints:      20835
1601.03/1605.52	c #Conflicts:     355000 | #Constraints:      21835
1601.03/1605.52	c #Conflicts:     356000 | #Constraints:      22835
1601.03/1605.52	c #Conflicts:     357000 | #Constraints:      23835
1601.03/1605.52	c INPROCESSING
1601.03/1605.52	c GARBAGE COLLECT
1601.03/1605.52	c #Conflicts:     358000 | #Constraints:      13035
1601.03/1605.52	c #Conflicts:     359000 | #Constraints:      14035
1601.03/1605.52	c #Conflicts:     360000 | #Constraints:      15035
1601.03/1605.52	c #Conflicts:     361000 | #Constraints:      16035
1601.03/1605.52	c #Conflicts:     362000 | #Constraints:      17035
1601.03/1605.52	c #Conflicts:     363000 | #Constraints:      18035
1601.03/1605.52	c #Conflicts:     364000 | #Constraints:      19035
1601.03/1605.52	c #Conflicts:     365000 | #Constraints:      20035
1601.03/1605.52	c #Conflicts:     366000 | #Constraints:      21035
1601.03/1605.52	c #Conflicts:     367000 | #Constraints:      22035
1601.03/1605.52	c #Conflicts:     368000 | #Constraints:      23035
1601.03/1605.52	c #Conflicts:     369000 | #Constraints:      24035
1601.03/1605.52	c INPROCESSING
1601.03/1605.52	c GARBAGE COLLECT
1601.03/1605.52	c #Conflicts:     370000 | #Constraints:      13034
1601.03/1605.52	c #Conflicts:     371000 | #Constraints:      14034
1601.03/1605.52	c #Conflicts:     372000 | #Constraints:      15034
1601.03/1605.52	c #Conflicts:     373000 | #Constraints:      16034
1601.03/1605.52	c #Conflicts:     374000 | #Constraints:      17034
1601.03/1605.52	c #Conflicts:     375000 | #Constraints:      18034
1601.03/1605.52	c #Conflicts:     376000 | #Constraints:      19034
1601.03/1605.52	c #Conflicts:     377000 | #Constraints:      20034
1601.03/1605.52	c #Conflicts:     378000 | #Constraints:      21034
1601.03/1605.52	c #Conflicts:     379000 | #Constraints:      22034
1601.03/1605.52	c #Conflicts:     380000 | #Constraints:      23034
1601.03/1605.52	c #Conflicts:     381000 | #Constraints:      24034
1601.03/1605.52	c INPROCESSING
1601.03/1605.52	c GARBAGE COLLECT
1601.03/1605.52	c #Conflicts:     382000 | #Constraints:      12832
1601.03/1605.52	c #Conflicts:     383000 | #Constraints:      13832
1601.03/1605.52	c #Conflicts:     384000 | #Constraints:      14832
1601.03/1605.52	c #Conflicts:     385000 | #Constraints:      15832
1601.03/1605.52	c #Conflicts:     386000 | #Constraints:      16832
1601.03/1605.52	c #Conflicts:     387000 | #Constraints:      17832
1601.03/1605.52	c #Conflicts:     388000 | #Constraints:      18832
1601.03/1605.52	c #Conflicts:     389000 | #Constraints:      19832
1601.03/1605.52	c #Conflicts:     390000 | #Constraints:      20832
1601.03/1605.52	c #Conflicts:     391000 | #Constraints:      21832
1917.67/1923.13	c #Conflicts:     392000 | #Constraints:      22832
1917.67/1923.13	c #Conflicts:     393000 | #Constraints:      23832
1917.67/1923.13	c #Conflicts:     394000 | #Constraints:      24832
1917.67/1923.13	c INPROCESSING
1917.67/1923.13	c GARBAGE COLLECT
1917.67/1923.13	c #Conflicts:     395000 | #Constraints:      13433
1917.67/1923.13	c #Conflicts:     396000 | #Constraints:      14433
1917.67/1923.13	c #Conflicts:     397000 | #Constraints:      15433
1917.67/1923.13	c #Conflicts:     398000 | #Constraints:      16433
1917.67/1923.13	c #Conflicts:     399000 | #Constraints:      17433
1917.67/1923.13	c #Conflicts:     400000 | #Constraints:      18433
1917.67/1923.13	c #Conflicts:     401000 | #Constraints:      19433
1917.67/1923.13	c #Conflicts:     402000 | #Constraints:      20433
1917.67/1923.13	c #Conflicts:     403000 | #Constraints:      21433
1917.67/1923.13	c #Conflicts:     404000 | #Constraints:      22433
1917.67/1923.13	c #Conflicts:     405000 | #Constraints:      23433
1917.67/1923.13	c #Conflicts:     406000 | #Constraints:      24433
1917.67/1923.13	c #Conflicts:     407000 | #Constraints:      25433
1917.67/1923.13	c INPROCESSING
1917.67/1923.13	c GARBAGE COLLECT
1917.67/1923.13	c #Conflicts:     408000 | #Constraints:      13829
1917.67/1923.13	c #Conflicts:     409000 | #Constraints:      14829
1917.67/1923.13	c #Conflicts:     410000 | #Constraints:      15829
1917.67/1923.13	c #Conflicts:     411000 | #Constraints:      16829
1917.67/1923.13	c #Conflicts:     412000 | #Constraints:      17829
1917.67/1923.13	c #Conflicts:     413000 | #Constraints:      18829
1917.67/1923.13	c #Conflicts:     414000 | #Constraints:      19829
1917.67/1923.13	c #Conflicts:     415000 | #Constraints:      20829
1917.67/1923.13	c #Conflicts:     416000 | #Constraints:      21829
1917.67/1923.13	c #Conflicts:     417000 | #Constraints:      22829
1917.67/1923.13	c #Conflicts:     418000 | #Constraints:      23829
1917.67/1923.13	c #Conflicts:     419000 | #Constraints:      24829
1917.67/1923.13	c #Conflicts:     420000 | #Constraints:      25829
1917.67/1923.13	c INPROCESSING
1917.67/1923.13	c GARBAGE COLLECT
1917.67/1923.13	c #Conflicts:     421000 | #Constraints:      14036
1917.67/1923.13	c #Conflicts:     422000 | #Constraints:      15036
1917.67/1923.13	c #Conflicts:     423000 | #Constraints:      16036
1917.67/1923.13	c #Conflicts:     424000 | #Constraints:      17036
1917.67/1923.13	c #Conflicts:     425000 | #Constraints:      18036
1917.67/1923.13	c #Conflicts:     426000 | #Constraints:      19036
1917.67/1923.13	c #Conflicts:     427000 | #Constraints:      20036
1917.67/1923.13	c #Conflicts:     428000 | #Constraints:      21036
1917.67/1923.13	c #Conflicts:     429000 | #Constraints:      22036
1917.67/1923.13	c #Conflicts:     430000 | #Constraints:      23036
1917.67/1923.13	c #Conflicts:     431000 | #Constraints:      24036
1917.67/1923.13	c #Conflicts:     432000 | #Constraints:      25036
1917.67/1923.13	c #Conflicts:     433000 | #Constraints:      26036
1917.67/1923.13	c INPROCESSING
1917.67/1923.13	c GARBAGE COLLECT
1917.67/1923.13	c #Conflicts:     434000 | #Constraints:      14048
1917.67/1923.13	c #Conflicts:     435000 | #Constraints:      15048
1917.67/1923.13	c #Conflicts:     436000 | #Constraints:      16048
1917.67/1923.13	c #Conflicts:     437000 | #Constraints:      17048
1917.67/1923.13	c #Conflicts:     438000 | #Constraints:      18048
1917.67/1923.13	c #Conflicts:     439000 | #Constraints:      19048
1917.67/1923.13	c #Conflicts:     440000 | #Constraints:      20048
1917.67/1923.13	c #Conflicts:     441000 | #Constraints:      21048
1917.67/1923.13	c #Conflicts:     442000 | #Constraints:      22048
1917.67/1923.13	c #Conflicts:     443000 | #Constraints:      23048
1917.67/1923.13	c #Conflicts:     444000 | #Constraints:      24048
1917.67/1923.13	c #Conflicts:     445000 | #Constraints:      25048
1917.67/1923.13	c #Conflicts:     446000 | #Constraints:      26048
1917.67/1923.13	c INPROCESSING
1917.67/1923.13	c GARBAGE COLLECT
1917.67/1923.13	c #Conflicts:     447000 | #Constraints:      13848
1917.67/1923.13	c #Conflicts:     448000 | #Constraints:      14848
1917.67/1923.13	c #Conflicts:     449000 | #Constraints:      15848
1917.67/1923.13	c #Conflicts:     450000 | #Constraints:      16848
1917.67/1923.13	c #Conflicts:     451000 | #Constraints:      17848
1917.67/1923.13	c #Conflicts:     452000 | #Constraints:      18848
1917.67/1923.13	c #Conflicts:     453000 | #Constraints:      19848
1917.67/1923.13	c #Conflicts:     454000 | #Constraints:      20848
1917.67/1923.13	c #Conflicts:     455000 | #Constraints:      21848
1917.67/1923.13	c #Conflicts:     456000 | #Constraints:      22848
1917.67/1923.13	c #Conflicts:     457000 | #Constraints:      23848
1917.67/1923.13	c #Conflicts:     458000 | #Constraints:      24848
1917.67/1923.13	c #Conflicts:     459000 | #Constraints:      25848
1917.67/1923.13	c #Conflicts:     460000 | #Constraints:      26848
1917.67/1923.13	c INPROCESSING
1917.67/1923.13	c GARBAGE COLLECT
1917.67/1923.13	c #Conflicts:     461000 | #Constraints:      14453
1917.67/1923.13	c #Conflicts:     462000 | #Constraints:      15453
1917.67/1923.13	c #Conflicts:     463000 | #Constraints:      16453
1917.67/1923.13	c #Conflicts:     464000 | #Constraints:      17453
1917.67/1923.13	c #Conflicts:     465000 | #Constraints:      18453
1917.67/1923.13	c #Conflicts:     466000 | #Constraints:      19453
2292.41/2299.04	c #Conflicts:     467000 | #Constraints:      20453
2292.41/2299.04	c #Conflicts:     468000 | #Constraints:      21453
2292.41/2299.04	c #Conflicts:     469000 | #Constraints:      22453
2292.41/2299.04	c #Conflicts:     470000 | #Constraints:      23453
2292.41/2299.04	c #Conflicts:     471000 | #Constraints:      24453
2292.41/2299.04	c #Conflicts:     472000 | #Constraints:      25453
2292.41/2299.04	c #Conflicts:     473000 | #Constraints:      26453
2292.41/2299.04	c #Conflicts:     474000 | #Constraints:      27453
2292.41/2299.04	c INPROCESSING
2292.41/2299.04	c GARBAGE COLLECT
2292.41/2299.04	c #Conflicts:     475000 | #Constraints:      14845
2292.41/2299.04	c #Conflicts:     476000 | #Constraints:      15845
2292.41/2299.04	c #Conflicts:     477000 | #Constraints:      16845
2292.41/2299.04	c #Conflicts:     478000 | #Constraints:      17845
2292.41/2299.04	c #Conflicts:     479000 | #Constraints:      18845
2292.41/2299.04	c #Conflicts:     480000 | #Constraints:      19845
2292.41/2299.04	c #Conflicts:     481000 | #Constraints:      20845
2292.41/2299.04	c #Conflicts:     482000 | #Constraints:      21845
2292.41/2299.04	c #Conflicts:     483000 | #Constraints:      22845
2292.41/2299.04	c #Conflicts:     484000 | #Constraints:      23845
2292.41/2299.04	c #Conflicts:     485000 | #Constraints:      24845
2292.41/2299.04	c #Conflicts:     486000 | #Constraints:      25845
2292.41/2299.04	c #Conflicts:     487000 | #Constraints:      26845
2292.41/2299.04	c #Conflicts:     488000 | #Constraints:      27845
2292.41/2299.04	c INPROCESSING
2292.41/2299.04	c GARBAGE COLLECT
2292.41/2299.04	c #Conflicts:     489000 | #Constraints:      15039
2292.41/2299.04	c #Conflicts:     490000 | #Constraints:      16039
2292.41/2299.04	c #Conflicts:     491000 | #Constraints:      17039
2292.41/2299.04	c #Conflicts:     492000 | #Constraints:      18039
2292.41/2299.04	c #Conflicts:     493000 | #Constraints:      19039
2292.41/2299.04	c #Conflicts:     494000 | #Constraints:      20039
2292.41/2299.04	c #Conflicts:     495000 | #Constraints:      21039
2292.41/2299.04	c #Conflicts:     496000 | #Constraints:      22039
2292.41/2299.04	c #Conflicts:     497000 | #Constraints:      23039
2292.41/2299.04	c #Conflicts:     498000 | #Constraints:      24039
2292.41/2299.04	c #Conflicts:     499000 | #Constraints:      25039
2292.41/2299.04	c #Conflicts:     500000 | #Constraints:      26039
2292.41/2299.04	c #Conflicts:     501000 | #Constraints:      27039
2292.41/2299.04	c #Conflicts:     502000 | #Constraints:      28039
2292.41/2299.04	c INPROCESSING
2292.41/2299.04	c GARBAGE COLLECT
2292.41/2299.04	c #Conflicts:     503000 | #Constraints:      15042
2292.41/2299.04	c #Conflicts:     504000 | #Constraints:      16042
2292.41/2299.04	c #Conflicts:     505000 | #Constraints:      17042
2292.41/2299.04	c #Conflicts:     506000 | #Constraints:      18042
2292.41/2299.04	c #Conflicts:     507000 | #Constraints:      19042
2292.41/2299.04	c #Conflicts:     508000 | #Constraints:      20042
2292.41/2299.04	c #Conflicts:     509000 | #Constraints:      21042
2292.41/2299.04	c #Conflicts:     510000 | #Constraints:      22042
2292.41/2299.04	c #Conflicts:     511000 | #Constraints:      23042
2292.41/2299.04	c #Conflicts:     512000 | #Constraints:      24042
2292.41/2299.04	c #Conflicts:     513000 | #Constraints:      25042
2292.41/2299.04	c #Conflicts:     514000 | #Constraints:      26042
2292.41/2299.04	c #Conflicts:     515000 | #Constraints:      27042
2292.41/2299.04	c #Conflicts:     516000 | #Constraints:      28042
2292.41/2299.04	c INPROCESSING
2292.41/2299.04	c GARBAGE COLLECT
2292.41/2299.04	c #Conflicts:     517000 | #Constraints:      14841
2292.41/2299.04	c #Conflicts:     518000 | #Constraints:      15841
2292.41/2299.04	c #Conflicts:     519000 | #Constraints:      16841
2292.41/2299.04	c #Conflicts:     520000 | #Constraints:      17841
2292.41/2299.04	c #Conflicts:     521000 | #Constraints:      18841
2292.41/2299.04	c #Conflicts:     522000 | #Constraints:      19841
2292.41/2299.04	c #Conflicts:     523000 | #Constraints:      20841
2292.41/2299.04	c #Conflicts:     524000 | #Constraints:      21841
2292.41/2299.04	c #Conflicts:     525000 | #Constraints:      22841
2292.41/2299.04	c #Conflicts:     526000 | #Constraints:      23841
2292.41/2299.04	c #Conflicts:     527000 | #Constraints:      24841
2292.41/2299.04	c #Conflicts:     528000 | #Constraints:      25841
2292.41/2299.04	c #Conflicts:     529000 | #Constraints:      26841
2292.41/2299.04	c #Conflicts:     530000 | #Constraints:      27841
2292.41/2299.04	c #Conflicts:     531000 | #Constraints:      28841
2292.41/2299.04	c INPROCESSING
2292.41/2299.04	c GARBAGE COLLECT
2292.41/2299.04	c #Conflicts:     532000 | #Constraints:      15445
2292.41/2299.04	c #Conflicts:     533000 | #Constraints:      16445
2292.41/2299.04	c #Conflicts:     534000 | #Constraints:      17445
2292.41/2299.04	c #Conflicts:     535000 | #Constraints:      18445
2292.41/2299.04	c #Conflicts:     536000 | #Constraints:      19445
2292.41/2299.04	c #Conflicts:     537000 | #Constraints:      20445
2292.41/2299.04	c #Conflicts:     538000 | #Constraints:      21445
2292.41/2299.04	c #Conflicts:     539000 | #Constraints:      22445
2292.41/2299.04	c #Conflicts:     540000 | #Constraints:      23445
2292.41/2299.04	c #Conflicts:     541000 | #Constraints:      24445
2292.41/2299.04	c #Conflicts:     542000 | #Constraints:      25445
2653.56/2661.29	c #Conflicts:     543000 | #Constraints:      26445
2653.56/2661.29	c #Conflicts:     544000 | #Constraints:      27445
2653.56/2661.29	c #Conflicts:     545000 | #Constraints:      28445
2653.56/2661.29	c #Conflicts:     546000 | #Constraints:      29445
2653.56/2661.29	c INPROCESSING
2653.56/2661.29	c GARBAGE COLLECT
2653.56/2661.29	c #Conflicts:     547000 | #Constraints:      15847
2653.56/2661.29	c #Conflicts:     548000 | #Constraints:      16847
2653.56/2661.29	c #Conflicts:     549000 | #Constraints:      17847
2653.56/2661.29	c #Conflicts:     550000 | #Constraints:      18847
2653.56/2661.29	c #Conflicts:     551000 | #Constraints:      19847
2653.56/2661.29	c #Conflicts:     552000 | #Constraints:      20847
2653.56/2661.29	c #Conflicts:     553000 | #Constraints:      21847
2653.56/2661.29	c #Conflicts:     554000 | #Constraints:      22847
2653.56/2661.29	c #Conflicts:     555000 | #Constraints:      23847
2653.56/2661.29	c #Conflicts:     556000 | #Constraints:      24847
2653.56/2661.29	c #Conflicts:     557000 | #Constraints:      25847
2653.56/2661.29	c #Conflicts:     558000 | #Constraints:      26847
2653.56/2661.29	c #Conflicts:     559000 | #Constraints:      27847
2653.56/2661.29	c #Conflicts:     560000 | #Constraints:      28847
2653.56/2661.29	c #Conflicts:     561000 | #Constraints:      29847
2653.56/2661.29	c INPROCESSING
2653.56/2661.29	c GARBAGE COLLECT
2653.56/2661.29	c #Conflicts:     562000 | #Constraints:      16042
2653.56/2661.29	c #Conflicts:     563000 | #Constraints:      17042
2653.56/2661.29	c #Conflicts:     564000 | #Constraints:      18042
2653.56/2661.29	c #Conflicts:     565000 | #Constraints:      19042
2653.56/2661.29	c #Conflicts:     566000 | #Constraints:      20042
2653.56/2661.29	c #Conflicts:     567000 | #Constraints:      21042
2653.56/2661.29	c #Conflicts:     568000 | #Constraints:      22042
2653.56/2661.29	c #Conflicts:     569000 | #Constraints:      23042
2653.56/2661.29	c #Conflicts:     570000 | #Constraints:      24042
2653.56/2661.29	c #Conflicts:     571000 | #Constraints:      25042
2653.56/2661.29	c #Conflicts:     572000 | #Constraints:      26042
2653.56/2661.29	c #Conflicts:     573000 | #Constraints:      27042
2653.56/2661.29	c #Conflicts:     574000 | #Constraints:      28042
2653.56/2661.29	c #Conflicts:     575000 | #Constraints:      29042
2653.56/2661.29	c #Conflicts:     576000 | #Constraints:      30042
2653.56/2661.29	c INPROCESSING
2653.56/2661.29	c GARBAGE COLLECT
2653.56/2661.29	c #Conflicts:     577000 | #Constraints:      16042
2653.56/2661.29	c #Conflicts:     578000 | #Constraints:      17042
2653.56/2661.29	c #Conflicts:     579000 | #Constraints:      18042
2653.56/2661.29	c #Conflicts:     580000 | #Constraints:      19042
2653.56/2661.29	c #Conflicts:     581000 | #Constraints:      20042
2653.56/2661.29	c #Conflicts:     582000 | #Constraints:      21042
2653.56/2661.29	c #Conflicts:     583000 | #Constraints:      22042
2653.56/2661.29	c #Conflicts:     584000 | #Constraints:      23042
2653.56/2661.29	c #Conflicts:     585000 | #Constraints:      24042
2653.56/2661.29	c #Conflicts:     586000 | #Constraints:      25042
2653.56/2661.29	c #Conflicts:     587000 | #Constraints:      26042
2653.56/2661.29	c #Conflicts:     588000 | #Constraints:      27042
2653.56/2661.29	c #Conflicts:     589000 | #Constraints:      28042
2653.56/2661.29	c #Conflicts:     590000 | #Constraints:      29042
2653.56/2661.29	c #Conflicts:     591000 | #Constraints:      30042
2653.56/2661.29	c INPROCESSING
2653.56/2661.29	c GARBAGE COLLECT
2653.56/2661.29	c #Conflicts:     592000 | #Constraints:      15838
2653.56/2661.29	c #Conflicts:     593000 | #Constraints:      16838
2653.56/2661.29	c #Conflicts:     594000 | #Constraints:      17838
2653.56/2661.29	c #Conflicts:     595000 | #Constraints:      18838
2653.56/2661.29	c #Conflicts:     596000 | #Constraints:      19838
2653.56/2661.29	c #Conflicts:     597000 | #Constraints:      20838
2653.56/2661.29	c #Conflicts:     598000 | #Constraints:      21838
2653.56/2661.29	c #Conflicts:     599000 | #Constraints:      22838
2653.56/2661.29	c #Conflicts:     600000 | #Constraints:      23838
2653.56/2661.29	c #Conflicts:     601000 | #Constraints:      24838
2653.56/2661.29	c #Conflicts:     602000 | #Constraints:      25838
2653.56/2661.29	c #Conflicts:     603000 | #Constraints:      26838
2653.56/2661.29	c #Conflicts:     604000 | #Constraints:      27838
2653.56/2661.29	c #Conflicts:     605000 | #Constraints:      28838
2653.56/2661.29	c #Conflicts:     606000 | #Constraints:      29838
2653.56/2661.29	c #Conflicts:     607000 | #Constraints:      30838
2653.56/2661.29	c INPROCESSING
2653.56/2661.29	c GARBAGE COLLECT
2653.56/2661.29	c #Conflicts:     608000 | #Constraints:      16439
2653.56/2661.29	c #Conflicts:     609000 | #Constraints:      17439
2653.56/2661.29	c #Conflicts:     610000 | #Constraints:      18439
2653.56/2661.29	c #Conflicts:     611000 | #Constraints:      19439
2653.56/2661.29	c #Conflicts:     612000 | #Constraints:      20439
2653.56/2661.29	c #Conflicts:     613000 | #Constraints:      21439
2653.56/2661.29	c #Conflicts:     614000 | #Constraints:      22439
2653.56/2661.29	c #Conflicts:     615000 | #Constraints:      23439
2653.56/2661.29	c #Conflicts:     616000 | #Constraints:      24439
2653.56/2661.29	c #Conflicts:     617000 | #Constraints:      25439
3004.53/3013.11	c #Conflicts:     618000 | #Constraints:      26439
3004.53/3013.11	c #Conflicts:     619000 | #Constraints:      27439
3004.53/3013.11	c #Conflicts:     620000 | #Constraints:      28439
3004.53/3013.11	c #Conflicts:     621000 | #Constraints:      29439
3004.53/3013.11	c #Conflicts:     622000 | #Constraints:      30439
3004.53/3013.11	c #Conflicts:     623000 | #Constraints:      31439
3004.53/3013.11	c INPROCESSING
3004.53/3013.11	c GARBAGE COLLECT
3004.53/3013.11	c #Conflicts:     624000 | #Constraints:      16836
3004.53/3013.11	c #Conflicts:     625000 | #Constraints:      17836
3004.53/3013.11	c #Conflicts:     626000 | #Constraints:      18836
3004.53/3013.11	c #Conflicts:     627000 | #Constraints:      19836
3004.53/3013.11	c #Conflicts:     628000 | #Constraints:      20836
3004.53/3013.11	c #Conflicts:     629000 | #Constraints:      21836
3004.53/3013.11	c #Conflicts:     630000 | #Constraints:      22836
3004.53/3013.11	c #Conflicts:     631000 | #Constraints:      23836
3004.53/3013.11	c #Conflicts:     632000 | #Constraints:      24836
3004.53/3013.11	c #Conflicts:     633000 | #Constraints:      25836
3004.53/3013.11	c #Conflicts:     634000 | #Constraints:      26836
3004.53/3013.11	c #Conflicts:     635000 | #Constraints:      27836
3004.53/3013.11	c #Conflicts:     636000 | #Constraints:      28836
3004.53/3013.11	c #Conflicts:     637000 | #Constraints:      29836
3004.53/3013.11	c #Conflicts:     638000 | #Constraints:      30836
3004.53/3013.11	c #Conflicts:     639000 | #Constraints:      31836
3004.53/3013.11	c INPROCESSING
3004.53/3013.11	c GARBAGE COLLECT
3004.53/3013.11	c #Conflicts:     640000 | #Constraints:      17044
3004.53/3013.11	c #Conflicts:     641000 | #Constraints:      18044
3004.53/3013.11	c #Conflicts:     642000 | #Constraints:      19044
3004.53/3013.11	c #Conflicts:     643000 | #Constraints:      20044
3004.53/3013.11	c #Conflicts:     644000 | #Constraints:      21044
3004.53/3013.11	c #Conflicts:     645000 | #Constraints:      22044
3004.53/3013.11	c #Conflicts:     646000 | #Constraints:      23044
3004.53/3013.11	c #Conflicts:     647000 | #Constraints:      24044
3004.53/3013.11	c #Conflicts:     648000 | #Constraints:      25044
3004.53/3013.11	c #Conflicts:     649000 | #Constraints:      26044
3004.53/3013.11	c #Conflicts:     650000 | #Constraints:      27044
3004.53/3013.11	c #Conflicts:     651000 | #Constraints:      28044
3004.53/3013.11	c #Conflicts:     652000 | #Constraints:      29044
3004.53/3013.11	c #Conflicts:     653000 | #Constraints:      30044
3004.53/3013.11	c #Conflicts:     654000 | #Constraints:      31044
3004.53/3013.11	c #Conflicts:     655000 | #Constraints:      32044
3004.53/3013.11	c INPROCESSING
3004.53/3013.11	c GARBAGE COLLECT
3004.53/3013.11	c #Conflicts:     656000 | #Constraints:      17051
3004.53/3013.11	c #Conflicts:     657000 | #Constraints:      18051
3004.53/3013.11	c #Conflicts:     658000 | #Constraints:      19051
3004.53/3013.11	c #Conflicts:     659000 | #Constraints:      20051
3004.53/3013.11	c #Conflicts:     660000 | #Constraints:      21051
3004.53/3013.11	c #Conflicts:     661000 | #Constraints:      22051
3004.53/3013.11	c #Conflicts:     662000 | #Constraints:      23051
3004.53/3013.11	c #Conflicts:     663000 | #Constraints:      24051
3004.53/3013.11	c #Conflicts:     664000 | #Constraints:      25051
3004.53/3013.11	c #Conflicts:     665000 | #Constraints:      26051
3004.53/3013.11	c #Conflicts:     666000 | #Constraints:      27051
3004.53/3013.11	c #Conflicts:     667000 | #Constraints:      28051
3004.53/3013.11	c #Conflicts:     668000 | #Constraints:      29051
3004.53/3013.11	c #Conflicts:     669000 | #Constraints:      30051
3004.53/3013.11	c #Conflicts:     670000 | #Constraints:      31051
3004.53/3013.11	c #Conflicts:     671000 | #Constraints:      32051
3004.53/3013.11	c INPROCESSING
3004.53/3013.11	c GARBAGE COLLECT
3004.53/3013.11	c #Conflicts:     672000 | #Constraints:      16841
3004.53/3013.11	c #Conflicts:     673000 | #Constraints:      17841
3004.53/3013.11	c #Conflicts:     674000 | #Constraints:      18841
3004.53/3013.11	c #Conflicts:     675000 | #Constraints:      19841
3004.53/3013.11	c #Conflicts:     676000 | #Constraints:      20841
3004.53/3013.11	c #Conflicts:     677000 | #Constraints:      21841
3004.53/3013.11	c #Conflicts:     678000 | #Constraints:      22841
3004.53/3013.11	c #Conflicts:     679000 | #Constraints:      23841
3004.53/3013.11	c #Conflicts:     680000 | #Constraints:      24841
3004.53/3013.11	c #Conflicts:     681000 | #Constraints:      25841
3004.53/3013.11	c #Conflicts:     682000 | #Constraints:      26841
3004.53/3013.11	c #Conflicts:     683000 | #Constraints:      27841
3004.53/3013.11	c #Conflicts:     684000 | #Constraints:      28841
3004.53/3013.11	c #Conflicts:     685000 | #Constraints:      29841
3004.53/3013.11	c #Conflicts:     686000 | #Constraints:      30841
3004.53/3013.11	c #Conflicts:     687000 | #Constraints:      31841
3004.53/3013.11	c #Conflicts:     688000 | #Constraints:      32841
3004.53/3013.11	c INPROCESSING
3004.53/3013.11	c GARBAGE COLLECT
3004.53/3013.11	c #Conflicts:     689000 | #Constraints:      17443
3004.53/3013.11	c #Conflicts:     690000 | #Constraints:      18443
3004.53/3013.11	c #Conflicts:     691000 | #Constraints:      19443
3004.53/3013.11	c #Conflicts:     692000 | #Constraints:      20443
3004.53/3013.11	c #Conflicts:     693000 | #Constraints:      21443
3422.40/3432.08	c #Conflicts:     694000 | #Constraints:      22443
3422.40/3432.08	c #Conflicts:     695000 | #Constraints:      23443
3422.40/3432.08	c #Conflicts:     696000 | #Constraints:      24443
3422.40/3432.08	c #Conflicts:     697000 | #Constraints:      25443
3422.40/3432.08	c #Conflicts:     698000 | #Constraints:      26443
3422.40/3432.08	c #Conflicts:     699000 | #Constraints:      27443
3422.40/3432.08	c #Conflicts:     700000 | #Constraints:      28443
3422.40/3432.08	c #Conflicts:     701000 | #Constraints:      29443
3422.40/3432.08	c #Conflicts:     702000 | #Constraints:      30443
3422.40/3432.08	c #Conflicts:     703000 | #Constraints:      31443
3422.40/3432.08	c #Conflicts:     704000 | #Constraints:      32443
3422.40/3432.08	c #Conflicts:     705000 | #Constraints:      33443
3422.40/3432.08	c INPROCESSING
3422.40/3432.08	c GARBAGE COLLECT
3422.40/3432.08	c #Conflicts:     706000 | #Constraints:      17842
3422.40/3432.08	c #Conflicts:     707000 | #Constraints:      18842
3422.40/3432.08	c #Conflicts:     708000 | #Constraints:      19842
3422.40/3432.08	c #Conflicts:     709000 | #Constraints:      20842
3422.40/3432.08	c #Conflicts:     710000 | #Constraints:      21842
3422.40/3432.08	c #Conflicts:     711000 | #Constraints:      22842
3422.40/3432.08	c #Conflicts:     712000 | #Constraints:      23842
3422.40/3432.08	c #Conflicts:     713000 | #Constraints:      24842
3422.40/3432.08	c #Conflicts:     714000 | #Constraints:      25842
3422.40/3432.08	c #Conflicts:     715000 | #Constraints:      26842
3422.40/3432.08	c #Conflicts:     716000 | #Constraints:      27842
3422.40/3432.08	c #Conflicts:     717000 | #Constraints:      28842
3422.40/3432.08	c #Conflicts:     718000 | #Constraints:      29842
3422.40/3432.08	c #Conflicts:     719000 | #Constraints:      30842
3422.40/3432.08	c #Conflicts:     720000 | #Constraints:      31842
3422.40/3432.08	c #Conflicts:     721000 | #Constraints:      32842
3422.40/3432.08	c #Conflicts:     722000 | #Constraints:      33842
3422.40/3432.08	c INPROCESSING
3422.40/3432.08	c GARBAGE COLLECT
3422.40/3432.08	c #Conflicts:     723000 | #Constraints:      18046
3422.40/3432.08	c #Conflicts:     724000 | #Constraints:      19046
3422.40/3432.08	c #Conflicts:     725000 | #Constraints:      20046
3422.40/3432.08	c #Conflicts:     726000 | #Constraints:      21046
3422.40/3432.08	c #Conflicts:     727000 | #Constraints:      22046
3422.40/3432.08	c #Conflicts:     728000 | #Constraints:      23046
3422.40/3432.08	c #Conflicts:     729000 | #Constraints:      24046
3422.40/3432.08	c #Conflicts:     730000 | #Constraints:      25046
3422.40/3432.08	c #Conflicts:     731000 | #Constraints:      26046
3422.40/3432.08	c #Conflicts:     732000 | #Constraints:      27046
3422.40/3432.08	c #Conflicts:     733000 | #Constraints:      28046
3422.40/3432.08	c #Conflicts:     734000 | #Constraints:      29046
3422.40/3432.08	c #Conflicts:     735000 | #Constraints:      30046
3422.40/3432.08	c #Conflicts:     736000 | #Constraints:      31046
3422.40/3432.08	c #Conflicts:     737000 | #Constraints:      32046
3422.40/3432.08	c #Conflicts:     738000 | #Constraints:      33046
3422.40/3432.08	c #Conflicts:     739000 | #Constraints:      34046
3422.40/3432.08	c INPROCESSING
3422.40/3432.08	c GARBAGE COLLECT
3422.40/3432.08	c #Conflicts:     740000 | #Constraints:      18058
3422.40/3432.08	c #Conflicts:     741000 | #Constraints:      19058
3422.40/3432.08	c #Conflicts:     742000 | #Constraints:      20058
3422.40/3432.08	c #Conflicts:     743000 | #Constraints:      21058
3422.40/3432.08	c #Conflicts:     744000 | #Constraints:      22058
3422.40/3432.08	c #Conflicts:     745000 | #Constraints:      23058
3422.40/3432.08	c #Conflicts:     746000 | #Constraints:      24058
3422.40/3432.08	c #Conflicts:     747000 | #Constraints:      25058
3422.40/3432.08	c #Conflicts:     748000 | #Constraints:      26058
3422.40/3432.08	c #Conflicts:     749000 | #Constraints:      27058
3422.40/3432.08	c #Conflicts:     750000 | #Constraints:      28058
3422.40/3432.08	c #Conflicts:     751000 | #Constraints:      29058
3422.40/3432.08	c #Conflicts:     752000 | #Constraints:      30058
3422.40/3432.08	c #Conflicts:     753000 | #Constraints:      31058
3422.40/3432.08	c #Conflicts:     754000 | #Constraints:      32058
3422.40/3432.08	c #Conflicts:     755000 | #Constraints:      33058
3422.40/3432.08	c #Conflicts:     756000 | #Constraints:      34058
3422.40/3432.08	c INPROCESSING
3422.40/3432.08	c GARBAGE COLLECT
3422.40/3432.08	c #Conflicts:     757000 | #Constraints:      17846
3422.40/3432.08	c #Conflicts:     758000 | #Constraints:      18846
3422.40/3432.08	c #Conflicts:     759000 | #Constraints:      19846
3422.40/3432.08	c #Conflicts:     760000 | #Constraints:      20846
3422.40/3432.08	c #Conflicts:     761000 | #Constraints:      21846
3422.40/3432.08	c #Conflicts:     762000 | #Constraints:      22846
3422.40/3432.08	c #Conflicts:     763000 | #Constraints:      23846
3422.40/3432.08	c #Conflicts:     764000 | #Constraints:      24846
3422.40/3432.08	c #Conflicts:     765000 | #Constraints:      25846
3422.40/3432.08	c #Conflicts:     766000 | #Constraints:      26846
3422.40/3432.08	c #Conflicts:     767000 | #Constraints:      27846
3422.40/3432.08	c #Conflicts:     768000 | #Constraints:      28846
3422.40/3432.08	c #Conflicts:     769000 | #Constraints:      29846
3600.05/3610.11	c #Conflicts:     770000 | #Constraints:      30846
3600.05/3610.11	c #Conflicts:     771000 | #Constraints:      31846
3600.05/3610.11	c #Conflicts:     772000 | #Constraints:      32846
3600.05/3610.11	c #Conflicts:     773000 | #Constraints:      33846
3600.05/3610.11	c #Conflicts:     774000 | #Constraints:      34846
3600.05/3610.11	c INPROCESSING
3600.05/3610.11	c GARBAGE COLLECT
3600.05/3610.11	c #Conflicts:     775000 | #Constraints:      18452
3600.05/3610.11	c #Conflicts:     776000 | #Constraints:      19452
3600.05/3610.11	c #Conflicts:     777000 | #Constraints:      20452
3600.05/3610.11	c #Conflicts:     778000 | #Constraints:      21452
3600.05/3610.11	c #Conflicts:     779000 | #Constraints:      22452
3600.05/3610.11	c #Conflicts:     780000 | #Constraints:      23452
3600.05/3610.11	c #Conflicts:     781000 | #Constraints:      24452
3600.05/3610.11	c #Conflicts:     782000 | #Constraints:      25452
3600.05/3610.11	c #Conflicts:     783000 | #Constraints:      26452
3600.05/3610.11	c #Conflicts:     784000 | #Constraints:      27452
3600.05/3610.11	c #Conflicts:     785000 | #Constraints:      28452
3600.05/3610.11	c #Conflicts:     786000 | #Constraints:      29452
3600.05/3610.11	c #Conflicts:     787000 | #Constraints:      30452
3600.05/3610.11	c #Conflicts:     788000 | #Constraints:      31452
3600.05/3610.11	c #Conflicts:     789000 | #Constraints:      32452
3600.05/3610.11	c #Conflicts:     790000 | #Constraints:      33452
3600.05/3610.11	c #Conflicts:     791000 | #Constraints:      34452
3600.05/3610.11	c #Conflicts:     792000 | #Constraints:      35452
3600.05/3610.11	c INPROCESSING
3600.05/3610.11	c GARBAGE COLLECT
3600.05/3610.11	c #Conflicts:     793000 | #Constraints:      18843
3600.05/3610.11	c #Conflicts:     794000 | #Constraints:      19843
3600.05/3610.11	c #Conflicts:     795000 | #Constraints:      20843
3600.05/3610.11	c #Conflicts:     796000 | #Constraints:      21843
3600.05/3610.11	c #Conflicts:     797000 | #Constraints:      22843
3600.05/3610.11	c #Conflicts:     798000 | #Constraints:      23843
3600.05/3610.11	c #Conflicts:     799000 | #Constraints:      24843
3600.05/3610.11	c #Conflicts:     800000 | #Constraints:      25843
3600.05/3610.11	c #Conflicts:     801000 | #Constraints:      26843
3600.05/3610.11	c #Conflicts:     802000 | #Constraints:      27843
3600.05/3610.11	c #Conflicts:     803000 | #Constraints:      28843
3600.05/3610.11	c #Conflicts:     804000 | #Constraints:      29843
3600.05/3610.11	c Program interrupted by user.
3600.05/3610.11	c cpu time 3586.28 s
3600.05/3610.11	c deterministic time 321910655944 3.22e+11
3600.05/3610.11	c optimization time 60.5162 s
3600.05/3610.11	c total solve time 3525.76 s
3600.05/3610.11	c core-guided solve time 3525.76 s
3600.05/3610.11	c propagation time 2896.87 s
3600.05/3610.11	c conflict analysis time 620.325 s
3600.05/3610.11	c propagations 68897199
3600.05/3610.11	c resolve steps 6122368
3600.05/3610.11	c decisions 8650929
3600.05/3610.11	c conflicts 804672
3600.05/3610.11	c restarts 1723
3600.05/3610.11	c inprocessing phases 80
3600.05/3610.11	c input clauses 83
3600.05/3610.11	c input cardinalities 86
3600.05/3610.11	c input general constraints 40
3600.05/3610.11	c input average constraint length 244.03
3600.05/3610.11	c input average constraint degree 33322.44
3600.05/3610.11	c learned clauses 75511
3600.05/3610.11	c learned cardinalities 1812
3600.05/3610.11	c learned general constraints 727348
3600.05/3610.11	c learned average constraint length 634.82
3600.05/3610.11	c learned average constraint degree 11752731.06
3600.05/3610.11	c watched constraints 331709
3600.05/3610.11	c counting constraints 395679
3600.05/3610.11	c gcd simplifications 8941
3600.05/3610.11	c detected cardinalities 0
3600.05/3610.11	c weakened non-implied lits 156275643
3600.05/3610.11	c weakened non-implying lits 392758
3600.05/3610.11	c original variables 1086
3600.05/3610.11	c clausal propagations 974853
3600.05/3610.11	c cardinality propagations 29121832
3600.05/3610.11	c watched propagations 2408672
3600.05/3610.11	c counting propagations 35755566
3600.05/3610.11	c watch lookups 64650555605
3600.05/3610.11	c watch backjump lookups 63782819192
3600.05/3610.11	c watch checks 80237165482
3600.05/3610.11	c propagation checks 110558316918
3600.05/3610.11	c constraint additions 2525898830
3600.05/3610.11	c trail pops 78351788
3600.05/3610.11	c formula constraints 169
3600.05/3610.11	c learned constraints 804671
3600.05/3610.11	c bound constraints 38
3600.05/3610.11	c core-guided constraints 2
3600.05/3610.11	c encountered formula constraints 1563087
3600.05/3610.11	c encountered learned constraints 5359391
3600.05/3610.11	c encountered bound constraints 3397
3600.05/3610.11	c encountered core-guided constraints 1165
3600.05/3610.11	c LP total time 0 s
3600.05/3610.11	c LP solve time 0 s
3600.05/3610.11	c LP constraints added 0
3600.05/3610.11	c LP constraints removed 0
3600.05/3610.11	c LP pivots internal 0
3600.05/3610.11	c LP pivots root 0
3600.05/3610.11	c LP calls 0
3600.05/3610.11	c LP optimalities 0
3600.05/3610.11	c LP no pivot count 0
3600.05/3610.11	c LP infeasibilities 0
3600.05/3610.11	c LP valid Farkas constraints 0
3600.05/3610.11	c LP learned Farkas constraints 0
3600.05/3610.11	c LP basis resets 0
3600.05/3610.11	c LP cycling count 0
3600.05/3610.11	c LP singular count 0
3600.05/3610.11	c LP no primal count 0
3600.05/3610.11	c LP no farkas count 0
3600.05/3610.11	c LP other issue count 0
3600.05/3610.11	c LP Gomory cuts 0
3600.05/3610.11	c LP learned cuts 0
3600.05/3610.11	c LP deleted cuts 0
3600.05/3610.11	c LP encountered Gomory constraints 0
3600.05/3610.11	c LP encountered Farkas constraints 0
3600.05/3610.11	c LP encountered learned Farkas constraints 0
3600.05/3610.11	c CG auxiliary variables introduced 1
3600.05/3610.11	c CG solutions found 36
3600.05/3610.11	c CG cores constructed 2
3600.05/3610.11	c CG core cardinality constraints returned 0
3600.05/3610.11	c CG unit cores 0
3600.05/3610.11	c CG single cores 2
3600.05/3610.11	c CG blocks removed during cardinality reduction 0
3600.05/3610.11	c CG first core best 0
3600.05/3610.11	c CG decision core best 0
3600.05/3610.11	c CG core reduction tie 0
3600.05/3610.11	c CG core degree average 1.00
3600.05/3610.11	c CG core slack average 175.50
3600.05/3610.11	c CG exhausted 0
3600.05/3610.11	c CG exhaust time 0.760242 s
3600.05/3610.11	c CG trimmed 0
3600.05/3610.11	c CG trim time 0.020058 s
3600.05/3610.11	c CG minimized 0
3600.05/3610.11	c CG minimize time 0 s
3600.05/3610.11	c CG am1 prop time 0.009694 s
3600.05/3610.11	c CG # am1s reformulated 0
3600.05/3610.11	c CG lower bound derived from am1s 0
3600.05/3610.11	c CG # clausal cores 2
3600.05/3610.11	c CG # cardinality cores 0
3600.05/3610.11	c CG # pb cores 0
3600.05/3610.11	c CG # pb reforms 0
3600.05/3610.11	c CG # cores discarded because of pb reform 0
3600.05/3610.11	d LOWERBOUND 412
3600.05/3610.11	d NCORES 2
3600.05/3610.11	d NPBCORES 0
3600.05/3610.11	d NPBREFORM 0
3600.05/3610.11	d NTRIMMED 0
3600.05/3610.11	d NEXHAUSTED 0
3600.05/3610.11	d NAM1S 0
3600.05/3610.11	d AM1LB 0
3600.05/3610.11	o 3326
3600.05/3610.11	s SATISFIABLE
3600.05/3610.11	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086

Verifier Data 

OK	3326

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: 64059 MiB (50377 MiB free)
  memory of node 1: 64510 MiB (53001 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459555-1721895369/watcher-4459555-1721895369 -o /tmp/evaluation-result-4459555-1721895369/solver-4459555-1721895369 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273804 --watchdog 3760 pb-oll-rs HOME/instance-4459555-1721895369.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.1001 s]*
/proc/loadavg: 4.25 4.28 4.22 5/241 278206
/proc/meminfo: memFree=105857948/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=39784 memory=7472 CPUtime=0.1 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 645 0 0 0 9 1 0 0 20 0 1 0 25526259 40738816 1868 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 9946 1868 1407 291 0 1480 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39784 KiB
Current children cumulated memory: 7472 KiB

[startup+0.212884 s]*
/proc/loadavg: 4.25 4.28 4.22 5/241 278206
/proc/meminfo: memFree=105854964/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=40168 memory=10168 CPUtime=0.21 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 804 0 0 0 19 2 0 0 20 0 1 0 25526259 41132032 2542 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 10042 2542 1407 291 0 1576 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40168 KiB
Current children cumulated memory: 10168 KiB

[startup+0.312797 s]*
/proc/loadavg: 4.25 4.28 4.22 5/241 278206
/proc/meminfo: memFree=105854480/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=40676 memory=10680 CPUtime=0.31 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 944 0 0 0 28 3 0 0 20 0 1 0 25526259 41652224 2670 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 10169 2670 1407 291 0 1703 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40676 KiB
Current children cumulated memory: 10680 KiB

[startup+0.700322 s]
/proc/loadavg: 4.25 4.28 4.22 5/241 278206
/proc/meminfo: memFree=105852996/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=43252 memory=13984 CPUtime=0.69 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 1815 0 0 0 64 5 0 0 20 0 1 0 25526259 44290048 3496 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 10813 3496 1407 291 0 2347 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43252 KiB
Current children cumulated memory: 13984 KiB

[startup+1.50032 s]
/proc/loadavg: 4.25 4.28 4.22 5/241 278206
/proc/meminfo: memFree=105845240/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=55716 memory=23720 CPUtime=1.49 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 4219 0 0 0 142 7 0 0 20 0 1 0 25526259 57053184 5930 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 13929 5930 1407 291 0 5463 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55716 KiB
Current children cumulated memory: 23720 KiB

[startup+3.11245 s]
/proc/loadavg: 4.25 4.28 4.22 5/241 278206
/proc/meminfo: memFree=105828052/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=71476 memory=36676 CPUtime=3.09 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 6914 0 0 0 298 11 0 0 20 0 1 0 25526259 73191424 9169 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 17869 9169 1460 291 0 9403 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 71476 KiB
Current children cumulated memory: 36676 KiB

[startup+6.30029 s]
/proc/loadavg: 4.23 4.28 4.22 5/241 278207
/proc/meminfo: memFree=105807876/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=74008 memory=44412 CPUtime=6.27 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 7783 0 0 0 612 15 0 0 20 0 1 0 25526259 75784192 11103 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 18502 11103 1460 291 0 10036 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 74008 KiB
Current children cumulated memory: 44412 KiB

[startup+12.7003 s]
/proc/loadavg: 4.21 4.27 4.22 5/241 278207
/proc/meminfo: memFree=105770488/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=90480 memory=52864 CPUtime=12.65 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 8931 0 0 0 1242 23 0 0 20 0 1 0 25526259 92651520 13216 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 22620 13216 1460 291 0 14154 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 90480 KiB
Current children cumulated memory: 52864 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.26 4.22 5/241 278210
/proc/meminfo: memFree=105745076/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=105144 memory=71416 CPUtime=25.41 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 12029 0 0 0 2504 37 0 0 20 0 1 0 25526259 107667456 17854 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 26286 17854 1460 291 0 17820 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 105144 KiB
Current children cumulated memory: 71416 KiB

[startup+51.1126 s]
/proc/loadavg: 4.19 4.25 4.21 5/242 278214
/proc/meminfo: memFree=105662380/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=136376 memory=92480 CPUtime=50.95 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 15290 0 0 0 5028 67 0 0 20 0 1 0 25526259 139649024 23120 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 34094 23120 1460 291 0 25628 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 136376 KiB
Current children cumulated memory: 92480 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.23 4.20 5/242 278224
/proc/meminfo: memFree=105588656/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=161308 memory=121912 CPUtime=102 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 20614 0 0 0 10081 119 0 0 20 0 1 0 25526259 165179392 30478 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 40327 30478 1460 291 0 31861 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 161308 KiB
Current children cumulated memory: 121912 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.20 4.19 5/242 278234
/proc/meminfo: memFree=105540540/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=196932 memory=131796 CPUtime=161.84 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 22094 0 0 0 16007 177 0 0 20 0 1 0 25526259 201658368 32949 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 49233 32949 1460 291 0 40767 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 196932 KiB
Current children cumulated memory: 131796 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.18 4.18 5/242 278244
/proc/meminfo: memFree=105428184/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=202968 memory=140896 CPUtime=221.67 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 23802 0 0 0 21939 228 0 0 20 0 1 0 25526259 207839232 35224 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 50742 35224 1460 291 0 42276 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 202968 KiB
Current children cumulated memory: 140896 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.16 4.18 5/244 278258
/proc/meminfo: memFree=105398188/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=203736 memory=141412 CPUtime=281.52 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 23957 0 0 0 27871 281 0 0 20 0 1 0 25526259 208625664 35353 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 50934 35353 1460 291 0 42468 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 203736 KiB
Current children cumulated memory: 141412 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/244 278271
/proc/meminfo: memFree=105348680/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=208368 memory=152536 CPUtime=341.35 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 25199 0 0 0 33805 330 0 0 20 0 1 0 25526259 213368832 38134 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 52092 38134 1460 291 0 43626 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 208368 KiB
Current children cumulated memory: 152536 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 4.17 4.18 5/244 278281
/proc/meminfo: memFree=105308760/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=214044 memory=158252 CPUtime=401.19 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 26172 0 0 0 39751 368 0 0 20 0 1 0 25526259 219181056 39563 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 53511 39563 1460 291 0 45045 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 214044 KiB
Current children cumulated memory: 158252 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/244 278291
/proc/meminfo: memFree=105234332/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=222492 memory=165576 CPUtime=461.03 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 27439 0 0 0 45687 416 0 0 20 0 1 0 25526259 227831808 41394 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 55623 41394 1460 291 0 47157 0

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

Current children cumulated memory: 317976 KiB

[startup+2922.3 s]
/proc/loadavg: 3.25 3.28 3.38 4/237 279950
/proc/meminfo: memFree=107870724/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=356404 memory=318116 CPUtime=2914.04 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 48385 0 0 0 290187 1217 0 0 20 0 1 0 25526259 364957696 79529 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 89101 79529 1460 291 0 80635 0
Current children cumulated CPU time: 2914.04 s
Current children cumulated vsize: 356404 KiB
Current children cumulated memory: 318116 KiB

[startup+2982.3 s]
/proc/loadavg: 3.21 3.26 3.36 4/236 279960
/proc/meminfo: memFree=107857152/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=356404 memory=318136 CPUtime=2973.89 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 48522 0 0 0 296158 1231 0 0 20 0 1 0 25526259 364957696 79534 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 89101 79534 1460 291 0 80635 0
Current children cumulated CPU time: 2973.89 s
Current children cumulated vsize: 356404 KiB
Current children cumulated memory: 318136 KiB

[startup+3042.3 s]
/proc/loadavg: 3.18 3.24 3.35 4/235 279972
/proc/meminfo: memFree=107826176/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=437884 memory=318436 CPUtime=3033.74 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 48823 0 0 0 302127 1247 0 0 20 0 1 0 25526259 448393216 79609 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 109471 79609 1460 291 0 101005 0
Current children cumulated CPU time: 3033.74 s
Current children cumulated vsize: 437884 KiB
Current children cumulated memory: 318436 KiB

[startup+3102.3 s]
/proc/loadavg: 3.06 3.19 3.33 4/235 279983
/proc/meminfo: memFree=107816732/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=439932 memory=327264 CPUtime=3093.57 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 49771 0 0 0 308099 1258 0 0 20 0 1 0 25526259 450490368 81816 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 109983 81816 1460 291 0 101517 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 439932 KiB
Current children cumulated memory: 327264 KiB

[startup+3162.3 s]
/proc/loadavg: 3.12 3.18 3.32 4/235 279993
/proc/meminfo: memFree=107815792/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=439932 memory=327264 CPUtime=3153.41 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 49862 0 0 0 314070 1271 0 0 20 0 1 0 25526259 450490368 81816 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 109983 81816 1460 291 0 101517 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 439932 KiB
Current children cumulated memory: 327264 KiB

[startup+3222.3 s]
/proc/loadavg: 3.10 3.16 3.30 4/235 280004
/proc/meminfo: memFree=107653696/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=441856 memory=328332 CPUtime=3213.25 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 50381 0 0 0 320040 1285 0 0 20 0 1 0 25526259 452460544 82083 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 110464 82083 1460 291 0 101998 0
Current children cumulated CPU time: 3213.25 s
Current children cumulated vsize: 441856 KiB
Current children cumulated memory: 328332 KiB

[startup+3282.3 s]
/proc/loadavg: 3.07 3.15 3.28 4/238 280019
/proc/meminfo: memFree=107643268/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=446600 memory=334456 CPUtime=3273.09 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 51533 0 0 0 326013 1296 0 0 20 0 1 0 25526259 457318400 83614 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 111650 83614 1460 291 0 103184 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 446600 KiB
Current children cumulated memory: 334456 KiB

[startup+3342.3 s]
/proc/loadavg: 3.08 3.13 3.27 4/238 280030
/proc/meminfo: memFree=107642800/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=446600 memory=334456 CPUtime=3332.92 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 51603 0 0 0 331983 1309 0 0 20 0 1 0 25526259 457318400 83614 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 111650 83614 1460 291 0 103184 0
Current children cumulated CPU time: 3332.92 s
Current children cumulated vsize: 446600 KiB
Current children cumulated memory: 334456 KiB

[startup+3402.3 s]
/proc/loadavg: 2.99 3.11 3.25 3/230 280072
/proc/meminfo: memFree=108192808/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=447244 memory=334912 CPUtime=3392.76 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 51835 0 0 0 337953 1323 0 0 20 0 1 0 25526259 457977856 83728 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 111811 83728 1460 291 0 103345 0
Current children cumulated CPU time: 3392.76 s
Current children cumulated vsize: 447244 KiB
Current children cumulated memory: 334912 KiB

[startup+3462.3 s]
/proc/loadavg: 1.91 2.78 3.13 2/224 280113
/proc/meminfo: memFree=109524084/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=447760 memory=335208 CPUtime=3452.61 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 52052 0 0 0 343922 1339 0 0 20 0 1 0 25526259 458506240 83802 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 111940 83802 1460 291 0 103474 0
Current children cumulated CPU time: 3452.61 s
Current children cumulated vsize: 447760 KiB
Current children cumulated memory: 335208 KiB

[startup+3522.3 s]
/proc/loadavg: 1.33 2.45 2.99 2/224 280123
/proc/meminfo: memFree=109519884/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=449560 memory=338652 CPUtime=3512.44 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 52638 0 0 0 349888 1356 0 0 20 0 1 0 25526259 460349440 84663 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 112390 84663 1460 291 0 103924 0
Current children cumulated CPU time: 3512.44 s
Current children cumulated vsize: 449560 KiB
Current children cumulated memory: 338652 KiB

[startup+3582.3 s]
/proc/loadavg: 1.24 2.22 2.87 2/221 280133
/proc/meminfo: memFree=109517100/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=451100 memory=341368 CPUtime=3572.29 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 53166 0 0 0 355858 1371 0 0 20 0 1 0 25526259 461926400 85342 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 112775 85342 1460 291 0 104309 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 451100 KiB
Current children cumulated memory: 341368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 1.14 2.10 2.81 2/221 280139
/proc/meminfo: memFree=109516960/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=451100 memory=341368 CPUtime=3600.05 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 53289 0 0 0 358628 1377 0 0 20 0 1 0 25526259 461926400 85342 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 112775 85342 1460 291 0 104309 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 451100 KiB
Current children cumulated memory: 341368 KiB

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

[startup+3610.12 s]
# the end of solver process 278205 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3586.28 s, system=13.7773 s

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

[startup+3610.11 s]
/proc/loadavg: 1.14 2.10 2.81 2/221 280139
/proc/meminfo: memFree=109516960/131655788 swapFree=131070704/131071996
[pid=278205] ppid=278202 vsize=451100 memory=341368 CPUtime=3600.05 cores=4,6
/proc/278205/stat : 278205 (pb-oll-rs) R 278202 278205 273793 0 -1 4194304 53289 0 0 0 358628 1377 0 0 20 0 1 0 25526259 461926400 85342 134679101440 4194304 5384005 140731224406528 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 31416320 140731224413207 140731224413284 140731224413284 140731224420299 0
/proc/278205/statm: 112775 85342 1460 291 0 104309 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 451100 KiB
Current children cumulated memory: 341368 KiB

Child status: 0

Real time (s): 3610.12
CPU time (s): 3600.06
CPU user time (s): 3586.28
CPU system time (s): 13.7773
CPU usage (%): 99.7213
Max. virtual memory (cumulated for all children) (KiB): 451400
Max. memory (cumulated for all children) (KiB): 341452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.28
system time used= 13.7773
maximum resident set size= 341604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53306
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132
involuntary context switches= 2703


# summary of solver processes directly reported to runsolver:
#   pid: 278205
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3586.28
#   total CPU system time (s): 13.7773

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6089 second user time and 34.1123 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-25 10:16:09
IDJOB=4459555
IDBENCH=178829
IDSOLVER=3067
FILE ID=nodeC008/4459555-1721895369
RUNJOBID= nodeC008-1721887939-273804
SLURM_JOB_ID= 8089302
Free space on /tmp= 723652 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2/normalized-lp4l.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459555-1721895369/watcher-4459555-1721895369 -o /tmp/evaluation-result-4459555-1721895369/solver-4459555-1721895369 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273804 --watchdog 3760  pb-oll-rs HOME/instance-4459555-1721895369.opb

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

MD5SUM BENCH= b6d457804c0edb01048fac97a08f0a0d
RANDOM SEED=2023214182

nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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	: 0xb00001f
cpu MHz		: 3638.170
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.19
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	: 0xb00001f
cpu MHz		: 3652.361
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
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	: 0xb00001f
cpu MHz		: 1197.142
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.19
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	: 0xb00001f
cpu MHz		: 1197.233
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
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	: 0xb00001f
cpu MHz		: 1197.132
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.19
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	: 0xb00001f
cpu MHz		: 3659.614
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
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	: 0xb00001f
cpu MHz		: 1197.129
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.19
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	: 0xb00001f
cpu MHz		: 1197.357
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        105860164 kB
MemAvailable:   125961236 kB
Buffers:          316460 kB
Cached:         20545220 kB
SwapCached:          732 kB
Active:          2866244 kB
Inactive:       22214868 kB
Active(anon):       1636 kB
Inactive(anon):  4271656 kB
Active(file):    2864608 kB
Inactive(file): 17943212 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              2248 kB
Writeback:            36 kB
AnonPages:       4217136 kB
Mapped:           123548 kB
Shmem:             53860 kB
KReclaimable:     266564 kB
Slab:             386708 kB
SReclaimable:     266564 kB
SUnreclaim:       120144 kB
KernelStack:        3884 kB
PageTables:        18128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    4719212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19456 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2934784 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      400200 kB
DirectMap2M:    49836032 kB
DirectMap1G:    85983232 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC008 at 2024-07-25 11:16:19