Trace number 4489359

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
mixed-bag-2024 2025-05-06? (TO) 3600.08 3610.91

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
MD5SUMd9affe619068a6673989e4355ed78893
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark182
Best CPU time to get the best result obtained on this benchmark3586.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables470
Total number of constraints469
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints469
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 470
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 470
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 470
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
0.00/0.02	c with Papilo
0.00/0.02	c with SCIP
0.00/0.02	c [STEP] parsing instance
0.00/0.03	c [STEP] preprocessing with Papilo
0.00/0.04	c [STEP] solving with SCIP
299.20/300.10	c [STEP] preprocessing done, loading into solver
299.20/300.11	c [STEP] solving
299.20/300.11	c #variables 471 #constraints 469
299.20/300.11	c SMALL=int, LARGE=long long
299.20/300.11	d SCIPUB 188
299.20/300.11	c bounds - >= 0 @ 299.16
299.20/300.11	c stratification level: 0
318.72/319.65	c bounds - >= 53 @ 299.162
318.72/319.65	c bounds - >= 54 @ 299.162
318.72/319.65	c bounds - >= 55 @ 299.162
318.72/319.65	c bounds - >= 56 @ 299.162
318.72/319.65	c bounds - >= 57 @ 299.163
318.72/319.65	c bounds - >= 58 @ 299.163
318.72/319.65	c bounds - >= 59 @ 299.163
318.72/319.65	c bounds - >= 60 @ 299.163
318.72/319.65	c bounds - >= 61 @ 299.163
318.72/319.65	c bounds - >= 62 @ 299.163
318.72/319.65	c bounds - >= 63 @ 299.163
318.72/319.65	c bounds - >= 64 @ 299.163
318.72/319.65	c bounds - >= 65 @ 299.163
318.72/319.65	c bounds - >= 66 @ 299.163
318.72/319.65	c bounds - >= 67 @ 299.163
318.72/319.65	c bounds - >= 68 @ 299.163
318.72/319.65	c bounds - >= 69 @ 299.163
318.72/319.65	c bounds - >= 70 @ 299.163
318.72/319.65	c bounds - >= 71 @ 299.163
318.72/319.65	c bounds - >= 72 @ 299.163
318.72/319.65	c bounds - >= 73 @ 299.163
318.72/319.65	c bounds - >= 74 @ 299.163
318.72/319.65	c bounds - >= 75 @ 299.164
318.72/319.65	c bounds - >= 76 @ 299.164
318.72/319.65	c bounds - >= 77 @ 299.164
318.72/319.65	c bounds - >= 78 @ 299.164
318.72/319.65	c bounds - >= 79 @ 299.164
318.72/319.65	c bounds - >= 80 @ 299.164
318.72/319.65	c bounds - >= 81 @ 299.164
318.72/319.65	c bounds - >= 82 @ 299.164
318.72/319.65	c bounds - >= 83 @ 299.164
318.72/319.65	c bounds - >= 84 @ 299.164
318.72/319.65	c bounds - >= 85 @ 299.164
318.72/319.65	c bounds - >= 86 @ 299.164
318.72/319.65	c bounds - >= 87 @ 299.164
318.72/319.65	c bounds - >= 88 @ 299.164
318.72/319.65	c bounds - >= 89 @ 299.164
318.72/319.65	c bounds - >= 90 @ 299.164
318.72/319.65	c bounds - >= 91 @ 299.164
318.72/319.65	c bounds - >= 92 @ 299.164
318.72/319.65	c bounds - >= 93 @ 299.165
318.72/319.65	c bounds - >= 94 @ 299.165
318.72/319.65	c bounds - >= 95 @ 299.165
318.72/319.65	c bounds - >= 96 @ 299.165
318.72/319.65	c bounds - >= 97 @ 299.165
318.72/319.65	c bounds - >= 98 @ 299.165
318.72/319.65	c bounds - >= 99 @ 299.165
318.72/319.65	c bounds - >= 100 @ 299.165
318.72/319.65	c bounds - >= 101 @ 299.165
318.72/319.65	c bounds - >= 102 @ 299.166
318.72/319.65	c bounds - >= 103 @ 299.166
318.72/319.65	c bounds - >= 104 @ 299.166
318.72/319.65	c bounds - >= 105 @ 299.166
318.72/319.65	c bounds - >= 106 @ 299.166
318.72/319.65	c bounds - >= 107 @ 299.166
318.72/319.65	c bounds - >= 108 @ 299.166
318.72/319.65	c bounds - >= 109 @ 299.166
318.72/319.65	c bounds - >= 110 @ 299.167
318.72/319.65	c bounds - >= 111 @ 299.167
318.72/319.65	c bounds - >= 112 @ 299.167
318.72/319.65	c bounds - >= 113 @ 299.167
318.72/319.65	c bounds - >= 114 @ 299.167
318.72/319.65	c bounds - >= 115 @ 299.167
318.72/319.65	c bounds - >= 116 @ 299.167
318.72/319.65	c bounds - >= 117 @ 299.167
318.72/319.65	c bounds - >= 118 @ 299.167
318.72/319.65	c bounds - >= 119 @ 299.167
318.72/319.65	c bounds - >= 120 @ 299.167
318.72/319.65	c bounds - >= 121 @ 299.167
318.72/319.65	c bounds - >= 122 @ 299.168
318.72/319.65	c bounds - >= 123 @ 299.168
318.72/319.65	c bounds - >= 124 @ 299.168
318.72/319.65	c bounds - >= 125 @ 299.168
318.72/319.65	c bounds - >= 126 @ 299.168
318.72/319.65	c bounds - >= 127 @ 299.168
318.72/319.65	c bounds - >= 128 @ 299.168
318.72/319.65	c bounds - >= 129 @ 299.169
318.72/319.65	c #Conflicts:       1000 | #Constraints:       1604
318.72/319.65	c #Conflicts:       2000 | #Constraints:       2604
318.72/319.65	c INPROCESSING
318.72/319.65	c GARBAGE COLLECT
318.72/319.65	c #Conflicts:       3000 | #Constraints:       2530
318.72/319.65	c #Conflicts:       4000 | #Constraints:       3530
318.72/319.65	c INPROCESSING
318.72/319.65	c GARBAGE COLLECT
318.72/319.65	c #Conflicts:       5000 | #Constraints:       2942
318.72/319.65	c #Conflicts:       6000 | #Constraints:       3942
318.72/319.65	c INPROCESSING
318.72/319.65	c GARBAGE COLLECT
318.72/319.65	c #Conflicts:       7000 | #Constraints:       2938
318.72/319.65	c #Conflicts:       8000 | #Constraints:       3938
318.72/319.65	c #Conflicts:       9000 | #Constraints:       4938
318.72/319.65	c INPROCESSING
318.72/319.65	c GARBAGE COLLECT
318.72/319.65	c #Conflicts:      10000 | #Constraints:       3637
318.72/319.65	c #Conflicts:      11000 | #Constraints:       4637
318.72/319.65	c #Conflicts:      12000 | #Constraints:       5637
318.72/319.65	c INPROCESSING
318.72/319.65	c GARBAGE COLLECT
318.72/319.65	c #Conflicts:      13000 | #Constraints:       4085
318.72/319.65	c #Conflicts:      14000 | #Constraints:       5085
318.72/319.65	c #Conflicts:      15000 | #Constraints:       6085
318.72/319.65	c INPROCESSING
318.72/319.65	c GARBAGE COLLECT
318.72/319.65	c #Conflicts:      16000 | #Constraints:       4317
318.72/319.65	c #Conflicts:      17000 | #Constraints:       5317
318.72/319.65	c #Conflicts:      18000 | #Constraints:       6317
318.72/319.65	c INPROCESSING
318.72/319.65	c GARBAGE COLLECT
318.72/319.65	c #Conflicts:      19000 | #Constraints:       4332
318.72/319.65	c #Conflicts:      20000 | #Constraints:       5332
318.72/319.65	c #Conflicts:      21000 | #Constraints:       6332
318.72/319.65	c INPROCESSING
318.72/319.65	c GARBAGE COLLECT
318.72/319.65	c #Conflicts:      22000 | #Constraints:       4133
318.72/319.65	c #Conflicts:      23000 | #Constraints:       5133
318.72/319.65	c #Conflicts:      24000 | #Constraints:       6133
318.72/319.65	c #Conflicts:      25000 | #Constraints:       7133
318.72/319.65	c INPROCESSING
318.72/319.65	c GARBAGE COLLECT
318.72/319.65	c #Conflicts:      26000 | #Constraints:       4735
318.72/319.65	c #Conflicts:      27000 | #Constraints:       5735
318.72/319.65	c #Conflicts:      28000 | #Constraints:       6735
318.72/319.65	c #Conflicts:      29000 | #Constraints:       7735
318.72/319.65	c INPROCESSING
318.72/319.65	c GARBAGE COLLECT
318.72/319.65	c #Conflicts:      30000 | #Constraints:       5138
318.72/319.65	c #Conflicts:      31000 | #Constraints:       6138
318.72/319.65	c #Conflicts:      32000 | #Constraints:       7138
415.64/416.83	c #Conflicts:      33000 | #Constraints:       8138
415.64/416.83	c INPROCESSING
415.64/416.83	c GARBAGE COLLECT
415.64/416.83	c #Conflicts:      34000 | #Constraints:       5339
415.64/416.83	c #Conflicts:      35000 | #Constraints:       6339
415.64/416.83	c #Conflicts:      36000 | #Constraints:       7339
415.64/416.83	c #Conflicts:      37000 | #Constraints:       8339
415.64/416.83	c INPROCESSING
415.64/416.83	c GARBAGE COLLECT
415.64/416.83	c #Conflicts:      38000 | #Constraints:       5341
415.64/416.83	c #Conflicts:      39000 | #Constraints:       6341
415.64/416.83	c #Conflicts:      40000 | #Constraints:       7341
415.64/416.83	c #Conflicts:      41000 | #Constraints:       8341
415.64/416.83	c INPROCESSING
415.64/416.83	c GARBAGE COLLECT
415.64/416.83	c #Conflicts:      42000 | #Constraints:       5144
415.64/416.83	c #Conflicts:      43000 | #Constraints:       6144
415.64/416.83	c #Conflicts:      44000 | #Constraints:       7144
415.64/416.83	c #Conflicts:      45000 | #Constraints:       8144
415.64/416.83	c #Conflicts:      46000 | #Constraints:       9144
415.64/416.83	c INPROCESSING
415.64/416.83	c GARBAGE COLLECT
415.64/416.83	c #Conflicts:      47000 | #Constraints:       5738
415.64/416.83	c #Conflicts:      48000 | #Constraints:       6738
415.64/416.83	c #Conflicts:      49000 | #Constraints:       7738
415.64/416.83	c #Conflicts:      50000 | #Constraints:       8738
415.64/416.83	c #Conflicts:      51000 | #Constraints:       9738
415.64/416.83	c INPROCESSING
415.64/416.83	c GARBAGE COLLECT
415.64/416.83	c #Conflicts:      52000 | #Constraints:       6140
415.64/416.83	c #Conflicts:      53000 | #Constraints:       7140
415.64/416.83	c #Conflicts:      54000 | #Constraints:       8140
415.64/416.83	c #Conflicts:      55000 | #Constraints:       9140
415.64/416.83	c #Conflicts:      56000 | #Constraints:      10140
415.64/416.83	c INPROCESSING
415.64/416.83	c GARBAGE COLLECT
415.64/416.83	c #Conflicts:      57000 | #Constraints:       6343
415.64/416.83	c #Conflicts:      58000 | #Constraints:       7343
415.64/416.83	c #Conflicts:      59000 | #Constraints:       8343
415.64/416.83	c #Conflicts:      60000 | #Constraints:       9343
415.64/416.83	c #Conflicts:      61000 | #Constraints:      10343
415.64/416.83	c INPROCESSING
415.64/416.83	c GARBAGE COLLECT
415.64/416.83	c #Conflicts:      62000 | #Constraints:       6344
415.64/416.83	c #Conflicts:      63000 | #Constraints:       7344
415.64/416.83	c #Conflicts:      64000 | #Constraints:       8344
415.64/416.83	c #Conflicts:      65000 | #Constraints:       9344
415.64/416.83	c #Conflicts:      66000 | #Constraints:      10344
415.64/416.83	c INPROCESSING
415.64/416.83	c GARBAGE COLLECT
415.64/416.83	c #Conflicts:      67000 | #Constraints:       6142
415.64/416.83	c #Conflicts:      68000 | #Constraints:       7142
415.64/416.83	c #Conflicts:      69000 | #Constraints:       8142
415.64/416.83	c #Conflicts:      70000 | #Constraints:       9142
415.64/416.83	c #Conflicts:      71000 | #Constraints:      10142
415.64/416.83	c #Conflicts:      72000 | #Constraints:      11142
415.64/416.83	c INPROCESSING
415.64/416.83	c GARBAGE COLLECT
415.64/416.83	c #Conflicts:      73000 | #Constraints:       6742
415.64/416.83	c #Conflicts:      74000 | #Constraints:       7742
415.64/416.83	c #Conflicts:      75000 | #Constraints:       8742
415.64/416.83	c #Conflicts:      76000 | #Constraints:       9742
415.64/416.83	c #Conflicts:      77000 | #Constraints:      10742
415.64/416.83	c #Conflicts:      78000 | #Constraints:      11742
415.64/416.83	c INPROCESSING
415.64/416.83	c GARBAGE COLLECT
415.64/416.83	c #Conflicts:      79000 | #Constraints:       7140
415.64/416.83	c #Conflicts:      80000 | #Constraints:       8140
415.64/416.83	c #Conflicts:      81000 | #Constraints:       9140
415.64/416.83	c #Conflicts:      82000 | #Constraints:      10140
415.64/416.83	c #Conflicts:      83000 | #Constraints:      11140
415.64/416.83	c #Conflicts:      84000 | #Constraints:      12140
415.64/416.83	c INPROCESSING
415.64/416.83	c GARBAGE COLLECT
415.64/416.83	c #Conflicts:      85000 | #Constraints:       7349
415.64/416.83	c #Conflicts:      86000 | #Constraints:       8349
415.64/416.83	c #Conflicts:      87000 | #Constraints:       9349
415.64/416.83	c #Conflicts:      88000 | #Constraints:      10349
415.64/416.83	c #Conflicts:      89000 | #Constraints:      11349
415.64/416.83	c #Conflicts:      90000 | #Constraints:      12349
415.64/416.83	c INPROCESSING
415.64/416.83	c GARBAGE COLLECT
415.64/416.83	c #Conflicts:      91000 | #Constraints:       7348
415.64/416.83	c #Conflicts:      92000 | #Constraints:       8348
415.64/416.83	c #Conflicts:      93000 | #Constraints:       9348
415.64/416.83	c #Conflicts:      94000 | #Constraints:      10348
415.64/416.83	c #Conflicts:      95000 | #Constraints:      11348
415.64/416.83	c #Conflicts:      96000 | #Constraints:      12348
415.64/416.83	c INPROCESSING
415.64/416.83	c GARBAGE COLLECT
415.64/416.83	c #Conflicts:      97000 | #Constraints:       7148
415.64/416.83	c #Conflicts:      98000 | #Constraints:       8148
415.64/416.83	c #Conflicts:      99000 | #Constraints:       9148
415.64/416.83	c #Conflicts:     100000 | #Constraints:      10148
415.64/416.83	c #Conflicts:     101000 | #Constraints:      11148
415.64/416.83	c #Conflicts:     102000 | #Constraints:      12148
415.64/416.83	c #Conflicts:     103000 | #Constraints:      13148
558.53/560.18	c INPROCESSING
558.53/560.18	c GARBAGE COLLECT
558.53/560.18	c #Conflicts:     104000 | #Constraints:       7743
558.53/560.18	c #Conflicts:     105000 | #Constraints:       8743
558.53/560.18	c #Conflicts:     106000 | #Constraints:       9743
558.53/560.18	c #Conflicts:     107000 | #Constraints:      10743
558.53/560.18	c #Conflicts:     108000 | #Constraints:      11743
558.53/560.18	c #Conflicts:     109000 | #Constraints:      12743
558.53/560.18	c #Conflicts:     110000 | #Constraints:      13743
558.53/560.18	c INPROCESSING
558.53/560.18	c GARBAGE COLLECT
558.53/560.18	c #Conflicts:     111000 | #Constraints:       8147
558.53/560.18	c #Conflicts:     112000 | #Constraints:       9147
558.53/560.18	c #Conflicts:     113000 | #Constraints:      10147
558.53/560.18	c #Conflicts:     114000 | #Constraints:      11147
558.53/560.18	c #Conflicts:     115000 | #Constraints:      12147
558.53/560.18	c #Conflicts:     116000 | #Constraints:      13147
558.53/560.18	c #Conflicts:     117000 | #Constraints:      14147
558.53/560.18	c INPROCESSING
558.53/560.18	c GARBAGE COLLECT
558.53/560.18	c #Conflicts:     118000 | #Constraints:       8342
558.53/560.18	c #Conflicts:     119000 | #Constraints:       9342
558.53/560.18	c #Conflicts:     120000 | #Constraints:      10342
558.53/560.18	c #Conflicts:     121000 | #Constraints:      11342
558.53/560.18	c #Conflicts:     122000 | #Constraints:      12342
558.53/560.18	c #Conflicts:     123000 | #Constraints:      13342
558.53/560.18	c #Conflicts:     124000 | #Constraints:      14342
558.53/560.18	c INPROCESSING
558.53/560.18	c GARBAGE COLLECT
558.53/560.18	c #Conflicts:     125000 | #Constraints:       8340
558.53/560.18	c #Conflicts:     126000 | #Constraints:       9340
558.53/560.18	c #Conflicts:     127000 | #Constraints:      10340
558.53/560.18	c #Conflicts:     128000 | #Constraints:      11340
558.53/560.18	c #Conflicts:     129000 | #Constraints:      12340
558.53/560.18	c #Conflicts:     130000 | #Constraints:      13340
558.53/560.18	c #Conflicts:     131000 | #Constraints:      14340
558.53/560.18	c INPROCESSING
558.53/560.18	c GARBAGE COLLECT
558.53/560.18	c #Conflicts:     132000 | #Constraints:       8141
558.53/560.18	c #Conflicts:     133000 | #Constraints:       9141
558.53/560.18	c #Conflicts:     134000 | #Constraints:      10141
558.53/560.18	c #Conflicts:     135000 | #Constraints:      11141
558.53/560.18	c #Conflicts:     136000 | #Constraints:      12141
558.53/560.18	c #Conflicts:     137000 | #Constraints:      13141
558.53/560.18	c #Conflicts:     138000 | #Constraints:      14141
558.53/560.18	c #Conflicts:     139000 | #Constraints:      15141
558.53/560.18	c INPROCESSING
558.53/560.18	c GARBAGE COLLECT
558.53/560.18	c #Conflicts:     140000 | #Constraints:       8742
558.53/560.18	c #Conflicts:     141000 | #Constraints:       9742
558.53/560.18	c #Conflicts:     142000 | #Constraints:      10742
558.53/560.18	c #Conflicts:     143000 | #Constraints:      11742
558.53/560.18	c #Conflicts:     144000 | #Constraints:      12742
558.53/560.18	c #Conflicts:     145000 | #Constraints:      13742
558.53/560.18	c #Conflicts:     146000 | #Constraints:      14742
558.53/560.18	c #Conflicts:     147000 | #Constraints:      15742
558.53/560.18	c INPROCESSING
558.53/560.18	c GARBAGE COLLECT
558.53/560.18	c #Conflicts:     148000 | #Constraints:       9148
558.53/560.18	c #Conflicts:     149000 | #Constraints:      10148
558.53/560.18	c #Conflicts:     150000 | #Constraints:      11148
558.53/560.18	c #Conflicts:     151000 | #Constraints:      12148
558.53/560.18	c #Conflicts:     152000 | #Constraints:      13148
558.53/560.18	c #Conflicts:     153000 | #Constraints:      14148
558.53/560.18	c #Conflicts:     154000 | #Constraints:      15148
558.53/560.18	c #Conflicts:     155000 | #Constraints:      16148
558.53/560.18	c INPROCESSING
558.53/560.18	c GARBAGE COLLECT
558.53/560.18	c #Conflicts:     156000 | #Constraints:       9349
558.53/560.18	c #Conflicts:     157000 | #Constraints:      10349
558.53/560.18	c #Conflicts:     158000 | #Constraints:      11349
558.53/560.18	c #Conflicts:     159000 | #Constraints:      12349
558.53/560.18	c #Conflicts:     160000 | #Constraints:      13349
558.53/560.18	c #Conflicts:     161000 | #Constraints:      14349
558.53/560.18	c #Conflicts:     162000 | #Constraints:      15349
558.53/560.18	c #Conflicts:     163000 | #Constraints:      16349
558.53/560.18	c INPROCESSING
558.53/560.18	c GARBAGE COLLECT
558.53/560.18	c #Conflicts:     164000 | #Constraints:       9347
558.53/560.18	c #Conflicts:     165000 | #Constraints:      10347
558.53/560.18	c #Conflicts:     166000 | #Constraints:      11347
558.53/560.18	c #Conflicts:     167000 | #Constraints:      12347
558.53/560.18	c #Conflicts:     168000 | #Constraints:      13347
558.53/560.18	c #Conflicts:     169000 | #Constraints:      14347
558.53/560.18	c #Conflicts:     170000 | #Constraints:      15347
558.53/560.18	c #Conflicts:     171000 | #Constraints:      16347
558.53/560.18	c INPROCESSING
558.53/560.18	c GARBAGE COLLECT
558.53/560.18	c #Conflicts:     172000 | #Constraints:       9142
558.53/560.18	c #Conflicts:     173000 | #Constraints:      10142
558.53/560.18	c #Conflicts:     174000 | #Constraints:      11142
558.53/560.18	c #Conflicts:     175000 | #Constraints:      12142
750.04/752.28	c #Conflicts:     176000 | #Constraints:      13142
750.04/752.28	c #Conflicts:     177000 | #Constraints:      14142
750.04/752.28	c #Conflicts:     178000 | #Constraints:      15142
750.04/752.28	c #Conflicts:     179000 | #Constraints:      16142
750.04/752.28	c #Conflicts:     180000 | #Constraints:      17142
750.04/752.28	c INPROCESSING
750.04/752.28	c GARBAGE COLLECT
750.04/752.28	c #Conflicts:     181000 | #Constraints:       9742
750.04/752.28	c #Conflicts:     182000 | #Constraints:      10742
750.04/752.28	c #Conflicts:     183000 | #Constraints:      11742
750.04/752.28	c #Conflicts:     184000 | #Constraints:      12742
750.04/752.28	c #Conflicts:     185000 | #Constraints:      13742
750.04/752.28	c #Conflicts:     186000 | #Constraints:      14742
750.04/752.28	c #Conflicts:     187000 | #Constraints:      15742
750.04/752.28	c #Conflicts:     188000 | #Constraints:      16742
750.04/752.28	c #Conflicts:     189000 | #Constraints:      17742
750.04/752.28	c INPROCESSING
750.04/752.28	c GARBAGE COLLECT
750.04/752.28	c #Conflicts:     190000 | #Constraints:      10145
750.04/752.28	c #Conflicts:     191000 | #Constraints:      11145
750.04/752.28	c #Conflicts:     192000 | #Constraints:      12145
750.04/752.28	c #Conflicts:     193000 | #Constraints:      13145
750.04/752.28	c #Conflicts:     194000 | #Constraints:      14145
750.04/752.28	c #Conflicts:     195000 | #Constraints:      15145
750.04/752.28	c #Conflicts:     196000 | #Constraints:      16145
750.04/752.28	c #Conflicts:     197000 | #Constraints:      17145
750.04/752.28	c #Conflicts:     198000 | #Constraints:      18145
750.04/752.28	c INPROCESSING
750.04/752.28	c GARBAGE COLLECT
750.04/752.28	c #Conflicts:     199000 | #Constraints:      10349
750.04/752.28	c #Conflicts:     200000 | #Constraints:      11349
750.04/752.28	c #Conflicts:     201000 | #Constraints:      12349
750.04/752.28	c #Conflicts:     202000 | #Constraints:      13349
750.04/752.28	c #Conflicts:     203000 | #Constraints:      14349
750.04/752.28	c #Conflicts:     204000 | #Constraints:      15349
750.04/752.28	c #Conflicts:     205000 | #Constraints:      16349
750.04/752.28	c #Conflicts:     206000 | #Constraints:      17349
750.04/752.28	c #Conflicts:     207000 | #Constraints:      18349
750.04/752.28	c INPROCESSING
750.04/752.28	c GARBAGE COLLECT
750.04/752.28	c #Conflicts:     208000 | #Constraints:      10346
750.04/752.28	c #Conflicts:     209000 | #Constraints:      11346
750.04/752.28	c #Conflicts:     210000 | #Constraints:      12346
750.04/752.28	c #Conflicts:     211000 | #Constraints:      13346
750.04/752.28	c #Conflicts:     212000 | #Constraints:      14346
750.04/752.28	c #Conflicts:     213000 | #Constraints:      15346
750.04/752.28	c #Conflicts:     214000 | #Constraints:      16346
750.04/752.28	c #Conflicts:     215000 | #Constraints:      17346
750.04/752.28	c #Conflicts:     216000 | #Constraints:      18346
750.04/752.28	c INPROCESSING
750.04/752.28	c GARBAGE COLLECT
750.04/752.28	c #Conflicts:     217000 | #Constraints:      10153
750.04/752.28	c #Conflicts:     218000 | #Constraints:      11153
750.04/752.28	c #Conflicts:     219000 | #Constraints:      12153
750.04/752.28	c #Conflicts:     220000 | #Constraints:      13153
750.04/752.28	c #Conflicts:     221000 | #Constraints:      14153
750.04/752.28	c #Conflicts:     222000 | #Constraints:      15153
750.04/752.28	c #Conflicts:     223000 | #Constraints:      16153
750.04/752.28	c #Conflicts:     224000 | #Constraints:      17153
750.04/752.28	c #Conflicts:     225000 | #Constraints:      18153
750.04/752.28	c #Conflicts:     226000 | #Constraints:      19153
750.04/752.28	c INPROCESSING
750.04/752.28	c GARBAGE COLLECT
750.04/752.28	c #Conflicts:     227000 | #Constraints:      10753
750.04/752.28	c #Conflicts:     228000 | #Constraints:      11753
750.04/752.28	c #Conflicts:     229000 | #Constraints:      12753
750.04/752.28	c #Conflicts:     230000 | #Constraints:      13753
750.04/752.28	c #Conflicts:     231000 | #Constraints:      14753
750.04/752.28	c #Conflicts:     232000 | #Constraints:      15753
750.04/752.28	c #Conflicts:     233000 | #Constraints:      16753
750.04/752.28	c #Conflicts:     234000 | #Constraints:      17753
750.04/752.28	c #Conflicts:     235000 | #Constraints:      18753
750.04/752.28	c #Conflicts:     236000 | #Constraints:      19753
750.04/752.28	c INPROCESSING
750.04/752.28	c GARBAGE COLLECT
750.04/752.28	c #Conflicts:     237000 | #Constraints:      11148
750.04/752.28	c #Conflicts:     238000 | #Constraints:      12148
750.04/752.28	c #Conflicts:     239000 | #Constraints:      13148
750.04/752.28	c #Conflicts:     240000 | #Constraints:      14148
750.04/752.28	c #Conflicts:     241000 | #Constraints:      15148
750.04/752.28	c #Conflicts:     242000 | #Constraints:      16148
750.04/752.28	c #Conflicts:     243000 | #Constraints:      17148
750.04/752.28	c #Conflicts:     244000 | #Constraints:      18148
750.04/752.28	c #Conflicts:     245000 | #Constraints:      19148
750.04/752.28	c #Conflicts:     246000 | #Constraints:      20148
750.04/752.28	c INPROCESSING
750.04/752.28	c GARBAGE COLLECT
750.04/752.28	c #Conflicts:     247000 | #Constraints:      11344
750.04/752.28	c #Conflicts:     248000 | #Constraints:      12344
750.04/752.28	c #Conflicts:     249000 | #Constraints:      13344
953.14/955.83	c #Conflicts:     250000 | #Constraints:      14344
953.14/955.83	c #Conflicts:     251000 | #Constraints:      15344
953.14/955.83	c #Conflicts:     252000 | #Constraints:      16344
953.14/955.83	c #Conflicts:     253000 | #Constraints:      17344
953.14/955.83	c #Conflicts:     254000 | #Constraints:      18344
953.14/955.83	c #Conflicts:     255000 | #Constraints:      19344
953.14/955.83	c #Conflicts:     256000 | #Constraints:      20344
953.14/955.83	c INPROCESSING
953.14/955.83	c GARBAGE COLLECT
953.14/955.83	c #Conflicts:     257000 | #Constraints:      11343
953.14/955.83	c #Conflicts:     258000 | #Constraints:      12343
953.14/955.83	c #Conflicts:     259000 | #Constraints:      13343
953.14/955.83	c #Conflicts:     260000 | #Constraints:      14343
953.14/955.83	c #Conflicts:     261000 | #Constraints:      15343
953.14/955.83	c #Conflicts:     262000 | #Constraints:      16343
953.14/955.83	c #Conflicts:     263000 | #Constraints:      17343
953.14/955.83	c #Conflicts:     264000 | #Constraints:      18343
953.14/955.83	c #Conflicts:     265000 | #Constraints:      19343
953.14/955.83	c #Conflicts:     266000 | #Constraints:      20343
953.14/955.83	c INPROCESSING
953.14/955.83	c GARBAGE COLLECT
953.14/955.83	c #Conflicts:     267000 | #Constraints:      11142
953.14/955.83	c #Conflicts:     268000 | #Constraints:      12142
953.14/955.83	c #Conflicts:     269000 | #Constraints:      13142
953.14/955.83	c #Conflicts:     270000 | #Constraints:      14142
953.14/955.83	c #Conflicts:     271000 | #Constraints:      15142
953.14/955.83	c #Conflicts:     272000 | #Constraints:      16142
953.14/955.83	c #Conflicts:     273000 | #Constraints:      17142
953.14/955.83	c #Conflicts:     274000 | #Constraints:      18142
953.14/955.83	c #Conflicts:     275000 | #Constraints:      19142
953.14/955.83	c #Conflicts:     276000 | #Constraints:      20142
953.14/955.83	c #Conflicts:     277000 | #Constraints:      21142
953.14/955.83	c INPROCESSING
953.14/955.83	c GARBAGE COLLECT
953.14/955.83	c #Conflicts:     278000 | #Constraints:      11743
953.14/955.83	c #Conflicts:     279000 | #Constraints:      12743
953.14/955.83	c #Conflicts:     280000 | #Constraints:      13743
953.14/955.83	c #Conflicts:     281000 | #Constraints:      14743
953.14/955.83	c #Conflicts:     282000 | #Constraints:      15743
953.14/955.83	c #Conflicts:     283000 | #Constraints:      16743
953.14/955.83	c #Conflicts:     284000 | #Constraints:      17743
953.14/955.83	c #Conflicts:     285000 | #Constraints:      18743
953.14/955.83	c #Conflicts:     286000 | #Constraints:      19743
953.14/955.83	c #Conflicts:     287000 | #Constraints:      20743
953.14/955.83	c #Conflicts:     288000 | #Constraints:      21743
953.14/955.83	c INPROCESSING
953.14/955.83	c GARBAGE COLLECT
953.14/955.83	c #Conflicts:     289000 | #Constraints:      12144
953.14/955.83	c #Conflicts:     290000 | #Constraints:      13144
953.14/955.83	c #Conflicts:     291000 | #Constraints:      14144
953.14/955.83	c #Conflicts:     292000 | #Constraints:      15144
953.14/955.83	c #Conflicts:     293000 | #Constraints:      16144
953.14/955.83	c #Conflicts:     294000 | #Constraints:      17144
953.14/955.83	c #Conflicts:     295000 | #Constraints:      18144
953.14/955.83	c #Conflicts:     296000 | #Constraints:      19144
953.14/955.83	c #Conflicts:     297000 | #Constraints:      20144
953.14/955.83	c #Conflicts:     298000 | #Constraints:      21144
953.14/955.83	c #Conflicts:     299000 | #Constraints:      22144
953.14/955.83	c INPROCESSING
953.14/955.83	c GARBAGE COLLECT
953.14/955.83	c #Conflicts:     300000 | #Constraints:      12341
953.14/955.83	c #Conflicts:     301000 | #Constraints:      13341
953.14/955.83	c #Conflicts:     302000 | #Constraints:      14341
953.14/955.83	c #Conflicts:     303000 | #Constraints:      15341
953.14/955.83	c #Conflicts:     304000 | #Constraints:      16341
953.14/955.83	c #Conflicts:     305000 | #Constraints:      17341
953.14/955.83	c #Conflicts:     306000 | #Constraints:      18341
953.14/955.83	c #Conflicts:     307000 | #Constraints:      19341
953.14/955.83	c #Conflicts:     308000 | #Constraints:      20341
953.14/955.83	c #Conflicts:     309000 | #Constraints:      21341
953.14/955.83	c #Conflicts:     310000 | #Constraints:      22341
953.14/955.83	c INPROCESSING
953.14/955.83	c GARBAGE COLLECT
953.14/955.83	c #Conflicts:     311000 | #Constraints:      12343
953.14/955.83	c #Conflicts:     312000 | #Constraints:      13343
953.14/955.83	c #Conflicts:     313000 | #Constraints:      14343
953.14/955.83	c #Conflicts:     314000 | #Constraints:      15343
953.14/955.83	c #Conflicts:     315000 | #Constraints:      16343
953.14/955.83	c #Conflicts:     316000 | #Constraints:      17343
953.14/955.83	c #Conflicts:     317000 | #Constraints:      18343
953.14/955.83	c #Conflicts:     318000 | #Constraints:      19343
953.14/955.83	c #Conflicts:     319000 | #Constraints:      20343
953.14/955.83	c #Conflicts:     320000 | #Constraints:      21343
953.14/955.83	c #Conflicts:     321000 | #Constraints:      22343
953.14/955.83	c INPROCESSING
953.14/955.83	c GARBAGE COLLECT
953.14/955.83	c #Conflicts:     322000 | #Constraints:      12143
953.14/955.83	c #Conflicts:     323000 | #Constraints:      13143
1178.67/1181.90	c #Conflicts:     324000 | #Constraints:      14143
1178.67/1181.90	c #Conflicts:     325000 | #Constraints:      15143
1178.67/1181.90	c #Conflicts:     326000 | #Constraints:      16143
1178.67/1181.90	c #Conflicts:     327000 | #Constraints:      17143
1178.67/1181.90	c #Conflicts:     328000 | #Constraints:      18143
1178.67/1181.90	c #Conflicts:     329000 | #Constraints:      19143
1178.67/1181.90	c #Conflicts:     330000 | #Constraints:      20143
1178.67/1181.90	c #Conflicts:     331000 | #Constraints:      21143
1178.67/1181.90	c #Conflicts:     332000 | #Constraints:      22143
1178.67/1181.90	c #Conflicts:     333000 | #Constraints:      23143
1178.67/1181.90	c INPROCESSING
1178.67/1181.90	c GARBAGE COLLECT
1178.67/1181.90	c #Conflicts:     334000 | #Constraints:      12745
1178.67/1181.90	c #Conflicts:     335000 | #Constraints:      13745
1178.67/1181.90	c #Conflicts:     336000 | #Constraints:      14745
1178.67/1181.90	c #Conflicts:     337000 | #Constraints:      15745
1178.67/1181.90	c #Conflicts:     338000 | #Constraints:      16745
1178.67/1181.90	c #Conflicts:     339000 | #Constraints:      17745
1178.67/1181.90	c #Conflicts:     340000 | #Constraints:      18745
1178.67/1181.90	c #Conflicts:     341000 | #Constraints:      19745
1178.67/1181.90	c #Conflicts:     342000 | #Constraints:      20745
1178.67/1181.90	c #Conflicts:     343000 | #Constraints:      21745
1178.67/1181.90	c #Conflicts:     344000 | #Constraints:      22745
1178.67/1181.90	c #Conflicts:     345000 | #Constraints:      23745
1178.67/1181.90	c INPROCESSING
1178.67/1181.90	c GARBAGE COLLECT
1178.67/1181.90	c #Conflicts:     346000 | #Constraints:      13144
1178.67/1181.90	c #Conflicts:     347000 | #Constraints:      14144
1178.67/1181.90	c #Conflicts:     348000 | #Constraints:      15144
1178.67/1181.90	c #Conflicts:     349000 | #Constraints:      16144
1178.67/1181.90	c #Conflicts:     350000 | #Constraints:      17144
1178.67/1181.90	c #Conflicts:     351000 | #Constraints:      18144
1178.67/1181.90	c #Conflicts:     352000 | #Constraints:      19144
1178.67/1181.90	c #Conflicts:     353000 | #Constraints:      20144
1178.67/1181.90	c #Conflicts:     354000 | #Constraints:      21144
1178.67/1181.90	c #Conflicts:     355000 | #Constraints:      22144
1178.67/1181.90	c #Conflicts:     356000 | #Constraints:      23144
1178.67/1181.90	c #Conflicts:     357000 | #Constraints:      24144
1178.67/1181.90	c INPROCESSING
1178.67/1181.90	c GARBAGE COLLECT
1178.67/1181.90	c #Conflicts:     358000 | #Constraints:      13345
1178.67/1181.90	c #Conflicts:     359000 | #Constraints:      14345
1178.67/1181.90	c #Conflicts:     360000 | #Constraints:      15345
1178.67/1181.90	c #Conflicts:     361000 | #Constraints:      16345
1178.67/1181.90	c #Conflicts:     362000 | #Constraints:      17345
1178.67/1181.90	c #Conflicts:     363000 | #Constraints:      18345
1178.67/1181.90	c #Conflicts:     364000 | #Constraints:      19345
1178.67/1181.90	c #Conflicts:     365000 | #Constraints:      20345
1178.67/1181.90	c #Conflicts:     366000 | #Constraints:      21345
1178.67/1181.90	c #Conflicts:     367000 | #Constraints:      22345
1178.67/1181.90	c #Conflicts:     368000 | #Constraints:      23345
1178.67/1181.90	c #Conflicts:     369000 | #Constraints:      24345
1178.67/1181.90	c INPROCESSING
1178.67/1181.90	c GARBAGE COLLECT
1178.67/1181.90	c #Conflicts:     370000 | #Constraints:      13344
1178.67/1181.90	c #Conflicts:     371000 | #Constraints:      14344
1178.67/1181.90	c #Conflicts:     372000 | #Constraints:      15344
1178.67/1181.90	c #Conflicts:     373000 | #Constraints:      16344
1178.67/1181.90	c #Conflicts:     374000 | #Constraints:      17344
1178.67/1181.90	c #Conflicts:     375000 | #Constraints:      18344
1178.67/1181.90	c #Conflicts:     376000 | #Constraints:      19344
1178.67/1181.90	c #Conflicts:     377000 | #Constraints:      20344
1178.67/1181.90	c #Conflicts:     378000 | #Constraints:      21344
1178.67/1181.90	c #Conflicts:     379000 | #Constraints:      22344
1178.67/1181.90	c #Conflicts:     380000 | #Constraints:      23344
1178.67/1181.90	c #Conflicts:     381000 | #Constraints:      24344
1178.67/1181.90	c INPROCESSING
1178.67/1181.90	c GARBAGE COLLECT
1178.67/1181.90	c #Conflicts:     382000 | #Constraints:      13143
1178.67/1181.90	c #Conflicts:     383000 | #Constraints:      14143
1178.67/1181.90	c #Conflicts:     384000 | #Constraints:      15143
1178.67/1181.90	c #Conflicts:     385000 | #Constraints:      16143
1178.67/1181.90	c #Conflicts:     386000 | #Constraints:      17143
1178.67/1181.90	c #Conflicts:     387000 | #Constraints:      18143
1178.67/1181.90	c #Conflicts:     388000 | #Constraints:      19143
1178.67/1181.90	c #Conflicts:     389000 | #Constraints:      20143
1178.67/1181.90	c #Conflicts:     390000 | #Constraints:      21143
1178.67/1181.90	c #Conflicts:     391000 | #Constraints:      22143
1178.67/1181.90	c #Conflicts:     392000 | #Constraints:      23143
1178.67/1181.90	c #Conflicts:     393000 | #Constraints:      24143
1178.67/1181.90	c #Conflicts:     394000 | #Constraints:      25143
1178.67/1181.90	c INPROCESSING
1178.67/1181.90	c GARBAGE COLLECT
1178.67/1181.90	c #Conflicts:     395000 | #Constraints:      13748
1178.67/1181.90	c #Conflicts:     396000 | #Constraints:      14748
1178.67/1181.90	c #Conflicts:     397000 | #Constraints:      15748
1178.67/1181.90	c #Conflicts:     398000 | #Constraints:      16748
1463.70/1467.83	c #Conflicts:     399000 | #Constraints:      17748
1463.70/1467.83	c #Conflicts:     400000 | #Constraints:      18748
1463.70/1467.83	c #Conflicts:     401000 | #Constraints:      19748
1463.70/1467.83	c #Conflicts:     402000 | #Constraints:      20748
1463.70/1467.83	c #Conflicts:     403000 | #Constraints:      21748
1463.70/1467.83	c #Conflicts:     404000 | #Constraints:      22748
1463.70/1467.83	c #Conflicts:     405000 | #Constraints:      23748
1463.70/1467.83	c #Conflicts:     406000 | #Constraints:      24748
1463.70/1467.83	c #Conflicts:     407000 | #Constraints:      25748
1463.70/1467.83	c INPROCESSING
1463.70/1467.83	c GARBAGE COLLECT
1463.70/1467.83	c #Conflicts:     408000 | #Constraints:      14150
1463.70/1467.83	c #Conflicts:     409000 | #Constraints:      15150
1463.70/1467.83	c #Conflicts:     410000 | #Constraints:      16150
1463.70/1467.83	c #Conflicts:     411000 | #Constraints:      17150
1463.70/1467.83	c #Conflicts:     412000 | #Constraints:      18150
1463.70/1467.83	c #Conflicts:     413000 | #Constraints:      19150
1463.70/1467.83	c #Conflicts:     414000 | #Constraints:      20150
1463.70/1467.83	c #Conflicts:     415000 | #Constraints:      21150
1463.70/1467.83	c #Conflicts:     416000 | #Constraints:      22150
1463.70/1467.83	c #Conflicts:     417000 | #Constraints:      23150
1463.70/1467.83	c #Conflicts:     418000 | #Constraints:      24150
1463.70/1467.83	c #Conflicts:     419000 | #Constraints:      25150
1463.70/1467.83	c #Conflicts:     420000 | #Constraints:      26150
1463.70/1467.83	c INPROCESSING
1463.70/1467.83	c GARBAGE COLLECT
1463.70/1467.83	c #Conflicts:     421000 | #Constraints:      14351
1463.70/1467.83	c #Conflicts:     422000 | #Constraints:      15351
1463.70/1467.83	c #Conflicts:     423000 | #Constraints:      16351
1463.70/1467.83	c #Conflicts:     424000 | #Constraints:      17351
1463.70/1467.83	c #Conflicts:     425000 | #Constraints:      18351
1463.70/1467.83	c #Conflicts:     426000 | #Constraints:      19351
1463.70/1467.83	c #Conflicts:     427000 | #Constraints:      20351
1463.70/1467.83	c #Conflicts:     428000 | #Constraints:      21351
1463.70/1467.83	c #Conflicts:     429000 | #Constraints:      22351
1463.70/1467.83	c #Conflicts:     430000 | #Constraints:      23351
1463.70/1467.83	c #Conflicts:     431000 | #Constraints:      24351
1463.70/1467.83	c #Conflicts:     432000 | #Constraints:      25351
1463.70/1467.83	c #Conflicts:     433000 | #Constraints:      26351
1463.70/1467.83	c INPROCESSING
1463.70/1467.83	c GARBAGE COLLECT
1463.70/1467.83	c #Conflicts:     434000 | #Constraints:      14351
1463.70/1467.83	c #Conflicts:     435000 | #Constraints:      15351
1463.70/1467.83	c #Conflicts:     436000 | #Constraints:      16351
1463.70/1467.83	c #Conflicts:     437000 | #Constraints:      17351
1463.70/1467.83	c #Conflicts:     438000 | #Constraints:      18351
1463.70/1467.83	c #Conflicts:     439000 | #Constraints:      19351
1463.70/1467.83	c #Conflicts:     440000 | #Constraints:      20351
1463.70/1467.83	c #Conflicts:     441000 | #Constraints:      21351
1463.70/1467.83	c #Conflicts:     442000 | #Constraints:      22351
1463.70/1467.83	c #Conflicts:     443000 | #Constraints:      23351
1463.70/1467.83	c #Conflicts:     444000 | #Constraints:      24351
1463.70/1467.83	c #Conflicts:     445000 | #Constraints:      25351
1463.70/1467.83	c #Conflicts:     446000 | #Constraints:      26351
1463.70/1467.83	c INPROCESSING
1463.70/1467.83	c GARBAGE COLLECT
1463.70/1467.83	c #Conflicts:     447000 | #Constraints:      14151
1463.70/1467.83	c #Conflicts:     448000 | #Constraints:      15151
1463.70/1467.83	c #Conflicts:     449000 | #Constraints:      16151
1463.70/1467.83	c #Conflicts:     450000 | #Constraints:      17151
1463.70/1467.83	c #Conflicts:     451000 | #Constraints:      18151
1463.70/1467.83	c #Conflicts:     452000 | #Constraints:      19151
1463.70/1467.83	c #Conflicts:     453000 | #Constraints:      20151
1463.70/1467.83	c #Conflicts:     454000 | #Constraints:      21151
1463.70/1467.83	c #Conflicts:     455000 | #Constraints:      22151
1463.70/1467.83	c #Conflicts:     456000 | #Constraints:      23151
1463.70/1467.83	c #Conflicts:     457000 | #Constraints:      24151
1463.70/1467.83	c #Conflicts:     458000 | #Constraints:      25151
1463.70/1467.83	c #Conflicts:     459000 | #Constraints:      26151
1463.70/1467.83	c #Conflicts:     460000 | #Constraints:      27151
1463.70/1467.83	c INPROCESSING
1463.70/1467.83	c GARBAGE COLLECT
1463.70/1467.83	c #Conflicts:     461000 | #Constraints:      14754
1463.70/1467.83	c #Conflicts:     462000 | #Constraints:      15754
1463.70/1467.83	c #Conflicts:     463000 | #Constraints:      16754
1463.70/1467.83	c #Conflicts:     464000 | #Constraints:      17754
1463.70/1467.83	c #Conflicts:     465000 | #Constraints:      18754
1463.70/1467.83	c #Conflicts:     466000 | #Constraints:      19754
1463.70/1467.83	c #Conflicts:     467000 | #Constraints:      20754
1463.70/1467.83	c #Conflicts:     468000 | #Constraints:      21754
1463.70/1467.83	c #Conflicts:     469000 | #Constraints:      22754
1463.70/1467.83	c #Conflicts:     470000 | #Constraints:      23754
1463.70/1467.83	c #Conflicts:     471000 | #Constraints:      24754
1463.70/1467.83	c #Conflicts:     472000 | #Constraints:      25754
1463.70/1467.83	c #Conflicts:     473000 | #Constraints:      26754
1463.70/1467.83	c #Conflicts:     474000 | #Constraints:      27754
1748.73/1753.78	c INPROCESSING
1748.73/1753.78	c GARBAGE COLLECT
1748.73/1753.78	c #Conflicts:     475000 | #Constraints:      15154
1748.73/1753.78	c #Conflicts:     476000 | #Constraints:      16154
1748.73/1753.78	c #Conflicts:     477000 | #Constraints:      17154
1748.73/1753.78	c #Conflicts:     478000 | #Constraints:      18154
1748.73/1753.78	c #Conflicts:     479000 | #Constraints:      19154
1748.73/1753.78	c #Conflicts:     480000 | #Constraints:      20154
1748.73/1753.78	c #Conflicts:     481000 | #Constraints:      21154
1748.73/1753.78	c #Conflicts:     482000 | #Constraints:      22154
1748.73/1753.78	c #Conflicts:     483000 | #Constraints:      23154
1748.73/1753.78	c #Conflicts:     484000 | #Constraints:      24154
1748.73/1753.78	c #Conflicts:     485000 | #Constraints:      25154
1748.73/1753.78	c #Conflicts:     486000 | #Constraints:      26154
1748.73/1753.78	c #Conflicts:     487000 | #Constraints:      27154
1748.73/1753.78	c #Conflicts:     488000 | #Constraints:      28154
1748.73/1753.78	c INPROCESSING
1748.73/1753.78	c GARBAGE COLLECT
1748.73/1753.78	c #Conflicts:     489000 | #Constraints:      15354
1748.73/1753.78	c #Conflicts:     490000 | #Constraints:      16354
1748.73/1753.78	c #Conflicts:     491000 | #Constraints:      17354
1748.73/1753.78	c #Conflicts:     492000 | #Constraints:      18354
1748.73/1753.78	c #Conflicts:     493000 | #Constraints:      19354
1748.73/1753.78	c #Conflicts:     494000 | #Constraints:      20354
1748.73/1753.78	c #Conflicts:     495000 | #Constraints:      21354
1748.73/1753.78	c #Conflicts:     496000 | #Constraints:      22354
1748.73/1753.78	c #Conflicts:     497000 | #Constraints:      23354
1748.73/1753.78	c #Conflicts:     498000 | #Constraints:      24354
1748.73/1753.78	c #Conflicts:     499000 | #Constraints:      25354
1748.73/1753.78	c #Conflicts:     500000 | #Constraints:      26354
1748.73/1753.78	c #Conflicts:     501000 | #Constraints:      27354
1748.73/1753.78	c #Conflicts:     502000 | #Constraints:      28354
1748.73/1753.78	c INPROCESSING
1748.73/1753.78	c GARBAGE COLLECT
1748.73/1753.78	c #Conflicts:     503000 | #Constraints:      15353
1748.73/1753.78	c #Conflicts:     504000 | #Constraints:      16353
1748.73/1753.78	c #Conflicts:     505000 | #Constraints:      17353
1748.73/1753.78	c #Conflicts:     506000 | #Constraints:      18353
1748.73/1753.78	c #Conflicts:     507000 | #Constraints:      19353
1748.73/1753.78	c #Conflicts:     508000 | #Constraints:      20353
1748.73/1753.78	c #Conflicts:     509000 | #Constraints:      21353
1748.73/1753.78	c #Conflicts:     510000 | #Constraints:      22353
1748.73/1753.78	c #Conflicts:     511000 | #Constraints:      23353
1748.73/1753.78	c #Conflicts:     512000 | #Constraints:      24353
1748.73/1753.78	c #Conflicts:     513000 | #Constraints:      25353
1748.73/1753.78	c #Conflicts:     514000 | #Constraints:      26353
1748.73/1753.78	c #Conflicts:     515000 | #Constraints:      27353
1748.73/1753.78	c #Conflicts:     516000 | #Constraints:      28353
1748.73/1753.78	c INPROCESSING
1748.73/1753.78	c GARBAGE COLLECT
1748.73/1753.78	c #Conflicts:     517000 | #Constraints:      15149
1748.73/1753.78	c #Conflicts:     518000 | #Constraints:      16149
1748.73/1753.78	c #Conflicts:     519000 | #Constraints:      17149
1748.73/1753.78	c #Conflicts:     520000 | #Constraints:      18149
1748.73/1753.78	c #Conflicts:     521000 | #Constraints:      19149
1748.73/1753.78	c #Conflicts:     522000 | #Constraints:      20149
1748.73/1753.78	c #Conflicts:     523000 | #Constraints:      21149
1748.73/1753.78	c #Conflicts:     524000 | #Constraints:      22149
1748.73/1753.78	c #Conflicts:     525000 | #Constraints:      23149
1748.73/1753.78	c #Conflicts:     526000 | #Constraints:      24149
1748.73/1753.78	c #Conflicts:     527000 | #Constraints:      25149
1748.73/1753.78	c #Conflicts:     528000 | #Constraints:      26149
1748.73/1753.78	c #Conflicts:     529000 | #Constraints:      27149
1748.73/1753.78	c #Conflicts:     530000 | #Constraints:      28149
1748.73/1753.78	c #Conflicts:     531000 | #Constraints:      29149
1748.73/1753.78	c INPROCESSING
1748.73/1753.78	c GARBAGE COLLECT
1748.73/1753.78	c #Conflicts:     532000 | #Constraints:      15745
1748.73/1753.78	c #Conflicts:     533000 | #Constraints:      16745
1748.73/1753.78	c #Conflicts:     534000 | #Constraints:      17745
1748.73/1753.78	c #Conflicts:     535000 | #Constraints:      18745
1748.73/1753.78	c #Conflicts:     536000 | #Constraints:      19745
1748.73/1753.78	c #Conflicts:     537000 | #Constraints:      20745
1748.73/1753.78	c #Conflicts:     538000 | #Constraints:      21745
1748.73/1753.78	c #Conflicts:     539000 | #Constraints:      22745
1748.73/1753.78	c #Conflicts:     540000 | #Constraints:      23745
1748.73/1753.78	c #Conflicts:     541000 | #Constraints:      24745
1748.73/1753.78	c #Conflicts:     542000 | #Constraints:      25745
1748.73/1753.78	c #Conflicts:     543000 | #Constraints:      26745
1748.73/1753.78	c #Conflicts:     544000 | #Constraints:      27745
1748.73/1753.78	c #Conflicts:     545000 | #Constraints:      28745
1748.73/1753.78	c #Conflicts:     546000 | #Constraints:      29745
1748.73/1753.78	c INPROCESSING
1748.73/1753.78	c GARBAGE COLLECT
1748.73/1753.78	c #Conflicts:     547000 | #Constraints:      16148
1748.73/1753.78	c #Conflicts:     548000 | #Constraints:      17148
1748.73/1753.78	c #Conflicts:     549000 | #Constraints:      18148
2061.87/2067.85	c #Conflicts:     550000 | #Constraints:      19148
2061.87/2067.85	c #Conflicts:     551000 | #Constraints:      20148
2061.87/2067.85	c #Conflicts:     552000 | #Constraints:      21148
2061.87/2067.85	c #Conflicts:     553000 | #Constraints:      22148
2061.87/2067.85	c #Conflicts:     554000 | #Constraints:      23148
2061.87/2067.85	c #Conflicts:     555000 | #Constraints:      24148
2061.87/2067.85	c #Conflicts:     556000 | #Constraints:      25148
2061.87/2067.85	c #Conflicts:     557000 | #Constraints:      26148
2061.87/2067.85	c #Conflicts:     558000 | #Constraints:      27148
2061.87/2067.85	c #Conflicts:     559000 | #Constraints:      28148
2061.87/2067.85	c #Conflicts:     560000 | #Constraints:      29148
2061.87/2067.85	c #Conflicts:     561000 | #Constraints:      30148
2061.87/2067.85	c INPROCESSING
2061.87/2067.85	c GARBAGE COLLECT
2061.87/2067.85	c #Conflicts:     562000 | #Constraints:      16351
2061.87/2067.85	c #Conflicts:     563000 | #Constraints:      17351
2061.87/2067.85	c #Conflicts:     564000 | #Constraints:      18351
2061.87/2067.85	c #Conflicts:     565000 | #Constraints:      19351
2061.87/2067.85	c #Conflicts:     566000 | #Constraints:      20351
2061.87/2067.85	c #Conflicts:     567000 | #Constraints:      21351
2061.87/2067.85	c #Conflicts:     568000 | #Constraints:      22351
2061.87/2067.85	c #Conflicts:     569000 | #Constraints:      23351
2061.87/2067.85	c #Conflicts:     570000 | #Constraints:      24351
2061.87/2067.85	c #Conflicts:     571000 | #Constraints:      25351
2061.87/2067.85	c #Conflicts:     572000 | #Constraints:      26351
2061.87/2067.85	c #Conflicts:     573000 | #Constraints:      27351
2061.87/2067.85	c #Conflicts:     574000 | #Constraints:      28351
2061.87/2067.85	c #Conflicts:     575000 | #Constraints:      29351
2061.87/2067.85	c #Conflicts:     576000 | #Constraints:      30351
2061.87/2067.85	c INPROCESSING
2061.87/2067.85	c GARBAGE COLLECT
2061.87/2067.85	c #Conflicts:     577000 | #Constraints:      16348
2061.87/2067.85	c #Conflicts:     578000 | #Constraints:      17348
2061.87/2067.85	c #Conflicts:     579000 | #Constraints:      18348
2061.87/2067.85	c #Conflicts:     580000 | #Constraints:      19348
2061.87/2067.85	c #Conflicts:     581000 | #Constraints:      20348
2061.87/2067.85	c #Conflicts:     582000 | #Constraints:      21348
2061.87/2067.85	c #Conflicts:     583000 | #Constraints:      22348
2061.87/2067.85	c #Conflicts:     584000 | #Constraints:      23348
2061.87/2067.85	c #Conflicts:     585000 | #Constraints:      24348
2061.87/2067.85	c #Conflicts:     586000 | #Constraints:      25348
2061.87/2067.85	c #Conflicts:     587000 | #Constraints:      26348
2061.87/2067.85	c #Conflicts:     588000 | #Constraints:      27348
2061.87/2067.85	c #Conflicts:     589000 | #Constraints:      28348
2061.87/2067.85	c #Conflicts:     590000 | #Constraints:      29348
2061.87/2067.85	c #Conflicts:     591000 | #Constraints:      30348
2061.87/2067.85	c INPROCESSING
2061.87/2067.85	c GARBAGE COLLECT
2061.87/2067.85	c #Conflicts:     592000 | #Constraints:      16145
2061.87/2067.85	c #Conflicts:     593000 | #Constraints:      17145
2061.87/2067.85	c #Conflicts:     594000 | #Constraints:      18145
2061.87/2067.85	c #Conflicts:     595000 | #Constraints:      19145
2061.87/2067.85	c #Conflicts:     596000 | #Constraints:      20145
2061.87/2067.85	c #Conflicts:     597000 | #Constraints:      21145
2061.87/2067.85	c #Conflicts:     598000 | #Constraints:      22145
2061.87/2067.85	c #Conflicts:     599000 | #Constraints:      23145
2061.87/2067.85	c #Conflicts:     600000 | #Constraints:      24145
2061.87/2067.85	c #Conflicts:     601000 | #Constraints:      25145
2061.87/2067.85	c #Conflicts:     602000 | #Constraints:      26145
2061.87/2067.85	c #Conflicts:     603000 | #Constraints:      27145
2061.87/2067.85	c #Conflicts:     604000 | #Constraints:      28145
2061.87/2067.85	c #Conflicts:     605000 | #Constraints:      29145
2061.87/2067.85	c #Conflicts:     606000 | #Constraints:      30145
2061.87/2067.85	c #Conflicts:     607000 | #Constraints:      31145
2061.87/2067.85	c INPROCESSING
2061.87/2067.85	c GARBAGE COLLECT
2061.87/2067.85	c #Conflicts:     608000 | #Constraints:      16742
2061.87/2067.85	c #Conflicts:     609000 | #Constraints:      17742
2061.87/2067.85	c #Conflicts:     610000 | #Constraints:      18742
2061.87/2067.85	c #Conflicts:     611000 | #Constraints:      19742
2061.87/2067.85	c #Conflicts:     612000 | #Constraints:      20742
2061.87/2067.85	c #Conflicts:     613000 | #Constraints:      21742
2061.87/2067.85	c #Conflicts:     614000 | #Constraints:      22742
2061.87/2067.85	c #Conflicts:     615000 | #Constraints:      23742
2061.87/2067.85	c #Conflicts:     616000 | #Constraints:      24742
2061.87/2067.85	c #Conflicts:     617000 | #Constraints:      25742
2061.87/2067.85	c #Conflicts:     618000 | #Constraints:      26742
2061.87/2067.85	c #Conflicts:     619000 | #Constraints:      27742
2061.87/2067.85	c #Conflicts:     620000 | #Constraints:      28742
2061.87/2067.85	c #Conflicts:     621000 | #Constraints:      29742
2061.87/2067.85	c #Conflicts:     622000 | #Constraints:      30742
2061.87/2067.85	c #Conflicts:     623000 | #Constraints:      31742
2061.87/2067.85	c INPROCESSING
2061.87/2067.85	c GARBAGE COLLECT
2061.87/2067.85	c #Conflicts:     624000 | #Constraints:      17142
2394.57/2401.59	c #Conflicts:     625000 | #Constraints:      18142
2394.57/2401.59	c #Conflicts:     626000 | #Constraints:      19142
2394.57/2401.59	c #Conflicts:     627000 | #Constraints:      20142
2394.57/2401.59	c #Conflicts:     628000 | #Constraints:      21142
2394.57/2401.59	c #Conflicts:     629000 | #Constraints:      22142
2394.57/2401.59	c #Conflicts:     630000 | #Constraints:      23142
2394.57/2401.59	c #Conflicts:     631000 | #Constraints:      24142
2394.57/2401.59	c #Conflicts:     632000 | #Constraints:      25142
2394.57/2401.59	c #Conflicts:     633000 | #Constraints:      26142
2394.57/2401.59	c #Conflicts:     634000 | #Constraints:      27142
2394.57/2401.59	c #Conflicts:     635000 | #Constraints:      28142
2394.57/2401.59	c #Conflicts:     636000 | #Constraints:      29142
2394.57/2401.59	c #Conflicts:     637000 | #Constraints:      30142
2394.57/2401.59	c #Conflicts:     638000 | #Constraints:      31142
2394.57/2401.59	c #Conflicts:     639000 | #Constraints:      32142
2394.57/2401.59	c INPROCESSING
2394.57/2401.59	c GARBAGE COLLECT
2394.57/2401.59	c #Conflicts:     640000 | #Constraints:      17342
2394.57/2401.59	c #Conflicts:     641000 | #Constraints:      18342
2394.57/2401.59	c #Conflicts:     642000 | #Constraints:      19342
2394.57/2401.59	c #Conflicts:     643000 | #Constraints:      20342
2394.57/2401.59	c #Conflicts:     644000 | #Constraints:      21342
2394.57/2401.59	c #Conflicts:     645000 | #Constraints:      22342
2394.57/2401.59	c #Conflicts:     646000 | #Constraints:      23342
2394.57/2401.59	c #Conflicts:     647000 | #Constraints:      24342
2394.57/2401.59	c #Conflicts:     648000 | #Constraints:      25342
2394.57/2401.59	c #Conflicts:     649000 | #Constraints:      26342
2394.57/2401.59	c #Conflicts:     650000 | #Constraints:      27342
2394.57/2401.59	c #Conflicts:     651000 | #Constraints:      28342
2394.57/2401.59	c #Conflicts:     652000 | #Constraints:      29342
2394.57/2401.59	c #Conflicts:     653000 | #Constraints:      30342
2394.57/2401.59	c #Conflicts:     654000 | #Constraints:      31342
2394.57/2401.59	c #Conflicts:     655000 | #Constraints:      32342
2394.57/2401.59	c INPROCESSING
2394.57/2401.59	c GARBAGE COLLECT
2394.57/2401.59	c #Conflicts:     656000 | #Constraints:      17348
2394.57/2401.59	c #Conflicts:     657000 | #Constraints:      18348
2394.57/2401.59	c #Conflicts:     658000 | #Constraints:      19348
2394.57/2401.59	c #Conflicts:     659000 | #Constraints:      20348
2394.57/2401.59	c #Conflicts:     660000 | #Constraints:      21348
2394.57/2401.59	c #Conflicts:     661000 | #Constraints:      22348
2394.57/2401.59	c #Conflicts:     662000 | #Constraints:      23348
2394.57/2401.59	c #Conflicts:     663000 | #Constraints:      24348
2394.57/2401.59	c #Conflicts:     664000 | #Constraints:      25348
2394.57/2401.59	c #Conflicts:     665000 | #Constraints:      26348
2394.57/2401.59	c #Conflicts:     666000 | #Constraints:      27348
2394.57/2401.59	c #Conflicts:     667000 | #Constraints:      28348
2394.57/2401.59	c #Conflicts:     668000 | #Constraints:      29348
2394.57/2401.59	c #Conflicts:     669000 | #Constraints:      30348
2394.57/2401.59	c #Conflicts:     670000 | #Constraints:      31348
2394.57/2401.59	c #Conflicts:     671000 | #Constraints:      32348
2394.57/2401.59	c INPROCESSING
2394.57/2401.59	c GARBAGE COLLECT
2394.57/2401.59	c #Conflicts:     672000 | #Constraints:      17146
2394.57/2401.59	c #Conflicts:     673000 | #Constraints:      18146
2394.57/2401.59	c #Conflicts:     674000 | #Constraints:      19146
2394.57/2401.59	c #Conflicts:     675000 | #Constraints:      20146
2394.57/2401.59	c #Conflicts:     676000 | #Constraints:      21146
2394.57/2401.59	c #Conflicts:     677000 | #Constraints:      22146
2394.57/2401.59	c #Conflicts:     678000 | #Constraints:      23146
2394.57/2401.59	c #Conflicts:     679000 | #Constraints:      24146
2394.57/2401.59	c #Conflicts:     680000 | #Constraints:      25146
2394.57/2401.59	c #Conflicts:     681000 | #Constraints:      26146
2394.57/2401.59	c #Conflicts:     682000 | #Constraints:      27146
2394.57/2401.59	c #Conflicts:     683000 | #Constraints:      28146
2394.57/2401.59	c #Conflicts:     684000 | #Constraints:      29146
2394.57/2401.59	c #Conflicts:     685000 | #Constraints:      30146
2394.57/2401.59	c #Conflicts:     686000 | #Constraints:      31146
2394.57/2401.59	c #Conflicts:     687000 | #Constraints:      32146
2394.57/2401.59	c #Conflicts:     688000 | #Constraints:      33146
2394.57/2401.59	c INPROCESSING
2394.57/2401.59	c GARBAGE COLLECT
2394.57/2401.59	c #Conflicts:     689000 | #Constraints:      17745
2394.57/2401.59	c #Conflicts:     690000 | #Constraints:      18745
2394.57/2401.59	c #Conflicts:     691000 | #Constraints:      19745
2394.57/2401.59	c #Conflicts:     692000 | #Constraints:      20745
2394.57/2401.59	c #Conflicts:     693000 | #Constraints:      21745
2394.57/2401.59	c #Conflicts:     694000 | #Constraints:      22745
2394.57/2401.59	c #Conflicts:     695000 | #Constraints:      23745
2394.57/2401.59	c #Conflicts:     696000 | #Constraints:      24745
2394.57/2401.59	c #Conflicts:     697000 | #Constraints:      25745
2394.57/2401.59	c #Conflicts:     698000 | #Constraints:      26745
2394.57/2401.59	c #Conflicts:     699000 | #Constraints:      27745
2394.57/2401.59	c #Conflicts:     700000 | #Constraints:      28745
2394.57/2401.59	c #Conflicts:     701000 | #Constraints:      29745
2754.53/2762.61	c #Conflicts:     702000 | #Constraints:      30745
2754.53/2762.61	c #Conflicts:     703000 | #Constraints:      31745
2754.53/2762.61	c #Conflicts:     704000 | #Constraints:      32745
2754.53/2762.61	c #Conflicts:     705000 | #Constraints:      33745
2754.53/2762.61	c INPROCESSING
2754.53/2762.61	c GARBAGE COLLECT
2754.53/2762.61	c #Conflicts:     706000 | #Constraints:      18151
2754.53/2762.61	c #Conflicts:     707000 | #Constraints:      19151
2754.53/2762.61	c #Conflicts:     708000 | #Constraints:      20151
2754.53/2762.61	c #Conflicts:     709000 | #Constraints:      21151
2754.53/2762.61	c #Conflicts:     710000 | #Constraints:      22151
2754.53/2762.61	c #Conflicts:     711000 | #Constraints:      23151
2754.53/2762.61	c #Conflicts:     712000 | #Constraints:      24151
2754.53/2762.61	c #Conflicts:     713000 | #Constraints:      25151
2754.53/2762.61	c #Conflicts:     714000 | #Constraints:      26151
2754.53/2762.61	c #Conflicts:     715000 | #Constraints:      27151
2754.53/2762.61	c #Conflicts:     716000 | #Constraints:      28151
2754.53/2762.61	c #Conflicts:     717000 | #Constraints:      29151
2754.53/2762.61	c #Conflicts:     718000 | #Constraints:      30151
2754.53/2762.61	c #Conflicts:     719000 | #Constraints:      31151
2754.53/2762.61	c #Conflicts:     720000 | #Constraints:      32151
2754.53/2762.61	c #Conflicts:     721000 | #Constraints:      33151
2754.53/2762.61	c #Conflicts:     722000 | #Constraints:      34151
2754.53/2762.61	c INPROCESSING
2754.53/2762.61	c GARBAGE COLLECT
2754.53/2762.61	c #Conflicts:     723000 | #Constraints:      18347
2754.53/2762.61	c #Conflicts:     724000 | #Constraints:      19347
2754.53/2762.61	c #Conflicts:     725000 | #Constraints:      20347
2754.53/2762.61	c #Conflicts:     726000 | #Constraints:      21347
2754.53/2762.61	c #Conflicts:     727000 | #Constraints:      22347
2754.53/2762.61	c #Conflicts:     728000 | #Constraints:      23347
2754.53/2762.61	c #Conflicts:     729000 | #Constraints:      24347
2754.53/2762.61	c #Conflicts:     730000 | #Constraints:      25347
2754.53/2762.61	c #Conflicts:     731000 | #Constraints:      26347
2754.53/2762.61	c #Conflicts:     732000 | #Constraints:      27347
2754.53/2762.61	c #Conflicts:     733000 | #Constraints:      28347
2754.53/2762.61	c #Conflicts:     734000 | #Constraints:      29347
2754.53/2762.61	c #Conflicts:     735000 | #Constraints:      30347
2754.53/2762.61	c #Conflicts:     736000 | #Constraints:      31347
2754.53/2762.61	c #Conflicts:     737000 | #Constraints:      32347
2754.53/2762.61	c #Conflicts:     738000 | #Constraints:      33347
2754.53/2762.61	c #Conflicts:     739000 | #Constraints:      34347
2754.53/2762.61	c INPROCESSING
2754.53/2762.61	c GARBAGE COLLECT
2754.53/2762.61	c #Conflicts:     740000 | #Constraints:      18349
2754.53/2762.61	c #Conflicts:     741000 | #Constraints:      19349
2754.53/2762.61	c #Conflicts:     742000 | #Constraints:      20349
2754.53/2762.61	c #Conflicts:     743000 | #Constraints:      21349
2754.53/2762.61	c #Conflicts:     744000 | #Constraints:      22349
2754.53/2762.61	c #Conflicts:     745000 | #Constraints:      23349
2754.53/2762.61	c #Conflicts:     746000 | #Constraints:      24349
2754.53/2762.61	c #Conflicts:     747000 | #Constraints:      25349
2754.53/2762.61	c #Conflicts:     748000 | #Constraints:      26349
2754.53/2762.61	c #Conflicts:     749000 | #Constraints:      27349
2754.53/2762.61	c #Conflicts:     750000 | #Constraints:      28349
2754.53/2762.61	c #Conflicts:     751000 | #Constraints:      29349
2754.53/2762.61	c #Conflicts:     752000 | #Constraints:      30349
2754.53/2762.61	c #Conflicts:     753000 | #Constraints:      31349
2754.53/2762.61	c #Conflicts:     754000 | #Constraints:      32349
2754.53/2762.61	c #Conflicts:     755000 | #Constraints:      33349
2754.53/2762.61	c #Conflicts:     756000 | #Constraints:      34349
2754.53/2762.61	c INPROCESSING
2754.53/2762.61	c GARBAGE COLLECT
2754.53/2762.61	c #Conflicts:     757000 | #Constraints:      18151
2754.53/2762.61	c #Conflicts:     758000 | #Constraints:      19151
2754.53/2762.61	c #Conflicts:     759000 | #Constraints:      20151
2754.53/2762.61	c #Conflicts:     760000 | #Constraints:      21151
2754.53/2762.61	c #Conflicts:     761000 | #Constraints:      22151
2754.53/2762.61	c #Conflicts:     762000 | #Constraints:      23151
2754.53/2762.61	c #Conflicts:     763000 | #Constraints:      24151
2754.53/2762.61	c #Conflicts:     764000 | #Constraints:      25151
2754.53/2762.61	c #Conflicts:     765000 | #Constraints:      26151
2754.53/2762.61	c #Conflicts:     766000 | #Constraints:      27151
2754.53/2762.61	c #Conflicts:     767000 | #Constraints:      28151
2754.53/2762.61	c #Conflicts:     768000 | #Constraints:      29151
2754.53/2762.61	c #Conflicts:     769000 | #Constraints:      30151
2754.53/2762.61	c #Conflicts:     770000 | #Constraints:      31151
2754.53/2762.61	c #Conflicts:     771000 | #Constraints:      32151
2754.53/2762.61	c #Conflicts:     772000 | #Constraints:      33151
2754.53/2762.61	c #Conflicts:     773000 | #Constraints:      34151
2754.53/2762.61	c #Conflicts:     774000 | #Constraints:      35151
2754.53/2762.61	c INPROCESSING
2754.53/2762.61	c GARBAGE COLLECT
2754.53/2762.61	c #Conflicts:     775000 | #Constraints:      18750
2754.53/2762.61	c #Conflicts:     776000 | #Constraints:      19750
3185.21/3194.71	c #Conflicts:     777000 | #Constraints:      20750
3185.21/3194.71	c #Conflicts:     778000 | #Constraints:      21750
3185.21/3194.71	c #Conflicts:     779000 | #Constraints:      22750
3185.21/3194.71	c #Conflicts:     780000 | #Constraints:      23750
3185.21/3194.71	c #Conflicts:     781000 | #Constraints:      24750
3185.21/3194.71	c #Conflicts:     782000 | #Constraints:      25750
3185.21/3194.71	c #Conflicts:     783000 | #Constraints:      26750
3185.21/3194.71	c #Conflicts:     784000 | #Constraints:      27750
3185.21/3194.71	c #Conflicts:     785000 | #Constraints:      28750
3185.21/3194.71	c #Conflicts:     786000 | #Constraints:      29750
3185.21/3194.71	c #Conflicts:     787000 | #Constraints:      30750
3185.21/3194.71	c #Conflicts:     788000 | #Constraints:      31750
3185.21/3194.71	c #Conflicts:     789000 | #Constraints:      32750
3185.21/3194.71	c #Conflicts:     790000 | #Constraints:      33750
3185.21/3194.71	c #Conflicts:     791000 | #Constraints:      34750
3185.21/3194.71	c #Conflicts:     792000 | #Constraints:      35750
3185.21/3194.71	c INPROCESSING
3185.21/3194.71	c GARBAGE COLLECT
3185.21/3194.71	c #Conflicts:     793000 | #Constraints:      19153
3185.21/3194.71	c #Conflicts:     794000 | #Constraints:      20153
3185.21/3194.71	c #Conflicts:     795000 | #Constraints:      21153
3185.21/3194.71	c #Conflicts:     796000 | #Constraints:      22153
3185.21/3194.71	c #Conflicts:     797000 | #Constraints:      23153
3185.21/3194.71	c #Conflicts:     798000 | #Constraints:      24153
3185.21/3194.71	c #Conflicts:     799000 | #Constraints:      25153
3185.21/3194.71	c #Conflicts:     800000 | #Constraints:      26153
3185.21/3194.71	c #Conflicts:     801000 | #Constraints:      27153
3185.21/3194.71	c #Conflicts:     802000 | #Constraints:      28153
3185.21/3194.71	c #Conflicts:     803000 | #Constraints:      29153
3185.21/3194.71	c #Conflicts:     804000 | #Constraints:      30153
3185.21/3194.71	c #Conflicts:     805000 | #Constraints:      31153
3185.21/3194.71	c #Conflicts:     806000 | #Constraints:      32153
3185.21/3194.71	c #Conflicts:     807000 | #Constraints:      33153
3185.21/3194.71	c #Conflicts:     808000 | #Constraints:      34153
3185.21/3194.71	c #Conflicts:     809000 | #Constraints:      35153
3185.21/3194.71	c #Conflicts:     810000 | #Constraints:      36153
3185.21/3194.71	c INPROCESSING
3185.21/3194.71	c GARBAGE COLLECT
3185.21/3194.71	c #Conflicts:     811000 | #Constraints:      19351
3185.21/3194.71	c #Conflicts:     812000 | #Constraints:      20351
3185.21/3194.71	c #Conflicts:     813000 | #Constraints:      21351
3185.21/3194.71	c #Conflicts:     814000 | #Constraints:      22351
3185.21/3194.71	c #Conflicts:     815000 | #Constraints:      23351
3185.21/3194.71	c #Conflicts:     816000 | #Constraints:      24351
3185.21/3194.71	c #Conflicts:     817000 | #Constraints:      25351
3185.21/3194.71	c #Conflicts:     818000 | #Constraints:      26351
3185.21/3194.71	c #Conflicts:     819000 | #Constraints:      27351
3185.21/3194.71	c #Conflicts:     820000 | #Constraints:      28351
3185.21/3194.71	c #Conflicts:     821000 | #Constraints:      29351
3185.21/3194.71	c #Conflicts:     822000 | #Constraints:      30351
3185.21/3194.71	c #Conflicts:     823000 | #Constraints:      31351
3185.21/3194.71	c #Conflicts:     824000 | #Constraints:      32351
3185.21/3194.71	c #Conflicts:     825000 | #Constraints:      33351
3185.21/3194.71	c #Conflicts:     826000 | #Constraints:      34351
3185.21/3194.71	c #Conflicts:     827000 | #Constraints:      35351
3185.21/3194.71	c #Conflicts:     828000 | #Constraints:      36351
3185.21/3194.71	c INPROCESSING
3185.21/3194.71	c GARBAGE COLLECT
3185.21/3194.71	c #Conflicts:     829000 | #Constraints:      19348
3185.21/3194.71	c #Conflicts:     830000 | #Constraints:      20348
3185.21/3194.71	c #Conflicts:     831000 | #Constraints:      21348
3185.21/3194.71	c #Conflicts:     832000 | #Constraints:      22348
3185.21/3194.71	c #Conflicts:     833000 | #Constraints:      23348
3185.21/3194.71	c #Conflicts:     834000 | #Constraints:      24348
3185.21/3194.71	c #Conflicts:     835000 | #Constraints:      25348
3185.21/3194.71	c #Conflicts:     836000 | #Constraints:      26348
3185.21/3194.71	c #Conflicts:     837000 | #Constraints:      27348
3185.21/3194.71	c #Conflicts:     838000 | #Constraints:      28348
3185.21/3194.71	c #Conflicts:     839000 | #Constraints:      29348
3185.21/3194.71	c #Conflicts:     840000 | #Constraints:      30348
3185.21/3194.71	c #Conflicts:     841000 | #Constraints:      31348
3185.21/3194.71	c #Conflicts:     842000 | #Constraints:      32348
3185.21/3194.71	c #Conflicts:     843000 | #Constraints:      33348
3185.21/3194.71	c #Conflicts:     844000 | #Constraints:      34348
3185.21/3194.71	c #Conflicts:     845000 | #Constraints:      35348
3185.21/3194.71	c #Conflicts:     846000 | #Constraints:      36348
3185.21/3194.71	c INPROCESSING
3185.21/3194.71	c GARBAGE COLLECT
3185.21/3194.71	c #Conflicts:     847000 | #Constraints:      19146
3185.21/3194.71	c #Conflicts:     848000 | #Constraints:      20146
3185.21/3194.71	c #Conflicts:     849000 | #Constraints:      21146
3185.21/3194.71	c #Conflicts:     850000 | #Constraints:      22146
3185.21/3194.71	c #Conflicts:     851000 | #Constraints:      23146
3185.21/3194.71	c #Conflicts:     852000 | #Constraints:      24146
3600.07/3610.90	c #Conflicts:     853000 | #Constraints:      25146
3600.07/3610.90	c #Conflicts:     854000 | #Constraints:      26146
3600.07/3610.90	c #Conflicts:     855000 | #Constraints:      27146
3600.07/3610.90	c #Conflicts:     856000 | #Constraints:      28146
3600.07/3610.90	c #Conflicts:     857000 | #Constraints:      29146
3600.07/3610.90	c #Conflicts:     858000 | #Constraints:      30146
3600.07/3610.90	c #Conflicts:     859000 | #Constraints:      31146
3600.07/3610.90	c #Conflicts:     860000 | #Constraints:      32146
3600.07/3610.90	c #Conflicts:     861000 | #Constraints:      33146
3600.07/3610.90	c #Conflicts:     862000 | #Constraints:      34146
3600.07/3610.90	c #Conflicts:     863000 | #Constraints:      35146
3600.07/3610.90	c #Conflicts:     864000 | #Constraints:      36146
3600.07/3610.90	c #Conflicts:     865000 | #Constraints:      37146
3600.07/3610.90	c INPROCESSING
3600.07/3610.90	c GARBAGE COLLECT
3600.07/3610.90	c #Conflicts:     866000 | #Constraints:      19742
3600.07/3610.90	c #Conflicts:     867000 | #Constraints:      20742
3600.07/3610.90	c #Conflicts:     868000 | #Constraints:      21742
3600.07/3610.90	c #Conflicts:     869000 | #Constraints:      22742
3600.07/3610.90	c #Conflicts:     870000 | #Constraints:      23742
3600.07/3610.90	c #Conflicts:     871000 | #Constraints:      24742
3600.07/3610.90	c #Conflicts:     872000 | #Constraints:      25742
3600.07/3610.90	c #Conflicts:     873000 | #Constraints:      26742
3600.07/3610.90	c #Conflicts:     874000 | #Constraints:      27742
3600.07/3610.90	c #Conflicts:     875000 | #Constraints:      28742
3600.07/3610.90	c #Conflicts:     876000 | #Constraints:      29742
3600.07/3610.90	c #Conflicts:     877000 | #Constraints:      30742
3600.07/3610.90	c #Conflicts:     878000 | #Constraints:      31742
3600.07/3610.90	c #Conflicts:     879000 | #Constraints:      32742
3600.07/3610.90	c #Conflicts:     880000 | #Constraints:      33742
3600.07/3610.90	c #Conflicts:     881000 | #Constraints:      34742
3600.07/3610.90	c #Conflicts:     882000 | #Constraints:      35742
3600.07/3610.90	c #Conflicts:     883000 | #Constraints:      36742
3600.07/3610.90	c #Conflicts:     884000 | #Constraints:      37742
3600.07/3610.90	c INPROCESSING
3600.07/3610.90	c GARBAGE COLLECT
3600.07/3610.90	c #Conflicts:     885000 | #Constraints:      20145
3600.07/3610.90	c #Conflicts:     886000 | #Constraints:      21145
3600.07/3610.90	c #Conflicts:     887000 | #Constraints:      22145
3600.07/3610.90	c #Conflicts:     888000 | #Constraints:      23145
3600.07/3610.90	c #Conflicts:     889000 | #Constraints:      24145
3600.07/3610.90	c #Conflicts:     890000 | #Constraints:      25145
3600.07/3610.90	c #Conflicts:     891000 | #Constraints:      26145
3600.07/3610.90	c #Conflicts:     892000 | #Constraints:      27145
3600.07/3610.90	c #Conflicts:     893000 | #Constraints:      28145
3600.07/3610.90	c #Conflicts:     894000 | #Constraints:      29145
3600.07/3610.90	c #Conflicts:     895000 | #Constraints:      30145
3600.07/3610.90	c #Conflicts:     896000 | #Constraints:      31145
3600.07/3610.90	c #Conflicts:     897000 | #Constraints:      32145
3600.07/3610.90	c #Conflicts:     898000 | #Constraints:      33145
3600.07/3610.90	c #Conflicts:     899000 | #Constraints:      34145
3600.07/3610.90	c #Conflicts:     900000 | #Constraints:      35145
3600.07/3610.90	c #Conflicts:     901000 | #Constraints:      36145
3600.07/3610.90	c #Conflicts:     902000 | #Constraints:      37145
3600.07/3610.90	c #Conflicts:     903000 | #Constraints:      38145
3600.07/3610.90	c INPROCESSING
3600.07/3610.90	c GARBAGE COLLECT
3600.07/3610.90	c #Conflicts:     904000 | #Constraints:      20344
3600.07/3610.90	c #Conflicts:     905000 | #Constraints:      21344
3600.07/3610.90	c #Conflicts:     906000 | #Constraints:      22344
3600.07/3610.90	c #Conflicts:     907000 | #Constraints:      23344
3600.07/3610.90	c #Conflicts:     908000 | #Constraints:      24344
3600.07/3610.90	c #Conflicts:     909000 | #Constraints:      25344
3600.07/3610.90	c #Conflicts:     910000 | #Constraints:      26344
3600.07/3610.90	c #Conflicts:     911000 | #Constraints:      27344
3600.07/3610.90	c #Conflicts:     912000 | #Constraints:      28344
3600.07/3610.90	c #Conflicts:     913000 | #Constraints:      29344
3600.07/3610.90	c #Conflicts:     914000 | #Constraints:      30344
3600.07/3610.90	c #Conflicts:     915000 | #Constraints:      31344
3600.07/3610.90	c #Conflicts:     916000 | #Constraints:      32344
3600.07/3610.90	c #Conflicts:     917000 | #Constraints:      33344
3600.07/3610.90	c #Conflicts:     918000 | #Constraints:      34344
3600.07/3610.90	c #Conflicts:     919000 | #Constraints:      35344
3600.07/3610.90	c #Conflicts:     920000 | #Constraints:      36344
3600.07/3610.90	c #Conflicts:     921000 | #Constraints:      37344
3600.07/3610.90	c #Conflicts:     922000 | #Constraints:      38344
3600.07/3610.90	c INPROCESSING
3600.07/3610.90	c GARBAGE COLLECT
3600.07/3610.90	c #Conflicts:     923000 | #Constraints:      20344
3600.07/3610.90	c #Conflicts:     924000 | #Constraints:      21344
3600.07/3610.90	c #Conflicts:     925000 | #Constraints:      22344
3600.07/3610.90	c #Conflicts:     926000 | #Constraints:      23344
3600.07/3610.90	c #Conflicts:     927000 | #Constraints:      24344
3600.07/3610.90	c #Conflicts:     928000 | #Constraints:      25344
3600.07/3610.90	c Program interrupted by user.
3600.07/3610.90	c cpu time 3590.95 s
3600.07/3610.90	c deterministic time 374879388925 3.75e+11
3600.07/3610.90	c optimization time 29.7425 s
3600.07/3610.90	c total solve time 3262.05 s
3600.07/3610.90	c core-guided solve time 3262.05 s
3600.07/3610.90	c propagation time 2831.24 s
3600.07/3610.90	c conflict analysis time 391.648 s
3600.07/3610.90	c propagations 64917795
3600.07/3610.90	c resolve steps 4922851
3600.07/3610.90	c decisions 5190793
3600.07/3610.90	c conflicts 928993
3600.07/3610.90	c restarts 2042
3600.07/3610.90	c inprocessing phases 87
3600.07/3610.90	c input clauses 53
3600.07/3610.90	c input cardinalities 78
3600.07/3610.90	c input general constraints 468
3600.07/3610.90	c input average constraint length 68.53
3600.07/3610.90	c input average constraint degree 34.61
3600.07/3610.90	c learned clauses 175398
3600.07/3610.90	c learned cardinalities 134
3600.07/3610.90	c learned general constraints 753466
3600.07/3610.90	c learned average constraint length 311.82
3600.07/3610.90	c learned average constraint degree 323285.67
3600.07/3610.90	c watched constraints 643550
3600.07/3610.90	c counting constraints 110384
3600.07/3610.90	c gcd simplifications 141806
3600.07/3610.90	c detected cardinalities 101
3600.07/3610.90	c weakened non-implied lits 27126168
3600.07/3610.90	c weakened non-implying lits 97062
3600.07/3610.90	c original variables 470
3600.07/3610.90	c clausal propagations 812149
3600.07/3610.90	c cardinality propagations 46942
3600.07/3610.90	c watched propagations 35011276
3600.07/3610.90	c counting propagations 28317520
3600.07/3610.90	c watch lookups 61842438085
3600.07/3610.90	c watch backjump lookups 58495045170
3600.07/3610.90	c watch checks 246618796674
3600.07/3610.90	c propagation checks 6800672205
3600.07/3610.90	c constraint additions 981291000
3600.07/3610.90	c trail pops 71037202
3600.07/3610.90	c formula constraints 469
3600.07/3610.90	c learned constraints 928998
3600.07/3610.90	c bound constraints 78
3600.07/3610.90	c core-guided constraints 52
3600.07/3610.90	c encountered formula constraints 2954753
3600.07/3610.90	c encountered learned constraints 2819798
3600.07/3610.90	c encountered bound constraints 133
3600.07/3610.90	c encountered core-guided constraints 77160
3600.07/3610.90	c LP total time 0 s
3600.07/3610.90	c LP solve time 0 s
3600.07/3610.90	c LP constraints added 0
3600.07/3610.90	c LP constraints removed 0
3600.07/3610.90	c LP pivots internal 0
3600.07/3610.90	c LP pivots root 0
3600.07/3610.90	c LP calls 0
3600.07/3610.90	c LP optimalities 0
3600.07/3610.90	c LP no pivot count 0
3600.07/3610.90	c LP infeasibilities 0
3600.07/3610.90	c LP valid Farkas constraints 0
3600.07/3610.90	c LP learned Farkas constraints 0
3600.07/3610.90	c LP basis resets 0
3600.07/3610.90	c LP cycling count 0
3600.07/3610.90	c LP singular count 0
3600.07/3610.90	c LP no primal count 0
3600.07/3610.90	c LP no farkas count 0
3600.07/3610.90	c LP other issue count 0
3600.07/3610.90	c LP Gomory cuts 0
3600.07/3610.90	c LP learned cuts 0
3600.07/3610.90	c LP deleted cuts 0
3600.07/3610.90	c LP encountered Gomory constraints 0
3600.07/3610.90	c LP encountered Farkas constraints 0
3600.07/3610.90	c LP encountered learned Farkas constraints 0
3600.07/3610.90	c CG auxiliary variables introduced 52
3600.07/3610.90	c CG solutions found 0
3600.07/3610.90	c CG cores constructed 77
3600.07/3610.90	c CG core cardinality constraints returned 0
3600.07/3610.90	c CG unit cores 0
3600.07/3610.90	c CG single cores 77
3600.07/3610.90	c CG blocks removed during cardinality reduction 0
3600.07/3610.90	c CG first core best 0
3600.07/3610.90	c CG decision core best 0
3600.07/3610.90	c CG core reduction tie 0
3600.07/3610.90	c CG core degree average 1.00
3600.07/3610.90	c CG core slack average 2.81
3600.07/3610.90	c CG exhausted 0
3600.07/3610.90	c CG exhaust time 0 s
3600.07/3610.90	c CG trimmed 3
3600.07/3610.90	c CG trim time 0.000442 s
3600.07/3610.90	c CG minimized 0
3600.07/3610.90	c CG minimize time 0 s
3600.07/3610.90	c CG am1 prop time 0.000819 s
3600.07/3610.90	c CG # am1s reformulated 52
3600.07/3610.90	c CG lower bound derived from am1s 52
3600.07/3610.90	c CG # clausal cores 18
3600.07/3610.90	c CG # cardinality cores 0
3600.07/3610.90	c CG # pb cores 59
3600.07/3610.90	c CG # pb reforms 0
3600.07/3610.90	c CG # cores discarded because of pb reform 0
3600.07/3610.90	d LOWERBOUND 129
3600.07/3610.90	d NCORES 77
3600.07/3610.90	d NPBCORES 59
3600.07/3610.90	d NPBREFORM 0
3600.07/3610.90	d NTRIMMED 3
3600.07/3610.90	d NEXHAUSTED 0
3600.07/3610.90	d NAM1S 52
3600.07/3610.90	d AM1LB 52
3600.07/3610.90	c [Papilo Statistics]
3600.07/3610.90	c prepro time 0.00412296s
3600.07/3610.90	c # tsx applied 15
3600.07/3610.90	c # tsx conflicts 0
3600.07/3610.90	c # bound changes 0
3600.07/3610.90	c # side changes 0
3600.07/3610.90	c # coef changes 33
3600.07/3610.90	c # rounds 3
3600.07/3610.90	c # deted vars 0
3600.07/3610.90	c # deted constrs 0
3600.07/3610.90	c # consecutive rounds of only bound changes 0
3600.07/3610.90	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (60698 MiB free)
  memory of node 1: 64507 MiB (59560 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489359-1751353209/watcher-4489359-1751353209 -o /tmp/evaluation-result-4489359-1751353209/solver-4489359-1751353209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50710 --watchdog 3760 mixed-bag HOME/instance-4489359-1751353209.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100097 s]*
