0.00/0.16 c RoundingSat 2
0.00/0.16 c branch
0.00/0.16 c commit
0.00/0.16 c with Papilo
0.00/0.16 c with SCIP
0.00/0.16 c [STEP] parsing instance
0.00/0.17 c [STEP] preprocessing with Papilo
0.00/0.19 c [STEP] solving with SCIP
299.13/300.29 c [STEP] preprocessing done, loading into solver
299.13/300.29 c [STEP] solving
299.13/300.29 c #variables 474 #constraints 472
299.13/300.29 c SMALL=int, LARGE=long long
299.13/300.29 d SCIPUB 187
299.13/300.30 c bounds - >= 0 @ 299.091
299.13/300.30 c stratification level: 0
322.88/324.05 c bounds - >= 50 @ 299.091
322.88/324.05 c bounds - >= 51 @ 299.091
322.88/324.05 c bounds - >= 52 @ 299.091
322.88/324.05 c bounds - >= 53 @ 299.092
322.88/324.05 c bounds - >= 54 @ 299.092
322.88/324.05 c bounds - >= 55 @ 299.092
322.88/324.05 c bounds - >= 56 @ 299.092
322.88/324.05 c bounds - >= 57 @ 299.092
322.88/324.05 c bounds - >= 58 @ 299.092
322.88/324.05 c bounds - >= 59 @ 299.092
322.88/324.05 c bounds - >= 60 @ 299.092
322.88/324.05 c bounds - >= 61 @ 299.092
322.88/324.05 c bounds - >= 62 @ 299.093
322.88/324.05 c bounds - >= 63 @ 299.093
322.88/324.05 c bounds - >= 64 @ 299.093
322.88/324.05 c bounds - >= 65 @ 299.093
322.88/324.05 c bounds - >= 66 @ 299.093
322.88/324.05 c bounds - >= 67 @ 299.093
322.88/324.05 c bounds - >= 68 @ 299.093
322.88/324.05 c bounds - >= 69 @ 299.093
322.88/324.05 c bounds - >= 70 @ 299.093
322.88/324.05 c bounds - >= 71 @ 299.094
322.88/324.05 c bounds - >= 72 @ 299.094
322.88/324.05 c bounds - >= 73 @ 299.094
322.88/324.05 c bounds - >= 74 @ 299.094
322.88/324.05 c bounds - >= 75 @ 299.094
322.88/324.05 c bounds - >= 76 @ 299.094
322.88/324.05 c bounds - >= 77 @ 299.094
322.88/324.05 c bounds - >= 78 @ 299.094
322.88/324.05 c bounds - >= 79 @ 299.094
322.88/324.05 c bounds - >= 80 @ 299.094
322.88/324.05 c bounds - >= 81 @ 299.094
322.88/324.05 c bounds - >= 82 @ 299.094
322.88/324.05 c bounds - >= 83 @ 299.094
322.88/324.05 c bounds - >= 84 @ 299.094
322.88/324.05 c bounds - >= 85 @ 299.094
322.88/324.05 c bounds - >= 86 @ 299.094
322.88/324.05 c bounds - >= 87 @ 299.094
322.88/324.05 c bounds - >= 88 @ 299.094
322.88/324.05 c bounds - >= 89 @ 299.094
322.88/324.05 c bounds - >= 90 @ 299.094
322.88/324.05 c bounds - >= 91 @ 299.094
322.88/324.05 c bounds - >= 92 @ 299.094
322.88/324.05 c bounds - >= 93 @ 299.094
322.88/324.05 c bounds - >= 94 @ 299.094
322.88/324.05 c bounds - >= 95 @ 299.095
322.88/324.05 c bounds - >= 96 @ 299.095
322.88/324.05 c bounds - >= 97 @ 299.095
322.88/324.05 c bounds - >= 98 @ 299.095
322.88/324.05 c bounds - >= 99 @ 299.095
322.88/324.05 c bounds - >= 100 @ 299.095
322.88/324.05 c bounds - >= 101 @ 299.095
322.88/324.05 c bounds - >= 102 @ 299.096
322.88/324.05 c bounds - >= 103 @ 299.096
322.88/324.05 c bounds - >= 104 @ 299.096
322.88/324.05 c bounds - >= 105 @ 299.096
322.88/324.05 c bounds - >= 106 @ 299.096
322.88/324.05 c bounds - >= 107 @ 299.096
322.88/324.05 c bounds - >= 108 @ 299.096
322.88/324.05 c bounds - >= 109 @ 299.097
322.88/324.05 c bounds - >= 110 @ 299.097
322.88/324.05 c bounds - >= 111 @ 299.097
322.88/324.05 c bounds - >= 112 @ 299.097
322.88/324.05 c bounds - >= 113 @ 299.097
322.88/324.05 c bounds - >= 114 @ 299.097
322.88/324.05 c bounds - >= 115 @ 299.097
322.88/324.05 c bounds - >= 116 @ 299.097
322.88/324.05 c bounds - >= 117 @ 299.097
322.88/324.05 c bounds - >= 118 @ 299.097
322.88/324.05 c bounds - >= 119 @ 299.097
322.88/324.05 c bounds - >= 120 @ 299.097
322.88/324.05 c bounds - >= 121 @ 299.098
322.88/324.05 c bounds - >= 122 @ 299.098
322.88/324.05 c bounds - >= 123 @ 299.098
322.88/324.05 c bounds - >= 124 @ 299.098
322.88/324.05 c bounds - >= 125 @ 299.098
322.88/324.05 c #Conflicts: 1000 | #Constraints: 1611
322.88/324.05 c #Conflicts: 2000 | #Constraints: 2611
322.88/324.05 c INPROCESSING
322.88/324.05 c GARBAGE COLLECT
322.88/324.05 c #Conflicts: 3000 | #Constraints: 2536
322.88/324.05 c #Conflicts: 4000 | #Constraints: 3536
322.88/324.05 c INPROCESSING
322.88/324.05 c GARBAGE COLLECT
322.88/324.05 c #Conflicts: 5000 | #Constraints: 2940
322.88/324.05 c #Conflicts: 6000 | #Constraints: 3940
322.88/324.05 c INPROCESSING
322.88/324.05 c GARBAGE COLLECT
322.88/324.05 c #Conflicts: 7000 | #Constraints: 2938
322.88/324.05 c #Conflicts: 8000 | #Constraints: 3938
322.88/324.05 c #Conflicts: 9000 | #Constraints: 4938
322.88/324.05 c INPROCESSING
322.88/324.05 c GARBAGE COLLECT
322.88/324.05 c #Conflicts: 10000 | #Constraints: 3638
322.88/324.05 c #Conflicts: 11000 | #Constraints: 4638
322.88/324.05 c #Conflicts: 12000 | #Constraints: 5638
322.88/324.05 c INPROCESSING
322.88/324.05 c GARBAGE COLLECT
322.88/324.05 c #Conflicts: 13000 | #Constraints: 4092
322.88/324.05 c #Conflicts: 14000 | #Constraints: 5092
322.88/324.05 c #Conflicts: 15000 | #Constraints: 6092
322.88/324.05 c INPROCESSING
322.88/324.05 c GARBAGE COLLECT
322.88/324.05 c #Conflicts: 16000 | #Constraints: 4315
322.88/324.05 c #Conflicts: 17000 | #Constraints: 5315
322.88/324.05 c #Conflicts: 18000 | #Constraints: 6315
322.88/324.05 c INPROCESSING
322.88/324.05 c GARBAGE COLLECT
322.88/324.05 c #Conflicts: 19000 | #Constraints: 4330
322.88/324.05 c #Conflicts: 20000 | #Constraints: 5330
322.88/324.05 c #Conflicts: 21000 | #Constraints: 6330
322.88/324.05 c INPROCESSING
322.88/324.05 c GARBAGE COLLECT
322.88/324.05 c #Conflicts: 22000 | #Constraints: 4136
322.88/324.05 c #Conflicts: 23000 | #Constraints: 5136
322.88/324.05 c #Conflicts: 24000 | #Constraints: 6136
322.88/324.05 c #Conflicts: 25000 | #Constraints: 7136
322.88/324.05 c INPROCESSING
322.88/324.05 c GARBAGE COLLECT
322.88/324.05 c #Conflicts: 26000 | #Constraints: 4738
322.88/324.05 c #Conflicts: 27000 | #Constraints: 5738
322.88/324.05 c #Conflicts: 28000 | #Constraints: 6738
322.88/324.05 c #Conflicts: 29000 | #Constraints: 7738
322.88/324.05 c INPROCESSING
322.88/324.05 c GARBAGE COLLECT
322.88/324.05 c #Conflicts: 30000 | #Constraints: 5141
322.88/324.05 c #Conflicts: 31000 | #Constraints: 6141
322.88/324.05 c #Conflicts: 32000 | #Constraints: 7141
322.88/324.05 c #Conflicts: 33000 | #Constraints: 8141
447.61/449.13 c INPROCESSING
447.61/449.13 c GARBAGE COLLECT
447.61/449.13 c #Conflicts: 34000 | #Constraints: 5342
447.61/449.13 c #Conflicts: 35000 | #Constraints: 6342
447.61/449.13 c #Conflicts: 36000 | #Constraints: 7342
447.61/449.13 c #Conflicts: 37000 | #Constraints: 8342
447.61/449.13 c INPROCESSING
447.61/449.13 c GARBAGE COLLECT
447.61/449.13 c #Conflicts: 38000 | #Constraints: 5337
447.61/449.13 c #Conflicts: 39000 | #Constraints: 6337
447.61/449.13 c #Conflicts: 40000 | #Constraints: 7337
447.61/449.13 c #Conflicts: 41000 | #Constraints: 8337
447.61/449.13 c INPROCESSING
447.61/449.13 c GARBAGE COLLECT
447.61/449.13 c #Conflicts: 42000 | #Constraints: 5143
447.61/449.13 c #Conflicts: 43000 | #Constraints: 6143
447.61/449.13 c #Conflicts: 44000 | #Constraints: 7143
447.61/449.13 c #Conflicts: 45000 | #Constraints: 8143
447.61/449.13 c #Conflicts: 46000 | #Constraints: 9143
447.61/449.13 c INPROCESSING
447.61/449.13 c GARBAGE COLLECT
447.61/449.13 c #Conflicts: 47000 | #Constraints: 5740
447.61/449.13 c #Conflicts: 48000 | #Constraints: 6740
447.61/449.13 c #Conflicts: 49000 | #Constraints: 7740
447.61/449.13 c #Conflicts: 50000 | #Constraints: 8740
447.61/449.13 c #Conflicts: 51000 | #Constraints: 9740
447.61/449.13 c INPROCESSING
447.61/449.13 c GARBAGE COLLECT
447.61/449.13 c #Conflicts: 52000 | #Constraints: 6141
447.61/449.13 c #Conflicts: 53000 | #Constraints: 7141
447.61/449.13 c #Conflicts: 54000 | #Constraints: 8141
447.61/449.13 c #Conflicts: 55000 | #Constraints: 9141
447.61/449.13 c #Conflicts: 56000 | #Constraints: 10141
447.61/449.13 c INPROCESSING
447.61/449.13 c GARBAGE COLLECT
447.61/449.13 c #Conflicts: 57000 | #Constraints: 6338
447.61/449.13 c #Conflicts: 58000 | #Constraints: 7338
447.61/449.13 c #Conflicts: 59000 | #Constraints: 8338
447.61/449.13 c #Conflicts: 60000 | #Constraints: 9338
447.61/449.13 c #Conflicts: 61000 | #Constraints: 10338
447.61/449.13 c INPROCESSING
447.61/449.13 c GARBAGE COLLECT
447.61/449.13 c #Conflicts: 62000 | #Constraints: 6344
447.61/449.13 c #Conflicts: 63000 | #Constraints: 7344
447.61/449.13 c #Conflicts: 64000 | #Constraints: 8344
447.61/449.13 c #Conflicts: 65000 | #Constraints: 9344
447.61/449.13 c #Conflicts: 66000 | #Constraints: 10344
447.61/449.13 c INPROCESSING
447.61/449.13 c GARBAGE COLLECT
447.61/449.13 c #Conflicts: 67000 | #Constraints: 6142
447.61/449.13 c #Conflicts: 68000 | #Constraints: 7142
447.61/449.13 c #Conflicts: 69000 | #Constraints: 8142
447.61/449.13 c #Conflicts: 70000 | #Constraints: 9142
447.61/449.13 c #Conflicts: 71000 | #Constraints: 10142
447.61/449.13 c #Conflicts: 72000 | #Constraints: 11142
447.61/449.13 c INPROCESSING
447.61/449.13 c GARBAGE COLLECT
447.61/449.13 c #Conflicts: 73000 | #Constraints: 6742
447.61/449.13 c #Conflicts: 74000 | #Constraints: 7742
447.61/449.13 c #Conflicts: 75000 | #Constraints: 8742
447.61/449.13 c #Conflicts: 76000 | #Constraints: 9742
447.61/449.13 c #Conflicts: 77000 | #Constraints: 10742
447.61/449.13 c #Conflicts: 78000 | #Constraints: 11742
447.61/449.13 c INPROCESSING
447.61/449.13 c GARBAGE COLLECT
447.61/449.13 c #Conflicts: 79000 | #Constraints: 7141
447.61/449.13 c #Conflicts: 80000 | #Constraints: 8141
447.61/449.13 c #Conflicts: 81000 | #Constraints: 9141
447.61/449.13 c #Conflicts: 82000 | #Constraints: 10141
447.61/449.13 c #Conflicts: 83000 | #Constraints: 11141
447.61/449.13 c #Conflicts: 84000 | #Constraints: 12141
447.61/449.13 c INPROCESSING
447.61/449.13 c GARBAGE COLLECT
447.61/449.13 c #Conflicts: 85000 | #Constraints: 7345
447.61/449.13 c #Conflicts: 86000 | #Constraints: 8345
447.61/449.13 c #Conflicts: 87000 | #Constraints: 9345
447.61/449.13 c #Conflicts: 88000 | #Constraints: 10345
447.61/449.13 c #Conflicts: 89000 | #Constraints: 11345
447.61/449.13 c #Conflicts: 90000 | #Constraints: 12345
447.61/449.13 c INPROCESSING
447.61/449.13 c GARBAGE COLLECT
447.61/449.13 c #Conflicts: 91000 | #Constraints: 7342
447.61/449.13 c #Conflicts: 92000 | #Constraints: 8342
447.61/449.13 c #Conflicts: 93000 | #Constraints: 9342
447.61/449.13 c #Conflicts: 94000 | #Constraints: 10342
447.61/449.13 c #Conflicts: 95000 | #Constraints: 11342
447.61/449.13 c #Conflicts: 96000 | #Constraints: 12342
447.61/449.13 c INPROCESSING
447.61/449.13 c GARBAGE COLLECT
447.61/449.13 c #Conflicts: 97000 | #Constraints: 7141
447.61/449.13 c #Conflicts: 98000 | #Constraints: 8141
447.61/449.13 c #Conflicts: 99000 | #Constraints: 9141
447.61/449.13 c #Conflicts: 100000 | #Constraints: 10141
447.61/449.13 c #Conflicts: 101000 | #Constraints: 11141
447.61/449.13 c #Conflicts: 102000 | #Constraints: 12141
447.61/449.13 c #Conflicts: 103000 | #Constraints: 13141
629.21/631.39 c INPROCESSING
629.21/631.39 c GARBAGE COLLECT
629.21/631.39 c #Conflicts: 104000 | #Constraints: 7743
629.21/631.39 c #Conflicts: 105000 | #Constraints: 8743
629.21/631.39 c #Conflicts: 106000 | #Constraints: 9743
629.21/631.39 c #Conflicts: 107000 | #Constraints: 10743
629.21/631.39 c #Conflicts: 108000 | #Constraints: 11743
629.21/631.39 c #Conflicts: 109000 | #Constraints: 12743
629.21/631.39 c #Conflicts: 110000 | #Constraints: 13743
629.21/631.39 c INPROCESSING
629.21/631.39 c GARBAGE COLLECT
629.21/631.39 c #Conflicts: 111000 | #Constraints: 8145
629.21/631.39 c #Conflicts: 112000 | #Constraints: 9145
629.21/631.39 c #Conflicts: 113000 | #Constraints: 10145
629.21/631.39 c #Conflicts: 114000 | #Constraints: 11145
629.21/631.39 c #Conflicts: 115000 | #Constraints: 12145
629.21/631.39 c #Conflicts: 116000 | #Constraints: 13145
629.21/631.39 c #Conflicts: 117000 | #Constraints: 14145
629.21/631.39 c INPROCESSING
629.21/631.39 c GARBAGE COLLECT
629.21/631.39 c #Conflicts: 118000 | #Constraints: 8340
629.21/631.39 c #Conflicts: 119000 | #Constraints: 9340
629.21/631.39 c #Conflicts: 120000 | #Constraints: 10340
629.21/631.39 c #Conflicts: 121000 | #Constraints: 11340
629.21/631.39 c #Conflicts: 122000 | #Constraints: 12340
629.21/631.39 c #Conflicts: 123000 | #Constraints: 13340
629.21/631.39 c #Conflicts: 124000 | #Constraints: 14340
629.21/631.39 c INPROCESSING
629.21/631.39 c GARBAGE COLLECT
629.21/631.39 c #Conflicts: 125000 | #Constraints: 8336
629.21/631.39 c #Conflicts: 126000 | #Constraints: 9336
629.21/631.39 c #Conflicts: 127000 | #Constraints: 10336
629.21/631.39 c #Conflicts: 128000 | #Constraints: 11336
629.21/631.39 c #Conflicts: 129000 | #Constraints: 12336
629.21/631.39 c #Conflicts: 130000 | #Constraints: 13336
629.21/631.39 c #Conflicts: 131000 | #Constraints: 14336
629.21/631.39 c INPROCESSING
629.21/631.39 c GARBAGE COLLECT
629.21/631.39 c #Conflicts: 132000 | #Constraints: 8139
629.21/631.39 c #Conflicts: 133000 | #Constraints: 9139
629.21/631.39 c #Conflicts: 134000 | #Constraints: 10139
629.21/631.39 c #Conflicts: 135000 | #Constraints: 11139
629.21/631.39 c #Conflicts: 136000 | #Constraints: 12139
629.21/631.39 c #Conflicts: 137000 | #Constraints: 13139
629.21/631.39 c #Conflicts: 138000 | #Constraints: 14139
629.21/631.39 c #Conflicts: 139000 | #Constraints: 15139
629.21/631.39 c INPROCESSING
629.21/631.39 c GARBAGE COLLECT
629.21/631.39 c #Conflicts: 140000 | #Constraints: 8737
629.21/631.39 c #Conflicts: 141000 | #Constraints: 9737
629.21/631.39 c #Conflicts: 142000 | #Constraints: 10737
629.21/631.39 c #Conflicts: 143000 | #Constraints: 11737
629.21/631.39 c #Conflicts: 144000 | #Constraints: 12737
629.21/631.39 c #Conflicts: 145000 | #Constraints: 13737
629.21/631.39 c #Conflicts: 146000 | #Constraints: 14737
629.21/631.39 c #Conflicts: 147000 | #Constraints: 15737
629.21/631.39 c INPROCESSING
629.21/631.39 c GARBAGE COLLECT
629.21/631.39 c #Conflicts: 148000 | #Constraints: 9141
629.21/631.39 c #Conflicts: 149000 | #Constraints: 10141
629.21/631.39 c #Conflicts: 150000 | #Constraints: 11141
629.21/631.39 c #Conflicts: 151000 | #Constraints: 12141
629.21/631.39 c #Conflicts: 152000 | #Constraints: 13141
629.21/631.39 c #Conflicts: 153000 | #Constraints: 14141
629.21/631.39 c #Conflicts: 154000 | #Constraints: 15141
629.21/631.39 c #Conflicts: 155000 | #Constraints: 16141
629.21/631.39 c INPROCESSING
629.21/631.39 c GARBAGE COLLECT
629.21/631.39 c #Conflicts: 156000 | #Constraints: 9343
629.21/631.39 c #Conflicts: 157000 | #Constraints: 10343
629.21/631.39 c #Conflicts: 158000 | #Constraints: 11343
629.21/631.39 c #Conflicts: 159000 | #Constraints: 12343
629.21/631.39 c #Conflicts: 160000 | #Constraints: 13343
629.21/631.39 c #Conflicts: 161000 | #Constraints: 14343
629.21/631.39 c #Conflicts: 162000 | #Constraints: 15343
629.21/631.39 c #Conflicts: 163000 | #Constraints: 16343
629.21/631.39 c INPROCESSING
629.21/631.39 c GARBAGE COLLECT
629.21/631.39 c #Conflicts: 164000 | #Constraints: 9343
629.21/631.39 c #Conflicts: 165000 | #Constraints: 10343
629.21/631.39 c #Conflicts: 166000 | #Constraints: 11343
629.21/631.39 c #Conflicts: 167000 | #Constraints: 12343
629.21/631.39 c #Conflicts: 168000 | #Constraints: 13343
629.21/631.39 c #Conflicts: 169000 | #Constraints: 14343
629.21/631.39 c #Conflicts: 170000 | #Constraints: 15343
629.21/631.39 c #Conflicts: 171000 | #Constraints: 16343
629.21/631.39 c INPROCESSING
629.21/631.39 c GARBAGE COLLECT
629.21/631.39 c #Conflicts: 172000 | #Constraints: 9138
629.21/631.39 c #Conflicts: 173000 | #Constraints: 10138
629.21/631.39 c #Conflicts: 174000 | #Constraints: 11138
629.21/631.39 c #Conflicts: 175000 | #Constraints: 12138
629.21/631.39 c #Conflicts: 176000 | #Constraints: 13138
865.37/868.20 c #Conflicts: 177000 | #Constraints: 14138
865.37/868.20 c #Conflicts: 178000 | #Constraints: 15138
865.37/868.20 c #Conflicts: 179000 | #Constraints: 16138
865.37/868.20 c #Conflicts: 180000 | #Constraints: 17138
865.37/868.20 c INPROCESSING
865.37/868.20 c GARBAGE COLLECT
865.37/868.20 c #Conflicts: 181000 | #Constraints: 9740
865.37/868.20 c #Conflicts: 182000 | #Constraints: 10740
865.37/868.20 c #Conflicts: 183000 | #Constraints: 11740
865.37/868.20 c #Conflicts: 184000 | #Constraints: 12740
865.37/868.20 c #Conflicts: 185000 | #Constraints: 13740
865.37/868.20 c #Conflicts: 186000 | #Constraints: 14740
865.37/868.20 c #Conflicts: 187000 | #Constraints: 15740
865.37/868.20 c #Conflicts: 188000 | #Constraints: 16740
865.37/868.20 c #Conflicts: 189000 | #Constraints: 17740
865.37/868.20 c INPROCESSING
865.37/868.20 c GARBAGE COLLECT
865.37/868.20 c #Conflicts: 190000 | #Constraints: 10145
865.37/868.20 c #Conflicts: 191000 | #Constraints: 11145
865.37/868.20 c #Conflicts: 192000 | #Constraints: 12145
865.37/868.20 c #Conflicts: 193000 | #Constraints: 13145
865.37/868.20 c #Conflicts: 194000 | #Constraints: 14145
865.37/868.20 c #Conflicts: 195000 | #Constraints: 15145
865.37/868.20 c #Conflicts: 196000 | #Constraints: 16145
865.37/868.20 c #Conflicts: 197000 | #Constraints: 17145
865.37/868.20 c #Conflicts: 198000 | #Constraints: 18145
865.37/868.20 c INPROCESSING
865.37/868.20 c GARBAGE COLLECT
865.37/868.20 c #Conflicts: 199000 | #Constraints: 10343
865.37/868.20 c #Conflicts: 200000 | #Constraints: 11343
865.37/868.20 c #Conflicts: 201000 | #Constraints: 12343
865.37/868.20 c #Conflicts: 202000 | #Constraints: 13343
865.37/868.20 c #Conflicts: 203000 | #Constraints: 14343
865.37/868.20 c #Conflicts: 204000 | #Constraints: 15343
865.37/868.20 c #Conflicts: 205000 | #Constraints: 16343
865.37/868.20 c #Conflicts: 206000 | #Constraints: 17343
865.37/868.20 c #Conflicts: 207000 | #Constraints: 18343
865.37/868.20 c INPROCESSING
865.37/868.20 c GARBAGE COLLECT
865.37/868.20 c #Conflicts: 208000 | #Constraints: 10343
865.37/868.20 c #Conflicts: 209000 | #Constraints: 11343
865.37/868.20 c #Conflicts: 210000 | #Constraints: 12343
865.37/868.20 c #Conflicts: 211000 | #Constraints: 13343
865.37/868.20 c #Conflicts: 212000 | #Constraints: 14343
865.37/868.20 c #Conflicts: 213000 | #Constraints: 15343
865.37/868.20 c #Conflicts: 214000 | #Constraints: 16343
865.37/868.20 c #Conflicts: 215000 | #Constraints: 17343
865.37/868.20 c #Conflicts: 216000 | #Constraints: 18343
865.37/868.20 c INPROCESSING
865.37/868.20 c GARBAGE COLLECT
865.37/868.20 c #Conflicts: 217000 | #Constraints: 10146
865.37/868.20 c #Conflicts: 218000 | #Constraints: 11146
865.37/868.20 c #Conflicts: 219000 | #Constraints: 12146
865.37/868.20 c #Conflicts: 220000 | #Constraints: 13146
865.37/868.20 c #Conflicts: 221000 | #Constraints: 14146
865.37/868.20 c #Conflicts: 222000 | #Constraints: 15146
865.37/868.20 c #Conflicts: 223000 | #Constraints: 16146
865.37/868.20 c #Conflicts: 224000 | #Constraints: 17146
865.37/868.20 c #Conflicts: 225000 | #Constraints: 18146
865.37/868.20 c #Conflicts: 226000 | #Constraints: 19146
865.37/868.20 c INPROCESSING
865.37/868.20 c GARBAGE COLLECT
865.37/868.20 c #Conflicts: 227000 | #Constraints: 10742
865.37/868.20 c #Conflicts: 228000 | #Constraints: 11742
865.37/868.20 c #Conflicts: 229000 | #Constraints: 12742
865.37/868.20 c #Conflicts: 230000 | #Constraints: 13742
865.37/868.20 c #Conflicts: 231000 | #Constraints: 14742
865.37/868.20 c #Conflicts: 232000 | #Constraints: 15742
865.37/868.20 c #Conflicts: 233000 | #Constraints: 16742
865.37/868.20 c #Conflicts: 234000 | #Constraints: 17742
865.37/868.20 c #Conflicts: 235000 | #Constraints: 18742
865.37/868.20 c #Conflicts: 236000 | #Constraints: 19742
865.37/868.20 c INPROCESSING
865.37/868.20 c GARBAGE COLLECT
865.37/868.20 c #Conflicts: 237000 | #Constraints: 11142
865.37/868.20 c #Conflicts: 238000 | #Constraints: 12142
865.37/868.20 c #Conflicts: 239000 | #Constraints: 13142
865.37/868.20 c #Conflicts: 240000 | #Constraints: 14142
865.37/868.20 c #Conflicts: 241000 | #Constraints: 15142
865.37/868.20 c #Conflicts: 242000 | #Constraints: 16142
865.37/868.20 c #Conflicts: 243000 | #Constraints: 17142
865.37/868.20 c #Conflicts: 244000 | #Constraints: 18142
865.37/868.20 c #Conflicts: 245000 | #Constraints: 19142
865.37/868.20 c #Conflicts: 246000 | #Constraints: 20142
865.37/868.20 c INPROCESSING
865.37/868.20 c GARBAGE COLLECT
865.37/868.20 c #Conflicts: 247000 | #Constraints: 11337
865.37/868.20 c #Conflicts: 248000 | #Constraints: 12337
865.37/868.20 c #Conflicts: 249000 | #Constraints: 13337
865.37/868.20 c #Conflicts: 250000 | #Constraints: 14337
1179.39/1183.22 c #Conflicts: 251000 | #Constraints: 15337
1179.39/1183.22 c #Conflicts: 252000 | #Constraints: 16337
1179.39/1183.22 c #Conflicts: 253000 | #Constraints: 17337
1179.39/1183.22 c #Conflicts: 254000 | #Constraints: 18337
1179.39/1183.22 c #Conflicts: 255000 | #Constraints: 19337
1179.39/1183.22 c #Conflicts: 256000 | #Constraints: 20337
1179.39/1183.22 c INPROCESSING
1179.39/1183.22 c GARBAGE COLLECT
1179.39/1183.22 c #Conflicts: 257000 | #Constraints: 11341
1179.39/1183.22 c #Conflicts: 258000 | #Constraints: 12341
1179.39/1183.22 c #Conflicts: 259000 | #Constraints: 13341
1179.39/1183.22 c #Conflicts: 260000 | #Constraints: 14341
1179.39/1183.22 c #Conflicts: 261000 | #Constraints: 15341
1179.39/1183.22 c #Conflicts: 262000 | #Constraints: 16341
1179.39/1183.22 c #Conflicts: 263000 | #Constraints: 17341
1179.39/1183.22 c #Conflicts: 264000 | #Constraints: 18341
1179.39/1183.22 c #Conflicts: 265000 | #Constraints: 19341
1179.39/1183.22 c #Conflicts: 266000 | #Constraints: 20341
1179.39/1183.22 c INPROCESSING
1179.39/1183.22 c GARBAGE COLLECT
1179.39/1183.22 c #Conflicts: 267000 | #Constraints: 11140
1179.39/1183.22 c #Conflicts: 268000 | #Constraints: 12140
1179.39/1183.22 c #Conflicts: 269000 | #Constraints: 13140
1179.39/1183.22 c #Conflicts: 270000 | #Constraints: 14140
1179.39/1183.22 c #Conflicts: 271000 | #Constraints: 15140
1179.39/1183.22 c #Conflicts: 272000 | #Constraints: 16140
1179.39/1183.22 c #Conflicts: 273000 | #Constraints: 17140
1179.39/1183.22 c #Conflicts: 274000 | #Constraints: 18140
1179.39/1183.22 c #Conflicts: 275000 | #Constraints: 19140
1179.39/1183.22 c #Conflicts: 276000 | #Constraints: 20140
1179.39/1183.22 c #Conflicts: 277000 | #Constraints: 21140
1179.39/1183.22 c INPROCESSING
1179.39/1183.22 c GARBAGE COLLECT
1179.39/1183.22 c #Conflicts: 278000 | #Constraints: 11742
1179.39/1183.22 c #Conflicts: 279000 | #Constraints: 12742
1179.39/1183.22 c #Conflicts: 280000 | #Constraints: 13742
1179.39/1183.22 c #Conflicts: 281000 | #Constraints: 14742
1179.39/1183.22 c #Conflicts: 282000 | #Constraints: 15742
1179.39/1183.22 c #Conflicts: 283000 | #Constraints: 16742
1179.39/1183.22 c #Conflicts: 284000 | #Constraints: 17742
1179.39/1183.22 c #Conflicts: 285000 | #Constraints: 18742
1179.39/1183.22 c #Conflicts: 286000 | #Constraints: 19742
1179.39/1183.22 c #Conflicts: 287000 | #Constraints: 20742
1179.39/1183.23 c #Conflicts: 288000 | #Constraints: 21742
1179.39/1183.23 c INPROCESSING
1179.39/1183.23 c GARBAGE COLLECT
1179.39/1183.23 c #Conflicts: 289000 | #Constraints: 12139
1179.39/1183.23 c #Conflicts: 290000 | #Constraints: 13139
1179.39/1183.23 c #Conflicts: 291000 | #Constraints: 14139
1179.39/1183.23 c #Conflicts: 292000 | #Constraints: 15139
1179.39/1183.23 c #Conflicts: 293000 | #Constraints: 16139
1179.39/1183.23 c #Conflicts: 294000 | #Constraints: 17139
1179.39/1183.23 c #Conflicts: 295000 | #Constraints: 18139
1179.39/1183.23 c #Conflicts: 296000 | #Constraints: 19139
1179.39/1183.23 c #Conflicts: 297000 | #Constraints: 20139
1179.39/1183.23 c #Conflicts: 298000 | #Constraints: 21139
1179.39/1183.23 c #Conflicts: 299000 | #Constraints: 22139
1179.39/1183.23 c INPROCESSING
1179.39/1183.23 c GARBAGE COLLECT
1179.39/1183.23 c #Conflicts: 300000 | #Constraints: 12339
1179.39/1183.23 c #Conflicts: 301000 | #Constraints: 13339
1179.39/1183.23 c #Conflicts: 302000 | #Constraints: 14339
1179.39/1183.23 c #Conflicts: 303000 | #Constraints: 15339
1179.39/1183.23 c #Conflicts: 304000 | #Constraints: 16339
1179.39/1183.23 c #Conflicts: 305000 | #Constraints: 17339
1179.39/1183.23 c #Conflicts: 306000 | #Constraints: 18339
1179.39/1183.23 c #Conflicts: 307000 | #Constraints: 19339
1179.39/1183.23 c #Conflicts: 308000 | #Constraints: 20339
1179.39/1183.23 c #Conflicts: 309000 | #Constraints: 21339
1179.39/1183.23 c #Conflicts: 310000 | #Constraints: 22339
1179.39/1183.23 c INPROCESSING
1179.39/1183.23 c GARBAGE COLLECT
1179.39/1183.23 c #Conflicts: 311000 | #Constraints: 12346
1179.39/1183.23 c #Conflicts: 312000 | #Constraints: 13346
1179.39/1183.23 c #Conflicts: 313000 | #Constraints: 14346
1179.39/1183.23 c #Conflicts: 314000 | #Constraints: 15346
1179.39/1183.23 c #Conflicts: 315000 | #Constraints: 16346
1179.39/1183.23 c #Conflicts: 316000 | #Constraints: 17346
1179.39/1183.23 c #Conflicts: 317000 | #Constraints: 18346
1179.39/1183.23 c #Conflicts: 318000 | #Constraints: 19346
1179.39/1183.23 c #Conflicts: 319000 | #Constraints: 20346
1179.39/1183.23 c #Conflicts: 320000 | #Constraints: 21346
1179.39/1183.23 c #Conflicts: 321000 | #Constraints: 22346
1179.39/1183.23 c INPROCESSING
1179.39/1183.23 c GARBAGE COLLECT
1179.39/1183.23 c #Conflicts: 322000 | #Constraints: 12143
1179.39/1183.23 c #Conflicts: 323000 | #Constraints: 13143
1179.39/1183.23 c #Conflicts: 324000 | #Constraints: 14143
1534.07/1538.80 c #Conflicts: 325000 | #Constraints: 15143
1534.07/1538.80 c #Conflicts: 326000 | #Constraints: 16143
1534.07/1538.80 c #Conflicts: 327000 | #Constraints: 17143
1534.07/1538.80 c #Conflicts: 328000 | #Constraints: 18143
1534.07/1538.80 c #Conflicts: 329000 | #Constraints: 19143
1534.07/1538.80 c #Conflicts: 330000 | #Constraints: 20143
1534.07/1538.80 c #Conflicts: 331000 | #Constraints: 21143
1534.07/1538.80 c #Conflicts: 332000 | #Constraints: 22143
1534.07/1538.80 c #Conflicts: 333000 | #Constraints: 23143
1534.07/1538.80 c INPROCESSING
1534.07/1538.80 c GARBAGE COLLECT
1534.07/1538.80 c #Conflicts: 334000 | #Constraints: 12743
1534.07/1538.80 c #Conflicts: 335000 | #Constraints: 13743
1534.07/1538.80 c #Conflicts: 336000 | #Constraints: 14743
1534.07/1538.80 c #Conflicts: 337000 | #Constraints: 15743
1534.07/1538.80 c #Conflicts: 338000 | #Constraints: 16743
1534.07/1538.80 c #Conflicts: 339000 | #Constraints: 17743
1534.07/1538.80 c #Conflicts: 340000 | #Constraints: 18743
1534.07/1538.80 c #Conflicts: 341000 | #Constraints: 19743
1534.07/1538.80 c #Conflicts: 342000 | #Constraints: 20743
1534.07/1538.80 c #Conflicts: 343000 | #Constraints: 21743
1534.07/1538.80 c #Conflicts: 344000 | #Constraints: 22743
1534.07/1538.80 c #Conflicts: 345000 | #Constraints: 23743
1534.07/1538.80 c INPROCESSING
1534.07/1538.80 c GARBAGE COLLECT
1534.07/1538.80 c #Conflicts: 346000 | #Constraints: 13144
1534.07/1538.80 c #Conflicts: 347000 | #Constraints: 14144
1534.07/1538.80 c #Conflicts: 348000 | #Constraints: 15144
1534.07/1538.80 c #Conflicts: 349000 | #Constraints: 16144
1534.07/1538.80 c #Conflicts: 350000 | #Constraints: 17144
1534.07/1538.80 c #Conflicts: 351000 | #Constraints: 18144
1534.07/1538.80 c #Conflicts: 352000 | #Constraints: 19144
1534.07/1538.80 c #Conflicts: 353000 | #Constraints: 20144
1534.07/1538.80 c #Conflicts: 354000 | #Constraints: 21144
1534.07/1538.80 c #Conflicts: 355000 | #Constraints: 22144
1534.07/1538.80 c #Conflicts: 356000 | #Constraints: 23144
1534.07/1538.80 c #Conflicts: 357000 | #Constraints: 24144
1534.07/1538.80 c INPROCESSING
1534.07/1538.80 c GARBAGE COLLECT
1534.07/1538.80 c #Conflicts: 358000 | #Constraints: 13341
1534.07/1538.80 c #Conflicts: 359000 | #Constraints: 14341
1534.07/1538.80 c #Conflicts: 360000 | #Constraints: 15341
1534.07/1538.80 c #Conflicts: 361000 | #Constraints: 16341
1534.07/1538.80 c #Conflicts: 362000 | #Constraints: 17341
1534.07/1538.80 c #Conflicts: 363000 | #Constraints: 18341
1534.07/1538.80 c #Conflicts: 364000 | #Constraints: 19341
1534.07/1538.80 c #Conflicts: 365000 | #Constraints: 20341
1534.07/1538.80 c #Conflicts: 366000 | #Constraints: 21341
1534.07/1538.80 c #Conflicts: 367000 | #Constraints: 22341
1534.07/1538.80 c #Conflicts: 368000 | #Constraints: 23341
1534.07/1538.80 c #Conflicts: 369000 | #Constraints: 24341
1534.07/1538.80 c INPROCESSING
1534.07/1538.80 c GARBAGE COLLECT
1534.07/1538.80 c #Conflicts: 370000 | #Constraints: 13342
1534.07/1538.80 c #Conflicts: 371000 | #Constraints: 14342
1534.07/1538.80 c #Conflicts: 372000 | #Constraints: 15342
1534.07/1538.80 c #Conflicts: 373000 | #Constraints: 16342
1534.07/1538.80 c #Conflicts: 374000 | #Constraints: 17342
1534.07/1538.80 c #Conflicts: 375000 | #Constraints: 18342
1534.07/1538.80 c #Conflicts: 376000 | #Constraints: 19342
1534.07/1538.80 c #Conflicts: 377000 | #Constraints: 20342
1534.07/1538.80 c #Conflicts: 378000 | #Constraints: 21342
1534.07/1538.80 c #Conflicts: 379000 | #Constraints: 22342
1534.07/1538.80 c #Conflicts: 380000 | #Constraints: 23342
1534.07/1538.80 c #Conflicts: 381000 | #Constraints: 24342
1534.07/1538.80 c INPROCESSING
1534.07/1538.80 c GARBAGE COLLECT
1534.07/1538.80 c #Conflicts: 382000 | #Constraints: 13144
1534.07/1538.80 c #Conflicts: 383000 | #Constraints: 14144
1534.07/1538.80 c #Conflicts: 384000 | #Constraints: 15144
1534.07/1538.80 c #Conflicts: 385000 | #Constraints: 16144
1534.07/1538.80 c #Conflicts: 386000 | #Constraints: 17144
1534.07/1538.80 c #Conflicts: 387000 | #Constraints: 18144
1534.07/1538.80 c #Conflicts: 388000 | #Constraints: 19144
1534.07/1538.80 c #Conflicts: 389000 | #Constraints: 20144
1534.07/1538.80 c #Conflicts: 390000 | #Constraints: 21144
1534.07/1538.80 c #Conflicts: 391000 | #Constraints: 22144
1534.07/1538.80 c #Conflicts: 392000 | #Constraints: 23144
1534.07/1538.80 c #Conflicts: 393000 | #Constraints: 24144
1534.07/1538.80 c #Conflicts: 394000 | #Constraints: 25144
1534.07/1538.80 c INPROCESSING
1534.07/1538.80 c GARBAGE COLLECT
1534.07/1538.80 c #Conflicts: 395000 | #Constraints: 13741
1534.07/1538.80 c #Conflicts: 396000 | #Constraints: 14741
1534.07/1538.80 c #Conflicts: 397000 | #Constraints: 15741
1534.07/1538.80 c #Conflicts: 398000 | #Constraints: 16741
1534.07/1538.80 c #Conflicts: 399000 | #Constraints: 17741
1977.27/1983.11 c #Conflicts: 400000 | #Constraints: 18741
1977.27/1983.11 c #Conflicts: 401000 | #Constraints: 19741
1977.27/1983.11 c #Conflicts: 402000 | #Constraints: 20741
1977.27/1983.11 c #Conflicts: 403000 | #Constraints: 21741
1977.27/1983.11 c #Conflicts: 404000 | #Constraints: 22741
1977.27/1983.11 c #Conflicts: 405000 | #Constraints: 23741
1977.27/1983.11 c #Conflicts: 406000 | #Constraints: 24741
1977.27/1983.11 c #Conflicts: 407000 | #Constraints: 25741
1977.27/1983.11 c INPROCESSING
1977.27/1983.11 c GARBAGE COLLECT
1977.27/1983.11 c #Conflicts: 408000 | #Constraints: 14141
1977.27/1983.11 c #Conflicts: 409000 | #Constraints: 15141
1977.27/1983.11 c #Conflicts: 410000 | #Constraints: 16141
1977.27/1983.11 c #Conflicts: 411000 | #Constraints: 17141
1977.27/1983.11 c #Conflicts: 412000 | #Constraints: 18141
1977.27/1983.11 c #Conflicts: 413000 | #Constraints: 19141
1977.27/1983.11 c #Conflicts: 414000 | #Constraints: 20141
1977.27/1983.11 c #Conflicts: 415000 | #Constraints: 21141
1977.27/1983.11 c #Conflicts: 416000 | #Constraints: 22141
1977.27/1983.11 c #Conflicts: 417000 | #Constraints: 23141
1977.27/1983.11 c #Conflicts: 418000 | #Constraints: 24141
1977.27/1983.11 c #Conflicts: 419000 | #Constraints: 25141
1977.27/1983.11 c #Conflicts: 420000 | #Constraints: 26141
1977.27/1983.11 c INPROCESSING
1977.27/1983.11 c GARBAGE COLLECT
1977.27/1983.11 c #Conflicts: 421000 | #Constraints: 14347
1977.27/1983.11 c #Conflicts: 422000 | #Constraints: 15347
1977.27/1983.11 c #Conflicts: 423000 | #Constraints: 16347
1977.27/1983.11 c #Conflicts: 424000 | #Constraints: 17347
1977.27/1983.11 c #Conflicts: 425000 | #Constraints: 18347
1977.27/1983.11 c #Conflicts: 426000 | #Constraints: 19347
1977.27/1983.11 c #Conflicts: 427000 | #Constraints: 20347
1977.27/1983.11 c #Conflicts: 428000 | #Constraints: 21347
1977.27/1983.11 c #Conflicts: 429000 | #Constraints: 22347
1977.27/1983.11 c #Conflicts: 430000 | #Constraints: 23347
1977.27/1983.11 c #Conflicts: 431000 | #Constraints: 24347
1977.27/1983.11 c #Conflicts: 432000 | #Constraints: 25347
1977.27/1983.11 c #Conflicts: 433000 | #Constraints: 26347
1977.27/1983.11 c INPROCESSING
1977.27/1983.11 c GARBAGE COLLECT
1977.27/1983.11 c #Conflicts: 434000 | #Constraints: 14345
1977.27/1983.11 c #Conflicts: 435000 | #Constraints: 15345
1977.27/1983.11 c #Conflicts: 436000 | #Constraints: 16345
1977.27/1983.11 c #Conflicts: 437000 | #Constraints: 17345
1977.27/1983.11 c #Conflicts: 438000 | #Constraints: 18345
1977.27/1983.11 c #Conflicts: 439000 | #Constraints: 19345
1977.27/1983.11 c #Conflicts: 440000 | #Constraints: 20345
1977.27/1983.11 c #Conflicts: 441000 | #Constraints: 21345
1977.27/1983.11 c #Conflicts: 442000 | #Constraints: 22345
1977.27/1983.11 c #Conflicts: 443000 | #Constraints: 23345
1977.27/1983.11 c #Conflicts: 444000 | #Constraints: 24345
1977.27/1983.11 c #Conflicts: 445000 | #Constraints: 25345
1977.27/1983.11 c #Conflicts: 446000 | #Constraints: 26345
1977.27/1983.11 c INPROCESSING
1977.27/1983.11 c GARBAGE COLLECT
1977.27/1983.11 c #Conflicts: 447000 | #Constraints: 14143
1977.27/1983.11 c #Conflicts: 448000 | #Constraints: 15143
1977.27/1983.11 c #Conflicts: 449000 | #Constraints: 16143
1977.27/1983.11 c #Conflicts: 450000 | #Constraints: 17143
1977.27/1983.11 c #Conflicts: 451000 | #Constraints: 18143
1977.27/1983.11 c #Conflicts: 452000 | #Constraints: 19143
1977.27/1983.11 c #Conflicts: 453000 | #Constraints: 20143
1977.27/1983.11 c #Conflicts: 454000 | #Constraints: 21143
1977.27/1983.11 c #Conflicts: 455000 | #Constraints: 22143
1977.27/1983.11 c #Conflicts: 456000 | #Constraints: 23143
1977.27/1983.11 c #Conflicts: 457000 | #Constraints: 24143
1977.27/1983.11 c #Conflicts: 458000 | #Constraints: 25143
1977.27/1983.11 c #Conflicts: 459000 | #Constraints: 26143
1977.27/1983.11 c #Conflicts: 460000 | #Constraints: 27143
1977.27/1983.11 c INPROCESSING
1977.27/1983.11 c GARBAGE COLLECT
1977.27/1983.11 c #Conflicts: 461000 | #Constraints: 14751
1977.27/1983.11 c #Conflicts: 462000 | #Constraints: 15751
1977.27/1983.11 c #Conflicts: 463000 | #Constraints: 16751
1977.27/1983.11 c #Conflicts: 464000 | #Constraints: 17751
1977.27/1983.11 c #Conflicts: 465000 | #Constraints: 18751
1977.27/1983.11 c #Conflicts: 466000 | #Constraints: 19751
1977.27/1983.11 c #Conflicts: 467000 | #Constraints: 20751
1977.27/1983.11 c #Conflicts: 468000 | #Constraints: 21751
1977.27/1983.11 c #Conflicts: 469000 | #Constraints: 22751
1977.27/1983.11 c #Conflicts: 470000 | #Constraints: 23751
1977.27/1983.11 c #Conflicts: 471000 | #Constraints: 24751
1977.27/1983.11 c #Conflicts: 472000 | #Constraints: 25751
1977.27/1983.11 c #Conflicts: 473000 | #Constraints: 26751
1977.27/1983.11 c #Conflicts: 474000 | #Constraints: 27751
2536.17/2543.46 c INPROCESSING
2536.17/2543.46 c GARBAGE COLLECT
2536.17/2543.46 c #Conflicts: 475000 | #Constraints: 15145
2536.17/2543.46 c #Conflicts: 476000 | #Constraints: 16145
2536.17/2543.46 c #Conflicts: 477000 | #Constraints: 17145
2536.17/2543.46 c #Conflicts: 478000 | #Constraints: 18145
2536.17/2543.46 c #Conflicts: 479000 | #Constraints: 19145
2536.17/2543.46 c #Conflicts: 480000 | #Constraints: 20145
2536.17/2543.46 c #Conflicts: 481000 | #Constraints: 21145
2536.17/2543.46 c #Conflicts: 482000 | #Constraints: 22145
2536.17/2543.46 c #Conflicts: 483000 | #Constraints: 23145
2536.17/2543.46 c #Conflicts: 484000 | #Constraints: 24145
2536.17/2543.46 c #Conflicts: 485000 | #Constraints: 25145
2536.17/2543.46 c #Conflicts: 486000 | #Constraints: 26145
2536.17/2543.46 c #Conflicts: 487000 | #Constraints: 27145
2536.17/2543.46 c #Conflicts: 488000 | #Constraints: 28145
2536.17/2543.46 c INPROCESSING
2536.17/2543.46 c GARBAGE COLLECT
2536.17/2543.46 c #Conflicts: 489000 | #Constraints: 15347
2536.17/2543.46 c #Conflicts: 490000 | #Constraints: 16347
2536.17/2543.46 c #Conflicts: 491000 | #Constraints: 17347
2536.17/2543.46 c #Conflicts: 492000 | #Constraints: 18347
2536.17/2543.46 c #Conflicts: 493000 | #Constraints: 19347
2536.17/2543.46 c #Conflicts: 494000 | #Constraints: 20347
2536.17/2543.46 c #Conflicts: 495000 | #Constraints: 21347
2536.17/2543.46 c #Conflicts: 496000 | #Constraints: 22347
2536.17/2543.46 c #Conflicts: 497000 | #Constraints: 23347
2536.17/2543.46 c #Conflicts: 498000 | #Constraints: 24347
2536.17/2543.46 c #Conflicts: 499000 | #Constraints: 25347
2536.17/2543.46 c #Conflicts: 500000 | #Constraints: 26347
2536.17/2543.46 c #Conflicts: 501000 | #Constraints: 27347
2536.17/2543.46 c #Conflicts: 502000 | #Constraints: 28347
2536.17/2543.46 c INPROCESSING
2536.17/2543.46 c GARBAGE COLLECT
2536.17/2543.46 c #Conflicts: 503000 | #Constraints: 15351
2536.17/2543.46 c #Conflicts: 504000 | #Constraints: 16351
2536.17/2543.46 c #Conflicts: 505000 | #Constraints: 17351
2536.17/2543.46 c #Conflicts: 506000 | #Constraints: 18351
2536.17/2543.46 c #Conflicts: 507000 | #Constraints: 19351
2536.17/2543.46 c #Conflicts: 508000 | #Constraints: 20351
2536.17/2543.46 c #Conflicts: 509000 | #Constraints: 21351
2536.17/2543.46 c #Conflicts: 510000 | #Constraints: 22351
2536.17/2543.46 c #Conflicts: 511000 | #Constraints: 23351
2536.17/2543.46 c #Conflicts: 512000 | #Constraints: 24351
2536.17/2543.46 c #Conflicts: 513000 | #Constraints: 25351
2536.17/2543.46 c #Conflicts: 514000 | #Constraints: 26351
2536.17/2543.46 c #Conflicts: 515000 | #Constraints: 27351
2536.17/2543.46 c #Conflicts: 516000 | #Constraints: 28351
2536.17/2543.46 c INPROCESSING
2536.17/2543.46 c GARBAGE COLLECT
2536.17/2543.46 c #Conflicts: 517000 | #Constraints: 15152
2536.17/2543.46 c #Conflicts: 518000 | #Constraints: 16152
2536.17/2543.46 c #Conflicts: 519000 | #Constraints: 17152
2536.17/2543.46 c #Conflicts: 520000 | #Constraints: 18152
2536.17/2543.46 c #Conflicts: 521000 | #Constraints: 19152
2536.17/2543.46 c #Conflicts: 522000 | #Constraints: 20152
2536.17/2543.46 c #Conflicts: 523000 | #Constraints: 21152
2536.17/2543.46 c #Conflicts: 524000 | #Constraints: 22152
2536.17/2543.46 c #Conflicts: 525000 | #Constraints: 23152
2536.17/2543.46 c #Conflicts: 526000 | #Constraints: 24152
2536.17/2543.46 c #Conflicts: 527000 | #Constraints: 25152
2536.17/2543.46 c #Conflicts: 528000 | #Constraints: 26152
2536.17/2543.46 c #Conflicts: 529000 | #Constraints: 27152
2536.17/2543.46 c #Conflicts: 530000 | #Constraints: 28152
2536.17/2543.46 c #Conflicts: 531000 | #Constraints: 29152
2536.17/2543.46 c INPROCESSING
2536.17/2543.46 c GARBAGE COLLECT
2536.17/2543.46 c #Conflicts: 532000 | #Constraints: 15749
2536.17/2543.46 c #Conflicts: 533000 | #Constraints: 16749
2536.17/2543.46 c #Conflicts: 534000 | #Constraints: 17749
2536.17/2543.46 c #Conflicts: 535000 | #Constraints: 18749
2536.17/2543.46 c #Conflicts: 536000 | #Constraints: 19749
2536.17/2543.46 c #Conflicts: 537000 | #Constraints: 20749
2536.17/2543.46 c #Conflicts: 538000 | #Constraints: 21749
2536.17/2543.46 c #Conflicts: 539000 | #Constraints: 22749
2536.17/2543.46 c #Conflicts: 540000 | #Constraints: 23749
2536.17/2543.46 c #Conflicts: 541000 | #Constraints: 24749
2536.17/2543.46 c #Conflicts: 542000 | #Constraints: 25749
2536.17/2543.46 c #Conflicts: 543000 | #Constraints: 26749
2536.17/2543.46 c #Conflicts: 544000 | #Constraints: 27749
2536.17/2543.46 c #Conflicts: 545000 | #Constraints: 28749
2536.17/2543.46 c #Conflicts: 546000 | #Constraints: 29749
2536.17/2543.46 c INPROCESSING
2536.17/2543.46 c GARBAGE COLLECT
2536.17/2543.46 c #Conflicts: 547000 | #Constraints: 16148
2536.17/2543.46 c #Conflicts: 548000 | #Constraints: 17148
2536.17/2543.46 c #Conflicts: 549000 | #Constraints: 18148
3207.66/3216.60 c #Conflicts: 550000 | #Constraints: 19148
3207.66/3216.60 c #Conflicts: 551000 | #Constraints: 20148
3207.66/3216.60 c #Conflicts: 552000 | #Constraints: 21148
3207.66/3216.60 c #Conflicts: 553000 | #Constraints: 22148
3207.66/3216.60 c #Conflicts: 554000 | #Constraints: 23148
3207.66/3216.60 c #Conflicts: 555000 | #Constraints: 24148
3207.66/3216.60 c #Conflicts: 556000 | #Constraints: 25148
3207.66/3216.60 c #Conflicts: 557000 | #Constraints: 26148
3207.66/3216.60 c #Conflicts: 558000 | #Constraints: 27148
3207.66/3216.60 c #Conflicts: 559000 | #Constraints: 28148
3207.66/3216.60 c #Conflicts: 560000 | #Constraints: 29148
3207.66/3216.60 c #Conflicts: 561000 | #Constraints: 30148
3207.66/3216.60 c INPROCESSING
3207.66/3216.60 c GARBAGE COLLECT
3207.66/3216.60 c #Conflicts: 562000 | #Constraints: 16343
3207.66/3216.60 c #Conflicts: 563000 | #Constraints: 17343
3207.66/3216.60 c #Conflicts: 564000 | #Constraints: 18343
3207.66/3216.60 c #Conflicts: 565000 | #Constraints: 19343
3207.66/3216.60 c #Conflicts: 566000 | #Constraints: 20343
3207.66/3216.60 c #Conflicts: 567000 | #Constraints: 21343
3207.66/3216.60 c #Conflicts: 568000 | #Constraints: 22343
3207.66/3216.60 c #Conflicts: 569000 | #Constraints: 23343
3207.66/3216.60 c #Conflicts: 570000 | #Constraints: 24343
3207.66/3216.60 c #Conflicts: 571000 | #Constraints: 25343
3207.66/3216.60 c #Conflicts: 572000 | #Constraints: 26343
3207.66/3216.60 c #Conflicts: 573000 | #Constraints: 27343
3207.66/3216.60 c #Conflicts: 574000 | #Constraints: 28343
3207.66/3216.60 c #Conflicts: 575000 | #Constraints: 29343
3207.66/3216.60 c #Conflicts: 576000 | #Constraints: 30343
3207.66/3216.60 c INPROCESSING
3207.66/3216.60 c GARBAGE COLLECT
3207.66/3216.60 c #Conflicts: 577000 | #Constraints: 16347
3207.66/3216.60 c #Conflicts: 578000 | #Constraints: 17347
3207.66/3216.60 c #Conflicts: 579000 | #Constraints: 18347
3207.66/3216.60 c #Conflicts: 580000 | #Constraints: 19347
3207.66/3216.60 c #Conflicts: 581000 | #Constraints: 20347
3207.66/3216.60 c #Conflicts: 582000 | #Constraints: 21347
3207.66/3216.60 c #Conflicts: 583000 | #Constraints: 22347
3207.66/3216.60 c #Conflicts: 584000 | #Constraints: 23347
3207.66/3216.60 c #Conflicts: 585000 | #Constraints: 24347
3207.66/3216.60 c #Conflicts: 586000 | #Constraints: 25347
3207.66/3216.60 c #Conflicts: 587000 | #Constraints: 26347
3207.66/3216.60 c #Conflicts: 588000 | #Constraints: 27347
3207.66/3216.61 c #Conflicts: 589000 | #Constraints: 28347
3207.66/3216.61 c #Conflicts: 590000 | #Constraints: 29347
3207.66/3216.61 c #Conflicts: 591000 | #Constraints: 30347
3207.66/3216.61 c INPROCESSING
3207.66/3216.61 c GARBAGE COLLECT
3207.66/3216.61 c #Conflicts: 592000 | #Constraints: 16145
3207.66/3216.61 c #Conflicts: 593000 | #Constraints: 17145
3207.66/3216.61 c #Conflicts: 594000 | #Constraints: 18145
3207.66/3216.61 c #Conflicts: 595000 | #Constraints: 19145
3207.66/3216.61 c #Conflicts: 596000 | #Constraints: 20145
3207.66/3216.61 c #Conflicts: 597000 | #Constraints: 21145
3207.66/3216.61 c #Conflicts: 598000 | #Constraints: 22145
3207.66/3216.61 c #Conflicts: 599000 | #Constraints: 23145
3207.66/3216.61 c #Conflicts: 600000 | #Constraints: 24145
3207.66/3216.61 c #Conflicts: 601000 | #Constraints: 25145
3207.66/3216.61 c #Conflicts: 602000 | #Constraints: 26145
3207.66/3216.61 c #Conflicts: 603000 | #Constraints: 27145
3207.66/3216.61 c #Conflicts: 604000 | #Constraints: 28145
3207.66/3216.61 c #Conflicts: 605000 | #Constraints: 29145
3207.66/3216.61 c #Conflicts: 606000 | #Constraints: 30145
3207.66/3216.61 c #Conflicts: 607000 | #Constraints: 31145
3207.66/3216.61 c INPROCESSING
3207.66/3216.61 c GARBAGE COLLECT
3207.66/3216.61 c #Conflicts: 608000 | #Constraints: 16748
3207.66/3216.61 c #Conflicts: 609000 | #Constraints: 17748
3207.66/3216.61 c #Conflicts: 610000 | #Constraints: 18748
3207.66/3216.61 c #Conflicts: 611000 | #Constraints: 19748
3207.66/3216.61 c #Conflicts: 612000 | #Constraints: 20748
3207.66/3216.61 c #Conflicts: 613000 | #Constraints: 21748
3207.66/3216.61 c #Conflicts: 614000 | #Constraints: 22748
3207.66/3216.61 c #Conflicts: 615000 | #Constraints: 23748
3207.66/3216.61 c #Conflicts: 616000 | #Constraints: 24748
3207.66/3216.61 c #Conflicts: 617000 | #Constraints: 25748
3207.66/3216.61 c #Conflicts: 618000 | #Constraints: 26748
3207.66/3216.61 c #Conflicts: 619000 | #Constraints: 27748
3207.66/3216.61 c #Conflicts: 620000 | #Constraints: 28748
3207.66/3216.61 c #Conflicts: 621000 | #Constraints: 29748
3207.66/3216.61 c #Conflicts: 622000 | #Constraints: 30748
3207.66/3216.61 c #Conflicts: 623000 | #Constraints: 31748
3207.66/3216.61 c INPROCESSING
3207.66/3216.61 c GARBAGE COLLECT
3207.66/3216.61 c #Conflicts: 624000 | #Constraints: 17142
3207.66/3216.61 c #Conflicts: 625000 | #Constraints: 18142
3600.09/3610.01 c #Conflicts: 626000 | #Constraints: 19142
3600.09/3610.01 c #Conflicts: 627000 | #Constraints: 20142
3600.09/3610.01 c #Conflicts: 628000 | #Constraints: 21142
3600.09/3610.01 c #Conflicts: 629000 | #Constraints: 22142
3600.09/3610.01 c #Conflicts: 630000 | #Constraints: 23142
3600.09/3610.01 c #Conflicts: 631000 | #Constraints: 24142
3600.09/3610.01 c #Conflicts: 632000 | #Constraints: 25142
3600.09/3610.01 c #Conflicts: 633000 | #Constraints: 26142
3600.09/3610.01 c #Conflicts: 634000 | #Constraints: 27142
3600.09/3610.01 c #Conflicts: 635000 | #Constraints: 28142
3600.09/3610.01 c #Conflicts: 636000 | #Constraints: 29142
3600.09/3610.01 c #Conflicts: 637000 | #Constraints: 30142
3600.09/3610.01 c #Conflicts: 638000 | #Constraints: 31142
3600.09/3610.01 c #Conflicts: 639000 | #Constraints: 32142
3600.09/3610.01 c INPROCESSING
3600.09/3610.01 c GARBAGE COLLECT
3600.09/3610.01 c #Conflicts: 640000 | #Constraints: 17340
3600.09/3610.01 c #Conflicts: 641000 | #Constraints: 18340
3600.09/3610.01 c #Conflicts: 642000 | #Constraints: 19340
3600.09/3610.01 c #Conflicts: 643000 | #Constraints: 20340
3600.09/3610.01 c #Conflicts: 644000 | #Constraints: 21340
3600.09/3610.01 c #Conflicts: 645000 | #Constraints: 22340
3600.09/3610.01 c #Conflicts: 646000 | #Constraints: 23340
3600.09/3610.01 c #Conflicts: 647000 | #Constraints: 24340
3600.09/3610.01 c #Conflicts: 648000 | #Constraints: 25340
3600.09/3610.01 c #Conflicts: 649000 | #Constraints: 26340
3600.09/3610.01 c #Conflicts: 650000 | #Constraints: 27340
3600.09/3610.01 c #Conflicts: 651000 | #Constraints: 28340
3600.09/3610.01 c #Conflicts: 652000 | #Constraints: 29340
3600.09/3610.01 c #Conflicts: 653000 | #Constraints: 30340
3600.09/3610.01 c #Conflicts: 654000 | #Constraints: 31340
3600.09/3610.01 c #Conflicts: 655000 | #Constraints: 32340
3600.09/3610.01 c INPROCESSING
3600.09/3610.01 c GARBAGE COLLECT
3600.09/3610.01 c #Conflicts: 656000 | #Constraints: 17343
3600.09/3610.01 c #Conflicts: 657000 | #Constraints: 18343
3600.09/3610.01 c #Conflicts: 658000 | #Constraints: 19343
3600.09/3610.01 c #Conflicts: 659000 | #Constraints: 20343
3600.09/3610.01 c #Conflicts: 660000 | #Constraints: 21343
3600.09/3610.01 c #Conflicts: 661000 | #Constraints: 22343
3600.09/3610.01 c #Conflicts: 662000 | #Constraints: 23343
3600.09/3610.01 c #Conflicts: 663000 | #Constraints: 24343
3600.09/3610.01 c #Conflicts: 664000 | #Constraints: 25343
3600.09/3610.01 c #Conflicts: 665000 | #Constraints: 26343
3600.09/3610.01 c Program interrupted by user.
3600.09/3610.01 c cpu time 3591.08 s
3600.09/3610.01 c deterministic time 424006452749 4.24e+11
3600.09/3610.01 c optimization time 90.5058 s
3600.09/3610.01 c total solve time 3201.48 s
3600.09/3610.01 c core-guided solve time 3201.48 s
3600.09/3610.01 c propagation time 3017.19 s
3600.09/3610.01 c conflict analysis time 236.274 s
3600.09/3610.01 c propagations 49686069
3600.09/3610.01 c resolve steps 3171585
3600.09/3610.01 c decisions 5774954
3600.09/3610.01 c conflicts 665600
3600.09/3610.01 c restarts 1434
3600.09/3610.01 c inprocessing phases 72
3600.09/3610.01 c input clauses 50
3600.09/3610.01 c input cardinalities 77
3600.09/3610.01 c input general constraints 471
3600.09/3610.01 c input average constraint length 68.27
3600.09/3610.01 c input average constraint degree 34.26
3600.09/3610.01 c learned clauses 80669
3600.09/3610.01 c learned cardinalities 44
3600.09/3610.01 c learned general constraints 584901
3600.09/3610.01 c learned average constraint length 322.50
3600.09/3610.01 c learned average constraint degree 218872.31
3600.09/3610.01 c watched constraints 517150
3600.09/3610.01 c counting constraints 68222
3600.09/3610.01 c gcd simplifications 66452
3600.09/3610.01 c detected cardinalities 34
3600.09/3610.01 c weakened non-implied lits 11191798
3600.09/3610.01 c weakened non-implying lits 39086
3600.09/3610.01 c original variables 473
3600.09/3610.01 c clausal propagations 1048813
3600.09/3610.01 c cardinality propagations 16164
3600.09/3610.01 c watched propagations 29921282
3600.09/3610.01 c counting propagations 18341359
3600.09/3610.01 c watch lookups 52213697637
3600.09/3610.01 c watch backjump lookups 49060808242
3600.09/3610.01 c watch checks 315738378724
3600.09/3610.01 c propagation checks 6236506624
3600.09/3610.01 c constraint additions 645474266
3600.09/3610.01 c trail pops 56126232
3600.09/3610.01 c formula constraints 472
3600.09/3610.01 c learned constraints 665614
3600.09/3610.01 c bound constraints 77
3600.09/3610.01 c core-guided constraints 49
3600.09/3610.01 c encountered formula constraints 1974872
3600.09/3610.01 c encountered learned constraints 1808696
3600.09/3610.01 c encountered bound constraints 524
3600.09/3610.01 c encountered core-guided constraints 53093
3600.09/3610.01 c LP total time 0 s
3600.09/3610.01 c LP solve time 0 s
3600.09/3610.01 c LP constraints added 0
3600.09/3610.01 c LP constraints removed 0
3600.09/3610.01 c LP pivots internal 0
3600.09/3610.01 c LP pivots root 0
3600.09/3610.01 c LP calls 0
3600.09/3610.01 c LP optimalities 0
3600.09/3610.01 c LP no pivot count 0
3600.09/3610.01 c LP infeasibilities 0
3600.09/3610.01 c LP valid Farkas constraints 0
3600.09/3610.01 c LP learned Farkas constraints 0
3600.09/3610.01 c LP basis resets 0
3600.09/3610.01 c LP cycling count 0
3600.09/3610.01 c LP singular count 0
3600.09/3610.01 c LP no primal count 0
3600.09/3610.01 c LP no farkas count 0
3600.09/3610.01 c LP other issue count 0
3600.09/3610.01 c LP Gomory cuts 0
3600.09/3610.01 c LP learned cuts 0
3600.09/3610.01 c LP deleted cuts 0
3600.09/3610.01 c LP encountered Gomory constraints 0
3600.09/3610.01 c LP encountered Farkas constraints 0
3600.09/3610.01 c LP encountered learned Farkas constraints 0
3600.09/3610.01 c CG auxiliary variables introduced 49
3600.09/3610.01 c CG solutions found 0
3600.09/3610.01 c CG cores constructed 76
3600.09/3610.01 c CG core cardinality constraints returned 0
3600.09/3610.01 c CG unit cores 0
3600.09/3610.01 c CG single cores 76
3600.09/3610.01 c CG blocks removed during cardinality reduction 0
3600.09/3610.01 c CG first core best 0
3600.09/3610.01 c CG decision core best 0
3600.09/3610.01 c CG core reduction tie 0
3600.09/3610.01 c CG core degree average 1.00
3600.09/3610.01 c CG core slack average 2.93
3600.09/3610.01 c CG exhausted 0
3600.09/3610.01 c CG exhaust time 0 s
3600.09/3610.01 c CG trimmed 4
3600.09/3610.01 c CG trim time 0.000428 s
3600.09/3610.01 c CG minimized 0
3600.09/3610.01 c CG minimize time 0 s
3600.09/3610.01 c CG am1 prop time 0.000424 s
3600.09/3610.01 c CG # am1s reformulated 49
3600.09/3610.01 c CG lower bound derived from am1s 49
3600.09/3610.01 c CG # clausal cores 19
3600.09/3610.01 c CG # cardinality cores 0
3600.09/3610.01 c CG # pb cores 57
3600.09/3610.01 c CG # pb reforms 0
3600.09/3610.01 c CG # cores discarded because of pb reform 0
3600.09/3610.01 d LOWERBOUND 125
3600.09/3610.01 d NCORES 76
3600.09/3610.01 d NPBCORES 57
3600.09/3610.01 d NPBREFORM 0
3600.09/3610.01 d NTRIMMED 4
3600.09/3610.01 d NEXHAUSTED 0
3600.09/3610.01 d NAM1S 49
3600.09/3610.01 d AM1LB 49
3600.09/3610.01 c [Papilo Statistics]
3600.09/3610.01 c prepro time 0.00411923s
3600.09/3610.01 c # tsx applied 16
3600.09/3610.01 c # tsx conflicts 0
3600.09/3610.01 c # bound changes 0
3600.09/3610.01 c # side changes 0
3600.09/3610.01 c # coef changes 31
3600.09/3610.01 c # rounds 3
3600.09/3610.01 c # deted vars 0
3600.09/3610.01 c # deted constrs 0
3600.09/3610.01 c # consecutive rounds of only bound changes 0
3600.09/3610.01 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 (60678 MiB free)
memory of node 1: 64507 MiB (59597 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489083-1751349596/watcher-4489083-1751349596 -o /tmp/evaluation-result-4489083-1751349596/solver-4489083-1751349596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50711 --watchdog 3760 mixed-bag HOME/instance-4489083-1751349596.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
Starting watchdog thread
solver pid=50764, runsolver pid=50752
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 1.52 2.56 3.78 3/251 50769
/proc/meminfo: memFree=123153940/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=32272 memory=512 CPUtime=0 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) D 50752 50764 50699 0 -1 4194304 101 0 4 0 0 0 0 0 20 0 1 0 50639434 33046528 128 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 8068 128 128 2842 0 1345 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 32272 KiB
Current children cumulated memory: 512 KiB
[startup+0.213479 s]*
/proc/loadavg: 1.52 2.56 3.78 7/252 50770
/proc/meminfo: memFree=123146864/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=96548 memory=22528 CPUtime=0.05 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 2032 0 12 0 4 1 0 0 20 0 1 0 50639434 98865152 5632 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 24137 5632 4064 2842 0 5831 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 96548 KiB
Current children cumulated memory: 22528 KiB
[startup+0.31379 s]*
/proc/loadavg: 1.52 2.56 3.78 7/252 50770
/proc/meminfo: memFree=123130484/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=101408 memory=27348 CPUtime=0.15 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 3081 0 12 0 14 1 0 0 20 0 1 0 50639434 103841792 6837 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 25352 6837 4288 2842 0 7046 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 101408 KiB
Current children cumulated memory: 27348 KiB
[startup+0.70027 s]
/proc/loadavg: 1.52 2.56 3.78 7/252 50770
/proc/meminfo: memFree=123127712/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=101580 memory=27476 CPUtime=0.52 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 3134 0 12 0 51 1 0 0 20 0 1 0 50639434 104017920 6869 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 25395 6869 4288 2842 0 7089 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 101580 KiB
Current children cumulated memory: 27476 KiB
[startup+1.50028 s]
/proc/loadavg: 1.52 2.56 3.78 7/252 50770
/proc/meminfo: memFree=123098732/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=101836 memory=27732 CPUtime=1.31 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 3215 0 12 0 130 1 0 0 20 0 1 0 50639434 104280064 6933 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 25459 6933 4288 2842 0 7153 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 101836 KiB
Current children cumulated memory: 27732 KiB
[startup+3.11327 s]
/proc/loadavg: 1.88 2.61 3.79 7/252 50770
/proc/meminfo: memFree=122653892/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=235400 memory=157576 CPUtime=2.92 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 36746 0 12 0 285 7 0 0 20 0 1 0 50639434 241049600 39394 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 58850 39394 4288 2842 0 40544 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 235400 KiB
Current children cumulated memory: 157576 KiB
[startup+6.30024 s]
/proc/loadavg: 1.88 2.61 3.79 7/252 50770
/proc/meminfo: memFree=122573272/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=238744 memory=160776 CPUtime=6.1 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 37524 0 12 0 603 7 0 0 20 0 1 0 50639434 244473856 40194 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 59686 40194 4288 2842 0 41380 0
Current children cumulated CPU time: 6.1 s
Current children cumulated vsize: 238744 KiB
Current children cumulated memory: 160776 KiB
[startup+12.7002 s]
/proc/loadavg: 2.21 2.67 3.81 7/252 50770
/proc/meminfo: memFree=122572840/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=238744 memory=160776 CPUtime=12.48 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 37525 0 12 0 1241 7 0 0 20 0 1 0 50639434 244473856 40194 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 59686 40194 4288 2842 0 41380 0
Current children cumulated CPU time: 12.48 s
Current children cumulated vsize: 238744 KiB
Current children cumulated memory: 160776 KiB
[startup+25.5003 s]
/proc/loadavg: 3.12 2.85 3.85 7/252 50770
/proc/meminfo: memFree=122385836/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=265668 memory=187776 CPUtime=25.25 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 45350 0 12 0 2517 8 0 0 20 0 1 0 50639434 272044032 46944 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 66417 46944 4288 2842 0 48111 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 265668 KiB
Current children cumulated memory: 187776 KiB
[startup+51.1132 s]
/proc/loadavg: 4.26 3.14 3.92 7/253 50772
/proc/meminfo: memFree=122353256/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=270036 memory=191844 CPUtime=50.8 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 46397 0 12 0 5072 8 0 0 20 0 1 0 50639434 276516864 47961 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 67509 47961 4288 2842 0 49203 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 270036 KiB
Current children cumulated memory: 191844 KiB
[startup+102.3 s]
/proc/loadavg: 5.44 3.64 4.05 7/253 50785
/proc/meminfo: memFree=122289972/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=317500 memory=236604 CPUtime=101.83 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 57918 0 12 0 10172 11 0 0 20 0 1 0 50639434 325120000 59151 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 79375 59151 4288 2842 0 61069 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 317500 KiB
Current children cumulated memory: 236604 KiB
[startup+162.3 s]
/proc/loadavg: 4.72 3.78 4.07 7/253 50787
/proc/meminfo: memFree=122143376/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=382736 memory=304024 CPUtime=161.64 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 75405 0 12 0 16150 14 0 0 20 0 1 0 50639434 391921664 76006 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 95684 76006 4288 2842 0 77378 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 382736 KiB
Current children cumulated memory: 304024 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 3.84 4.07 7/253 50789
/proc/meminfo: memFree=121963320/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=382736 memory=304152 CPUtime=221.45 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 75419 0 12 0 22131 14 0 0 20 0 1 0 50639434 391921664 76038 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 95684 76038 4288 2842 0 77378 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 382736 KiB
Current children cumulated memory: 304152 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 3.88 4.07 7/252 50791
/proc/meminfo: memFree=121940540/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=384400 memory=306072 CPUtime=281.28 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 75774 0 12 0 28114 14 0 0 20 0 1 0 50639434 393625600 76518 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 96100 76518 4288 2842 0 77794 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 384400 KiB
Current children cumulated memory: 306072 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.92 4.07 7/251 50793
/proc/meminfo: memFree=122113296/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=388480 memory=312700 CPUtime=341.12 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 78541 0 13 0 34041 71 0 0 20 0 1 0 50639434 397803520 78175 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 97120 78175 4480 2842 0 78814 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 388480 KiB
Current children cumulated memory: 312700 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.97 4.08 8/250 50795
/proc/meminfo: memFree=122102192/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=388480 memory=322816 CPUtime=400.95 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 78604 0 13 0 39974 121 0 0 20 0 1 0 50639434 397803520 80704 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 97120 80704 4480 2842 0 78814 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 388480 KiB
Current children cumulated memory: 322816 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.99 4.08 7/250 50797
/proc/meminfo: memFree=122074300/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=407448 memory=329136 CPUtime=460.76 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 79212 0 13 0 45918 158 0 0 20 0 1 0 50639434 417226752 82284 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 101862 82284 4480 2842 0 83556 0
Current children cumulated CPU time: 460.76 s
################
# More data... #
################
Current children cumulated memory: 372144 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.09 7/249 50906
/proc/meminfo: memFree=121943468/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=438268 memory=372144 CPUtime=2854.25 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 80329 0 13 0 284641 784 0 0 20 0 1 0 50639434 448786432 93036 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 109567 93036 4480 2842 0 91261 0
Current children cumulated CPU time: 2854.25 s
Current children cumulated vsize: 438268 KiB
Current children cumulated memory: 372144 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 7/249 50908
/proc/meminfo: memFree=121939628/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=438268 memory=372144 CPUtime=2914.1 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 80336 0 13 0 290616 794 0 0 20 0 1 0 50639434 448786432 93036 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 109567 93036 4480 2842 0 91261 0
Current children cumulated CPU time: 2914.1 s
Current children cumulated vsize: 438268 KiB
Current children cumulated memory: 372144 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 7/251 50913
/proc/meminfo: memFree=121949216/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=438268 memory=372144 CPUtime=2973.95 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 80336 0 13 0 296593 802 0 0 20 0 1 0 50639434 448786432 93036 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 109567 93036 4480 2842 0 91261 0
Current children cumulated CPU time: 2973.95 s
Current children cumulated vsize: 438268 KiB
Current children cumulated memory: 372144 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.09 7/252 50922
/proc/meminfo: memFree=121957084/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=438268 memory=372144 CPUtime=3033.8 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 80336 0 13 0 302569 811 0 0 20 0 1 0 50639434 448786432 93036 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 109567 93036 4480 2842 0 91261 0
Current children cumulated CPU time: 3033.8 s
Current children cumulated vsize: 438268 KiB
Current children cumulated memory: 372144 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.09 7/252 50924
/proc/meminfo: memFree=121956804/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=438268 memory=372144 CPUtime=3093.65 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 80337 0 13 0 308546 819 0 0 20 0 1 0 50639434 448786432 93036 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 109567 93036 4480 2842 0 91261 0
Current children cumulated CPU time: 3093.65 s
Current children cumulated vsize: 438268 KiB
Current children cumulated memory: 372144 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.09 7/252 50926
/proc/meminfo: memFree=121968296/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=438268 memory=372144 CPUtime=3153.5 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 80337 0 13 0 314522 828 0 0 20 0 1 0 50639434 448786432 93036 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 109567 93036 4480 2842 0 91261 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 438268 KiB
Current children cumulated memory: 372144 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 7/252 50927
/proc/meminfo: memFree=121966692/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=438268 memory=372144 CPUtime=3213.35 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 80337 0 13 0 320498 837 0 0 20 0 1 0 50639434 448786432 93036 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 109567 93036 4480 2842 0 91261 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 438268 KiB
Current children cumulated memory: 372144 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.09 7/250 50929
/proc/meminfo: memFree=121962532/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=438268 memory=372144 CPUtime=3273.2 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 80337 0 13 0 326474 846 0 0 20 0 1 0 50639434 448786432 93036 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 109567 93036 4480 2842 0 91261 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 438268 KiB
Current children cumulated memory: 372144 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.09 7/249 50931
/proc/meminfo: memFree=121962396/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=438268 memory=372144 CPUtime=3333.04 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 80337 0 13 0 332449 855 0 0 20 0 1 0 50639434 448786432 93036 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 109567 93036 4480 2842 0 91261 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 438268 KiB
Current children cumulated memory: 372144 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 7/249 50933
/proc/meminfo: memFree=121958324/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=438268 memory=374192 CPUtime=3392.89 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 80338 0 13 0 338422 867 0 0 20 0 1 0 50639434 448786432 93548 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 109567 93548 4480 2842 0 91261 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 438268 KiB
Current children cumulated memory: 374192 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 7/249 50935
/proc/meminfo: memFree=121954688/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=438268 memory=374192 CPUtime=3452.75 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 80338 0 13 0 344397 878 0 0 20 0 1 0 50639434 448786432 93548 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 109567 93548 4480 2842 0 91261 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 438268 KiB
Current children cumulated memory: 374192 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.12 4.10 7/249 50937
/proc/meminfo: memFree=121959304/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=438268 memory=374192 CPUtime=3512.59 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 80339 0 13 0 350373 886 0 0 20 0 1 0 50639434 448786432 93548 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 109567 93548 4480 2842 0 91261 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 438268 KiB
Current children cumulated memory: 374192 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.13 4.10 7/249 50939
/proc/meminfo: memFree=121959272/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=438268 memory=374192 CPUtime=3572.44 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 80339 0 13 0 356347 897 0 0 20 0 1 0 50639434 448786432 93548 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 109567 93548 4480 2842 0 91261 0
Current children cumulated CPU time: 3572.44 s
Current children cumulated vsize: 438268 KiB
Current children cumulated memory: 374192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.12 4.11 4.09 6/246 50956
/proc/meminfo: memFree=122215516/131382112 swapFree=33010684/33010684
[pid=50764] ppid=50752 vsize=438268 memory=374192 CPUtime=3600.09 cores=1,3
/proc/50764/stat : 50764 (mixed-bag) R 50752 50764 50699 0 -1 4194304 80404 0 13 0 359108 901 0 0 20 0 1 0 50639434 448786432 93548 18446744073709551615 4235264 15874749 140721809306416 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35049472 140721809308060 140721809308137 140721809308137 140721809313739 0
/proc/50764/statm: 109567 93548 4480 2842 0 91261 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 438268 KiB
Current children cumulated memory: 374192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 50764 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.09 s, system=9.01619 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.02
CPU time (s): 3600.1
CPU user time (s): 3591.09
CPU system time (s): 9.01619
CPU usage (%): 99.7254
Max. virtual memory (cumulated for all children) (KiB): 438268
Max. memory (cumulated for all children) (KiB): 374192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.09
system time used= 9.01619
maximum resident set size= 374832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80437
page faults= 13
swaps= 0
block input operations= 936
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 259
involuntary context switches= 1148
# summary of solver processes directly reported to runsolver:
# pid: 50764
# total CPU time (s): 3600.1
# total CPU user time (s): 3591.09
# total CPU system time (s): 9.01619
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8929 second user time and 35.9058 second system time
The end
Begin job on nodeC009 at 2025-07-01 07:59:56
IDJOB=4489083
IDBENCH=147539
IDSOLVER=3340
FILE ID=nodeC009/4489083-1751349596
RUNJOBID= nodeC009-1751349596-50711
SLURM_JOB_ID= 9598132
Free space on /tmp= 432656 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489083-1751349596/watcher-4489083-1751349596 -o /tmp/evaluation-result-4489083-1751349596/solver-4489083-1751349596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50711 --watchdog 3760 mixed-bag HOME/instance-4489083-1751349596.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a
RANDOM SEED=81006127
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.243
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.225
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.221
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.378
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 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.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.232
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.235
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 123159300 kB
MemAvailable: 129898704 kB
Buffers: 3280 kB
Cached: 7511256 kB
SwapCached: 0 kB
Active: 366364 kB
Inactive: 7213096 kB
Active(anon): 82004 kB
Inactive(anon): 968 kB
Active(file): 284360 kB
Inactive(file): 7212128 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 62044 kB
Writeback: 0 kB
AnonPages: 68084 kB
Mapped: 102916 kB
Shmem: 17960 kB
KReclaimable: 164700 kB
Slab: 248112 kB
SReclaimable: 164700 kB
SUnreclaim: 83412 kB
KernelStack: 3808 kB
PageTables: 2776 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 330576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432596 MiB
End job on nodeC009 at 2025-07-01 09:00:07