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.11/300.17 c [STEP] preprocessing done, loading into solver
299.11/300.17 c [STEP] solving
299.11/300.17 c #variables 477 #constraints 476
299.11/300.17 c SMALL=int, LARGE=long long
299.11/300.17 d SCIPUB 194
299.11/300.17 c bounds - >= 0 @ 299.011
299.11/300.17 c stratification level: 0
317.44/318.57 c bounds - >= 50 @ 299.012
317.44/318.57 c bounds - >= 51 @ 299.012
317.44/318.57 c bounds - >= 52 @ 299.012
317.44/318.57 c bounds - >= 53 @ 299.013
317.44/318.57 c bounds - >= 54 @ 299.013
317.44/318.57 c bounds - >= 55 @ 299.013
317.44/318.57 c bounds - >= 56 @ 299.013
317.44/318.57 c bounds - >= 57 @ 299.013
317.44/318.57 c bounds - >= 58 @ 299.013
317.44/318.57 c bounds - >= 59 @ 299.013
317.44/318.57 c bounds - >= 60 @ 299.013
317.44/318.57 c bounds - >= 61 @ 299.013
317.44/318.57 c bounds - >= 62 @ 299.013
317.44/318.57 c bounds - >= 63 @ 299.013
317.44/318.57 c bounds - >= 64 @ 299.013
317.44/318.57 c bounds - >= 65 @ 299.013
317.44/318.57 c bounds - >= 66 @ 299.013
317.44/318.57 c bounds - >= 67 @ 299.013
317.44/318.57 c bounds - >= 68 @ 299.013
317.44/318.57 c bounds - >= 69 @ 299.013
317.44/318.57 c bounds - >= 70 @ 299.013
317.44/318.57 c bounds - >= 71 @ 299.013
317.44/318.57 c bounds - >= 72 @ 299.013
317.44/318.57 c bounds - >= 73 @ 299.013
317.44/318.57 c bounds - >= 74 @ 299.013
317.44/318.57 c bounds - >= 75 @ 299.013
317.44/318.57 c bounds - >= 76 @ 299.013
317.44/318.57 c bounds - >= 77 @ 299.013
317.44/318.57 c bounds - >= 78 @ 299.013
317.44/318.57 c bounds - >= 79 @ 299.013
317.44/318.57 c bounds - >= 80 @ 299.013
317.44/318.57 c bounds - >= 81 @ 299.013
317.44/318.57 c bounds - >= 82 @ 299.013
317.44/318.57 c bounds - >= 83 @ 299.013
317.44/318.57 c bounds - >= 84 @ 299.013
317.44/318.57 c bounds - >= 85 @ 299.013
317.44/318.57 c bounds - >= 86 @ 299.013
317.44/318.57 c bounds - >= 87 @ 299.013
317.44/318.57 c bounds - >= 88 @ 299.013
317.44/318.57 c bounds - >= 89 @ 299.013
317.44/318.57 c bounds - >= 90 @ 299.013
317.44/318.57 c bounds - >= 91 @ 299.013
317.44/318.57 c bounds - >= 92 @ 299.013
317.44/318.57 c bounds - >= 93 @ 299.013
317.44/318.57 c bounds - >= 94 @ 299.013
317.44/318.57 c bounds - >= 95 @ 299.013
317.44/318.57 c bounds - >= 96 @ 299.013
317.44/318.57 c bounds - >= 97 @ 299.014
317.44/318.57 c bounds - >= 98 @ 299.014
317.44/318.57 c bounds - >= 99 @ 299.014
317.44/318.57 c bounds - >= 100 @ 299.014
317.44/318.57 c bounds - >= 101 @ 299.014
317.44/318.57 c bounds - >= 102 @ 299.014
317.44/318.57 c bounds - >= 103 @ 299.014
317.44/318.57 c bounds - >= 104 @ 299.014
317.44/318.57 c bounds - >= 105 @ 299.014
317.44/318.57 c bounds - >= 106 @ 299.014
317.44/318.57 c bounds - >= 107 @ 299.014
317.44/318.57 c bounds - >= 108 @ 299.014
317.44/318.57 c bounds - >= 109 @ 299.014
317.44/318.57 c bounds - >= 110 @ 299.014
317.44/318.57 c bounds - >= 111 @ 299.014
317.44/318.57 c bounds - >= 112 @ 299.014
317.44/318.57 c bounds - >= 113 @ 299.014
317.44/318.57 c bounds - >= 114 @ 299.014
317.44/318.57 c bounds - >= 115 @ 299.014
317.44/318.57 c bounds - >= 116 @ 299.014
317.44/318.57 c bounds - >= 117 @ 299.014
317.44/318.57 c bounds - >= 118 @ 299.014
317.44/318.57 c bounds - >= 119 @ 299.014
317.44/318.57 c bounds - >= 120 @ 299.014
317.44/318.57 c bounds - >= 121 @ 299.014
317.44/318.57 c bounds - >= 122 @ 299.014
317.44/318.57 c bounds - >= 123 @ 299.014
317.44/318.57 c bounds - >= 124 @ 299.014
317.44/318.57 c #Conflicts: 1000 | #Constraints: 1610
317.44/318.57 c #Conflicts: 2000 | #Constraints: 2610
317.44/318.57 c INPROCESSING
317.44/318.57 c GARBAGE COLLECT
317.44/318.57 c #Conflicts: 3000 | #Constraints: 2539
317.44/318.57 c #Conflicts: 4000 | #Constraints: 3539
317.44/318.57 c INPROCESSING
317.44/318.57 c GARBAGE COLLECT
317.44/318.57 c #Conflicts: 5000 | #Constraints: 2941
317.44/318.57 c #Conflicts: 6000 | #Constraints: 3941
317.44/318.57 c INPROCESSING
317.44/318.57 c GARBAGE COLLECT
317.44/318.57 c #Conflicts: 7000 | #Constraints: 2942
317.44/318.57 c #Conflicts: 8000 | #Constraints: 3942
317.44/318.57 c #Conflicts: 9000 | #Constraints: 4942
317.44/318.57 c INPROCESSING
317.44/318.57 c GARBAGE COLLECT
317.44/318.57 c #Conflicts: 10000 | #Constraints: 3643
317.44/318.57 c #Conflicts: 11000 | #Constraints: 4643
317.44/318.57 c #Conflicts: 12000 | #Constraints: 5643
317.44/318.57 c INPROCESSING
317.44/318.57 c GARBAGE COLLECT
317.44/318.57 c #Conflicts: 13000 | #Constraints: 4092
317.44/318.57 c #Conflicts: 14000 | #Constraints: 5092
317.44/318.57 c #Conflicts: 15000 | #Constraints: 6092
317.44/318.57 c INPROCESSING
317.44/318.57 c GARBAGE COLLECT
317.44/318.57 c #Conflicts: 16000 | #Constraints: 4319
317.44/318.57 c #Conflicts: 17000 | #Constraints: 5319
317.44/318.57 c #Conflicts: 18000 | #Constraints: 6319
317.44/318.57 c INPROCESSING
317.44/318.57 c GARBAGE COLLECT
317.44/318.57 c #Conflicts: 19000 | #Constraints: 4335
317.44/318.57 c #Conflicts: 20000 | #Constraints: 5335
317.44/318.57 c #Conflicts: 21000 | #Constraints: 6335
317.44/318.57 c INPROCESSING
317.44/318.57 c GARBAGE COLLECT
317.44/318.57 c #Conflicts: 22000 | #Constraints: 4138
317.44/318.57 c #Conflicts: 23000 | #Constraints: 5138
317.44/318.57 c #Conflicts: 24000 | #Constraints: 6138
317.44/318.57 c #Conflicts: 25000 | #Constraints: 7138
317.44/318.57 c INPROCESSING
317.44/318.57 c GARBAGE COLLECT
317.44/318.57 c #Conflicts: 26000 | #Constraints: 4741
317.44/318.57 c #Conflicts: 27000 | #Constraints: 5741
317.44/318.57 c #Conflicts: 28000 | #Constraints: 6741
317.44/318.57 c #Conflicts: 29000 | #Constraints: 7741
317.44/318.57 c INPROCESSING
317.44/318.57 c GARBAGE COLLECT
317.44/318.57 c #Conflicts: 30000 | #Constraints: 5140
317.44/318.57 c #Conflicts: 31000 | #Constraints: 6140
317.44/318.57 c #Conflicts: 32000 | #Constraints: 7140
317.44/318.57 c #Conflicts: 33000 | #Constraints: 8140
405.53/406.92 c INPROCESSING
405.53/406.92 c GARBAGE COLLECT
405.53/406.92 c #Conflicts: 34000 | #Constraints: 5343
405.53/406.92 c #Conflicts: 35000 | #Constraints: 6343
405.53/406.92 c #Conflicts: 36000 | #Constraints: 7343
405.53/406.92 c #Conflicts: 37000 | #Constraints: 8343
405.53/406.92 c INPROCESSING
405.53/406.92 c GARBAGE COLLECT
405.53/406.92 c #Conflicts: 38000 | #Constraints: 5343
405.53/406.92 c #Conflicts: 39000 | #Constraints: 6343
405.53/406.92 c #Conflicts: 40000 | #Constraints: 7343
405.53/406.92 c #Conflicts: 41000 | #Constraints: 8343
405.53/406.92 c INPROCESSING
405.53/406.92 c GARBAGE COLLECT
405.53/406.92 c #Conflicts: 42000 | #Constraints: 5151
405.53/406.92 c #Conflicts: 43000 | #Constraints: 6151
405.53/406.92 c #Conflicts: 44000 | #Constraints: 7151
405.53/406.92 c #Conflicts: 45000 | #Constraints: 8151
405.53/406.92 c #Conflicts: 46000 | #Constraints: 9151
405.53/406.92 c INPROCESSING
405.53/406.92 c GARBAGE COLLECT
405.53/406.92 c #Conflicts: 47000 | #Constraints: 5747
405.53/406.92 c #Conflicts: 48000 | #Constraints: 6747
405.53/406.92 c #Conflicts: 49000 | #Constraints: 7747
405.53/406.92 c #Conflicts: 50000 | #Constraints: 8747
405.53/406.92 c #Conflicts: 51000 | #Constraints: 9747
405.53/406.92 c INPROCESSING
405.53/406.92 c GARBAGE COLLECT
405.53/406.92 c #Conflicts: 52000 | #Constraints: 6147
405.53/406.92 c #Conflicts: 53000 | #Constraints: 7147
405.53/406.92 c #Conflicts: 54000 | #Constraints: 8147
405.53/406.92 c #Conflicts: 55000 | #Constraints: 9147
405.53/406.92 c #Conflicts: 56000 | #Constraints: 10147
405.53/406.92 c INPROCESSING
405.53/406.92 c GARBAGE COLLECT
405.53/406.92 c #Conflicts: 57000 | #Constraints: 6350
405.53/406.92 c #Conflicts: 58000 | #Constraints: 7350
405.53/406.92 c #Conflicts: 59000 | #Constraints: 8350
405.53/406.92 c #Conflicts: 60000 | #Constraints: 9350
405.53/406.92 c #Conflicts: 61000 | #Constraints: 10350
405.53/406.92 c INPROCESSING
405.53/406.92 c GARBAGE COLLECT
405.53/406.92 c #Conflicts: 62000 | #Constraints: 6348
405.53/406.92 c #Conflicts: 63000 | #Constraints: 7348
405.53/406.92 c #Conflicts: 64000 | #Constraints: 8348
405.53/406.92 c #Conflicts: 65000 | #Constraints: 9348
405.53/406.92 c #Conflicts: 66000 | #Constraints: 10348
405.53/406.92 c INPROCESSING
405.53/406.92 c GARBAGE COLLECT
405.53/406.92 c #Conflicts: 67000 | #Constraints: 6147
405.53/406.92 c #Conflicts: 68000 | #Constraints: 7147
405.53/406.92 c #Conflicts: 69000 | #Constraints: 8147
405.53/406.92 c #Conflicts: 70000 | #Constraints: 9147
405.53/406.92 c #Conflicts: 71000 | #Constraints: 10147
405.53/406.92 c #Conflicts: 72000 | #Constraints: 11147
405.53/406.92 c INPROCESSING
405.53/406.92 c GARBAGE COLLECT
405.53/406.92 c #Conflicts: 73000 | #Constraints: 6743
405.53/406.92 c #Conflicts: 74000 | #Constraints: 7743
405.53/406.92 c #Conflicts: 75000 | #Constraints: 8743
405.53/406.92 c #Conflicts: 76000 | #Constraints: 9743
405.53/406.92 c #Conflicts: 77000 | #Constraints: 10743
405.53/406.92 c #Conflicts: 78000 | #Constraints: 11743
405.53/406.92 c INPROCESSING
405.53/406.92 c GARBAGE COLLECT
405.53/406.92 c #Conflicts: 79000 | #Constraints: 7148
405.53/406.92 c #Conflicts: 80000 | #Constraints: 8148
405.53/406.92 c #Conflicts: 81000 | #Constraints: 9148
405.53/406.92 c #Conflicts: 82000 | #Constraints: 10148
405.53/406.92 c #Conflicts: 83000 | #Constraints: 11148
405.53/406.92 c #Conflicts: 84000 | #Constraints: 12148
405.53/406.92 c INPROCESSING
405.53/406.92 c GARBAGE COLLECT
405.53/406.92 c #Conflicts: 85000 | #Constraints: 7355
405.53/406.92 c #Conflicts: 86000 | #Constraints: 8355
405.53/406.92 c #Conflicts: 87000 | #Constraints: 9355
405.53/406.92 c #Conflicts: 88000 | #Constraints: 10355
405.53/406.92 c #Conflicts: 89000 | #Constraints: 11355
405.53/406.92 c #Conflicts: 90000 | #Constraints: 12355
405.53/406.92 c INPROCESSING
405.53/406.92 c GARBAGE COLLECT
405.53/406.92 c #Conflicts: 91000 | #Constraints: 7355
405.53/406.92 c #Conflicts: 92000 | #Constraints: 8355
405.53/406.92 c #Conflicts: 93000 | #Constraints: 9355
405.53/406.92 c #Conflicts: 94000 | #Constraints: 10355
405.53/406.92 c #Conflicts: 95000 | #Constraints: 11355
405.53/406.92 c #Conflicts: 96000 | #Constraints: 12355
405.53/406.92 c INPROCESSING
405.53/406.92 c GARBAGE COLLECT
405.53/406.92 c #Conflicts: 97000 | #Constraints: 7152
405.53/406.92 c #Conflicts: 98000 | #Constraints: 8152
405.53/406.92 c #Conflicts: 99000 | #Constraints: 9152
405.53/406.92 c #Conflicts: 100000 | #Constraints: 10152
405.53/406.92 c #Conflicts: 101000 | #Constraints: 11152
405.53/406.92 c #Conflicts: 102000 | #Constraints: 12152
405.53/406.92 c #Conflicts: 103000 | #Constraints: 13152
405.53/406.92 c INPROCESSING
405.53/406.92 c GARBAGE COLLECT
525.34/527.19 c #Conflicts: 104000 | #Constraints: 7748
525.34/527.19 c #Conflicts: 105000 | #Constraints: 8748
525.34/527.19 c #Conflicts: 106000 | #Constraints: 9748
525.34/527.19 c #Conflicts: 107000 | #Constraints: 10748
525.34/527.19 c #Conflicts: 108000 | #Constraints: 11748
525.34/527.19 c #Conflicts: 109000 | #Constraints: 12748
525.34/527.19 c #Conflicts: 110000 | #Constraints: 13748
525.34/527.19 c INPROCESSING
525.34/527.19 c GARBAGE COLLECT
525.34/527.19 c #Conflicts: 111000 | #Constraints: 8149
525.34/527.19 c #Conflicts: 112000 | #Constraints: 9149
525.34/527.19 c #Conflicts: 113000 | #Constraints: 10149
525.34/527.19 c #Conflicts: 114000 | #Constraints: 11149
525.34/527.19 c #Conflicts: 115000 | #Constraints: 12149
525.34/527.19 c #Conflicts: 116000 | #Constraints: 13149
525.34/527.19 c #Conflicts: 117000 | #Constraints: 14149
525.34/527.19 c INPROCESSING
525.34/527.19 c GARBAGE COLLECT
525.34/527.19 c #Conflicts: 118000 | #Constraints: 8353
525.34/527.19 c #Conflicts: 119000 | #Constraints: 9353
525.34/527.19 c #Conflicts: 120000 | #Constraints: 10353
525.34/527.19 c #Conflicts: 121000 | #Constraints: 11353
525.34/527.19 c #Conflicts: 122000 | #Constraints: 12353
525.34/527.19 c #Conflicts: 123000 | #Constraints: 13353
525.34/527.19 c #Conflicts: 124000 | #Constraints: 14353
525.34/527.19 c INPROCESSING
525.34/527.19 c GARBAGE COLLECT
525.34/527.19 c #Conflicts: 125000 | #Constraints: 8357
525.34/527.19 c #Conflicts: 126000 | #Constraints: 9357
525.34/527.19 c #Conflicts: 127000 | #Constraints: 10357
525.34/527.19 c #Conflicts: 128000 | #Constraints: 11357
525.34/527.19 c #Conflicts: 129000 | #Constraints: 12357
525.34/527.19 c #Conflicts: 130000 | #Constraints: 13357
525.34/527.19 c #Conflicts: 131000 | #Constraints: 14357
525.34/527.19 c INPROCESSING
525.34/527.19 c GARBAGE COLLECT
525.34/527.19 c #Conflicts: 132000 | #Constraints: 8148
525.34/527.19 c #Conflicts: 133000 | #Constraints: 9148
525.34/527.19 c #Conflicts: 134000 | #Constraints: 10148
525.34/527.19 c #Conflicts: 135000 | #Constraints: 11148
525.34/527.19 c #Conflicts: 136000 | #Constraints: 12148
525.34/527.19 c #Conflicts: 137000 | #Constraints: 13148
525.34/527.19 c #Conflicts: 138000 | #Constraints: 14148
525.34/527.19 c #Conflicts: 139000 | #Constraints: 15148
525.34/527.19 c INPROCESSING
525.34/527.19 c GARBAGE COLLECT
525.34/527.19 c #Conflicts: 140000 | #Constraints: 8751
525.34/527.19 c #Conflicts: 141000 | #Constraints: 9751
525.34/527.19 c #Conflicts: 142000 | #Constraints: 10751
525.34/527.19 c #Conflicts: 143000 | #Constraints: 11751
525.34/527.19 c #Conflicts: 144000 | #Constraints: 12751
525.34/527.19 c #Conflicts: 145000 | #Constraints: 13751
525.34/527.19 c #Conflicts: 146000 | #Constraints: 14751
525.34/527.19 c #Conflicts: 147000 | #Constraints: 15751
525.34/527.19 c INPROCESSING
525.34/527.19 c GARBAGE COLLECT
525.34/527.19 c #Conflicts: 148000 | #Constraints: 9152
525.34/527.19 c #Conflicts: 149000 | #Constraints: 10152
525.34/527.19 c #Conflicts: 150000 | #Constraints: 11152
525.34/527.19 c #Conflicts: 151000 | #Constraints: 12152
525.34/527.19 c #Conflicts: 152000 | #Constraints: 13152
525.34/527.19 c #Conflicts: 153000 | #Constraints: 14152
525.34/527.19 c #Conflicts: 154000 | #Constraints: 15152
525.34/527.19 c #Conflicts: 155000 | #Constraints: 16152
525.34/527.19 c INPROCESSING
525.34/527.19 c GARBAGE COLLECT
525.34/527.19 c #Conflicts: 156000 | #Constraints: 9356
525.34/527.19 c #Conflicts: 157000 | #Constraints: 10356
525.34/527.19 c #Conflicts: 158000 | #Constraints: 11356
525.34/527.19 c #Conflicts: 159000 | #Constraints: 12356
525.34/527.19 c #Conflicts: 160000 | #Constraints: 13356
525.34/527.19 c #Conflicts: 161000 | #Constraints: 14356
525.34/527.19 c #Conflicts: 162000 | #Constraints: 15356
525.34/527.19 c #Conflicts: 163000 | #Constraints: 16356
525.34/527.19 c INPROCESSING
525.34/527.19 c GARBAGE COLLECT
525.34/527.19 c #Conflicts: 164000 | #Constraints: 9350
525.34/527.19 c #Conflicts: 165000 | #Constraints: 10350
525.34/527.19 c #Conflicts: 166000 | #Constraints: 11350
525.34/527.19 c #Conflicts: 167000 | #Constraints: 12350
525.34/527.19 c #Conflicts: 168000 | #Constraints: 13350
525.34/527.19 c #Conflicts: 169000 | #Constraints: 14350
525.34/527.19 c #Conflicts: 170000 | #Constraints: 15350
525.34/527.19 c #Conflicts: 171000 | #Constraints: 16350
525.34/527.19 c INPROCESSING
525.34/527.19 c GARBAGE COLLECT
525.34/527.19 c #Conflicts: 172000 | #Constraints: 9143
525.34/527.19 c #Conflicts: 173000 | #Constraints: 10143
525.34/527.19 c #Conflicts: 174000 | #Constraints: 11143
525.34/527.19 c #Conflicts: 175000 | #Constraints: 12143
525.34/527.19 c #Conflicts: 176000 | #Constraints: 13143
712.10/714.56 c #Conflicts: 177000 | #Constraints: 14143
712.10/714.56 c #Conflicts: 178000 | #Constraints: 15143
712.10/714.56 c #Conflicts: 179000 | #Constraints: 16143
712.10/714.56 c #Conflicts: 180000 | #Constraints: 17143
712.10/714.56 c INPROCESSING
712.10/714.56 c GARBAGE COLLECT
712.10/714.56 c #Conflicts: 181000 | #Constraints: 9743
712.10/714.56 c #Conflicts: 182000 | #Constraints: 10743
712.10/714.56 c #Conflicts: 183000 | #Constraints: 11743
712.10/714.56 c #Conflicts: 184000 | #Constraints: 12743
712.10/714.56 c #Conflicts: 185000 | #Constraints: 13743
712.10/714.56 c #Conflicts: 186000 | #Constraints: 14743
712.10/714.56 c #Conflicts: 187000 | #Constraints: 15743
712.10/714.56 c #Conflicts: 188000 | #Constraints: 16743
712.10/714.56 c #Conflicts: 189000 | #Constraints: 17743
712.10/714.56 c INPROCESSING
712.10/714.56 c GARBAGE COLLECT
712.10/714.56 c #Conflicts: 190000 | #Constraints: 10149
712.10/714.56 c #Conflicts: 191000 | #Constraints: 11149
712.10/714.56 c #Conflicts: 192000 | #Constraints: 12149
712.10/714.56 c #Conflicts: 193000 | #Constraints: 13149
712.10/714.56 c #Conflicts: 194000 | #Constraints: 14149
712.10/714.56 c #Conflicts: 195000 | #Constraints: 15149
712.10/714.56 c #Conflicts: 196000 | #Constraints: 16149
712.10/714.56 c #Conflicts: 197000 | #Constraints: 17149
712.10/714.56 c #Conflicts: 198000 | #Constraints: 18149
712.10/714.56 c INPROCESSING
712.10/714.56 c GARBAGE COLLECT
712.10/714.56 c #Conflicts: 199000 | #Constraints: 10347
712.10/714.56 c #Conflicts: 200000 | #Constraints: 11347
712.10/714.56 c #Conflicts: 201000 | #Constraints: 12347
712.10/714.56 c #Conflicts: 202000 | #Constraints: 13347
712.10/714.56 c #Conflicts: 203000 | #Constraints: 14347
712.10/714.56 c #Conflicts: 204000 | #Constraints: 15347
712.10/714.56 c #Conflicts: 205000 | #Constraints: 16347
712.10/714.56 c #Conflicts: 206000 | #Constraints: 17347
712.10/714.56 c #Conflicts: 207000 | #Constraints: 18347
712.10/714.56 c INPROCESSING
712.10/714.56 c GARBAGE COLLECT
712.10/714.56 c #Conflicts: 208000 | #Constraints: 10356
712.10/714.56 c #Conflicts: 209000 | #Constraints: 11356
712.10/714.56 c #Conflicts: 210000 | #Constraints: 12356
712.10/714.56 c #Conflicts: 211000 | #Constraints: 13356
712.10/714.56 c #Conflicts: 212000 | #Constraints: 14356
712.10/714.56 c #Conflicts: 213000 | #Constraints: 15356
712.10/714.56 c #Conflicts: 214000 | #Constraints: 16356
712.10/714.56 c #Conflicts: 215000 | #Constraints: 17356
712.10/714.56 c #Conflicts: 216000 | #Constraints: 18356
712.10/714.56 c INPROCESSING
712.10/714.56 c GARBAGE COLLECT
712.10/714.56 c #Conflicts: 217000 | #Constraints: 10155
712.10/714.56 c #Conflicts: 218000 | #Constraints: 11155
712.10/714.56 c #Conflicts: 219000 | #Constraints: 12155
712.10/714.56 c #Conflicts: 220000 | #Constraints: 13155
712.10/714.56 c #Conflicts: 221000 | #Constraints: 14155
712.10/714.56 c #Conflicts: 222000 | #Constraints: 15155
712.10/714.56 c #Conflicts: 223000 | #Constraints: 16155
712.10/714.56 c #Conflicts: 224000 | #Constraints: 17155
712.10/714.56 c #Conflicts: 225000 | #Constraints: 18155
712.10/714.56 c #Conflicts: 226000 | #Constraints: 19155
712.10/714.56 c INPROCESSING
712.10/714.56 c GARBAGE COLLECT
712.10/714.56 c #Conflicts: 227000 | #Constraints: 10751
712.10/714.56 c #Conflicts: 228000 | #Constraints: 11751
712.10/714.56 c #Conflicts: 229000 | #Constraints: 12751
712.10/714.56 c #Conflicts: 230000 | #Constraints: 13751
712.10/714.56 c #Conflicts: 231000 | #Constraints: 14751
712.10/714.56 c #Conflicts: 232000 | #Constraints: 15751
712.10/714.56 c #Conflicts: 233000 | #Constraints: 16751
712.10/714.56 c #Conflicts: 234000 | #Constraints: 17751
712.10/714.56 c #Conflicts: 235000 | #Constraints: 18751
712.10/714.56 c #Conflicts: 236000 | #Constraints: 19751
712.10/714.56 c INPROCESSING
712.10/714.56 c GARBAGE COLLECT
712.10/714.56 c #Conflicts: 237000 | #Constraints: 11150
712.10/714.56 c #Conflicts: 238000 | #Constraints: 12150
712.10/714.56 c #Conflicts: 239000 | #Constraints: 13150
712.10/714.56 c #Conflicts: 240000 | #Constraints: 14150
712.10/714.56 c #Conflicts: 241000 | #Constraints: 15150
712.10/714.56 c #Conflicts: 242000 | #Constraints: 16150
712.10/714.56 c #Conflicts: 243000 | #Constraints: 17150
712.10/714.56 c #Conflicts: 244000 | #Constraints: 18150
712.10/714.56 c #Conflicts: 245000 | #Constraints: 19150
712.10/714.56 c #Conflicts: 246000 | #Constraints: 20150
712.10/714.56 c INPROCESSING
712.10/714.56 c GARBAGE COLLECT
712.10/714.56 c #Conflicts: 247000 | #Constraints: 11350
712.10/714.56 c #Conflicts: 248000 | #Constraints: 12350
712.10/714.56 c #Conflicts: 249000 | #Constraints: 13350
712.10/714.56 c #Conflicts: 250000 | #Constraints: 14350
890.18/893.15 c #Conflicts: 251000 | #Constraints: 15350
890.18/893.15 c #Conflicts: 252000 | #Constraints: 16350
890.18/893.15 c #Conflicts: 253000 | #Constraints: 17350
890.18/893.15 c #Conflicts: 254000 | #Constraints: 18350
890.18/893.15 c #Conflicts: 255000 | #Constraints: 19350
890.18/893.15 c #Conflicts: 256000 | #Constraints: 20350
890.18/893.15 c INPROCESSING
890.18/893.15 c GARBAGE COLLECT
890.18/893.15 c #Conflicts: 257000 | #Constraints: 11349
890.18/893.15 c #Conflicts: 258000 | #Constraints: 12349
890.18/893.15 c #Conflicts: 259000 | #Constraints: 13349
890.18/893.15 c #Conflicts: 260000 | #Constraints: 14349
890.18/893.15 c #Conflicts: 261000 | #Constraints: 15349
890.18/893.15 c #Conflicts: 262000 | #Constraints: 16349
890.18/893.15 c #Conflicts: 263000 | #Constraints: 17349
890.18/893.15 c #Conflicts: 264000 | #Constraints: 18349
890.18/893.15 c #Conflicts: 265000 | #Constraints: 19349
890.18/893.15 c #Conflicts: 266000 | #Constraints: 20349
890.18/893.15 c INPROCESSING
890.18/893.15 c GARBAGE COLLECT
890.18/893.15 c #Conflicts: 267000 | #Constraints: 11150
890.18/893.15 c #Conflicts: 268000 | #Constraints: 12150
890.18/893.15 c #Conflicts: 269000 | #Constraints: 13150
890.18/893.15 c #Conflicts: 270000 | #Constraints: 14150
890.18/893.15 c #Conflicts: 271000 | #Constraints: 15150
890.18/893.15 c #Conflicts: 272000 | #Constraints: 16150
890.18/893.15 c #Conflicts: 273000 | #Constraints: 17150
890.18/893.15 c #Conflicts: 274000 | #Constraints: 18150
890.18/893.15 c #Conflicts: 275000 | #Constraints: 19150
890.18/893.15 c #Conflicts: 276000 | #Constraints: 20150
890.18/893.15 c #Conflicts: 277000 | #Constraints: 21150
890.18/893.15 c INPROCESSING
890.18/893.15 c GARBAGE COLLECT
890.18/893.15 c #Conflicts: 278000 | #Constraints: 11749
890.18/893.15 c #Conflicts: 279000 | #Constraints: 12749
890.18/893.15 c #Conflicts: 280000 | #Constraints: 13749
890.18/893.15 c #Conflicts: 281000 | #Constraints: 14749
890.18/893.15 c #Conflicts: 282000 | #Constraints: 15749
890.18/893.15 c #Conflicts: 283000 | #Constraints: 16749
890.18/893.15 c #Conflicts: 284000 | #Constraints: 17749
890.18/893.15 c #Conflicts: 285000 | #Constraints: 18749
890.18/893.15 c #Conflicts: 286000 | #Constraints: 19749
890.18/893.15 c #Conflicts: 287000 | #Constraints: 20749
890.18/893.15 c #Conflicts: 288000 | #Constraints: 21749
890.18/893.15 c INPROCESSING
890.18/893.15 c GARBAGE COLLECT
890.18/893.15 c #Conflicts: 289000 | #Constraints: 12148
890.18/893.15 c #Conflicts: 290000 | #Constraints: 13148
890.18/893.15 c #Conflicts: 291000 | #Constraints: 14148
890.18/893.15 c #Conflicts: 292000 | #Constraints: 15148
890.18/893.15 c #Conflicts: 293000 | #Constraints: 16148
890.18/893.15 c #Conflicts: 294000 | #Constraints: 17148
890.18/893.15 c #Conflicts: 295000 | #Constraints: 18148
890.18/893.15 c #Conflicts: 296000 | #Constraints: 19148
890.18/893.15 c #Conflicts: 297000 | #Constraints: 20148
890.18/893.15 c #Conflicts: 298000 | #Constraints: 21148
890.18/893.15 c #Conflicts: 299000 | #Constraints: 22148
890.18/893.15 c INPROCESSING
890.18/893.15 c GARBAGE COLLECT
890.18/893.15 c #Conflicts: 300000 | #Constraints: 12347
890.18/893.15 c #Conflicts: 301000 | #Constraints: 13347
890.18/893.15 c #Conflicts: 302000 | #Constraints: 14347
890.18/893.15 c #Conflicts: 303000 | #Constraints: 15347
890.18/893.15 c #Conflicts: 304000 | #Constraints: 16347
890.18/893.15 c #Conflicts: 305000 | #Constraints: 17347
890.18/893.15 c #Conflicts: 306000 | #Constraints: 18347
890.18/893.15 c #Conflicts: 307000 | #Constraints: 19347
890.18/893.15 c #Conflicts: 308000 | #Constraints: 20347
890.18/893.15 c #Conflicts: 309000 | #Constraints: 21347
890.18/893.15 c #Conflicts: 310000 | #Constraints: 22347
890.18/893.15 c INPROCESSING
890.18/893.15 c GARBAGE COLLECT
890.18/893.15 c #Conflicts: 311000 | #Constraints: 12347
890.18/893.15 c #Conflicts: 312000 | #Constraints: 13347
890.18/893.15 c #Conflicts: 313000 | #Constraints: 14347
890.18/893.15 c #Conflicts: 314000 | #Constraints: 15347
890.18/893.15 c #Conflicts: 315000 | #Constraints: 16347
890.18/893.15 c #Conflicts: 316000 | #Constraints: 17347
890.18/893.15 c #Conflicts: 317000 | #Constraints: 18347
890.18/893.15 c #Conflicts: 318000 | #Constraints: 19347
890.18/893.15 c #Conflicts: 319000 | #Constraints: 20347
890.18/893.15 c #Conflicts: 320000 | #Constraints: 21347
890.18/893.15 c #Conflicts: 321000 | #Constraints: 22347
890.18/893.15 c INPROCESSING
890.18/893.15 c GARBAGE COLLECT
890.18/893.15 c #Conflicts: 322000 | #Constraints: 12153
890.18/893.15 c #Conflicts: 323000 | #Constraints: 13153
890.18/893.15 c #Conflicts: 324000 | #Constraints: 14153
1103.41/1106.95 c #Conflicts: 325000 | #Constraints: 15153
1103.41/1106.95 c #Conflicts: 326000 | #Constraints: 16153
1103.41/1106.95 c #Conflicts: 327000 | #Constraints: 17153
1103.41/1106.95 c #Conflicts: 328000 | #Constraints: 18153
1103.41/1106.95 c #Conflicts: 329000 | #Constraints: 19153
1103.41/1106.95 c #Conflicts: 330000 | #Constraints: 20153
1103.41/1106.95 c #Conflicts: 331000 | #Constraints: 21153
1103.41/1106.95 c #Conflicts: 332000 | #Constraints: 22153
1103.41/1106.95 c #Conflicts: 333000 | #Constraints: 23153
1103.41/1106.95 c INPROCESSING
1103.41/1106.95 c GARBAGE COLLECT
1103.41/1106.95 c #Conflicts: 334000 | #Constraints: 12747
1103.41/1106.95 c #Conflicts: 335000 | #Constraints: 13747
1103.41/1106.95 c #Conflicts: 336000 | #Constraints: 14747
1103.41/1106.95 c #Conflicts: 337000 | #Constraints: 15747
1103.41/1106.95 c #Conflicts: 338000 | #Constraints: 16747
1103.41/1106.95 c #Conflicts: 339000 | #Constraints: 17747
1103.41/1106.95 c #Conflicts: 340000 | #Constraints: 18747
1103.41/1106.95 c #Conflicts: 341000 | #Constraints: 19747
1103.41/1106.95 c #Conflicts: 342000 | #Constraints: 20747
1103.41/1106.95 c #Conflicts: 343000 | #Constraints: 21747
1103.41/1106.95 c #Conflicts: 344000 | #Constraints: 22747
1103.41/1106.95 c #Conflicts: 345000 | #Constraints: 23747
1103.41/1106.95 c INPROCESSING
1103.41/1106.95 c GARBAGE COLLECT
1103.41/1106.95 c #Conflicts: 346000 | #Constraints: 13146
1103.41/1106.95 c #Conflicts: 347000 | #Constraints: 14146
1103.41/1106.95 c #Conflicts: 348000 | #Constraints: 15146
1103.41/1106.95 c #Conflicts: 349000 | #Constraints: 16146
1103.41/1106.95 c #Conflicts: 350000 | #Constraints: 17146
1103.41/1106.95 c #Conflicts: 351000 | #Constraints: 18146
1103.41/1106.95 c #Conflicts: 352000 | #Constraints: 19146
1103.41/1106.95 c #Conflicts: 353000 | #Constraints: 20146
1103.41/1106.95 c #Conflicts: 354000 | #Constraints: 21146
1103.41/1106.95 c #Conflicts: 355000 | #Constraints: 22146
1103.41/1106.95 c #Conflicts: 356000 | #Constraints: 23146
1103.41/1106.95 c #Conflicts: 357000 | #Constraints: 24146
1103.41/1106.95 c INPROCESSING
1103.41/1106.95 c GARBAGE COLLECT
1103.41/1106.95 c #Conflicts: 358000 | #Constraints: 13344
1103.41/1106.95 c #Conflicts: 359000 | #Constraints: 14344
1103.41/1106.95 c #Conflicts: 360000 | #Constraints: 15344
1103.41/1106.95 c #Conflicts: 361000 | #Constraints: 16344
1103.41/1106.95 c #Conflicts: 362000 | #Constraints: 17344
1103.41/1106.95 c #Conflicts: 363000 | #Constraints: 18344
1103.41/1106.95 c #Conflicts: 364000 | #Constraints: 19344
1103.41/1106.95 c #Conflicts: 365000 | #Constraints: 20344
1103.41/1106.95 c #Conflicts: 366000 | #Constraints: 21344
1103.41/1106.95 c #Conflicts: 367000 | #Constraints: 22344
1103.41/1106.95 c #Conflicts: 368000 | #Constraints: 23344
1103.41/1106.95 c #Conflicts: 369000 | #Constraints: 24344
1103.41/1106.95 c INPROCESSING
1103.41/1106.95 c GARBAGE COLLECT
1103.41/1106.95 c #Conflicts: 370000 | #Constraints: 13351
1103.41/1106.95 c #Conflicts: 371000 | #Constraints: 14351
1103.41/1106.95 c #Conflicts: 372000 | #Constraints: 15351
1103.41/1106.95 c #Conflicts: 373000 | #Constraints: 16351
1103.41/1106.95 c #Conflicts: 374000 | #Constraints: 17351
1103.41/1106.95 c #Conflicts: 375000 | #Constraints: 18351
1103.41/1106.95 c #Conflicts: 376000 | #Constraints: 19351
1103.41/1106.95 c #Conflicts: 377000 | #Constraints: 20351
1103.41/1106.95 c #Conflicts: 378000 | #Constraints: 21351
1103.41/1106.95 c #Conflicts: 379000 | #Constraints: 22351
1103.41/1106.95 c #Conflicts: 380000 | #Constraints: 23351
1103.41/1106.95 c #Conflicts: 381000 | #Constraints: 24351
1103.41/1106.95 c INPROCESSING
1103.41/1106.95 c GARBAGE COLLECT
1103.41/1106.95 c #Conflicts: 382000 | #Constraints: 13150
1103.41/1106.95 c #Conflicts: 383000 | #Constraints: 14150
1103.41/1106.95 c #Conflicts: 384000 | #Constraints: 15150
1103.41/1106.95 c #Conflicts: 385000 | #Constraints: 16150
1103.41/1106.95 c #Conflicts: 386000 | #Constraints: 17150
1103.41/1106.95 c #Conflicts: 387000 | #Constraints: 18150
1103.41/1106.95 c #Conflicts: 388000 | #Constraints: 19150
1103.41/1106.95 c #Conflicts: 389000 | #Constraints: 20150
1103.41/1106.95 c #Conflicts: 390000 | #Constraints: 21150
1103.41/1106.95 c #Conflicts: 391000 | #Constraints: 22150
1103.41/1106.95 c #Conflicts: 392000 | #Constraints: 23150
1103.41/1106.95 c #Conflicts: 393000 | #Constraints: 24150
1103.41/1106.95 c #Conflicts: 394000 | #Constraints: 25150
1103.41/1106.95 c INPROCESSING
1103.41/1106.95 c GARBAGE COLLECT
1103.41/1106.95 c #Conflicts: 395000 | #Constraints: 13748
1103.41/1106.95 c #Conflicts: 396000 | #Constraints: 14748
1103.41/1106.95 c #Conflicts: 397000 | #Constraints: 15748
1103.41/1106.95 c #Conflicts: 398000 | #Constraints: 16748
1103.41/1106.95 c #Conflicts: 399000 | #Constraints: 17748
1404.90/1409.28 c #Conflicts: 400000 | #Constraints: 18748
1404.90/1409.28 c #Conflicts: 401000 | #Constraints: 19748
1404.90/1409.28 c #Conflicts: 402000 | #Constraints: 20748
1404.90/1409.28 c #Conflicts: 403000 | #Constraints: 21748
1404.90/1409.28 c #Conflicts: 404000 | #Constraints: 22748
1404.90/1409.28 c #Conflicts: 405000 | #Constraints: 23748
1404.90/1409.28 c #Conflicts: 406000 | #Constraints: 24748
1404.90/1409.28 c #Conflicts: 407000 | #Constraints: 25748
1404.90/1409.28 c INPROCESSING
1404.90/1409.28 c GARBAGE COLLECT
1404.90/1409.28 c #Conflicts: 408000 | #Constraints: 14149
1404.90/1409.28 c #Conflicts: 409000 | #Constraints: 15149
1404.90/1409.28 c #Conflicts: 410000 | #Constraints: 16149
1404.90/1409.28 c #Conflicts: 411000 | #Constraints: 17149
1404.90/1409.28 c #Conflicts: 412000 | #Constraints: 18149
1404.90/1409.28 c #Conflicts: 413000 | #Constraints: 19149
1404.90/1409.28 c #Conflicts: 414000 | #Constraints: 20149
1404.90/1409.28 c #Conflicts: 415000 | #Constraints: 21149
1404.90/1409.28 c #Conflicts: 416000 | #Constraints: 22149
1404.90/1409.28 c #Conflicts: 417000 | #Constraints: 23149
1404.90/1409.28 c #Conflicts: 418000 | #Constraints: 24149
1404.90/1409.28 c #Conflicts: 419000 | #Constraints: 25149
1404.90/1409.28 c #Conflicts: 420000 | #Constraints: 26149
1404.90/1409.28 c INPROCESSING
1404.90/1409.28 c GARBAGE COLLECT
1404.90/1409.28 c #Conflicts: 421000 | #Constraints: 14353
1404.90/1409.28 c #Conflicts: 422000 | #Constraints: 15353
1404.90/1409.28 c #Conflicts: 423000 | #Constraints: 16353
1404.90/1409.28 c #Conflicts: 424000 | #Constraints: 17353
1404.90/1409.28 c #Conflicts: 425000 | #Constraints: 18353
1404.90/1409.28 c #Conflicts: 426000 | #Constraints: 19353
1404.90/1409.28 c #Conflicts: 427000 | #Constraints: 20353
1404.90/1409.28 c #Conflicts: 428000 | #Constraints: 21353
1404.90/1409.28 c #Conflicts: 429000 | #Constraints: 22353
1404.90/1409.28 c #Conflicts: 430000 | #Constraints: 23353
1404.90/1409.28 c #Conflicts: 431000 | #Constraints: 24353
1404.90/1409.28 c #Conflicts: 432000 | #Constraints: 25353
1404.90/1409.28 c #Conflicts: 433000 | #Constraints: 26353
1404.90/1409.28 c INPROCESSING
1404.90/1409.28 c GARBAGE COLLECT
1404.90/1409.28 c #Conflicts: 434000 | #Constraints: 14353
1404.90/1409.28 c #Conflicts: 435000 | #Constraints: 15353
1404.90/1409.28 c #Conflicts: 436000 | #Constraints: 16353
1404.90/1409.28 c #Conflicts: 437000 | #Constraints: 17353
1404.90/1409.28 c #Conflicts: 438000 | #Constraints: 18353
1404.90/1409.28 c #Conflicts: 439000 | #Constraints: 19353
1404.90/1409.28 c #Conflicts: 440000 | #Constraints: 20353
1404.90/1409.28 c #Conflicts: 441000 | #Constraints: 21353
1404.90/1409.28 c #Conflicts: 442000 | #Constraints: 22353
1404.90/1409.28 c #Conflicts: 443000 | #Constraints: 23353
1404.90/1409.28 c #Conflicts: 444000 | #Constraints: 24353
1404.90/1409.28 c #Conflicts: 445000 | #Constraints: 25353
1404.90/1409.28 c #Conflicts: 446000 | #Constraints: 26353
1404.90/1409.28 c INPROCESSING
1404.90/1409.28 c GARBAGE COLLECT
1404.90/1409.28 c #Conflicts: 447000 | #Constraints: 14150
1404.90/1409.28 c #Conflicts: 448000 | #Constraints: 15150
1404.90/1409.28 c #Conflicts: 449000 | #Constraints: 16150
1404.90/1409.28 c #Conflicts: 450000 | #Constraints: 17150
1404.90/1409.28 c #Conflicts: 451000 | #Constraints: 18150
1404.90/1409.28 c #Conflicts: 452000 | #Constraints: 19150
1404.90/1409.28 c #Conflicts: 453000 | #Constraints: 20150
1404.90/1409.28 c #Conflicts: 454000 | #Constraints: 21150
1404.90/1409.28 c #Conflicts: 455000 | #Constraints: 22150
1404.90/1409.28 c #Conflicts: 456000 | #Constraints: 23150
1404.90/1409.28 c #Conflicts: 457000 | #Constraints: 24150
1404.90/1409.28 c #Conflicts: 458000 | #Constraints: 25150
1404.90/1409.28 c #Conflicts: 459000 | #Constraints: 26150
1404.90/1409.28 c #Conflicts: 460000 | #Constraints: 27150
1404.90/1409.28 c INPROCESSING
1404.90/1409.28 c GARBAGE COLLECT
1404.90/1409.28 c #Conflicts: 461000 | #Constraints: 14756
1404.90/1409.28 c #Conflicts: 462000 | #Constraints: 15756
1404.90/1409.28 c #Conflicts: 463000 | #Constraints: 16756
1404.90/1409.28 c #Conflicts: 464000 | #Constraints: 17756
1404.90/1409.28 c #Conflicts: 465000 | #Constraints: 18756
1404.90/1409.28 c #Conflicts: 466000 | #Constraints: 19756
1404.90/1409.28 c #Conflicts: 467000 | #Constraints: 20756
1404.90/1409.28 c #Conflicts: 468000 | #Constraints: 21756
1404.90/1409.28 c #Conflicts: 469000 | #Constraints: 22756
1404.90/1409.28 c #Conflicts: 470000 | #Constraints: 23756
1404.90/1409.28 c #Conflicts: 471000 | #Constraints: 24756
1404.90/1409.28 c #Conflicts: 472000 | #Constraints: 25756
1404.90/1409.28 c #Conflicts: 473000 | #Constraints: 26756
1404.90/1409.28 c #Conflicts: 474000 | #Constraints: 27756
1404.90/1409.28 c INPROCESSING
1404.90/1409.28 c GARBAGE COLLECT
1679.48/1684.55 c #Conflicts: 475000 | #Constraints: 15158
1679.48/1684.55 c #Conflicts: 476000 | #Constraints: 16158
1679.48/1684.55 c #Conflicts: 477000 | #Constraints: 17158
1679.48/1684.55 c #Conflicts: 478000 | #Constraints: 18158
1679.48/1684.55 c #Conflicts: 479000 | #Constraints: 19158
1679.48/1684.55 c #Conflicts: 480000 | #Constraints: 20158
1679.48/1684.55 c #Conflicts: 481000 | #Constraints: 21158
1679.48/1684.55 c #Conflicts: 482000 | #Constraints: 22158
1679.48/1684.55 c #Conflicts: 483000 | #Constraints: 23158
1679.48/1684.55 c #Conflicts: 484000 | #Constraints: 24158
1679.48/1684.55 c #Conflicts: 485000 | #Constraints: 25158
1679.48/1684.55 c #Conflicts: 486000 | #Constraints: 26158
1679.48/1684.55 c #Conflicts: 487000 | #Constraints: 27158
1679.48/1684.55 c #Conflicts: 488000 | #Constraints: 28158
1679.48/1684.55 c INPROCESSING
1679.48/1684.55 c GARBAGE COLLECT
1679.48/1684.55 c #Conflicts: 489000 | #Constraints: 15350
1679.48/1684.55 c #Conflicts: 490000 | #Constraints: 16350
1679.48/1684.55 c #Conflicts: 491000 | #Constraints: 17350
1679.48/1684.55 c #Conflicts: 492000 | #Constraints: 18350
1679.48/1684.55 c #Conflicts: 493000 | #Constraints: 19350
1679.48/1684.55 c #Conflicts: 494000 | #Constraints: 20350
1679.48/1684.55 c #Conflicts: 495000 | #Constraints: 21350
1679.48/1684.55 c #Conflicts: 496000 | #Constraints: 22350
1679.48/1684.55 c #Conflicts: 497000 | #Constraints: 23350
1679.48/1684.55 c #Conflicts: 498000 | #Constraints: 24350
1679.48/1684.55 c #Conflicts: 499000 | #Constraints: 25350
1679.48/1684.55 c #Conflicts: 500000 | #Constraints: 26350
1679.48/1684.55 c #Conflicts: 501000 | #Constraints: 27350
1679.48/1684.55 c #Conflicts: 502000 | #Constraints: 28350
1679.48/1684.55 c INPROCESSING
1679.48/1684.55 c GARBAGE COLLECT
1679.48/1684.55 c #Conflicts: 503000 | #Constraints: 15356
1679.48/1684.55 c #Conflicts: 504000 | #Constraints: 16356
1679.48/1684.55 c #Conflicts: 505000 | #Constraints: 17356
1679.48/1684.55 c #Conflicts: 506000 | #Constraints: 18356
1679.48/1684.55 c #Conflicts: 507000 | #Constraints: 19356
1679.48/1684.55 c #Conflicts: 508000 | #Constraints: 20356
1679.48/1684.55 c #Conflicts: 509000 | #Constraints: 21356
1679.48/1684.55 c #Conflicts: 510000 | #Constraints: 22356
1679.48/1684.55 c #Conflicts: 511000 | #Constraints: 23356
1679.48/1684.55 c #Conflicts: 512000 | #Constraints: 24356
1679.48/1684.55 c #Conflicts: 513000 | #Constraints: 25356
1679.48/1684.55 c #Conflicts: 514000 | #Constraints: 26356
1679.48/1684.55 c #Conflicts: 515000 | #Constraints: 27356
1679.48/1684.55 c #Conflicts: 516000 | #Constraints: 28356
1679.48/1684.55 c INPROCESSING
1679.48/1684.55 c GARBAGE COLLECT
1679.48/1684.55 c #Conflicts: 517000 | #Constraints: 15149
1679.48/1684.55 c #Conflicts: 518000 | #Constraints: 16149
1679.48/1684.55 c #Conflicts: 519000 | #Constraints: 17149
1679.48/1684.55 c #Conflicts: 520000 | #Constraints: 18149
1679.48/1684.55 c #Conflicts: 521000 | #Constraints: 19149
1679.48/1684.55 c #Conflicts: 522000 | #Constraints: 20149
1679.48/1684.55 c #Conflicts: 523000 | #Constraints: 21149
1679.48/1684.55 c #Conflicts: 524000 | #Constraints: 22149
1679.48/1684.55 c #Conflicts: 525000 | #Constraints: 23149
1679.48/1684.55 c #Conflicts: 526000 | #Constraints: 24149
1679.48/1684.55 c #Conflicts: 527000 | #Constraints: 25149
1679.48/1684.55 c #Conflicts: 528000 | #Constraints: 26149
1679.48/1684.55 c #Conflicts: 529000 | #Constraints: 27149
1679.48/1684.55 c #Conflicts: 530000 | #Constraints: 28149
1679.48/1684.55 c #Conflicts: 531000 | #Constraints: 29149
1679.48/1684.55 c INPROCESSING
1679.48/1684.55 c GARBAGE COLLECT
1679.48/1684.55 c #Conflicts: 532000 | #Constraints: 15750
1679.48/1684.55 c #Conflicts: 533000 | #Constraints: 16750
1679.48/1684.55 c #Conflicts: 534000 | #Constraints: 17750
1679.48/1684.55 c #Conflicts: 535000 | #Constraints: 18750
1679.48/1684.55 c #Conflicts: 536000 | #Constraints: 19750
1679.48/1684.55 c #Conflicts: 537000 | #Constraints: 20750
1679.48/1684.55 c #Conflicts: 538000 | #Constraints: 21750
1679.48/1684.55 c #Conflicts: 539000 | #Constraints: 22750
1679.48/1684.55 c #Conflicts: 540000 | #Constraints: 23750
1679.48/1684.55 c #Conflicts: 541000 | #Constraints: 24750
1679.48/1684.55 c #Conflicts: 542000 | #Constraints: 25750
1679.48/1684.55 c #Conflicts: 543000 | #Constraints: 26750
1679.48/1684.55 c #Conflicts: 544000 | #Constraints: 27750
1679.48/1684.55 c #Conflicts: 545000 | #Constraints: 28750
1679.48/1684.55 c #Conflicts: 546000 | #Constraints: 29750
1679.48/1684.55 c INPROCESSING
1679.48/1684.55 c GARBAGE COLLECT
1679.48/1684.55 c #Conflicts: 547000 | #Constraints: 16145
1679.48/1684.55 c #Conflicts: 548000 | #Constraints: 17145
1679.48/1684.55 c #Conflicts: 549000 | #Constraints: 18145
1679.48/1684.55 c #Conflicts: 550000 | #Constraints: 19145
1945.87/1951.67 c #Conflicts: 551000 | #Constraints: 20145
1945.87/1951.67 c #Conflicts: 552000 | #Constraints: 21145
1945.87/1951.67 c #Conflicts: 553000 | #Constraints: 22145
1945.87/1951.67 c #Conflicts: 554000 | #Constraints: 23145
1945.87/1951.67 c #Conflicts: 555000 | #Constraints: 24145
1945.87/1951.67 c #Conflicts: 556000 | #Constraints: 25145
1945.87/1951.67 c #Conflicts: 557000 | #Constraints: 26145
1945.87/1951.67 c #Conflicts: 558000 | #Constraints: 27145
1945.87/1951.67 c #Conflicts: 559000 | #Constraints: 28145
1945.87/1951.67 c #Conflicts: 560000 | #Constraints: 29145
1945.87/1951.67 c #Conflicts: 561000 | #Constraints: 30145
1945.87/1951.67 c INPROCESSING
1945.87/1951.67 c GARBAGE COLLECT
1945.87/1951.67 c #Conflicts: 562000 | #Constraints: 16342
1945.87/1951.67 c #Conflicts: 563000 | #Constraints: 17342
1945.87/1951.67 c #Conflicts: 564000 | #Constraints: 18342
1945.87/1951.67 c #Conflicts: 565000 | #Constraints: 19342
1945.87/1951.67 c #Conflicts: 566000 | #Constraints: 20342
1945.87/1951.67 c #Conflicts: 567000 | #Constraints: 21342
1945.87/1951.67 c #Conflicts: 568000 | #Constraints: 22342
1945.87/1951.67 c #Conflicts: 569000 | #Constraints: 23342
1945.87/1951.67 c #Conflicts: 570000 | #Constraints: 24342
1945.87/1951.67 c #Conflicts: 571000 | #Constraints: 25342
1945.87/1951.67 c #Conflicts: 572000 | #Constraints: 26342
1945.87/1951.67 c #Conflicts: 573000 | #Constraints: 27342
1945.87/1951.67 c #Conflicts: 574000 | #Constraints: 28342
1945.87/1951.67 c #Conflicts: 575000 | #Constraints: 29342
1945.87/1951.67 c #Conflicts: 576000 | #Constraints: 30342
1945.87/1951.67 c INPROCESSING
1945.87/1951.67 c GARBAGE COLLECT
1945.87/1951.67 c #Conflicts: 577000 | #Constraints: 16343
1945.87/1951.67 c #Conflicts: 578000 | #Constraints: 17343
1945.87/1951.67 c #Conflicts: 579000 | #Constraints: 18343
1945.87/1951.67 c #Conflicts: 580000 | #Constraints: 19343
1945.87/1951.67 c #Conflicts: 581000 | #Constraints: 20343
1945.87/1951.67 c #Conflicts: 582000 | #Constraints: 21343
1945.87/1951.67 c #Conflicts: 583000 | #Constraints: 22343
1945.87/1951.67 c #Conflicts: 584000 | #Constraints: 23343
1945.87/1951.67 c #Conflicts: 585000 | #Constraints: 24343
1945.87/1951.67 c #Conflicts: 586000 | #Constraints: 25343
1945.87/1951.67 c #Conflicts: 587000 | #Constraints: 26343
1945.87/1951.67 c #Conflicts: 588000 | #Constraints: 27343
1945.87/1951.67 c #Conflicts: 589000 | #Constraints: 28343
1945.87/1951.67 c #Conflicts: 590000 | #Constraints: 29343
1945.87/1951.67 c #Conflicts: 591000 | #Constraints: 30343
1945.87/1951.67 c INPROCESSING
1945.87/1951.67 c GARBAGE COLLECT
1945.87/1951.67 c #Conflicts: 592000 | #Constraints: 16151
1945.87/1951.67 c #Conflicts: 593000 | #Constraints: 17151
1945.87/1951.67 c #Conflicts: 594000 | #Constraints: 18151
1945.87/1951.67 c #Conflicts: 595000 | #Constraints: 19151
1945.87/1951.67 c #Conflicts: 596000 | #Constraints: 20151
1945.87/1951.67 c #Conflicts: 597000 | #Constraints: 21151
1945.87/1951.67 c #Conflicts: 598000 | #Constraints: 22151
1945.87/1951.67 c #Conflicts: 599000 | #Constraints: 23151
1945.87/1951.67 c #Conflicts: 600000 | #Constraints: 24151
1945.87/1951.67 c #Conflicts: 601000 | #Constraints: 25151
1945.87/1951.67 c #Conflicts: 602000 | #Constraints: 26151
1945.87/1951.67 c #Conflicts: 603000 | #Constraints: 27151
1945.87/1951.67 c #Conflicts: 604000 | #Constraints: 28151
1945.87/1951.67 c #Conflicts: 605000 | #Constraints: 29151
1945.87/1951.67 c #Conflicts: 606000 | #Constraints: 30151
1945.87/1951.67 c #Conflicts: 607000 | #Constraints: 31151
1945.87/1951.67 c INPROCESSING
1945.87/1951.67 c GARBAGE COLLECT
1945.87/1951.67 c #Conflicts: 608000 | #Constraints: 16751
1945.87/1951.67 c #Conflicts: 609000 | #Constraints: 17751
1945.87/1951.67 c #Conflicts: 610000 | #Constraints: 18751
1945.87/1951.67 c #Conflicts: 611000 | #Constraints: 19751
1945.87/1951.67 c #Conflicts: 612000 | #Constraints: 20751
1945.87/1951.67 c #Conflicts: 613000 | #Constraints: 21751
1945.87/1951.67 c #Conflicts: 614000 | #Constraints: 22751
1945.87/1951.67 c #Conflicts: 615000 | #Constraints: 23751
1945.87/1951.67 c #Conflicts: 616000 | #Constraints: 24751
1945.87/1951.67 c #Conflicts: 617000 | #Constraints: 25751
1945.87/1951.67 c #Conflicts: 618000 | #Constraints: 26751
1945.87/1951.67 c #Conflicts: 619000 | #Constraints: 27751
1945.87/1951.67 c #Conflicts: 620000 | #Constraints: 28751
1945.87/1951.67 c #Conflicts: 621000 | #Constraints: 29751
1945.87/1951.67 c #Conflicts: 622000 | #Constraints: 30751
1945.87/1951.67 c #Conflicts: 623000 | #Constraints: 31751
1945.87/1951.67 c INPROCESSING
1945.87/1951.67 c GARBAGE COLLECT
1945.87/1951.67 c #Conflicts: 624000 | #Constraints: 17148
1945.87/1951.67 c #Conflicts: 625000 | #Constraints: 18148
1945.87/1951.67 c #Conflicts: 626000 | #Constraints: 19148
2240.29/2246.80 c #Conflicts: 627000 | #Constraints: 20148
2240.29/2246.80 c #Conflicts: 628000 | #Constraints: 21148
2240.29/2246.80 c #Conflicts: 629000 | #Constraints: 22148
2240.29/2246.80 c #Conflicts: 630000 | #Constraints: 23148
2240.29/2246.80 c #Conflicts: 631000 | #Constraints: 24148
2240.29/2246.80 c #Conflicts: 632000 | #Constraints: 25148
2240.29/2246.80 c #Conflicts: 633000 | #Constraints: 26148
2240.29/2246.80 c #Conflicts: 634000 | #Constraints: 27148
2240.29/2246.80 c #Conflicts: 635000 | #Constraints: 28148
2240.29/2246.80 c #Conflicts: 636000 | #Constraints: 29148
2240.29/2246.80 c #Conflicts: 637000 | #Constraints: 30148
2240.29/2246.80 c #Conflicts: 638000 | #Constraints: 31148
2240.29/2246.80 c #Conflicts: 639000 | #Constraints: 32148
2240.29/2246.80 c INPROCESSING
2240.29/2246.80 c GARBAGE COLLECT
2240.29/2246.80 c #Conflicts: 640000 | #Constraints: 17345
2240.29/2246.80 c #Conflicts: 641000 | #Constraints: 18345
2240.29/2246.80 c #Conflicts: 642000 | #Constraints: 19345
2240.29/2246.80 c #Conflicts: 643000 | #Constraints: 20345
2240.29/2246.80 c #Conflicts: 644000 | #Constraints: 21345
2240.29/2246.80 c #Conflicts: 645000 | #Constraints: 22345
2240.29/2246.80 c #Conflicts: 646000 | #Constraints: 23345
2240.29/2246.80 c #Conflicts: 647000 | #Constraints: 24345
2240.29/2246.80 c #Conflicts: 648000 | #Constraints: 25345
2240.29/2246.80 c #Conflicts: 649000 | #Constraints: 26345
2240.29/2246.80 c #Conflicts: 650000 | #Constraints: 27345
2240.29/2246.80 c #Conflicts: 651000 | #Constraints: 28345
2240.29/2246.80 c #Conflicts: 652000 | #Constraints: 29345
2240.29/2246.80 c #Conflicts: 653000 | #Constraints: 30345
2240.29/2246.80 c #Conflicts: 654000 | #Constraints: 31345
2240.29/2246.80 c #Conflicts: 655000 | #Constraints: 32345
2240.29/2246.80 c INPROCESSING
2240.29/2246.80 c GARBAGE COLLECT
2240.29/2246.80 c #Conflicts: 656000 | #Constraints: 17346
2240.29/2246.80 c #Conflicts: 657000 | #Constraints: 18346
2240.29/2246.80 c #Conflicts: 658000 | #Constraints: 19346
2240.29/2246.80 c #Conflicts: 659000 | #Constraints: 20346
2240.29/2246.80 c #Conflicts: 660000 | #Constraints: 21346
2240.29/2246.80 c #Conflicts: 661000 | #Constraints: 22346
2240.29/2246.80 c #Conflicts: 662000 | #Constraints: 23346
2240.29/2246.80 c #Conflicts: 663000 | #Constraints: 24346
2240.29/2246.80 c #Conflicts: 664000 | #Constraints: 25346
2240.29/2246.80 c #Conflicts: 665000 | #Constraints: 26346
2240.29/2246.80 c #Conflicts: 666000 | #Constraints: 27346
2240.29/2246.80 c #Conflicts: 667000 | #Constraints: 28346
2240.29/2246.80 c #Conflicts: 668000 | #Constraints: 29346
2240.29/2246.80 c #Conflicts: 669000 | #Constraints: 30346
2240.29/2246.80 c #Conflicts: 670000 | #Constraints: 31346
2240.29/2246.80 c #Conflicts: 671000 | #Constraints: 32346
2240.29/2246.80 c INPROCESSING
2240.29/2246.80 c GARBAGE COLLECT
2240.29/2246.80 c #Conflicts: 672000 | #Constraints: 17146
2240.29/2246.80 c #Conflicts: 673000 | #Constraints: 18146
2240.29/2246.80 c #Conflicts: 674000 | #Constraints: 19146
2240.29/2246.80 c #Conflicts: 675000 | #Constraints: 20146
2240.29/2246.80 c #Conflicts: 676000 | #Constraints: 21146
2240.29/2246.80 c #Conflicts: 677000 | #Constraints: 22146
2240.29/2246.80 c #Conflicts: 678000 | #Constraints: 23146
2240.29/2246.80 c #Conflicts: 679000 | #Constraints: 24146
2240.29/2246.80 c #Conflicts: 680000 | #Constraints: 25146
2240.29/2246.80 c #Conflicts: 681000 | #Constraints: 26146
2240.29/2246.80 c #Conflicts: 682000 | #Constraints: 27146
2240.29/2246.80 c #Conflicts: 683000 | #Constraints: 28146
2240.29/2246.80 c #Conflicts: 684000 | #Constraints: 29146
2240.29/2246.80 c #Conflicts: 685000 | #Constraints: 30146
2240.29/2246.80 c #Conflicts: 686000 | #Constraints: 31146
2240.29/2246.80 c #Conflicts: 687000 | #Constraints: 32146
2240.29/2246.80 c #Conflicts: 688000 | #Constraints: 33146
2240.29/2246.80 c INPROCESSING
2240.29/2246.80 c GARBAGE COLLECT
2240.29/2246.80 c #Conflicts: 689000 | #Constraints: 17748
2240.29/2246.80 c #Conflicts: 690000 | #Constraints: 18748
2240.29/2246.80 c #Conflicts: 691000 | #Constraints: 19748
2240.29/2246.80 c #Conflicts: 692000 | #Constraints: 20748
2240.29/2246.80 c #Conflicts: 693000 | #Constraints: 21748
2240.29/2246.80 c #Conflicts: 694000 | #Constraints: 22748
2240.29/2246.80 c #Conflicts: 695000 | #Constraints: 23748
2240.29/2246.80 c #Conflicts: 696000 | #Constraints: 24748
2240.29/2246.80 c #Conflicts: 697000 | #Constraints: 25748
2240.29/2246.80 c #Conflicts: 698000 | #Constraints: 26748
2240.29/2246.80 c #Conflicts: 699000 | #Constraints: 27748
2240.29/2246.80 c #Conflicts: 700000 | #Constraints: 28748
2240.29/2246.80 c #Conflicts: 701000 | #Constraints: 29748
2240.29/2246.80 c #Conflicts: 702000 | #Constraints: 30748
2594.98/2602.54 c #Conflicts: 703000 | #Constraints: 31748
2594.98/2602.54 c #Conflicts: 704000 | #Constraints: 32748
2594.98/2602.54 c #Conflicts: 705000 | #Constraints: 33748
2594.98/2602.54 c INPROCESSING
2594.98/2602.54 c GARBAGE COLLECT
2594.98/2602.54 c #Conflicts: 706000 | #Constraints: 18145
2594.98/2602.54 c #Conflicts: 707000 | #Constraints: 19145
2594.98/2602.54 c #Conflicts: 708000 | #Constraints: 20145
2594.98/2602.54 c #Conflicts: 709000 | #Constraints: 21145
2594.98/2602.54 c #Conflicts: 710000 | #Constraints: 22145
2594.98/2602.54 c #Conflicts: 711000 | #Constraints: 23145
2594.98/2602.54 c #Conflicts: 712000 | #Constraints: 24145
2594.98/2602.54 c #Conflicts: 713000 | #Constraints: 25145
2594.98/2602.54 c #Conflicts: 714000 | #Constraints: 26145
2594.98/2602.54 c #Conflicts: 715000 | #Constraints: 27145
2594.98/2602.54 c #Conflicts: 716000 | #Constraints: 28145
2594.98/2602.54 c #Conflicts: 717000 | #Constraints: 29145
2594.98/2602.54 c #Conflicts: 718000 | #Constraints: 30145
2594.98/2602.54 c #Conflicts: 719000 | #Constraints: 31145
2594.98/2602.54 c #Conflicts: 720000 | #Constraints: 32145
2594.98/2602.54 c #Conflicts: 721000 | #Constraints: 33145
2594.98/2602.54 c #Conflicts: 722000 | #Constraints: 34145
2594.98/2602.54 c INPROCESSING
2594.98/2602.54 c GARBAGE COLLECT
2594.98/2602.54 c #Conflicts: 723000 | #Constraints: 18356
2594.98/2602.54 c #Conflicts: 724000 | #Constraints: 19356
2594.98/2602.54 c #Conflicts: 725000 | #Constraints: 20356
2594.98/2602.54 c #Conflicts: 726000 | #Constraints: 21356
2594.98/2602.54 c #Conflicts: 727000 | #Constraints: 22356
2594.98/2602.54 c #Conflicts: 728000 | #Constraints: 23356
2594.98/2602.54 c #Conflicts: 729000 | #Constraints: 24356
2594.98/2602.54 c #Conflicts: 730000 | #Constraints: 25356
2594.98/2602.54 c #Conflicts: 731000 | #Constraints: 26356
2594.98/2602.54 c #Conflicts: 732000 | #Constraints: 27356
2594.98/2602.54 c #Conflicts: 733000 | #Constraints: 28356
2594.98/2602.54 c #Conflicts: 734000 | #Constraints: 29356
2594.98/2602.54 c #Conflicts: 735000 | #Constraints: 30356
2594.98/2602.54 c #Conflicts: 736000 | #Constraints: 31356
2594.98/2602.54 c #Conflicts: 737000 | #Constraints: 32356
2594.98/2602.54 c #Conflicts: 738000 | #Constraints: 33356
2594.98/2602.54 c #Conflicts: 739000 | #Constraints: 34356
2594.98/2602.54 c INPROCESSING
2594.98/2602.54 c GARBAGE COLLECT
2594.98/2602.54 c #Conflicts: 740000 | #Constraints: 18358
2594.98/2602.54 c #Conflicts: 741000 | #Constraints: 19358
2594.98/2602.54 c #Conflicts: 742000 | #Constraints: 20358
2594.98/2602.54 c #Conflicts: 743000 | #Constraints: 21358
2594.98/2602.54 c #Conflicts: 744000 | #Constraints: 22358
2594.98/2602.54 c #Conflicts: 745000 | #Constraints: 23358
2594.98/2602.54 c #Conflicts: 746000 | #Constraints: 24358
2594.98/2602.54 c #Conflicts: 747000 | #Constraints: 25358
2594.98/2602.54 c #Conflicts: 748000 | #Constraints: 26358
2594.98/2602.54 c #Conflicts: 749000 | #Constraints: 27358
2594.98/2602.54 c #Conflicts: 750000 | #Constraints: 28358
2594.98/2602.54 c #Conflicts: 751000 | #Constraints: 29358
2594.98/2602.54 c #Conflicts: 752000 | #Constraints: 30358
2594.98/2602.54 c #Conflicts: 753000 | #Constraints: 31358
2594.98/2602.54 c #Conflicts: 754000 | #Constraints: 32358
2594.98/2602.54 c #Conflicts: 755000 | #Constraints: 33358
2594.98/2602.54 c #Conflicts: 756000 | #Constraints: 34358
2594.98/2602.54 c INPROCESSING
2594.98/2602.54 c GARBAGE COLLECT
2594.98/2602.54 c #Conflicts: 757000 | #Constraints: 18153
2594.98/2602.54 c #Conflicts: 758000 | #Constraints: 19153
2594.98/2602.54 c #Conflicts: 759000 | #Constraints: 20153
2594.98/2602.54 c #Conflicts: 760000 | #Constraints: 21153
2594.98/2602.54 c #Conflicts: 761000 | #Constraints: 22153
2594.98/2602.54 c #Conflicts: 762000 | #Constraints: 23153
2594.98/2602.54 c #Conflicts: 763000 | #Constraints: 24153
2594.98/2602.54 c #Conflicts: 764000 | #Constraints: 25153
2594.98/2602.54 c #Conflicts: 765000 | #Constraints: 26153
2594.98/2602.54 c #Conflicts: 766000 | #Constraints: 27153
2594.98/2602.54 c #Conflicts: 767000 | #Constraints: 28153
2594.98/2602.54 c #Conflicts: 768000 | #Constraints: 29153
2594.98/2602.54 c #Conflicts: 769000 | #Constraints: 30153
2594.98/2602.54 c #Conflicts: 770000 | #Constraints: 31153
2594.98/2602.54 c #Conflicts: 771000 | #Constraints: 32153
2594.98/2602.54 c #Conflicts: 772000 | #Constraints: 33153
2594.98/2602.54 c #Conflicts: 773000 | #Constraints: 34153
2594.98/2602.54 c #Conflicts: 774000 | #Constraints: 35153
2594.98/2602.54 c INPROCESSING
2594.98/2602.54 c GARBAGE COLLECT
2594.98/2602.54 c #Conflicts: 775000 | #Constraints: 18750
2594.98/2602.54 c #Conflicts: 776000 | #Constraints: 19750
2594.98/2602.54 c #Conflicts: 777000 | #Constraints: 20750
2937.46/2945.99 c #Conflicts: 778000 | #Constraints: 21750
2937.46/2945.99 c #Conflicts: 779000 | #Constraints: 22750
2937.46/2945.99 c #Conflicts: 780000 | #Constraints: 23750
2937.46/2945.99 c #Conflicts: 781000 | #Constraints: 24750
2937.46/2945.99 c #Conflicts: 782000 | #Constraints: 25750
2937.46/2945.99 c #Conflicts: 783000 | #Constraints: 26750
2937.46/2945.99 c #Conflicts: 784000 | #Constraints: 27750
2937.46/2945.99 c #Conflicts: 785000 | #Constraints: 28750
2937.46/2945.99 c #Conflicts: 786000 | #Constraints: 29750
2937.46/2945.99 c #Conflicts: 787000 | #Constraints: 30750
2937.46/2945.99 c #Conflicts: 788000 | #Constraints: 31750
2937.46/2945.99 c #Conflicts: 789000 | #Constraints: 32750
2937.46/2945.99 c #Conflicts: 790000 | #Constraints: 33750
2937.46/2945.99 c #Conflicts: 791000 | #Constraints: 34750
2937.46/2945.99 c #Conflicts: 792000 | #Constraints: 35750
2937.46/2945.99 c INPROCESSING
2937.46/2945.99 c GARBAGE COLLECT
2937.46/2945.99 c #Conflicts: 793000 | #Constraints: 19150
2937.46/2945.99 c #Conflicts: 794000 | #Constraints: 20150
2937.46/2945.99 c #Conflicts: 795000 | #Constraints: 21150
2937.46/2945.99 c #Conflicts: 796000 | #Constraints: 22150
2937.46/2945.99 c #Conflicts: 797000 | #Constraints: 23150
2937.46/2945.99 c #Conflicts: 798000 | #Constraints: 24150
2937.46/2945.99 c #Conflicts: 799000 | #Constraints: 25150
2937.46/2945.99 c #Conflicts: 800000 | #Constraints: 26150
2937.46/2945.99 c #Conflicts: 801000 | #Constraints: 27150
2937.46/2945.99 c #Conflicts: 802000 | #Constraints: 28150
2937.46/2945.99 c #Conflicts: 803000 | #Constraints: 29150
2937.46/2945.99 c #Conflicts: 804000 | #Constraints: 30150
2937.46/2945.99 c #Conflicts: 805000 | #Constraints: 31150
2937.46/2945.99 c #Conflicts: 806000 | #Constraints: 32150
2937.46/2945.99 c #Conflicts: 807000 | #Constraints: 33150
2937.46/2945.99 c #Conflicts: 808000 | #Constraints: 34150
2937.46/2945.99 c #Conflicts: 809000 | #Constraints: 35150
2937.46/2945.99 c #Conflicts: 810000 | #Constraints: 36150
2937.46/2945.99 c INPROCESSING
2937.46/2945.99 c GARBAGE COLLECT
2937.46/2945.99 c #Conflicts: 811000 | #Constraints: 19347
2937.46/2945.99 c #Conflicts: 812000 | #Constraints: 20347
2937.46/2945.99 c #Conflicts: 813000 | #Constraints: 21347
2937.46/2945.99 c #Conflicts: 814000 | #Constraints: 22347
2937.46/2945.99 c #Conflicts: 815000 | #Constraints: 23347
2937.46/2945.99 c #Conflicts: 816000 | #Constraints: 24347
2937.46/2945.99 c #Conflicts: 817000 | #Constraints: 25347
2937.46/2945.99 c #Conflicts: 818000 | #Constraints: 26347
2937.46/2945.99 c #Conflicts: 819000 | #Constraints: 27347
2937.46/2945.99 c #Conflicts: 820000 | #Constraints: 28347
2937.46/2945.99 c #Conflicts: 821000 | #Constraints: 29347
2937.46/2945.99 c #Conflicts: 822000 | #Constraints: 30347
2937.46/2945.99 c #Conflicts: 823000 | #Constraints: 31347
2937.46/2945.99 c #Conflicts: 824000 | #Constraints: 32347
2937.46/2945.99 c #Conflicts: 825000 | #Constraints: 33347
2937.46/2945.99 c #Conflicts: 826000 | #Constraints: 34347
2937.46/2945.99 c #Conflicts: 827000 | #Constraints: 35347
2937.46/2945.99 c #Conflicts: 828000 | #Constraints: 36347
2937.46/2945.99 c INPROCESSING
2937.46/2945.99 c GARBAGE COLLECT
2937.46/2945.99 c #Conflicts: 829000 | #Constraints: 19352
2937.46/2945.99 c #Conflicts: 830000 | #Constraints: 20352
2937.46/2945.99 c #Conflicts: 831000 | #Constraints: 21352
2937.46/2945.99 c #Conflicts: 832000 | #Constraints: 22352
2937.46/2945.99 c #Conflicts: 833000 | #Constraints: 23352
2937.46/2945.99 c #Conflicts: 834000 | #Constraints: 24352
2937.46/2945.99 c #Conflicts: 835000 | #Constraints: 25352
2937.46/2945.99 c #Conflicts: 836000 | #Constraints: 26352
2937.46/2945.99 c #Conflicts: 837000 | #Constraints: 27352
2937.46/2945.99 c #Conflicts: 838000 | #Constraints: 28352
2937.46/2945.99 c #Conflicts: 839000 | #Constraints: 29352
2937.46/2945.99 c #Conflicts: 840000 | #Constraints: 30352
2937.46/2945.99 c #Conflicts: 841000 | #Constraints: 31352
2937.46/2945.99 c #Conflicts: 842000 | #Constraints: 32352
2937.46/2945.99 c #Conflicts: 843000 | #Constraints: 33352
2937.46/2945.99 c #Conflicts: 844000 | #Constraints: 34352
2937.46/2945.99 c #Conflicts: 845000 | #Constraints: 35352
2937.46/2945.99 c #Conflicts: 846000 | #Constraints: 36352
2937.46/2945.99 c INPROCESSING
2937.46/2945.99 c GARBAGE COLLECT
2937.46/2945.99 c #Conflicts: 847000 | #Constraints: 19152
2937.46/2945.99 c #Conflicts: 848000 | #Constraints: 20152
2937.46/2945.99 c #Conflicts: 849000 | #Constraints: 21152
2937.46/2945.99 c #Conflicts: 850000 | #Constraints: 22152
2937.46/2945.99 c #Conflicts: 851000 | #Constraints: 23152
2937.46/2945.99 c #Conflicts: 852000 | #Constraints: 24152
2937.46/2945.99 c #Conflicts: 853000 | #Constraints: 25152
2937.46/2945.99 c #Conflicts: 854000 | #Constraints: 26152
3304.08/3313.53 c #Conflicts: 855000 | #Constraints: 27152
3304.08/3313.53 c #Conflicts: 856000 | #Constraints: 28152
3304.08/3313.53 c #Conflicts: 857000 | #Constraints: 29152
3304.08/3313.53 c #Conflicts: 858000 | #Constraints: 30152
3304.08/3313.53 c #Conflicts: 859000 | #Constraints: 31152
3304.08/3313.53 c #Conflicts: 860000 | #Constraints: 32152
3304.08/3313.53 c #Conflicts: 861000 | #Constraints: 33152
3304.08/3313.53 c #Conflicts: 862000 | #Constraints: 34152
3304.08/3313.53 c #Conflicts: 863000 | #Constraints: 35152
3304.08/3313.53 c #Conflicts: 864000 | #Constraints: 36152
3304.08/3313.53 c #Conflicts: 865000 | #Constraints: 37152
3304.08/3313.53 c INPROCESSING
3304.08/3313.53 c GARBAGE COLLECT
3304.08/3313.53 c #Conflicts: 866000 | #Constraints: 19753
3304.08/3313.53 c #Conflicts: 867000 | #Constraints: 20753
3304.08/3313.53 c #Conflicts: 868000 | #Constraints: 21753
3304.08/3313.53 c #Conflicts: 869000 | #Constraints: 22753
3304.08/3313.53 c #Conflicts: 870000 | #Constraints: 23753
3304.08/3313.53 c #Conflicts: 871000 | #Constraints: 24753
3304.08/3313.53 c #Conflicts: 872000 | #Constraints: 25753
3304.08/3313.53 c #Conflicts: 873000 | #Constraints: 26753
3304.08/3313.53 c #Conflicts: 874000 | #Constraints: 27753
3304.08/3313.53 c #Conflicts: 875000 | #Constraints: 28753
3304.08/3313.53 c #Conflicts: 876000 | #Constraints: 29753
3304.08/3313.53 c #Conflicts: 877000 | #Constraints: 30753
3304.08/3313.53 c #Conflicts: 878000 | #Constraints: 31753
3304.08/3313.53 c #Conflicts: 879000 | #Constraints: 32753
3304.08/3313.53 c #Conflicts: 880000 | #Constraints: 33753
3304.08/3313.53 c #Conflicts: 881000 | #Constraints: 34753
3304.08/3313.53 c #Conflicts: 882000 | #Constraints: 35753
3304.08/3313.53 c #Conflicts: 883000 | #Constraints: 36753
3304.08/3313.53 c #Conflicts: 884000 | #Constraints: 37753
3304.08/3313.53 c INPROCESSING
3304.08/3313.53 c GARBAGE COLLECT
3304.08/3313.53 c #Conflicts: 885000 | #Constraints: 20152
3304.08/3313.53 c #Conflicts: 886000 | #Constraints: 21152
3304.08/3313.53 c #Conflicts: 887000 | #Constraints: 22152
3304.08/3313.53 c #Conflicts: 888000 | #Constraints: 23152
3304.08/3313.53 c #Conflicts: 889000 | #Constraints: 24152
3304.08/3313.53 c #Conflicts: 890000 | #Constraints: 25152
3304.08/3313.53 c #Conflicts: 891000 | #Constraints: 26152
3304.08/3313.53 c #Conflicts: 892000 | #Constraints: 27152
3304.08/3313.53 c #Conflicts: 893000 | #Constraints: 28152
3304.08/3313.53 c #Conflicts: 894000 | #Constraints: 29152
3304.08/3313.53 c #Conflicts: 895000 | #Constraints: 30152
3304.08/3313.53 c #Conflicts: 896000 | #Constraints: 31152
3304.08/3313.53 c #Conflicts: 897000 | #Constraints: 32152
3304.08/3313.53 c #Conflicts: 898000 | #Constraints: 33152
3304.08/3313.53 c #Conflicts: 899000 | #Constraints: 34152
3304.08/3313.53 c #Conflicts: 900000 | #Constraints: 35152
3304.08/3313.53 c #Conflicts: 901000 | #Constraints: 36152
3304.08/3313.53 c #Conflicts: 902000 | #Constraints: 37152
3304.08/3313.53 c #Conflicts: 903000 | #Constraints: 38152
3304.08/3313.53 c INPROCESSING
3304.08/3313.53 c GARBAGE COLLECT
3304.08/3313.53 c #Conflicts: 904000 | #Constraints: 20350
3304.08/3313.53 c #Conflicts: 905000 | #Constraints: 21350
3304.08/3313.53 c #Conflicts: 906000 | #Constraints: 22350
3304.08/3313.53 c #Conflicts: 907000 | #Constraints: 23350
3304.08/3313.53 c #Conflicts: 908000 | #Constraints: 24350
3304.08/3313.53 c #Conflicts: 909000 | #Constraints: 25350
3304.08/3313.53 c #Conflicts: 910000 | #Constraints: 26350
3304.08/3313.53 c #Conflicts: 911000 | #Constraints: 27350
3304.08/3313.53 c #Conflicts: 912000 | #Constraints: 28350
3304.08/3313.53 c #Conflicts: 913000 | #Constraints: 29350
3304.08/3313.53 c #Conflicts: 914000 | #Constraints: 30350
3304.08/3313.53 c #Conflicts: 915000 | #Constraints: 31350
3304.08/3313.53 c #Conflicts: 916000 | #Constraints: 32350
3304.08/3313.53 c #Conflicts: 917000 | #Constraints: 33350
3304.08/3313.53 c #Conflicts: 918000 | #Constraints: 34350
3304.08/3313.53 c #Conflicts: 919000 | #Constraints: 35350
3304.08/3313.53 c #Conflicts: 920000 | #Constraints: 36350
3304.08/3313.53 c #Conflicts: 921000 | #Constraints: 37350
3304.08/3313.53 c #Conflicts: 922000 | #Constraints: 38350
3304.08/3313.53 c INPROCESSING
3304.08/3313.53 c GARBAGE COLLECT
3304.08/3313.53 c #Conflicts: 923000 | #Constraints: 20348
3304.08/3313.53 c #Conflicts: 924000 | #Constraints: 21348
3304.08/3313.53 c #Conflicts: 925000 | #Constraints: 22348
3304.08/3313.53 c #Conflicts: 926000 | #Constraints: 23348
3304.08/3313.53 c #Conflicts: 927000 | #Constraints: 24348
3304.08/3313.53 c #Conflicts: 928000 | #Constraints: 25348
3304.08/3313.53 c #Conflicts: 929000 | #Constraints: 26348
3304.08/3313.53 c #Conflicts: 930000 | #Constraints: 27348
3600.08/3610.30 c #Conflicts: 931000 | #Constraints: 28348
3600.08/3610.30 c #Conflicts: 932000 | #Constraints: 29348
3600.08/3610.30 c #Conflicts: 933000 | #Constraints: 30348
3600.08/3610.30 c #Conflicts: 934000 | #Constraints: 31348
3600.08/3610.30 c #Conflicts: 935000 | #Constraints: 32348
3600.08/3610.30 c #Conflicts: 936000 | #Constraints: 33348
3600.08/3610.30 c #Conflicts: 937000 | #Constraints: 34348
3600.08/3610.30 c #Conflicts: 938000 | #Constraints: 35348
3600.08/3610.30 c #Conflicts: 939000 | #Constraints: 36348
3600.08/3610.30 c #Conflicts: 940000 | #Constraints: 37348
3600.08/3610.30 c #Conflicts: 941000 | #Constraints: 38348
3600.08/3610.30 c INPROCESSING
3600.08/3610.30 c GARBAGE COLLECT
3600.08/3610.30 c #Conflicts: 942000 | #Constraints: 20151
3600.08/3610.30 c #Conflicts: 943000 | #Constraints: 21151
3600.08/3610.30 c #Conflicts: 944000 | #Constraints: 22151
3600.08/3610.30 c #Conflicts: 945000 | #Constraints: 23151
3600.08/3610.30 c #Conflicts: 946000 | #Constraints: 24151
3600.08/3610.30 c #Conflicts: 947000 | #Constraints: 25151
3600.08/3610.30 c #Conflicts: 948000 | #Constraints: 26151
3600.08/3610.30 c #Conflicts: 949000 | #Constraints: 27151
3600.08/3610.30 c #Conflicts: 950000 | #Constraints: 28151
3600.08/3610.30 c #Conflicts: 951000 | #Constraints: 29151
3600.08/3610.30 c #Conflicts: 952000 | #Constraints: 30151
3600.08/3610.30 c #Conflicts: 953000 | #Constraints: 31151
3600.08/3610.30 c #Conflicts: 954000 | #Constraints: 32151
3600.08/3610.30 c #Conflicts: 955000 | #Constraints: 33151
3600.08/3610.30 c #Conflicts: 956000 | #Constraints: 34151
3600.08/3610.30 c #Conflicts: 957000 | #Constraints: 35151
3600.08/3610.30 c #Conflicts: 958000 | #Constraints: 36151
3600.08/3610.30 c #Conflicts: 959000 | #Constraints: 37151
3600.08/3610.30 c #Conflicts: 960000 | #Constraints: 38151
3600.08/3610.30 c #Conflicts: 961000 | #Constraints: 39151
3600.08/3610.30 c INPROCESSING
3600.08/3610.30 c GARBAGE COLLECT
3600.08/3610.30 c #Conflicts: 962000 | #Constraints: 20754
3600.08/3610.30 c #Conflicts: 963000 | #Constraints: 21754
3600.08/3610.30 c #Conflicts: 964000 | #Constraints: 22754
3600.08/3610.30 c #Conflicts: 965000 | #Constraints: 23754
3600.08/3610.30 c #Conflicts: 966000 | #Constraints: 24754
3600.08/3610.30 c #Conflicts: 967000 | #Constraints: 25754
3600.08/3610.30 c #Conflicts: 968000 | #Constraints: 26754
3600.08/3610.30 c #Conflicts: 969000 | #Constraints: 27754
3600.08/3610.30 c #Conflicts: 970000 | #Constraints: 28754
3600.08/3610.30 c #Conflicts: 971000 | #Constraints: 29754
3600.08/3610.30 c #Conflicts: 972000 | #Constraints: 30754
3600.08/3610.30 c #Conflicts: 973000 | #Constraints: 31754
3600.08/3610.30 c #Conflicts: 974000 | #Constraints: 32754
3600.08/3610.30 c #Conflicts: 975000 | #Constraints: 33754
3600.08/3610.30 c #Conflicts: 976000 | #Constraints: 34754
3600.08/3610.30 c #Conflicts: 977000 | #Constraints: 35754
3600.08/3610.30 c #Conflicts: 978000 | #Constraints: 36754
3600.08/3610.30 c Program interrupted by user.
3600.08/3610.30 c cpu time 3591.66 s
3600.08/3610.30 c deterministic time 375684253508 3.76e+11
3600.08/3610.30 c optimization time 93.3879 s
3600.08/3610.30 c total solve time 3199.26 s
3600.08/3610.30 c core-guided solve time 3199.26 s
3600.08/3610.30 c propagation time 2775.27 s
3600.08/3610.30 c conflict analysis time 450.657 s
3600.08/3610.30 c propagations 58514980
3600.08/3610.30 c resolve steps 5073888
3600.08/3610.30 c decisions 4810039
3600.08/3610.30 c conflicts 978505
3600.08/3610.30 c restarts 2045
3600.08/3610.30 c inprocessing phases 89
3600.08/3610.30 c input clauses 51
3600.08/3610.30 c input cardinalities 76
3600.08/3610.30 c input general constraints 474
3600.08/3610.30 c input average constraint length 67.54
3600.08/3610.30 c input average constraint degree 34.10
3600.08/3610.30 c learned clauses 228404
3600.08/3610.30 c learned cardinalities 264
3600.08/3610.30 c learned general constraints 749846
3600.08/3610.30 c learned average constraint length 306.04
3600.08/3610.30 c learned average constraint degree 532214.45
3600.08/3610.30 c watched constraints 612468
3600.08/3610.30 c counting constraints 137852
3600.08/3610.30 c gcd simplifications 184711
3600.08/3610.30 c detected cardinalities 198
3600.08/3610.30 c weakened non-implied lits 32866441
3600.08/3610.30 c weakened non-implying lits 94019
3600.08/3610.30 c original variables 476
3600.08/3610.30 c clausal propagations 1151257
3600.08/3610.30 c cardinality propagations 59866
3600.08/3610.30 c watched propagations 28414992
3600.08/3610.30 c counting propagations 27944528
3600.08/3610.30 c watch lookups 69183554937
3600.08/3610.30 c watch backjump lookups 65818920989
3600.08/3610.30 c watch checks 232063780484
3600.08/3610.30 c propagation checks 7488122821
3600.08/3610.30 c constraint additions 1002246173
3600.08/3610.30 c trail pops 64303084
3600.08/3610.30 c formula constraints 476
3600.08/3610.30 c learned constraints 978514
3600.08/3610.30 c bound constraints 76
3600.08/3610.30 c core-guided constraints 49
3600.08/3610.30 c encountered formula constraints 3052419
3600.08/3610.30 c encountered learned constraints 2925568
3600.08/3610.30 c encountered bound constraints 21
3600.08/3610.30 c encountered core-guided constraints 74385
3600.08/3610.30 c LP total time 0 s
3600.08/3610.30 c LP solve time 0 s
3600.08/3610.30 c LP constraints added 0
3600.08/3610.30 c LP constraints removed 0
3600.08/3610.30 c LP pivots internal 0
3600.08/3610.30 c LP pivots root 0
3600.08/3610.30 c LP calls 0
3600.08/3610.30 c LP optimalities 0
3600.08/3610.30 c LP no pivot count 0
3600.08/3610.30 c LP infeasibilities 0
3600.08/3610.30 c LP valid Farkas constraints 0
3600.08/3610.30 c LP learned Farkas constraints 0
3600.08/3610.30 c LP basis resets 0
3600.08/3610.30 c LP cycling count 0
3600.08/3610.30 c LP singular count 0
3600.08/3610.30 c LP no primal count 0
3600.08/3610.30 c LP no farkas count 0
3600.08/3610.30 c LP other issue count 0
3600.08/3610.30 c LP Gomory cuts 0
3600.08/3610.30 c LP learned cuts 0
3600.08/3610.30 c LP deleted cuts 0
3600.08/3610.30 c LP encountered Gomory constraints 0
3600.08/3610.30 c LP encountered Farkas constraints 0
3600.08/3610.30 c LP encountered learned Farkas constraints 0
3600.08/3610.30 c CG auxiliary variables introduced 49
3600.08/3610.30 c CG solutions found 0
3600.08/3610.30 c CG cores constructed 75
3600.08/3610.30 c CG core cardinality constraints returned 0
3600.08/3610.30 c CG unit cores 0
3600.08/3610.30 c CG single cores 75
3600.08/3610.30 c CG blocks removed during cardinality reduction 0
3600.08/3610.30 c CG first core best 0
3600.08/3610.30 c CG decision core best 0
3600.08/3610.30 c CG core reduction tie 0
3600.08/3610.30 c CG core degree average 1.00
3600.08/3610.30 c CG core slack average 2.84
3600.08/3610.30 c CG exhausted 0
3600.08/3610.30 c CG exhaust time 0 s
3600.08/3610.30 c CG trimmed 2
3600.08/3610.30 c CG trim time 0.000112 s
3600.08/3610.30 c CG minimized 0
3600.08/3610.30 c CG minimize time 0 s
3600.08/3610.30 c CG am1 prop time 0.000351 s
3600.08/3610.30 c CG # am1s reformulated 49
3600.08/3610.30 c CG lower bound derived from am1s 49
3600.08/3610.30 c CG # clausal cores 7
3600.08/3610.30 c CG # cardinality cores 0
3600.08/3610.30 c CG # pb cores 68
3600.08/3610.30 c CG # pb reforms 0
3600.08/3610.30 c CG # cores discarded because of pb reform 0
3600.08/3610.30 d LOWERBOUND 124
3600.08/3610.30 d NCORES 75
3600.08/3610.30 d NPBCORES 68
3600.08/3610.30 d NPBREFORM 0
3600.08/3610.30 d NTRIMMED 2
3600.08/3610.30 d NEXHAUSTED 0
3600.08/3610.30 d NAM1S 49
3600.08/3610.30 d AM1LB 49
3600.08/3610.30 c [Papilo Statistics]
3600.08/3610.30 c prepro time 0.0045955s
3600.08/3610.30 c # tsx applied 16
3600.08/3610.30 c # tsx conflicts 0
3600.08/3610.30 c # bound changes 0
3600.08/3610.30 c # side changes 0
3600.08/3610.30 c # coef changes 39
3600.08/3610.30 c # rounds 3
3600.08/3610.30 c # deted vars 0
3600.08/3610.30 c # deted constrs 0
3600.08/3610.30 c # consecutive rounds of only bound changes 0
3600.08/3610.30 s UNKNOWN
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 (62887 MiB free)
memory of node 1: 64507 MiB (61625 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528910-1752256569/watcher-4528910-1752256569 -o /tmp/evaluation-result-4528910-1752256569/solver-4528910-1752256569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752256569-112136 --watchdog 3760 mixed-bag HOME/instance-4528910-1752256569.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=112193, runsolver pid=112178
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 3.84 4.07 4.07 7/253 112194
/proc/meminfo: memFree=127487664/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=98392 memory=25904 CPUtime=0.09 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 2856 0 0 0 8 1 0 0 20 0 1 0 141336259 100753408 6476 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 24598 6476 4128 2834 0 6803 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98392 KiB
Current children cumulated memory: 25904 KiB
[startup+0.213234 s]*
/proc/loadavg: 3.93 4.09 4.08 7/253 112194
/proc/meminfo: memFree=127478528/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=99268 memory=27312 CPUtime=0.2 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 3088 0 0 0 19 1 0 0 20 0 1 0 141336259 101650432 6828 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 24817 6828 4256 2834 0 7022 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99268 KiB
Current children cumulated memory: 27312 KiB
[startup+0.312963 s]*
/proc/loadavg: 3.93 4.09 4.08 7/253 112194
/proc/meminfo: memFree=127478528/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=99420 memory=27440 CPUtime=0.3 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 3121 0 0 0 29 1 0 0 20 0 1 0 141336259 101806080 6860 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 24855 6860 4256 2834 0 7060 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 99420 KiB
Current children cumulated memory: 27440 KiB
[startup+0.700222 s]
/proc/loadavg: 3.93 4.09 4.08 7/253 112194
/proc/meminfo: memFree=127478528/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=99420 memory=27440 CPUtime=0.67 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 3132 0 0 0 66 1 0 0 20 0 1 0 141336259 101806080 6860 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 24855 6860 4256 2834 0 7060 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 99420 KiB
Current children cumulated memory: 27440 KiB
[startup+1.50028 s]
/proc/loadavg: 3.93 4.09 4.08 7/253 112194
/proc/meminfo: memFree=127478528/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=117468 memory=45104 CPUtime=1.47 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 7613 0 0 0 144 3 0 0 20 0 1 0 141336259 120287232 11276 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 29367 11276 4256 2834 0 11572 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 117468 KiB
Current children cumulated memory: 45104 KiB
[startup+3.11278 s]
/proc/loadavg: 3.93 4.09 4.08 7/253 112194
/proc/meminfo: memFree=126972760/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=234004 memory=157540 CPUtime=3.08 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 37483 0 0 0 300 8 0 0 20 0 1 0 141336259 239620096 39385 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 58501 39385 4256 2834 0 40706 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 234004 KiB
Current children cumulated memory: 157540 KiB
[startup+6.30023 s]
/proc/loadavg: 3.94 4.09 4.08 7/253 112194
/proc/meminfo: memFree=126949000/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=238292 memory=161380 CPUtime=6.25 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 38407 0 0 0 617 8 0 0 20 0 1 0 141336259 244011008 40345 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 59573 40345 4288 2834 0 41778 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 238292 KiB
Current children cumulated memory: 161380 KiB
[startup+12.7002 s]
/proc/loadavg: 3.94 4.09 4.08 7/253 112194
/proc/meminfo: memFree=126949008/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=238836 memory=162788 CPUtime=12.63 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 38765 0 0 0 1255 8 0 0 20 0 1 0 141336259 244568064 40697 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 59709 40697 4288 2834 0 41914 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 238836 KiB
Current children cumulated memory: 162788 KiB
[startup+25.5003 s]
/proc/loadavg: 3.95 4.08 4.08 7/252 112194
/proc/meminfo: memFree=126755480/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=280428 memory=201104 CPUtime=25.39 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 49371 0 0 0 2529 10 0 0 20 0 1 0 141336259 287158272 50276 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 70107 50276 4288 2834 0 52312 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 280428 KiB
Current children cumulated memory: 201104 KiB
[startup+51.1124 s]
/proc/loadavg: 4.03 4.09 4.08 7/253 112196
/proc/meminfo: memFree=126727824/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=299828 memory=218768 CPUtime=50.92 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 53811 0 0 0 5082 10 0 0 20 0 1 0 141336259 307023872 54692 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 74957 54692 4288 2834 0 57162 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 299828 KiB
Current children cumulated memory: 218768 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.08 7/254 112203
/proc/meminfo: memFree=126380000/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=386216 memory=308700 CPUtime=101.95 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 77025 0 0 0 10181 14 0 0 20 0 1 0 141336259 395485184 77175 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 96554 77175 4288 2834 0 78759 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 386216 KiB
Current children cumulated memory: 308700 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.08 7/254 112205
/proc/meminfo: memFree=126338368/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=391328 memory=313948 CPUtime=161.75 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 78327 0 0 0 16161 14 0 0 20 0 1 0 141336259 400719872 78487 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 97832 78487 4288 2834 0 80037 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 391328 KiB
Current children cumulated memory: 313948 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.11 4.09 7/256 112210
/proc/meminfo: memFree=126344672/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=391328 memory=313948 CPUtime=221.55 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 78330 0 0 0 22141 14 0 0 20 0 1 0 141336259 400719872 78487 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 97832 78487 4288 2834 0 80037 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 391328 KiB
Current children cumulated memory: 313948 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 7/256 112211
/proc/meminfo: memFree=126338264/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=391328 memory=313948 CPUtime=281.36 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 78336 0 0 0 28121 15 0 0 20 0 1 0 141336259 400719872 78487 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 97832 78487 4288 2834 0 80037 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 391328 KiB
Current children cumulated memory: 313948 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.09 7/254 112224
/proc/meminfo: memFree=126541256/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=315924 memory=240628 CPUtime=341.16 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 80742 0 0 0 34048 68 0 0 20 0 1 0 141336259 323506176 60157 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 78981 60157 4448 2834 0 61186 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 315924 KiB
Current children cumulated memory: 240628 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 7/253 112226
/proc/meminfo: memFree=126542764/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=315924 memory=247132 CPUtime=400.95 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 80841 0 0 0 39982 113 0 0 20 0 1 0 141336259 323506176 61783 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 78981 61783 4448 2834 0 61186 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 315924 KiB
Current children cumulated memory: 247132 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 7/253 112229
/proc/meminfo: memFree=126496800/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=334892 memory=253596 CPUtime=460.75 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 81434 0 0 0 45923 152 0 0 20 0 1 0 141336259 342929408 63399 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 83723 63399 4448 2834 0 65928 0
################
# More data... #
################
Current children cumulated memory: 306692 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.11 4.09 7/251 112347
/proc/meminfo: memFree=126331980/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=415800 memory=308864 CPUtime=2913.92 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 83184 0 0 0 290659 733 0 0 20 0 1 0 141336259 425779200 77216 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 103950 77216 4448 2834 0 86155 0
Current children cumulated CPU time: 2913.92 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 308864 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.12 4.09 7/251 112349
/proc/meminfo: memFree=126331168/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=415800 memory=308864 CPUtime=2973.77 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 83184 0 0 0 296633 744 0 0 20 0 1 0 141336259 425779200 77216 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 103950 77216 4448 2834 0 86155 0
Current children cumulated CPU time: 2973.77 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 308864 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.10 7/249 112353
/proc/meminfo: memFree=126331596/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=415800 memory=308864 CPUtime=3033.6 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 83186 0 0 0 302605 755 0 0 20 0 1 0 141336259 425779200 77216 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 103950 77216 4448 2834 0 86155 0
Current children cumulated CPU time: 3033.6 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 308864 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.10 7/251 112361
/proc/meminfo: memFree=126336532/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=415800 memory=310912 CPUtime=3093.44 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 83188 0 0 0 308579 765 0 0 20 0 1 0 141336259 425779200 77728 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 103950 77728 4448 2834 0 86155 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 310912 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 7/251 112363
/proc/meminfo: memFree=126335920/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=415800 memory=310912 CPUtime=3153.29 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 83188 0 0 0 314555 774 0 0 20 0 1 0 141336259 425779200 77728 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 103950 77728 4448 2834 0 86155 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 310912 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 7/251 112365
/proc/meminfo: memFree=126327544/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=415800 memory=310912 CPUtime=3213.13 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 83188 0 0 0 320527 786 0 0 20 0 1 0 141336259 425779200 77728 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 103950 77728 4448 2834 0 86155 0
Current children cumulated CPU time: 3213.13 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 310912 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 7/251 112367
/proc/meminfo: memFree=126322248/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=415800 memory=315008 CPUtime=3272.97 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 83190 0 0 0 326499 798 0 0 20 0 1 0 141336259 425779200 78752 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 103950 78752 4448 2834 0 86155 0
Current children cumulated CPU time: 3272.97 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 315008 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 7/251 112369
/proc/meminfo: memFree=126322400/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=415800 memory=315008 CPUtime=3332.8 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 83190 0 0 0 332472 808 0 0 20 0 1 0 141336259 425779200 78752 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 103950 78752 4448 2834 0 86155 0
Current children cumulated CPU time: 3332.8 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 315008 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 7/249 112371
/proc/meminfo: memFree=126321968/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=415800 memory=315008 CPUtime=3392.65 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 83190 0 0 0 338447 818 0 0 20 0 1 0 141336259 425779200 78752 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 103950 78752 4448 2834 0 86155 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 315008 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.10 7/250 112374
/proc/meminfo: memFree=126317624/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=415800 memory=315008 CPUtime=3452.49 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 83191 0 0 0 344425 824 0 0 20 0 1 0 141336259 425779200 78752 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 103950 78752 4448 2834 0 86155 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 315008 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.15 4.10 7/250 112376
/proc/meminfo: memFree=126312732/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=415800 memory=317056 CPUtime=3512.32 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 83192 0 0 0 350402 830 0 0 20 0 1 0 141336259 425779200 79264 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 103950 79264 4448 2834 0 86155 0
Current children cumulated CPU time: 3512.32 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 317056 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.10 7/250 112378
/proc/meminfo: memFree=126311580/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=415800 memory=317056 CPUtime=3572.17 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 83192 0 0 0 356377 840 0 0 20 0 1 0 141336259 425779200 79264 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 103950 79264 4448 2834 0 86155 0
Current children cumulated CPU time: 3572.17 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 317056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.10 4.12 4.09 7/251 112383
/proc/meminfo: memFree=126312424/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=415800 memory=317056 CPUtime=3600.08 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 83192 0 0 0 359165 843 0 0 20 0 1 0 141336259 425779200 79264 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 103950 79264 4448 2834 0 86155 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 317056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 112193 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.67 s, system=8.44175 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.10 4.12 4.09 7/251 112383
/proc/meminfo: memFree=126312424/131382120 swapFree=33010416/33010684
[pid=112193] ppid=112178 vsize=415800 memory=317056 CPUtime=3600.08 cores=1,3
/proc/112193/stat : 112193 (mixed-bag) R 112178 112193 112124 0 -1 4194304 83192 0 0 0 359165 843 0 0 20 0 1 0 141336259 425779200 79264 18446744073709551615 4235264 15840557 140732595130448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 53043200 140732595132826 140732595132903 140732595132903 140732595138507 0
/proc/112193/statm: 103950 79264 4448 2834 0 86155 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 415800 KiB
Current children cumulated memory: 317056 KiB
Child status: 0
Real time (s): 3610.31
CPU time (s): 3600.11
CPU user time (s): 3591.67
CPU system time (s): 8.44175
CPU usage (%): 99.7175
Max. virtual memory (cumulated for all children) (KiB): 415800
Max. memory (cumulated for all children) (KiB): 317056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.67
system time used= 8.44175
maximum resident set size= 317824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83223
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= 185
involuntary context switches= 1349
# summary of solver processes directly reported to runsolver:
# pid: 112193
# total CPU time (s): 3600.11
# total CPU user time (s): 3591.67
# total CPU system time (s): 8.44175
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6596 second user time and 35.0702 second system time
The end
Begin job on nodeC006 at 2025-07-11 19:56:09
IDJOB=4528910
IDBENCH=147547
IDSOLVER=3386
FILE ID=nodeC006/4528910-1752256569
RUNJOBID= nodeC006-1752256569-112136
SLURM_JOB_ID= 9682601
Free space on /tmp= 432024 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528910-1752256569/watcher-4528910-1752256569 -o /tmp/evaluation-result-4528910-1752256569/solver-4528910-1752256569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752256569-112136 --watchdog 3760 mixed-bag HOME/instance-4528910-1752256569.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b
RANDOM SEED=557889923
nodeC006 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.114
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.32
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.350
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.32
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 : 3700.000
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.32
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.145
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.32
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.137
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.32
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 : 3700.000
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.32
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 : 3700.000
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.32
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.154
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127504604 kB
MemAvailable: 129869120 kB
Buffers: 2128 kB
Cached: 3126668 kB
SwapCached: 12 kB
Active: 590344 kB
Inactive: 2607588 kB
Active(anon): 76092 kB
Inactive(anon): 10992 kB
Active(file): 514252 kB
Inactive(file): 2596596 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61300 kB
Writeback: 0 kB
AnonPages: 71020 kB
Mapped: 104872 kB
Shmem: 17948 kB
KReclaimable: 186204 kB
Slab: 275292 kB
SReclaimable: 186204 kB
SUnreclaim: 89088 kB
KernelStack: 3748 kB
PageTables: 2412 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 333000 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431960 MiB
End job on nodeC006 at 2025-07-11 20:56:19