/proc/loadavg: 4.12 4.11 4.09 5/252 51130
/proc/meminfo: memFree=123145360/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=100580 memory=26236 CPUtime=0.09 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 2877 0 0 0 8 1 0 0 20 0 1 0 51000674 102993920 6559 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 25145 6559 4192 2842 0 6839 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100580 KiB
Current children cumulated memory: 26236 KiB

[startup+0.213758 s]*
/proc/loadavg: 4.12 4.11 4.09 5/252 51130
/proc/meminfo: memFree=123144604/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=101456 memory=27388 CPUtime=0.2 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 3100 0 0 0 19 1 0 0 20 0 1 0 51000674 103890944 6847 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 25364 6847 4288 2842 0 7058 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 101456 KiB
Current children cumulated memory: 27388 KiB

[startup+0.312572 s]*
/proc/loadavg: 4.12 4.11 4.09 5/252 51130
/proc/meminfo: memFree=123144604/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=101632 memory=27516 CPUtime=0.3 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 3132 0 0 0 29 1 0 0 20 0 1 0 51000674 104071168 6879 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 25408 6879 4288 2842 0 7102 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 101632 KiB
Current children cumulated memory: 27516 KiB

[startup+0.700251 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 51130
/proc/meminfo: memFree=123135784/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=101632 memory=27644 CPUtime=0.67 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 3147 0 0 0 66 1 0 0 20 0 1 0 51000674 104071168 6911 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 25408 6911 4288 2842 0 7102 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 101632 KiB
Current children cumulated memory: 27644 KiB

[startup+1.50028 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 51130
/proc/meminfo: memFree=123047836/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=119692 memory=45308 CPUtime=1.47 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 7615 0 0 0 145 2 0 0 20 0 1 0 51000674 122564608 11327 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 29923 11327 4288 2842 0 11617 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 119692 KiB
Current children cumulated memory: 45308 KiB

[startup+3.1128 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 51130
/proc/meminfo: memFree=122631052/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=232272 memory=154820 CPUtime=3.08 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 36739 0 0 0 300 8 0 0 20 0 1 0 51000674 237846528 38705 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 58068 38705 4288 2842 0 39762 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 232272 KiB
Current children cumulated memory: 154820 KiB

[startup+6.30023 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 51130
/proc/meminfo: memFree=122623304/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=236312 memory=158532 CPUtime=6.26 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 37666 0 0 0 618 8 0 0 20 0 1 0 51000674 241983488 39633 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 59078 39633 4288 2842 0 40772 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 236312 KiB
Current children cumulated memory: 158532 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.12 4.10 5/252 51130
/proc/meminfo: memFree=122618772/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=236312 memory=158532 CPUtime=12.64 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 37666 0 0 0 1256 8 0 0 20 0 1 0 51000674 241983488 39633 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 59078 39633 4288 2842 0 40772 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 236312 KiB
Current children cumulated memory: 158532 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 51130
/proc/meminfo: memFree=122290604/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=268228 memory=189112 CPUtime=25.41 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 46371 0 0 0 2532 9 0 0 20 0 1 0 51000674 274665472 47278 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 67057 47278 4288 2842 0 48751 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 268228 KiB
Current children cumulated memory: 189112 KiB

[startup+51.1129 s]
/proc/loadavg: 4.09 4.11 4.09 5/252 51131
/proc/meminfo: memFree=122219784/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=282668 memory=203480 CPUtime=50.96 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 50403 0 0 0 5086 10 0 0 20 0 1 0 51000674 289452032 50870 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 70667 50870 4288 2842 0 52361 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 282668 KiB
Current children cumulated memory: 203480 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 51144
/proc/meminfo: memFree=122137472/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=297112 memory=217360 CPUtime=102.01 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 53986 0 0 0 10190 11 0 0 20 0 1 0 51000674 304242688 54340 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 74278 54340 4288 2842 0 55972 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 297112 KiB
Current children cumulated memory: 217360 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/252 51145
/proc/meminfo: memFree=121952868/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=365084 memory=287268 CPUtime=161.85 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 71477 0 0 0 16172 13 0 0 20 0 1 0 51000674 373846016 71817 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 91271 71817 4416 2842 0 72965 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 365084 KiB
Current children cumulated memory: 287268 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/252 51147
/proc/meminfo: memFree=121954508/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=364060 memory=286328 CPUtime=221.69 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 71496 0 0 0 22156 13 0 0 20 0 1 0 51000674 372797440 71582 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 91015 71582 4416 2842 0 72709 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 364060 KiB
Current children cumulated memory: 286328 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/252 51149
/proc/meminfo: memFree=121953200/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=364060 memory=286328 CPUtime=281.53 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 71496 0 0 0 28140 13 0 0 20 0 1 0 51000674 372797440 71582 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 91015 71582 4416 2842 0 72709 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 364060 KiB
Current children cumulated memory: 286328 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 51151
/proc/meminfo: memFree=122113556/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=308236 memory=232972 CPUtime=341.36 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 73800 0 0 0 34070 66 0 0 20 0 1 0 51000674 315633664 58243 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 77059 58243 4576 2842 0 58753 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 308236 KiB
Current children cumulated memory: 232972 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/249 51153
/proc/meminfo: memFree=122070960/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=308236 memory=239180 CPUtime=401.18 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 73825 0 0 0 40004 114 0 0 20 0 1 0 51000674 315633664 59795 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 77059 59795 4576 2842 0 58753 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 308236 KiB
Current children cumulated memory: 239180 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/249 51155
/proc/meminfo: memFree=122043940/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=327204 memory=245612 CPUtime=461 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 74411 0 0 0 45948 152 0 0 20 0 1 0 51000674 335056896 61403 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 81801 61403 4576 2842 0 63495 0
Current children cumulated CPU time: 461 s

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

Current children cumulated memory: 299720 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 51268
/proc/meminfo: memFree=121874576/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=408112 memory=299720 CPUtime=2913.7 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 76138 0 0 0 290608 762 0 0 20 0 1 0 51000674 417906688 74930 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 102028 74930 4576 2842 0 83722 0
Current children cumulated CPU time: 2913.7 s
Current children cumulated vsize: 408112 KiB
Current children cumulated memory: 299720 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/249 51270
/proc/meminfo: memFree=121877052/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=408112 memory=299720 CPUtime=2973.51 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 76139 0 0 0 296575 776 0 0 20 0 1 0 51000674 417906688 74930 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 102028 74930 4576 2842 0 83722 0
Current children cumulated CPU time: 2973.51 s
Current children cumulated vsize: 408112 KiB
Current children cumulated memory: 299720 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 51279
/proc/meminfo: memFree=121879828/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=408112 memory=299720 CPUtime=3033.31 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 76139 0 0 0 302542 789 0 0 20 0 1 0 51000674 417906688 74930 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 102028 74930 4576 2842 0 83722 0
Current children cumulated CPU time: 3033.31 s
Current children cumulated vsize: 408112 KiB
Current children cumulated memory: 299720 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 51281
/proc/meminfo: memFree=121876720/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=408112 memory=301768 CPUtime=3093.12 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 76140 0 0 0 308510 802 0 0 20 0 1 0 51000674 417906688 75442 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 102028 75442 4576 2842 0 83722 0
Current children cumulated CPU time: 3093.12 s
Current children cumulated vsize: 408112 KiB
Current children cumulated memory: 301768 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/250 51283
/proc/meminfo: memFree=121875472/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=408112 memory=301768 CPUtime=3152.93 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 76140 0 0 0 314482 811 0 0 20 0 1 0 51000674 417906688 75442 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 102028 75442 4576 2842 0 83722 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 408112 KiB
Current children cumulated memory: 301768 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 51285
/proc/meminfo: memFree=121875472/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=408112 memory=301768 CPUtime=3212.73 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 76140 0 0 0 320446 827 0 0 20 0 1 0 51000674 417906688 75442 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 102028 75442 4576 2842 0 83722 0
Current children cumulated CPU time: 3212.73 s
Current children cumulated vsize: 408112 KiB
Current children cumulated memory: 301768 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 51287
/proc/meminfo: memFree=121871376/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=408112 memory=303816 CPUtime=3272.53 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 76141 0 0 0 326412 841 0 0 20 0 1 0 51000674 417906688 75954 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 102028 75954 4576 2842 0 83722 0
Current children cumulated CPU time: 3272.53 s
Current children cumulated vsize: 408112 KiB
Current children cumulated memory: 303816 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 51289
/proc/meminfo: memFree=121867280/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=408112 memory=303816 CPUtime=3332.34 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 76141 0 0 0 332380 854 0 0 20 0 1 0 51000674 417906688 75954 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 102028 75954 4576 2842 0 83722 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 408112 KiB
Current children cumulated memory: 303816 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/249 51291
/proc/meminfo: memFree=121867280/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=408112 memory=303816 CPUtime=3392.13 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 76141 0 0 0 338347 866 0 0 20 0 1 0 51000674 417906688 75954 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 102028 75954 4576 2842 0 83722 0
Current children cumulated CPU time: 3392.13 s
Current children cumulated vsize: 408112 KiB
Current children cumulated memory: 303816 KiB

[startup+3462.3 s]
/proc/loadavg: 4.38 4.15 4.11 5/249 51293
/proc/meminfo: memFree=121867028/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=408112 memory=303816 CPUtime=3451.93 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 76141 0 0 0 344311 882 0 0 20 0 1 0 51000674 417906688 75954 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 102028 75954 4576 2842 0 83722 0
Current children cumulated CPU time: 3451.93 s
Current children cumulated vsize: 408112 KiB
Current children cumulated memory: 303816 KiB

[startup+3522.3 s]
/proc/loadavg: 4.61 4.28 4.16 5/249 51295
/proc/meminfo: memFree=121860088/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=408112 memory=305864 CPUtime=3511.73 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 76154 0 0 0 350275 898 0 0 20 0 1 0 51000674 417906688 76466 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 102028 76466 4576 2842 0 83722 0
Current children cumulated CPU time: 3511.73 s
Current children cumulated vsize: 408112 KiB
Current children cumulated memory: 305864 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.24 4.15 5/249 51297
/proc/meminfo: memFree=121855720/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=408112 memory=305864 CPUtime=3571.55 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 76183 0 0 0 356248 907 0 0 20 0 1 0 51000674 417906688 76466 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 102028 76466 4576 2842 0 83722 0
Current children cumulated CPU time: 3571.55 s
Current children cumulated vsize: 408112 KiB
Current children cumulated memory: 305864 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.23 4.23 4.15 3/243 51323
/proc/meminfo: memFree=122487060/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=408112 memory=305864 CPUtime=3600.07 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 76183 0 0 0 359095 912 0 0 20 0 1 0 51000674 417906688 76466 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 102028 76466 4576 2842 0 83722 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 408112 KiB
Current children cumulated memory: 305864 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.96 s, system=9.123 s

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

[startup+3610.9 s]
/proc/loadavg: 4.23 4.23 4.15 3/243 51323
/proc/meminfo: memFree=122487060/131382112 swapFree=33010684/33010684
[pid=51129] ppid=51126 vsize=408112 memory=305864 CPUtime=3600.07 cores=4,6
/proc/51129/stat : 51129 (mixed-bag) R 51126 51129 50699 0 -1 4194304 76183 0 0 0 359095 912 0 0 20 0 1 0 51000674 417906688 76466 18446744073709551615 4235264 15874749 140733527300560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 33701888 140733527308700 140733527308777 140733527308777 140733527314379 0
/proc/51129/statm: 102028 76466 4576 2842 0 83722 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 408112 KiB
Current children cumulated memory: 305864 KiB

Child status: 0

Real time (s): 3610.91
CPU time (s): 3600.08
CPU user time (s): 3590.96
CPU system time (s): 9.123
CPU usage (%): 99.7002
Max. virtual memory (cumulated for all children) (KiB): 408112
Max. memory (cumulated for all children) (KiB): 305864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.96
system time used= 9.123
maximum resident set size= 306248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76207
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= 213
involuntary context switches= 2179


# summary of solver processes directly reported to runsolver:
#   pid: 51129
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3590.96
#   total CPU system time (s): 9.123

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6473 second user time and 35.8358 second system time

The end

Launcher Data

Begin job on nodeC009 at 2025-07-01 09:00:09
IDJOB=4489359
IDBENCH=147546
IDSOLVER=3340
FILE ID=nodeC009/4489359-1751353209
RUNJOBID= nodeC009-1751349596-50710
SLURM_JOB_ID= 9598132
Free space on /tmp= 432612 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489359-1751353209/watcher-4489359-1751353209 -o /tmp/evaluation-result-4489359-1751353209/solver-4489359-1751353209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50710 --watchdog 3760  mixed-bag HOME/instance-4489359-1751353209.opb

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

MD5SUM BENCH= d9affe619068a6673989e4355ed78893
RANDOM SEED=541342985

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.224
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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		: 1197.232
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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.237
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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.520
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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.229
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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		: 1696.089
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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.550
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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.626
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        123145088 kB
MemAvailable:   129888048 kB
Buffers:            3280 kB
Cached:          7514676 kB
SwapCached:            0 kB
Active:           406848 kB
Inactive:        7215056 kB
Active(anon):     120944 kB
Inactive(anon):      968 kB
Active(file):     285904 kB
Inactive(file):  7214088 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             62636 kB
Writeback:             8 kB
AnonPages:        107360 kB
Mapped:           136456 kB
Shmem:             17960 kB
KReclaimable:     164808 kB
Slab:             248476 kB
SReclaimable:     164808 kB
SUnreclaim:        83668 kB
KernelStack:        4000 kB
PageTables:         3044 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     492700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432628 MiB
End job on nodeC009 at 2025-07-01 10:00:20