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.22/300.18 c [STEP] preprocessing done, loading into solver
299.22/300.18 c [STEP] solving
299.22/300.18 c #variables 469 #constraints 468
299.22/300.18 c SMALL=int, LARGE=long long
299.22/300.18 d SCIPUB 188
299.22/300.18 c bounds - >= 0 @ 299.136
299.22/300.18 c stratification level: 0
316.86/317.86 c bounds - >= 46 @ 299.136
316.86/317.86 c bounds - >= 47 @ 299.136
316.86/317.86 c bounds - >= 48 @ 299.137
316.86/317.86 c bounds - >= 49 @ 299.137
316.86/317.86 c bounds - >= 50 @ 299.137
316.86/317.86 c bounds - >= 51 @ 299.137
316.86/317.86 c bounds - >= 52 @ 299.137
316.86/317.86 c bounds - >= 53 @ 299.137
316.86/317.86 c bounds - >= 54 @ 299.137
316.86/317.86 c bounds - >= 55 @ 299.137
316.86/317.86 c bounds - >= 56 @ 299.137
316.86/317.86 c bounds - >= 57 @ 299.137
316.86/317.86 c bounds - >= 58 @ 299.138
316.86/317.86 c bounds - >= 59 @ 299.138
316.86/317.86 c bounds - >= 60 @ 299.138
316.86/317.86 c bounds - >= 61 @ 299.138
316.86/317.86 c bounds - >= 62 @ 299.138
316.86/317.86 c bounds - >= 63 @ 299.138
316.86/317.86 c bounds - >= 64 @ 299.138
316.86/317.86 c bounds - >= 65 @ 299.138
316.86/317.86 c bounds - >= 66 @ 299.138
316.86/317.86 c bounds - >= 67 @ 299.139
316.86/317.86 c bounds - >= 68 @ 299.139
316.86/317.86 c bounds - >= 69 @ 299.139
316.86/317.86 c bounds - >= 70 @ 299.139
316.86/317.86 c bounds - >= 71 @ 299.139
316.86/317.86 c bounds - >= 72 @ 299.139
316.86/317.86 c bounds - >= 73 @ 299.139
316.86/317.86 c bounds - >= 74 @ 299.139
316.86/317.86 c bounds - >= 75 @ 299.139
316.86/317.86 c bounds - >= 76 @ 299.14
316.86/317.86 c bounds - >= 77 @ 299.14
316.86/317.86 c bounds - >= 78 @ 299.14
316.86/317.86 c bounds - >= 79 @ 299.14
316.86/317.86 c bounds - >= 80 @ 299.14
316.86/317.86 c bounds - >= 81 @ 299.14
316.86/317.86 c bounds - >= 82 @ 299.14
316.86/317.86 c bounds - >= 83 @ 299.14
316.86/317.86 c bounds - >= 84 @ 299.14
316.86/317.86 c bounds - >= 85 @ 299.14
316.86/317.86 c bounds - >= 86 @ 299.14
316.86/317.86 c bounds - >= 87 @ 299.14
316.86/317.86 c bounds - >= 88 @ 299.14
316.86/317.86 c bounds - >= 89 @ 299.14
316.86/317.86 c bounds - >= 90 @ 299.14
316.86/317.86 c bounds - >= 91 @ 299.14
316.86/317.86 c bounds - >= 92 @ 299.14
316.86/317.86 c bounds - >= 93 @ 299.141
316.86/317.86 c bounds - >= 94 @ 299.141
316.86/317.86 c bounds - >= 95 @ 299.141
316.86/317.86 c bounds - >= 96 @ 299.141
316.86/317.86 c bounds - >= 97 @ 299.141
316.86/317.86 c bounds - >= 98 @ 299.141
316.86/317.86 c bounds - >= 99 @ 299.141
316.86/317.86 c bounds - >= 100 @ 299.141
316.86/317.86 c bounds - >= 101 @ 299.141
316.86/317.86 c bounds - >= 102 @ 299.141
316.86/317.86 c bounds - >= 103 @ 299.141
316.86/317.86 c bounds - >= 104 @ 299.141
316.86/317.86 c bounds - >= 105 @ 299.141
316.86/317.86 c bounds - >= 106 @ 299.141
316.86/317.86 c bounds - >= 107 @ 299.141
316.86/317.86 c bounds - >= 108 @ 299.141
316.86/317.86 c bounds - >= 109 @ 299.141
316.86/317.86 c bounds - >= 110 @ 299.141
316.86/317.86 c bounds - >= 111 @ 299.141
316.86/317.86 c bounds - >= 112 @ 299.142
316.86/317.86 c bounds - >= 113 @ 299.142
316.86/317.86 c bounds - >= 114 @ 299.142
316.86/317.86 c bounds - >= 115 @ 299.142
316.86/317.86 c bounds - >= 116 @ 299.142
316.86/317.86 c bounds - >= 117 @ 299.142
316.86/317.86 c bounds - >= 118 @ 299.142
316.86/317.86 c bounds - >= 119 @ 299.142
316.86/317.86 c bounds - >= 120 @ 299.142
316.86/317.86 c bounds - >= 121 @ 299.142
316.86/317.86 c bounds - >= 122 @ 299.142
316.86/317.86 c bounds - >= 123 @ 299.142
316.86/317.86 c bounds - >= 124 @ 299.142
316.86/317.86 c bounds - >= 125 @ 299.142
316.86/317.86 c bounds - >= 126 @ 299.142
316.86/317.86 c bounds - >= 127 @ 299.142
316.86/317.86 c #Conflicts: 1000 | #Constraints: 1608
316.86/317.86 c #Conflicts: 2000 | #Constraints: 2608
316.86/317.86 c INPROCESSING
316.86/317.86 c GARBAGE COLLECT
316.86/317.86 c #Conflicts: 3000 | #Constraints: 2529
316.86/317.86 c #Conflicts: 4000 | #Constraints: 3529
316.86/317.86 c INPROCESSING
316.86/317.86 c GARBAGE COLLECT
316.86/317.86 c #Conflicts: 5000 | #Constraints: 2928
316.86/317.86 c #Conflicts: 6000 | #Constraints: 3928
316.86/317.86 c INPROCESSING
316.86/317.86 c GARBAGE COLLECT
316.86/317.86 c #Conflicts: 7000 | #Constraints: 2929
316.86/317.86 c #Conflicts: 8000 | #Constraints: 3929
316.86/317.86 c #Conflicts: 9000 | #Constraints: 4929
316.86/317.86 c INPROCESSING
316.86/317.86 c GARBAGE COLLECT
316.86/317.86 c #Conflicts: 10000 | #Constraints: 3629
316.86/317.86 c #Conflicts: 11000 | #Constraints: 4629
316.86/317.86 c #Conflicts: 12000 | #Constraints: 5629
316.86/317.86 c INPROCESSING
316.86/317.86 c GARBAGE COLLECT
316.86/317.86 c #Conflicts: 13000 | #Constraints: 4079
316.86/317.86 c #Conflicts: 14000 | #Constraints: 5079
316.86/317.86 c #Conflicts: 15000 | #Constraints: 6079
316.86/317.86 c INPROCESSING
316.86/317.86 c GARBAGE COLLECT
316.86/317.86 c #Conflicts: 16000 | #Constraints: 4304
316.86/317.86 c #Conflicts: 17000 | #Constraints: 5304
316.86/317.86 c #Conflicts: 18000 | #Constraints: 6304
316.86/317.86 c INPROCESSING
316.86/317.86 c GARBAGE COLLECT
316.86/317.86 c #Conflicts: 19000 | #Constraints: 4324
316.86/317.86 c #Conflicts: 20000 | #Constraints: 5324
316.86/317.86 c #Conflicts: 21000 | #Constraints: 6324
316.86/317.86 c INPROCESSING
316.86/317.86 c GARBAGE COLLECT
316.86/317.86 c #Conflicts: 22000 | #Constraints: 4127
316.86/317.86 c #Conflicts: 23000 | #Constraints: 5127
316.86/317.86 c #Conflicts: 24000 | #Constraints: 6127
316.86/317.86 c #Conflicts: 25000 | #Constraints: 7127
316.86/317.86 c INPROCESSING
316.86/317.86 c GARBAGE COLLECT
316.86/317.86 c #Conflicts: 26000 | #Constraints: 4731
316.86/317.86 c #Conflicts: 27000 | #Constraints: 5731
316.86/317.86 c #Conflicts: 28000 | #Constraints: 6731
316.86/317.86 c #Conflicts: 29000 | #Constraints: 7731
316.86/317.86 c INPROCESSING
316.86/317.86 c GARBAGE COLLECT
316.86/317.86 c #Conflicts: 30000 | #Constraints: 5132
426.47/427.80 c #Conflicts: 31000 | #Constraints: 6132
426.47/427.80 c #Conflicts: 32000 | #Constraints: 7132
426.47/427.80 c #Conflicts: 33000 | #Constraints: 8132
426.47/427.80 c INPROCESSING
426.47/427.80 c GARBAGE COLLECT
426.47/427.80 c #Conflicts: 34000 | #Constraints: 5329
426.47/427.80 c #Conflicts: 35000 | #Constraints: 6329
426.47/427.80 c #Conflicts: 36000 | #Constraints: 7329
426.47/427.80 c #Conflicts: 37000 | #Constraints: 8329
426.47/427.80 c INPROCESSING
426.47/427.80 c GARBAGE COLLECT
426.47/427.80 c #Conflicts: 38000 | #Constraints: 5331
426.47/427.80 c #Conflicts: 39000 | #Constraints: 6331
426.47/427.80 c #Conflicts: 40000 | #Constraints: 7331
426.47/427.80 c #Conflicts: 41000 | #Constraints: 8331
426.47/427.80 c INPROCESSING
426.47/427.80 c GARBAGE COLLECT
426.47/427.80 c #Conflicts: 42000 | #Constraints: 5131
426.47/427.80 c #Conflicts: 43000 | #Constraints: 6131
426.47/427.80 c #Conflicts: 44000 | #Constraints: 7131
426.47/427.80 c #Conflicts: 45000 | #Constraints: 8131
426.47/427.80 c #Conflicts: 46000 | #Constraints: 9131
426.47/427.80 c INPROCESSING
426.47/427.80 c GARBAGE COLLECT
426.47/427.80 c #Conflicts: 47000 | #Constraints: 5731
426.47/427.80 c #Conflicts: 48000 | #Constraints: 6731
426.47/427.80 c #Conflicts: 49000 | #Constraints: 7731
426.47/427.80 c #Conflicts: 50000 | #Constraints: 8731
426.47/427.80 c #Conflicts: 51000 | #Constraints: 9731
426.47/427.80 c INPROCESSING
426.47/427.80 c GARBAGE COLLECT
426.47/427.80 c #Conflicts: 52000 | #Constraints: 6127
426.47/427.80 c #Conflicts: 53000 | #Constraints: 7127
426.47/427.80 c #Conflicts: 54000 | #Constraints: 8127
426.47/427.80 c #Conflicts: 55000 | #Constraints: 9127
426.47/427.80 c #Conflicts: 56000 | #Constraints: 10127
426.47/427.80 c INPROCESSING
426.47/427.80 c GARBAGE COLLECT
426.47/427.80 c #Conflicts: 57000 | #Constraints: 6329
426.47/427.80 c #Conflicts: 58000 | #Constraints: 7329
426.47/427.80 c #Conflicts: 59000 | #Constraints: 8329
426.47/427.80 c #Conflicts: 60000 | #Constraints: 9329
426.47/427.80 c #Conflicts: 61000 | #Constraints: 10329
426.47/427.80 c INPROCESSING
426.47/427.80 c GARBAGE COLLECT
426.47/427.80 c #Conflicts: 62000 | #Constraints: 6331
426.47/427.80 c #Conflicts: 63000 | #Constraints: 7331
426.47/427.80 c #Conflicts: 64000 | #Constraints: 8331
426.47/427.80 c #Conflicts: 65000 | #Constraints: 9331
426.47/427.80 c #Conflicts: 66000 | #Constraints: 10331
426.47/427.80 c INPROCESSING
426.47/427.80 c GARBAGE COLLECT
426.47/427.80 c #Conflicts: 67000 | #Constraints: 6127
426.47/427.80 c #Conflicts: 68000 | #Constraints: 7127
426.47/427.80 c #Conflicts: 69000 | #Constraints: 8127
426.47/427.80 c #Conflicts: 70000 | #Constraints: 9127
426.47/427.80 c #Conflicts: 71000 | #Constraints: 10127
426.47/427.80 c #Conflicts: 72000 | #Constraints: 11127
426.47/427.80 c INPROCESSING
426.47/427.80 c GARBAGE COLLECT
426.47/427.80 c #Conflicts: 73000 | #Constraints: 6729
426.47/427.80 c #Conflicts: 74000 | #Constraints: 7729
426.47/427.80 c #Conflicts: 75000 | #Constraints: 8729
426.47/427.80 c #Conflicts: 76000 | #Constraints: 9729
426.47/427.80 c #Conflicts: 77000 | #Constraints: 10729
426.47/427.80 c #Conflicts: 78000 | #Constraints: 11729
426.47/427.80 c INPROCESSING
426.47/427.80 c GARBAGE COLLECT
426.47/427.80 c #Conflicts: 79000 | #Constraints: 7130
426.47/427.80 c #Conflicts: 80000 | #Constraints: 8130
426.47/427.80 c #Conflicts: 81000 | #Constraints: 9130
426.47/427.80 c #Conflicts: 82000 | #Constraints: 10130
426.47/427.80 c #Conflicts: 83000 | #Constraints: 11130
426.47/427.80 c #Conflicts: 84000 | #Constraints: 12130
426.47/427.80 c INPROCESSING
426.47/427.80 c GARBAGE COLLECT
426.47/427.80 c #Conflicts: 85000 | #Constraints: 7337
426.47/427.80 c #Conflicts: 86000 | #Constraints: 8337
426.47/427.80 c #Conflicts: 87000 | #Constraints: 9337
426.47/427.80 c #Conflicts: 88000 | #Constraints: 10337
426.47/427.80 c #Conflicts: 89000 | #Constraints: 11337
426.47/427.80 c #Conflicts: 90000 | #Constraints: 12337
426.47/427.80 c INPROCESSING
426.47/427.80 c GARBAGE COLLECT
426.47/427.80 c #Conflicts: 91000 | #Constraints: 7335
426.47/427.80 c #Conflicts: 92000 | #Constraints: 8335
426.47/427.80 c #Conflicts: 93000 | #Constraints: 9335
426.47/427.80 c #Conflicts: 94000 | #Constraints: 10335
426.47/427.80 c #Conflicts: 95000 | #Constraints: 11335
426.47/427.80 c #Conflicts: 96000 | #Constraints: 12335
426.47/427.80 c INPROCESSING
426.47/427.80 c GARBAGE COLLECT
426.47/427.80 c #Conflicts: 97000 | #Constraints: 7135
426.47/427.80 c #Conflicts: 98000 | #Constraints: 8135
426.47/427.80 c #Conflicts: 99000 | #Constraints: 9135
426.47/427.80 c #Conflicts: 100000 | #Constraints: 10135
426.47/427.80 c #Conflicts: 101000 | #Constraints: 11135
544.55/546.28 c #Conflicts: 102000 | #Constraints: 12135
544.55/546.28 c #Conflicts: 103000 | #Constraints: 13135
544.55/546.28 c INPROCESSING
544.55/546.28 c GARBAGE COLLECT
544.55/546.28 c #Conflicts: 104000 | #Constraints: 7731
544.55/546.28 c #Conflicts: 105000 | #Constraints: 8731
544.55/546.28 c #Conflicts: 106000 | #Constraints: 9731
544.55/546.28 c #Conflicts: 107000 | #Constraints: 10731
544.55/546.28 c #Conflicts: 108000 | #Constraints: 11731
544.55/546.28 c #Conflicts: 109000 | #Constraints: 12731
544.55/546.28 c #Conflicts: 110000 | #Constraints: 13731
544.55/546.28 c INPROCESSING
544.55/546.28 c GARBAGE COLLECT
544.55/546.28 c #Conflicts: 111000 | #Constraints: 8133
544.55/546.28 c #Conflicts: 112000 | #Constraints: 9133
544.55/546.28 c #Conflicts: 113000 | #Constraints: 10133
544.55/546.28 c #Conflicts: 114000 | #Constraints: 11133
544.55/546.28 c #Conflicts: 115000 | #Constraints: 12133
544.55/546.28 c #Conflicts: 116000 | #Constraints: 13133
544.55/546.28 c #Conflicts: 117000 | #Constraints: 14133
544.55/546.28 c INPROCESSING
544.55/546.28 c GARBAGE COLLECT
544.55/546.28 c #Conflicts: 118000 | #Constraints: 8329
544.55/546.28 c #Conflicts: 119000 | #Constraints: 9329
544.55/546.28 c #Conflicts: 120000 | #Constraints: 10329
544.55/546.28 c #Conflicts: 121000 | #Constraints: 11329
544.55/546.28 c #Conflicts: 122000 | #Constraints: 12329
544.55/546.28 c #Conflicts: 123000 | #Constraints: 13329
544.55/546.28 c #Conflicts: 124000 | #Constraints: 14329
544.55/546.28 c INPROCESSING
544.55/546.28 c GARBAGE COLLECT
544.55/546.28 c #Conflicts: 125000 | #Constraints: 8331
544.55/546.28 c #Conflicts: 126000 | #Constraints: 9331
544.55/546.28 c #Conflicts: 127000 | #Constraints: 10331
544.55/546.28 c #Conflicts: 128000 | #Constraints: 11331
544.55/546.28 c #Conflicts: 129000 | #Constraints: 12331
544.55/546.28 c #Conflicts: 130000 | #Constraints: 13331
544.55/546.28 c #Conflicts: 131000 | #Constraints: 14331
544.55/546.28 c INPROCESSING
544.55/546.28 c GARBAGE COLLECT
544.55/546.28 c #Conflicts: 132000 | #Constraints: 8130
544.55/546.28 c #Conflicts: 133000 | #Constraints: 9130
544.55/546.28 c #Conflicts: 134000 | #Constraints: 10130
544.55/546.28 c #Conflicts: 135000 | #Constraints: 11130
544.55/546.28 c #Conflicts: 136000 | #Constraints: 12130
544.55/546.28 c #Conflicts: 137000 | #Constraints: 13130
544.55/546.28 c #Conflicts: 138000 | #Constraints: 14130
544.55/546.28 c #Conflicts: 139000 | #Constraints: 15130
544.55/546.28 c INPROCESSING
544.55/546.28 c GARBAGE COLLECT
544.55/546.28 c #Conflicts: 140000 | #Constraints: 8730
544.55/546.28 c #Conflicts: 141000 | #Constraints: 9730
544.55/546.28 c #Conflicts: 142000 | #Constraints: 10730
544.55/546.28 c #Conflicts: 143000 | #Constraints: 11730
544.55/546.28 c #Conflicts: 144000 | #Constraints: 12730
544.55/546.28 c #Conflicts: 145000 | #Constraints: 13730
544.55/546.28 c #Conflicts: 146000 | #Constraints: 14730
544.55/546.28 c #Conflicts: 147000 | #Constraints: 15730
544.55/546.28 c INPROCESSING
544.55/546.28 c GARBAGE COLLECT
544.55/546.28 c #Conflicts: 148000 | #Constraints: 9130
544.55/546.28 c #Conflicts: 149000 | #Constraints: 10130
544.55/546.28 c #Conflicts: 150000 | #Constraints: 11130
544.55/546.28 c #Conflicts: 151000 | #Constraints: 12130
544.55/546.28 c #Conflicts: 152000 | #Constraints: 13130
544.55/546.28 c #Conflicts: 153000 | #Constraints: 14130
544.55/546.28 c #Conflicts: 154000 | #Constraints: 15130
544.55/546.28 c #Conflicts: 155000 | #Constraints: 16130
544.55/546.28 c INPROCESSING
544.55/546.28 c GARBAGE COLLECT
544.55/546.28 c #Conflicts: 156000 | #Constraints: 9336
544.55/546.28 c #Conflicts: 157000 | #Constraints: 10336
544.55/546.28 c #Conflicts: 158000 | #Constraints: 11336
544.55/546.28 c #Conflicts: 159000 | #Constraints: 12336
544.55/546.28 c #Conflicts: 160000 | #Constraints: 13336
544.55/546.28 c #Conflicts: 161000 | #Constraints: 14336
544.55/546.28 c #Conflicts: 162000 | #Constraints: 15336
544.55/546.28 c #Conflicts: 163000 | #Constraints: 16336
544.55/546.28 c INPROCESSING
544.55/546.28 c GARBAGE COLLECT
544.55/546.28 c #Conflicts: 164000 | #Constraints: 9333
544.55/546.28 c #Conflicts: 165000 | #Constraints: 10333
544.55/546.28 c #Conflicts: 166000 | #Constraints: 11333
544.55/546.28 c #Conflicts: 167000 | #Constraints: 12333
544.55/546.28 c #Conflicts: 168000 | #Constraints: 13333
544.55/546.28 c #Conflicts: 169000 | #Constraints: 14333
544.55/546.28 c #Conflicts: 170000 | #Constraints: 15333
544.55/546.28 c #Conflicts: 171000 | #Constraints: 16333
544.55/546.28 c INPROCESSING
544.55/546.28 c GARBAGE COLLECT
544.55/546.28 c #Conflicts: 172000 | #Constraints: 9133
544.55/546.28 c #Conflicts: 173000 | #Constraints: 10133
729.73/731.97 c #Conflicts: 174000 | #Constraints: 11133
729.73/731.97 c #Conflicts: 175000 | #Constraints: 12133
729.73/731.97 c #Conflicts: 176000 | #Constraints: 13133
729.73/731.97 c #Conflicts: 177000 | #Constraints: 14133
729.73/731.97 c #Conflicts: 178000 | #Constraints: 15133
729.73/731.97 c #Conflicts: 179000 | #Constraints: 16133
729.73/731.97 c #Conflicts: 180000 | #Constraints: 17133
729.73/731.97 c INPROCESSING
729.73/731.97 c GARBAGE COLLECT
729.73/731.97 c #Conflicts: 181000 | #Constraints: 9729
729.73/731.97 c #Conflicts: 182000 | #Constraints: 10729
729.73/731.97 c #Conflicts: 183000 | #Constraints: 11729
729.73/731.97 c #Conflicts: 184000 | #Constraints: 12729
729.73/731.97 c #Conflicts: 185000 | #Constraints: 13729
729.73/731.97 c #Conflicts: 186000 | #Constraints: 14729
729.73/731.97 c #Conflicts: 187000 | #Constraints: 15729
729.73/731.97 c #Conflicts: 188000 | #Constraints: 16729
729.73/731.97 c #Conflicts: 189000 | #Constraints: 17729
729.73/731.97 c INPROCESSING
729.73/731.97 c GARBAGE COLLECT
729.73/731.97 c #Conflicts: 190000 | #Constraints: 10137
729.73/731.97 c #Conflicts: 191000 | #Constraints: 11137
729.73/731.97 c #Conflicts: 192000 | #Constraints: 12137
729.73/731.97 c #Conflicts: 193000 | #Constraints: 13137
729.73/731.97 c #Conflicts: 194000 | #Constraints: 14137
729.73/731.97 c #Conflicts: 195000 | #Constraints: 15137
729.73/731.97 c #Conflicts: 196000 | #Constraints: 16137
729.73/731.97 c #Conflicts: 197000 | #Constraints: 17137
729.73/731.97 c #Conflicts: 198000 | #Constraints: 18137
729.73/731.97 c INPROCESSING
729.73/731.97 c GARBAGE COLLECT
729.73/731.97 c #Conflicts: 199000 | #Constraints: 10344
729.73/731.97 c #Conflicts: 200000 | #Constraints: 11344
729.73/731.97 c #Conflicts: 201000 | #Constraints: 12344
729.73/731.97 c #Conflicts: 202000 | #Constraints: 13344
729.73/731.97 c #Conflicts: 203000 | #Constraints: 14344
729.73/731.97 c #Conflicts: 204000 | #Constraints: 15344
729.73/731.97 c #Conflicts: 205000 | #Constraints: 16344
729.73/731.97 c #Conflicts: 206000 | #Constraints: 17344
729.73/731.97 c #Conflicts: 207000 | #Constraints: 18344
729.73/731.97 c INPROCESSING
729.73/731.97 c GARBAGE COLLECT
729.73/731.97 c #Conflicts: 208000 | #Constraints: 10339
729.73/731.97 c #Conflicts: 209000 | #Constraints: 11339
729.73/731.97 c #Conflicts: 210000 | #Constraints: 12339
729.73/731.97 c #Conflicts: 211000 | #Constraints: 13339
729.73/731.97 c #Conflicts: 212000 | #Constraints: 14339
729.73/731.97 c #Conflicts: 213000 | #Constraints: 15339
729.73/731.97 c #Conflicts: 214000 | #Constraints: 16339
729.73/731.97 c #Conflicts: 215000 | #Constraints: 17339
729.73/731.97 c #Conflicts: 216000 | #Constraints: 18339
729.73/731.97 c INPROCESSING
729.73/731.97 c GARBAGE COLLECT
729.73/731.97 c #Conflicts: 217000 | #Constraints: 10138
729.73/731.97 c #Conflicts: 218000 | #Constraints: 11138
729.73/731.97 c #Conflicts: 219000 | #Constraints: 12138
729.73/731.97 c #Conflicts: 220000 | #Constraints: 13138
729.73/731.97 c #Conflicts: 221000 | #Constraints: 14138
729.73/731.97 c #Conflicts: 222000 | #Constraints: 15138
729.73/731.97 c #Conflicts: 223000 | #Constraints: 16138
729.73/731.97 c #Conflicts: 224000 | #Constraints: 17138
729.73/731.97 c #Conflicts: 225000 | #Constraints: 18138
729.73/731.97 c #Conflicts: 226000 | #Constraints: 19138
729.73/731.97 c INPROCESSING
729.73/731.97 c GARBAGE COLLECT
729.73/731.97 c #Conflicts: 227000 | #Constraints: 10738
729.73/731.97 c #Conflicts: 228000 | #Constraints: 11738
729.73/731.97 c #Conflicts: 229000 | #Constraints: 12738
729.73/731.97 c #Conflicts: 230000 | #Constraints: 13738
729.73/731.97 c #Conflicts: 231000 | #Constraints: 14738
729.73/731.97 c #Conflicts: 232000 | #Constraints: 15738
729.73/731.97 c #Conflicts: 233000 | #Constraints: 16738
729.73/731.97 c #Conflicts: 234000 | #Constraints: 17738
729.73/731.97 c #Conflicts: 235000 | #Constraints: 18738
729.73/731.97 c #Conflicts: 236000 | #Constraints: 19738
729.73/731.97 c INPROCESSING
729.73/731.97 c GARBAGE COLLECT
729.73/731.97 c #Conflicts: 237000 | #Constraints: 11134
729.73/731.97 c #Conflicts: 238000 | #Constraints: 12134
729.73/731.97 c #Conflicts: 239000 | #Constraints: 13134
729.73/731.97 c #Conflicts: 240000 | #Constraints: 14134
729.73/731.97 c #Conflicts: 241000 | #Constraints: 15134
729.73/731.97 c #Conflicts: 242000 | #Constraints: 16134
729.73/731.97 c #Conflicts: 243000 | #Constraints: 17134
729.73/731.97 c #Conflicts: 244000 | #Constraints: 18134
729.73/731.97 c #Conflicts: 245000 | #Constraints: 19134
729.73/731.97 c #Conflicts: 246000 | #Constraints: 20134
729.73/731.97 c INPROCESSING
729.73/731.97 c GARBAGE COLLECT
729.73/731.97 c #Conflicts: 247000 | #Constraints: 11334
959.59/962.47 c #Conflicts: 248000 | #Constraints: 12334
959.59/962.47 c #Conflicts: 249000 | #Constraints: 13334
959.59/962.47 c #Conflicts: 250000 | #Constraints: 14334
959.59/962.47 c #Conflicts: 251000 | #Constraints: 15334
959.59/962.47 c #Conflicts: 252000 | #Constraints: 16334
959.59/962.47 c #Conflicts: 253000 | #Constraints: 17334
959.59/962.47 c #Conflicts: 254000 | #Constraints: 18334
959.59/962.47 c #Conflicts: 255000 | #Constraints: 19334
959.59/962.47 c #Conflicts: 256000 | #Constraints: 20334
959.59/962.47 c INPROCESSING
959.59/962.47 c GARBAGE COLLECT
959.59/962.47 c #Conflicts: 257000 | #Constraints: 11330
959.59/962.47 c #Conflicts: 258000 | #Constraints: 12330
959.59/962.47 c #Conflicts: 259000 | #Constraints: 13330
959.59/962.47 c #Conflicts: 260000 | #Constraints: 14330
959.59/962.47 c #Conflicts: 261000 | #Constraints: 15330
959.59/962.47 c #Conflicts: 262000 | #Constraints: 16330
959.59/962.47 c #Conflicts: 263000 | #Constraints: 17330
959.59/962.47 c #Conflicts: 264000 | #Constraints: 18330
959.59/962.47 c #Conflicts: 265000 | #Constraints: 19330
959.59/962.47 c #Conflicts: 266000 | #Constraints: 20330
959.59/962.47 c INPROCESSING
959.59/962.47 c GARBAGE COLLECT
959.59/962.47 c #Conflicts: 267000 | #Constraints: 11133
959.59/962.47 c #Conflicts: 268000 | #Constraints: 12133
959.59/962.47 c #Conflicts: 269000 | #Constraints: 13133
959.59/962.47 c #Conflicts: 270000 | #Constraints: 14133
959.59/962.47 c #Conflicts: 271000 | #Constraints: 15133
959.59/962.47 c #Conflicts: 272000 | #Constraints: 16133
959.59/962.47 c #Conflicts: 273000 | #Constraints: 17133
959.59/962.47 c #Conflicts: 274000 | #Constraints: 18133
959.59/962.47 c #Conflicts: 275000 | #Constraints: 19133
959.59/962.47 c #Conflicts: 276000 | #Constraints: 20133
959.59/962.47 c #Conflicts: 277000 | #Constraints: 21133
959.59/962.47 c INPROCESSING
959.59/962.47 c GARBAGE COLLECT
959.59/962.47 c #Conflicts: 278000 | #Constraints: 11732
959.59/962.47 c #Conflicts: 279000 | #Constraints: 12732
959.59/962.47 c #Conflicts: 280000 | #Constraints: 13732
959.59/962.47 c #Conflicts: 281000 | #Constraints: 14732
959.59/962.47 c #Conflicts: 282000 | #Constraints: 15732
959.59/962.47 c #Conflicts: 283000 | #Constraints: 16732
959.59/962.47 c #Conflicts: 284000 | #Constraints: 17732
959.59/962.47 c #Conflicts: 285000 | #Constraints: 18732
959.59/962.47 c #Conflicts: 286000 | #Constraints: 19732
959.59/962.47 c #Conflicts: 287000 | #Constraints: 20732
959.59/962.47 c #Conflicts: 288000 | #Constraints: 21732
959.59/962.47 c INPROCESSING
959.59/962.47 c GARBAGE COLLECT
959.59/962.47 c #Conflicts: 289000 | #Constraints: 12128
959.59/962.47 c #Conflicts: 290000 | #Constraints: 13128
959.59/962.47 c #Conflicts: 291000 | #Constraints: 14128
959.59/962.47 c #Conflicts: 292000 | #Constraints: 15128
959.59/962.47 c #Conflicts: 293000 | #Constraints: 16128
959.59/962.47 c #Conflicts: 294000 | #Constraints: 17128
959.59/962.47 c #Conflicts: 295000 | #Constraints: 18128
959.59/962.47 c #Conflicts: 296000 | #Constraints: 19128
959.59/962.47 c #Conflicts: 297000 | #Constraints: 20128
959.59/962.47 c #Conflicts: 298000 | #Constraints: 21128
959.59/962.47 c #Conflicts: 299000 | #Constraints: 22128
959.59/962.47 c INPROCESSING
959.59/962.47 c GARBAGE COLLECT
959.59/962.47 c #Conflicts: 300000 | #Constraints: 12326
959.59/962.47 c #Conflicts: 301000 | #Constraints: 13326
959.59/962.47 c #Conflicts: 302000 | #Constraints: 14326
959.59/962.47 c #Conflicts: 303000 | #Constraints: 15326
959.59/962.47 c #Conflicts: 304000 | #Constraints: 16326
959.59/962.47 c #Conflicts: 305000 | #Constraints: 17326
959.59/962.47 c #Conflicts: 306000 | #Constraints: 18326
959.59/962.47 c #Conflicts: 307000 | #Constraints: 19326
959.59/962.47 c #Conflicts: 308000 | #Constraints: 20326
959.59/962.47 c #Conflicts: 309000 | #Constraints: 21326
959.59/962.47 c #Conflicts: 310000 | #Constraints: 22326
959.59/962.47 c INPROCESSING
959.59/962.47 c GARBAGE COLLECT
959.59/962.47 c #Conflicts: 311000 | #Constraints: 12333
959.59/962.47 c #Conflicts: 312000 | #Constraints: 13333
959.59/962.47 c #Conflicts: 313000 | #Constraints: 14333
959.59/962.47 c #Conflicts: 314000 | #Constraints: 15333
959.59/962.47 c #Conflicts: 315000 | #Constraints: 16333
959.59/962.47 c #Conflicts: 316000 | #Constraints: 17333
959.59/962.47 c #Conflicts: 317000 | #Constraints: 18333
959.59/962.47 c #Conflicts: 318000 | #Constraints: 19333
959.59/962.47 c #Conflicts: 319000 | #Constraints: 20333
959.59/962.47 c #Conflicts: 320000 | #Constraints: 21333
959.59/962.47 c #Conflicts: 321000 | #Constraints: 22333
959.59/962.47 c INPROCESSING
1437.09/1441.27 c GARBAGE COLLECT
1437.09/1441.27 c #Conflicts: 322000 | #Constraints: 12130
1437.09/1441.27 c #Conflicts: 323000 | #Constraints: 13130
1437.09/1441.27 c #Conflicts: 324000 | #Constraints: 14130
1437.09/1441.27 c #Conflicts: 325000 | #Constraints: 15130
1437.09/1441.27 c #Conflicts: 326000 | #Constraints: 16130
1437.09/1441.27 c #Conflicts: 327000 | #Constraints: 17130
1437.09/1441.27 c #Conflicts: 328000 | #Constraints: 18130
1437.09/1441.27 c #Conflicts: 329000 | #Constraints: 19130
1437.09/1441.27 c #Conflicts: 330000 | #Constraints: 20130
1437.09/1441.27 c #Conflicts: 331000 | #Constraints: 21130
1437.09/1441.27 c #Conflicts: 332000 | #Constraints: 22130
1437.09/1441.27 c #Conflicts: 333000 | #Constraints: 23130
1437.09/1441.27 c INPROCESSING
1437.09/1441.27 c GARBAGE COLLECT
1437.09/1441.27 c #Conflicts: 334000 | #Constraints: 12726
1437.09/1441.27 c #Conflicts: 335000 | #Constraints: 13726
1437.09/1441.27 c #Conflicts: 336000 | #Constraints: 14726
1437.09/1441.27 c #Conflicts: 337000 | #Constraints: 15726
1437.09/1441.27 c #Conflicts: 338000 | #Constraints: 16726
1437.09/1441.27 c #Conflicts: 339000 | #Constraints: 17726
1437.09/1441.27 c #Conflicts: 340000 | #Constraints: 18726
1437.09/1441.27 c #Conflicts: 341000 | #Constraints: 19726
1437.09/1441.27 c #Conflicts: 342000 | #Constraints: 20726
1437.09/1441.27 c #Conflicts: 343000 | #Constraints: 21726
1437.09/1441.27 c #Conflicts: 344000 | #Constraints: 22726
1437.09/1441.27 c #Conflicts: 345000 | #Constraints: 23726
1437.09/1441.27 c INPROCESSING
1437.09/1441.27 c GARBAGE COLLECT
1437.09/1441.27 c #Conflicts: 346000 | #Constraints: 13127
1437.09/1441.27 c #Conflicts: 347000 | #Constraints: 14127
1437.09/1441.27 c #Conflicts: 348000 | #Constraints: 15127
1437.09/1441.27 c #Conflicts: 349000 | #Constraints: 16127
1437.09/1441.27 c #Conflicts: 350000 | #Constraints: 17127
1437.09/1441.27 c #Conflicts: 351000 | #Constraints: 18127
1437.09/1441.27 c #Conflicts: 352000 | #Constraints: 19127
1437.09/1441.27 c #Conflicts: 353000 | #Constraints: 20127
1437.09/1441.27 c #Conflicts: 354000 | #Constraints: 21127
1437.09/1441.27 c #Conflicts: 355000 | #Constraints: 22127
1437.09/1441.27 c #Conflicts: 356000 | #Constraints: 23127
1437.09/1441.27 c #Conflicts: 357000 | #Constraints: 24127
1437.09/1441.27 c INPROCESSING
1437.09/1441.27 c GARBAGE COLLECT
1437.09/1441.27 c #Conflicts: 358000 | #Constraints: 13336
1437.09/1441.27 c #Conflicts: 359000 | #Constraints: 14336
1437.09/1441.27 c #Conflicts: 360000 | #Constraints: 15336
1437.09/1441.27 c #Conflicts: 361000 | #Constraints: 16336
1437.09/1441.27 c #Conflicts: 362000 | #Constraints: 17336
1437.09/1441.27 c #Conflicts: 363000 | #Constraints: 18336
1437.09/1441.27 c #Conflicts: 364000 | #Constraints: 19336
1437.09/1441.27 c #Conflicts: 365000 | #Constraints: 20336
1437.09/1441.27 c #Conflicts: 366000 | #Constraints: 21336
1437.09/1441.27 c #Conflicts: 367000 | #Constraints: 22336
1437.09/1441.27 c #Conflicts: 368000 | #Constraints: 23336
1437.09/1441.27 c #Conflicts: 369000 | #Constraints: 24336
1437.09/1441.27 c INPROCESSING
1437.09/1441.27 c GARBAGE COLLECT
1437.09/1441.27 c #Conflicts: 370000 | #Constraints: 13334
1437.09/1441.27 c #Conflicts: 371000 | #Constraints: 14334
1437.09/1441.27 c #Conflicts: 372000 | #Constraints: 15334
1437.09/1441.27 c #Conflicts: 373000 | #Constraints: 16334
1437.09/1441.27 c #Conflicts: 374000 | #Constraints: 17334
1437.09/1441.27 c #Conflicts: 375000 | #Constraints: 18334
1437.09/1441.27 c #Conflicts: 376000 | #Constraints: 19334
1437.09/1441.27 c #Conflicts: 377000 | #Constraints: 20334
1437.09/1441.27 c #Conflicts: 378000 | #Constraints: 21334
1437.09/1441.27 c #Conflicts: 379000 | #Constraints: 22334
1437.09/1441.27 c #Conflicts: 380000 | #Constraints: 23334
1437.09/1441.27 c #Conflicts: 381000 | #Constraints: 24334
1437.09/1441.27 c INPROCESSING
1437.09/1441.27 c GARBAGE COLLECT
1437.09/1441.27 c #Conflicts: 382000 | #Constraints: 13129
1437.09/1441.27 c #Conflicts: 383000 | #Constraints: 14129
1437.09/1441.27 c #Conflicts: 384000 | #Constraints: 15129
1437.09/1441.27 c #Conflicts: 385000 | #Constraints: 16129
1437.09/1441.27 c #Conflicts: 386000 | #Constraints: 17129
1437.09/1441.27 c #Conflicts: 387000 | #Constraints: 18129
1437.09/1441.27 c #Conflicts: 388000 | #Constraints: 19129
1437.09/1441.27 c #Conflicts: 389000 | #Constraints: 20129
1437.09/1441.27 c #Conflicts: 390000 | #Constraints: 21129
1437.09/1441.27 c #Conflicts: 391000 | #Constraints: 22129
1437.09/1441.27 c #Conflicts: 392000 | #Constraints: 23129
1437.09/1441.27 c #Conflicts: 393000 | #Constraints: 24129
1437.09/1441.27 c #Conflicts: 394000 | #Constraints: 25129
1437.09/1441.27 c INPROCESSING
1437.09/1441.27 c GARBAGE COLLECT
1437.09/1441.27 c #Conflicts: 395000 | #Constraints: 13728
1437.09/1441.27 c #Conflicts: 396000 | #Constraints: 14728
2162.72/2168.83 c #Conflicts: 397000 | #Constraints: 15728
2162.72/2168.83 c #Conflicts: 398000 | #Constraints: 16728
2162.72/2168.83 c #Conflicts: 399000 | #Constraints: 17728
2162.72/2168.83 c #Conflicts: 400000 | #Constraints: 18728
2162.72/2168.83 c #Conflicts: 401000 | #Constraints: 19728
2162.72/2168.83 c #Conflicts: 402000 | #Constraints: 20728
2162.72/2168.83 c #Conflicts: 403000 | #Constraints: 21728
2162.72/2168.83 c #Conflicts: 404000 | #Constraints: 22728
2162.72/2168.83 c #Conflicts: 405000 | #Constraints: 23728
2162.72/2168.83 c #Conflicts: 406000 | #Constraints: 24728
2162.72/2168.83 c #Conflicts: 407000 | #Constraints: 25728
2162.72/2168.83 c INPROCESSING
2162.72/2168.83 c GARBAGE COLLECT
2162.72/2168.83 c #Conflicts: 408000 | #Constraints: 14127
2162.72/2168.83 c #Conflicts: 409000 | #Constraints: 15127
2162.72/2168.83 c #Conflicts: 410000 | #Constraints: 16127
2162.72/2168.83 c #Conflicts: 411000 | #Constraints: 17127
2162.72/2168.83 c #Conflicts: 412000 | #Constraints: 18127
2162.72/2168.83 c #Conflicts: 413000 | #Constraints: 19127
2162.72/2168.83 c #Conflicts: 414000 | #Constraints: 20127
2162.72/2168.83 c #Conflicts: 415000 | #Constraints: 21127
2162.72/2168.83 c #Conflicts: 416000 | #Constraints: 22127
2162.72/2168.83 c #Conflicts: 417000 | #Constraints: 23127
2162.72/2168.83 c #Conflicts: 418000 | #Constraints: 24127
2162.72/2168.83 c #Conflicts: 419000 | #Constraints: 25127
2162.72/2168.83 c #Conflicts: 420000 | #Constraints: 26127
2162.72/2168.83 c INPROCESSING
2162.72/2168.83 c GARBAGE COLLECT
2162.72/2168.83 c #Conflicts: 421000 | #Constraints: 14330
2162.72/2168.83 c #Conflicts: 422000 | #Constraints: 15330
2162.72/2168.83 c #Conflicts: 423000 | #Constraints: 16330
2162.72/2168.83 c #Conflicts: 424000 | #Constraints: 17330
2162.72/2168.83 c #Conflicts: 425000 | #Constraints: 18330
2162.72/2168.83 c #Conflicts: 426000 | #Constraints: 19330
2162.72/2168.83 c #Conflicts: 427000 | #Constraints: 20330
2162.72/2168.83 c #Conflicts: 428000 | #Constraints: 21330
2162.72/2168.83 c #Conflicts: 429000 | #Constraints: 22330
2162.72/2168.83 c #Conflicts: 430000 | #Constraints: 23330
2162.72/2168.83 c #Conflicts: 431000 | #Constraints: 24330
2162.72/2168.83 c #Conflicts: 432000 | #Constraints: 25330
2162.72/2168.83 c #Conflicts: 433000 | #Constraints: 26330
2162.72/2168.83 c INPROCESSING
2162.72/2168.83 c GARBAGE COLLECT
2162.72/2168.83 c #Conflicts: 434000 | #Constraints: 14335
2162.72/2168.83 c #Conflicts: 435000 | #Constraints: 15335
2162.72/2168.83 c #Conflicts: 436000 | #Constraints: 16335
2162.72/2168.83 c #Conflicts: 437000 | #Constraints: 17335
2162.72/2168.83 c #Conflicts: 438000 | #Constraints: 18335
2162.72/2168.83 c #Conflicts: 439000 | #Constraints: 19335
2162.72/2168.83 c #Conflicts: 440000 | #Constraints: 20335
2162.72/2168.83 c #Conflicts: 441000 | #Constraints: 21335
2162.72/2168.83 c #Conflicts: 442000 | #Constraints: 22335
2162.72/2168.83 c #Conflicts: 443000 | #Constraints: 23335
2162.72/2168.83 c #Conflicts: 444000 | #Constraints: 24335
2162.72/2168.83 c #Conflicts: 445000 | #Constraints: 25335
2162.72/2168.83 c #Conflicts: 446000 | #Constraints: 26335
2162.72/2168.83 c INPROCESSING
2162.72/2168.83 c GARBAGE COLLECT
2162.72/2168.83 c #Conflicts: 447000 | #Constraints: 14135
2162.72/2168.83 c #Conflicts: 448000 | #Constraints: 15135
2162.72/2168.83 c #Conflicts: 449000 | #Constraints: 16135
2162.72/2168.83 c #Conflicts: 450000 | #Constraints: 17135
2162.72/2168.83 c #Conflicts: 451000 | #Constraints: 18135
2162.72/2168.83 c #Conflicts: 452000 | #Constraints: 19135
2162.72/2168.83 c #Conflicts: 453000 | #Constraints: 20135
2162.72/2168.83 c #Conflicts: 454000 | #Constraints: 21135
2162.72/2168.83 c #Conflicts: 455000 | #Constraints: 22135
2162.72/2168.83 c #Conflicts: 456000 | #Constraints: 23135
2162.72/2168.83 c #Conflicts: 457000 | #Constraints: 24135
2162.72/2168.83 c #Conflicts: 458000 | #Constraints: 25135
2162.72/2168.83 c #Conflicts: 459000 | #Constraints: 26135
2162.72/2168.83 c #Conflicts: 460000 | #Constraints: 27135
2162.72/2168.83 c INPROCESSING
2162.72/2168.83 c GARBAGE COLLECT
2162.72/2168.83 c #Conflicts: 461000 | #Constraints: 14737
2162.72/2168.83 c #Conflicts: 462000 | #Constraints: 15737
2162.72/2168.83 c #Conflicts: 463000 | #Constraints: 16737
2162.72/2168.83 c #Conflicts: 464000 | #Constraints: 17737
2162.72/2168.83 c #Conflicts: 465000 | #Constraints: 18737
2162.72/2168.83 c #Conflicts: 466000 | #Constraints: 19737
2162.72/2168.83 c #Conflicts: 467000 | #Constraints: 20737
2162.72/2168.83 c #Conflicts: 468000 | #Constraints: 21737
2162.72/2168.83 c #Conflicts: 469000 | #Constraints: 22737
2162.72/2168.83 c #Conflicts: 470000 | #Constraints: 23737
2162.72/2168.83 c #Conflicts: 471000 | #Constraints: 24737
2162.72/2168.83 c #Conflicts: 472000 | #Constraints: 25737
3063.40/3071.94 c #Conflicts: 473000 | #Constraints: 26737
3063.40/3071.94 c #Conflicts: 474000 | #Constraints: 27737
3063.40/3071.94 c INPROCESSING
3063.40/3071.94 c GARBAGE COLLECT
3063.40/3071.94 c #Conflicts: 475000 | #Constraints: 15136
3063.40/3071.94 c #Conflicts: 476000 | #Constraints: 16136
3063.40/3071.94 c #Conflicts: 477000 | #Constraints: 17136
3063.40/3071.94 c #Conflicts: 478000 | #Constraints: 18136
3063.40/3071.94 c #Conflicts: 479000 | #Constraints: 19136
3063.40/3071.94 c #Conflicts: 480000 | #Constraints: 20136
3063.40/3071.94 c #Conflicts: 481000 | #Constraints: 21136
3063.40/3071.94 c #Conflicts: 482000 | #Constraints: 22136
3063.40/3071.94 c #Conflicts: 483000 | #Constraints: 23136
3063.40/3071.94 c #Conflicts: 484000 | #Constraints: 24136
3063.40/3071.94 c #Conflicts: 485000 | #Constraints: 25136
3063.40/3071.94 c #Conflicts: 486000 | #Constraints: 26136
3063.40/3071.94 c #Conflicts: 487000 | #Constraints: 27136
3063.40/3071.94 c #Conflicts: 488000 | #Constraints: 28136
3063.40/3071.94 c INPROCESSING
3063.40/3071.94 c GARBAGE COLLECT
3063.40/3071.94 c #Conflicts: 489000 | #Constraints: 15334
3063.40/3071.94 c #Conflicts: 490000 | #Constraints: 16334
3063.40/3071.94 c #Conflicts: 491000 | #Constraints: 17334
3063.40/3071.94 c #Conflicts: 492000 | #Constraints: 18334
3063.40/3071.94 c #Conflicts: 493000 | #Constraints: 19334
3063.40/3071.94 c #Conflicts: 494000 | #Constraints: 20334
3063.40/3071.94 c #Conflicts: 495000 | #Constraints: 21334
3063.40/3071.94 c #Conflicts: 496000 | #Constraints: 22334
3063.40/3071.94 c #Conflicts: 497000 | #Constraints: 23334
3063.40/3071.94 c #Conflicts: 498000 | #Constraints: 24334
3063.40/3071.94 c #Conflicts: 499000 | #Constraints: 25334
3063.40/3071.94 c #Conflicts: 500000 | #Constraints: 26334
3063.40/3071.94 c #Conflicts: 501000 | #Constraints: 27334
3063.40/3071.94 c #Conflicts: 502000 | #Constraints: 28334
3063.40/3071.94 c INPROCESSING
3063.40/3071.94 c GARBAGE COLLECT
3063.40/3071.94 c #Conflicts: 503000 | #Constraints: 15335
3063.40/3071.94 c #Conflicts: 504000 | #Constraints: 16335
3063.40/3071.94 c #Conflicts: 505000 | #Constraints: 17335
3063.40/3071.94 c #Conflicts: 506000 | #Constraints: 18335
3063.40/3071.94 c #Conflicts: 507000 | #Constraints: 19335
3063.40/3071.94 c #Conflicts: 508000 | #Constraints: 20335
3063.40/3071.94 c #Conflicts: 509000 | #Constraints: 21335
3063.40/3071.94 c #Conflicts: 510000 | #Constraints: 22335
3063.40/3071.94 c #Conflicts: 511000 | #Constraints: 23335
3063.40/3071.94 c #Conflicts: 512000 | #Constraints: 24335
3063.40/3071.94 c #Conflicts: 513000 | #Constraints: 25335
3063.40/3071.94 c #Conflicts: 514000 | #Constraints: 26335
3063.40/3071.94 c #Conflicts: 515000 | #Constraints: 27335
3063.40/3071.94 c #Conflicts: 516000 | #Constraints: 28335
3063.40/3071.94 c INPROCESSING
3063.40/3071.94 c GARBAGE COLLECT
3063.40/3071.94 c #Conflicts: 517000 | #Constraints: 15138
3063.40/3071.94 c #Conflicts: 518000 | #Constraints: 16138
3063.40/3071.94 c #Conflicts: 519000 | #Constraints: 17138
3063.40/3071.94 c #Conflicts: 520000 | #Constraints: 18138
3063.40/3071.94 c #Conflicts: 521000 | #Constraints: 19138
3063.40/3071.94 c #Conflicts: 522000 | #Constraints: 20138
3063.40/3071.94 c #Conflicts: 523000 | #Constraints: 21138
3063.40/3071.94 c #Conflicts: 524000 | #Constraints: 22138
3063.40/3071.94 c #Conflicts: 525000 | #Constraints: 23138
3063.40/3071.94 c #Conflicts: 526000 | #Constraints: 24138
3063.40/3071.94 c #Conflicts: 527000 | #Constraints: 25138
3063.40/3071.94 c #Conflicts: 528000 | #Constraints: 26138
3063.40/3071.94 c #Conflicts: 529000 | #Constraints: 27138
3063.40/3071.94 c #Conflicts: 530000 | #Constraints: 28138
3063.40/3071.94 c #Conflicts: 531000 | #Constraints: 29138
3063.40/3071.94 c INPROCESSING
3063.40/3071.94 c GARBAGE COLLECT
3063.40/3071.94 c #Conflicts: 532000 | #Constraints: 15742
3063.40/3071.94 c #Conflicts: 533000 | #Constraints: 16742
3063.40/3071.94 c #Conflicts: 534000 | #Constraints: 17742
3063.40/3071.94 c #Conflicts: 535000 | #Constraints: 18742
3063.40/3071.94 c #Conflicts: 536000 | #Constraints: 19742
3063.40/3071.94 c #Conflicts: 537000 | #Constraints: 20742
3063.40/3071.94 c #Conflicts: 538000 | #Constraints: 21742
3063.40/3071.94 c #Conflicts: 539000 | #Constraints: 22742
3063.40/3071.94 c #Conflicts: 540000 | #Constraints: 23742
3063.40/3071.94 c #Conflicts: 541000 | #Constraints: 24742
3063.40/3071.94 c #Conflicts: 542000 | #Constraints: 25742
3063.40/3071.94 c #Conflicts: 543000 | #Constraints: 26742
3063.40/3071.94 c #Conflicts: 544000 | #Constraints: 27742
3063.40/3071.94 c #Conflicts: 545000 | #Constraints: 28742
3063.40/3071.94 c #Conflicts: 546000 | #Constraints: 29742
3063.40/3071.94 c INPROCESSING
3063.40/3071.94 c GARBAGE COLLECT
3063.40/3071.94 c #Conflicts: 547000 | #Constraints: 16138
3600.05/3610.01 c #Conflicts: 548000 | #Constraints: 17138
3600.05/3610.01 c #Conflicts: 549000 | #Constraints: 18138
3600.05/3610.01 c #Conflicts: 550000 | #Constraints: 19138
3600.05/3610.01 c #Conflicts: 551000 | #Constraints: 20138
3600.05/3610.01 c #Conflicts: 552000 | #Constraints: 21138
3600.05/3610.01 c #Conflicts: 553000 | #Constraints: 22138
3600.05/3610.01 c #Conflicts: 554000 | #Constraints: 23138
3600.05/3610.01 c #Conflicts: 555000 | #Constraints: 24138
3600.05/3610.01 c #Conflicts: 556000 | #Constraints: 25138
3600.05/3610.01 c #Conflicts: 557000 | #Constraints: 26138
3600.05/3610.01 c #Conflicts: 558000 | #Constraints: 27138
3600.05/3610.01 c #Conflicts: 559000 | #Constraints: 28138
3600.05/3610.01 c #Conflicts: 560000 | #Constraints: 29138
3600.05/3610.01 c #Conflicts: 561000 | #Constraints: 30138
3600.05/3610.01 c INPROCESSING
3600.05/3610.01 c GARBAGE COLLECT
3600.05/3610.01 c #Conflicts: 562000 | #Constraints: 16333
3600.05/3610.01 c #Conflicts: 563000 | #Constraints: 17333
3600.05/3610.01 c #Conflicts: 564000 | #Constraints: 18333
3600.05/3610.01 c #Conflicts: 565000 | #Constraints: 19333
3600.05/3610.01 c #Conflicts: 566000 | #Constraints: 20333
3600.05/3610.01 c #Conflicts: 567000 | #Constraints: 21333
3600.05/3610.01 c #Conflicts: 568000 | #Constraints: 22333
3600.05/3610.01 c #Conflicts: 569000 | #Constraints: 23333
3600.05/3610.01 c #Conflicts: 570000 | #Constraints: 24333
3600.05/3610.01 c #Conflicts: 571000 | #Constraints: 25333
3600.05/3610.01 c #Conflicts: 572000 | #Constraints: 26333
3600.05/3610.01 c #Conflicts: 573000 | #Constraints: 27333
3600.05/3610.01 c #Conflicts: 574000 | #Constraints: 28333
3600.05/3610.01 c #Conflicts: 575000 | #Constraints: 29333
3600.05/3610.01 c #Conflicts: 576000 | #Constraints: 30333
3600.05/3610.01 c INPROCESSING
3600.05/3610.01 c GARBAGE COLLECT
3600.05/3610.01 c #Conflicts: 577000 | #Constraints: 16331
3600.05/3610.01 c #Conflicts: 578000 | #Constraints: 17331
3600.05/3610.01 c #Conflicts: 579000 | #Constraints: 18331
3600.05/3610.01 c #Conflicts: 580000 | #Constraints: 19331
3600.05/3610.01 c #Conflicts: 581000 | #Constraints: 20331
3600.05/3610.01 c #Conflicts: 582000 | #Constraints: 21331
3600.05/3610.01 c #Conflicts: 583000 | #Constraints: 22331
3600.05/3610.01 c #Conflicts: 584000 | #Constraints: 23331
3600.05/3610.01 c #Conflicts: 585000 | #Constraints: 24331
3600.05/3610.01 c #Conflicts: 586000 | #Constraints: 25331
3600.05/3610.01 c #Conflicts: 587000 | #Constraints: 26331
3600.05/3610.01 c #Conflicts: 588000 | #Constraints: 27331
3600.05/3610.01 c #Conflicts: 589000 | #Constraints: 28331
3600.05/3610.01 c #Conflicts: 590000 | #Constraints: 29331
3600.05/3610.01 c #Conflicts: 591000 | #Constraints: 30331
3600.05/3610.01 c INPROCESSING
3600.05/3610.01 c GARBAGE COLLECT
3600.05/3610.01 c #Conflicts: 592000 | #Constraints: 16140
3600.05/3610.01 c #Conflicts: 593000 | #Constraints: 17140
3600.05/3610.01 c #Conflicts: 594000 | #Constraints: 18140
3600.05/3610.01 c #Conflicts: 595000 | #Constraints: 19140
3600.05/3610.01 c #Conflicts: 596000 | #Constraints: 20140
3600.05/3610.01 c #Conflicts: 597000 | #Constraints: 21140
3600.05/3610.01 c #Conflicts: 598000 | #Constraints: 22140
3600.05/3610.01 c #Conflicts: 599000 | #Constraints: 23140
3600.05/3610.01 c #Conflicts: 600000 | #Constraints: 24140
3600.05/3610.01 c #Conflicts: 601000 | #Constraints: 25140
3600.05/3610.01 c #Conflicts: 602000 | #Constraints: 26140
3600.05/3610.01 c #Conflicts: 603000 | #Constraints: 27140
3600.05/3610.01 c #Conflicts: 604000 | #Constraints: 28140
3600.05/3610.01 c #Conflicts: 605000 | #Constraints: 29140
3600.05/3610.01 c #Conflicts: 606000 | #Constraints: 30140
3600.05/3610.01 c #Conflicts: 607000 | #Constraints: 31140
3600.05/3610.01 c INPROCESSING
3600.05/3610.01 c GARBAGE COLLECT
3600.05/3610.01 c #Conflicts: 608000 | #Constraints: 16738
3600.05/3610.01 c #Conflicts: 609000 | #Constraints: 17738
3600.05/3610.01 c #Conflicts: 610000 | #Constraints: 18738
3600.05/3610.01 c Program interrupted by user.
3600.05/3610.01 c cpu time 3591.41 s
3600.05/3610.01 c deterministic time 336060455949 3.36e+11
3600.05/3610.01 c optimization time 14.7472 s
3600.05/3610.01 c total solve time 3277.53 s
3600.05/3610.01 c core-guided solve time 3277.53 s
3600.05/3610.01 c propagation time 3021 s
3600.05/3610.01 c conflict analysis time 233.712 s
3600.05/3610.01 c propagations 48426790
3600.05/3610.01 c resolve steps 2797091
3600.05/3610.01 c decisions 6565799
3600.05/3610.01 c conflicts 610974
3600.05/3610.01 c restarts 1277
3600.05/3610.01 c inprocessing phases 69
3600.05/3610.01 c input clauses 49
3600.05/3610.01 c input cardinalities 83
3600.05/3610.01 c input general constraints 464
3600.05/3610.01 c input average constraint length 72.48
3600.05/3610.01 c input average constraint degree 34.66
3600.05/3610.01 c learned clauses 84655
3600.05/3610.01 c learned cardinalities 98
3600.05/3610.01 c learned general constraints 526233
3600.05/3610.01 c learned average constraint length 325.27
3600.05/3610.01 c learned average constraint degree 342527.59
3600.05/3610.01 c watched constraints 419713
3600.05/3610.01 c counting constraints 106984
3600.05/3610.01 c gcd simplifications 68809
3600.05/3610.01 c detected cardinalities 69
3600.05/3610.01 c weakened non-implied lits 12675194
3600.05/3610.01 c weakened non-implying lits 32136
3600.05/3610.01 c original variables 468
3600.05/3610.01 c clausal propagations 710253
3600.05/3610.01 c cardinality propagations 28710
3600.05/3610.01 c watched propagations 24790552
3600.05/3610.01 c counting propagations 22497090
3600.05/3610.01 c watch lookups 65333715459
3600.05/3610.01 c watch backjump lookups 63115633551
3600.05/3610.01 c watch checks 200977687224
3600.05/3610.01 c propagation checks 5927104420
3600.05/3610.01 c constraint additions 595719554
3600.05/3610.01 c trail pops 55603151
3600.05/3610.01 c formula constraints 468
3600.05/3610.01 c learned constraints 610986
3600.05/3610.01 c bound constraints 83
3600.05/3610.01 c core-guided constraints 45
3600.05/3610.01 c encountered formula constraints 1725307
3600.05/3610.01 c encountered learned constraints 1644509
3600.05/3610.01 c encountered bound constraints 745
3600.05/3610.01 c encountered core-guided constraints 37504
3600.05/3610.01 c LP total time 0 s
3600.05/3610.01 c LP solve time 0 s
3600.05/3610.01 c LP constraints added 0
3600.05/3610.01 c LP constraints removed 0
3600.05/3610.01 c LP pivots internal 0
3600.05/3610.01 c LP pivots root 0
3600.05/3610.01 c LP calls 0
3600.05/3610.01 c LP optimalities 0
3600.05/3610.01 c LP no pivot count 0
3600.05/3610.01 c LP infeasibilities 0
3600.05/3610.01 c LP valid Farkas constraints 0
3600.05/3610.01 c LP learned Farkas constraints 0
3600.05/3610.01 c LP basis resets 0
3600.05/3610.01 c LP cycling count 0
3600.05/3610.01 c LP singular count 0
3600.05/3610.01 c LP no primal count 0
3600.05/3610.01 c LP no farkas count 0
3600.05/3610.01 c LP other issue count 0
3600.05/3610.01 c LP Gomory cuts 0
3600.05/3610.01 c LP learned cuts 0
3600.05/3610.01 c LP deleted cuts 0
3600.05/3610.01 c LP encountered Gomory constraints 0
3600.05/3610.01 c LP encountered Farkas constraints 0
3600.05/3610.01 c LP encountered learned Farkas constraints 0
3600.05/3610.01 c CG auxiliary variables introduced 45
3600.05/3610.01 c CG solutions found 0
3600.05/3610.01 c CG cores constructed 82
3600.05/3610.01 c CG core cardinality constraints returned 0
3600.05/3610.01 c CG unit cores 0
3600.05/3610.01 c CG single cores 82
3600.05/3610.01 c CG blocks removed during cardinality reduction 0
3600.05/3610.01 c CG first core best 0
3600.05/3610.01 c CG decision core best 0
3600.05/3610.01 c CG core reduction tie 0
3600.05/3610.01 c CG core degree average 1.00
3600.05/3610.01 c CG core slack average 2.78
3600.05/3610.01 c CG exhausted 0
3600.05/3610.01 c CG exhaust time 0 s
3600.05/3610.01 c CG trimmed 1
3600.05/3610.01 c CG trim time 0.000387 s
3600.05/3610.01 c CG minimized 0
3600.05/3610.01 c CG minimize time 0 s
3600.05/3610.01 c CG am1 prop time 0.000396 s
3600.05/3610.01 c CG # am1s reformulated 45
3600.05/3610.01 c CG lower bound derived from am1s 45
3600.05/3610.01 c CG # clausal cores 21
3600.05/3610.01 c CG # cardinality cores 0
3600.05/3610.01 c CG # pb cores 61
3600.05/3610.01 c CG # pb reforms 0
3600.05/3610.01 c CG # cores discarded because of pb reform 0
3600.05/3610.01 d LOWERBOUND 127
3600.05/3610.01 d NCORES 82
3600.05/3610.01 d NPBCORES 61
3600.05/3610.01 d NPBREFORM 0
3600.05/3610.01 d NTRIMMED 1
3600.05/3610.01 d NEXHAUSTED 0
3600.05/3610.01 d NAM1S 45
3600.05/3610.01 d AM1LB 45
3600.05/3610.01 c [Papilo Statistics]
3600.05/3610.01 c prepro time 0.00422643s
3600.05/3610.01 c # tsx applied 20
3600.05/3610.01 c # tsx conflicts 0
3600.05/3610.01 c # bound changes 0
3600.05/3610.01 c # side changes 0
3600.05/3610.01 c # coef changes 47
3600.05/3610.01 c # rounds 3
3600.05/3610.01 c # deted vars 0
3600.05/3610.01 c # deted constrs 0
3600.05/3610.01 c # consecutive rounds of only bound changes 0
3600.05/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 (62886 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-4528911-1752256569/watcher-4528911-1752256569 -o /tmp/evaluation-result-4528911-1752256569/solver-4528911-1752256569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752256569-112134 --watchdog 3760 mixed-bag HOME/instance-4528911-1752256569.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=112189, runsolver pid=112177
[startup+0.100084 s]*
/proc/loadavg: 3.84 4.07 4.07 6/253 112194
/proc/meminfo: memFree=127487664/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=98368 memory=25652 CPUtime=0.09 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 2839 0 0 0 7 2 0 0 20 0 1 0 141336259 100728832 6413 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 24592 6413 4096 2834 0 6797 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98368 KiB
Current children cumulated memory: 25652 KiB
[startup+0.213364 s]*
/proc/loadavg: 3.93 4.09 4.08 6/253 112194
/proc/meminfo: memFree=127478528/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=99328 memory=26932 CPUtime=0.2 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 3066 0 0 0 18 2 0 0 20 0 1 0 141336259 101711872 6733 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 24832 6733 4192 2834 0 7037 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99328 KiB
Current children cumulated memory: 26932 KiB
[startup+0.312947 s]*
/proc/loadavg: 3.93 4.09 4.08 6/253 112194
/proc/meminfo: memFree=127478528/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=99500 memory=27060 CPUtime=0.3 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 3096 0 0 0 28 2 0 0 20 0 1 0 141336259 101888000 6765 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 24875 6765 4192 2834 0 7080 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 99500 KiB
Current children cumulated memory: 27060 KiB
[startup+0.700224 s]
/proc/loadavg: 3.93 4.09 4.08 6/253 112194
/proc/meminfo: memFree=127478528/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=99500 memory=27060 CPUtime=0.67 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 3108 0 0 0 65 2 0 0 20 0 1 0 141336259 101888000 6765 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 24875 6765 4192 2834 0 7080 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 99500 KiB
Current children cumulated memory: 27060 KiB
[startup+1.50029 s]
/proc/loadavg: 3.93 4.09 4.08 6/253 112194
/proc/meminfo: memFree=127478528/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=115852 memory=43316 CPUtime=1.47 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 7171 0 0 0 144 3 0 0 20 0 1 0 141336259 118632448 10829 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 28963 10829 4224 2834 0 11168 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 115852 KiB
Current children cumulated memory: 43316 KiB
[startup+3.11235 s]
/proc/loadavg: 3.93 4.09 4.08 6/253 112194
/proc/meminfo: memFree=126972760/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=225208 memory=149656 CPUtime=3.08 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 35275 0 0 0 300 8 0 0 20 0 1 0 141336259 230612992 37414 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 56302 37414 4224 2834 0 38507 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 225208 KiB
Current children cumulated memory: 149656 KiB
[startup+6.30021 s]
/proc/loadavg: 3.94 4.09 4.08 6/253 112194
/proc/meminfo: memFree=126949000/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=229428 memory=152472 CPUtime=6.26 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 35986 0 0 0 618 8 0 0 20 0 1 0 141336259 234934272 38118 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 57357 38118 4224 2834 0 39562 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 229428 KiB
Current children cumulated memory: 152472 KiB
[startup+12.7002 s]
/proc/loadavg: 3.94 4.09 4.08 6/253 112194
/proc/meminfo: memFree=126949008/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=232836 memory=157080 CPUtime=12.64 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 37124 0 0 0 1256 8 0 0 20 0 1 0 141336259 238424064 39270 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 58209 39270 4224 2834 0 40414 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 232836 KiB
Current children cumulated memory: 157080 KiB
[startup+25.5003 s]
/proc/loadavg: 3.95 4.08 4.08 6/252 112194
/proc/meminfo: memFree=126755480/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=292140 memory=214528 CPUtime=25.4 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 52814 0 0 0 2529 11 0 0 20 0 1 0 141336259 299151360 53632 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 73035 53632 4224 2834 0 55240 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 292140 KiB
Current children cumulated memory: 214528 KiB
[startup+51.1128 s]
/proc/loadavg: 4.03 4.09 4.08 6/253 112196
/proc/meminfo: memFree=126727824/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=298876 memory=220420 CPUtime=50.94 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 54715 0 0 0 5083 11 0 0 20 0 1 0 141336259 306049024 55105 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 74719 55105 4224 2834 0 56924 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 298876 KiB
Current children cumulated memory: 220420 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.08 6/254 112203
/proc/meminfo: memFree=126380000/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=390124 memory=312408 CPUtime=101.99 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 78264 0 0 0 10183 16 0 0 20 0 1 0 141336259 399486976 78102 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 97531 78102 4224 2834 0 79736 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 390124 KiB
Current children cumulated memory: 312408 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.08 6/254 112205
/proc/meminfo: memFree=126338368/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=390124 memory=312408 CPUtime=161.81 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 78277 0 0 0 16165 16 0 0 20 0 1 0 141336259 399486976 78102 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 97531 78102 4224 2834 0 79736 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 390124 KiB
Current children cumulated memory: 312408 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.11 4.09 6/256 112210
/proc/meminfo: memFree=126344672/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=390124 memory=312408 CPUtime=221.64 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 78281 0 0 0 22148 16 0 0 20 0 1 0 141336259 399486976 78102 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 97531 78102 4224 2834 0 79736 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 390124 KiB
Current children cumulated memory: 312408 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/256 112211
/proc/meminfo: memFree=126338264/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=390124 memory=312408 CPUtime=281.47 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 78282 0 0 0 28131 16 0 0 20 0 1 0 141336259 399486976 78102 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 97531 78102 4224 2834 0 79736 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 390124 KiB
Current children cumulated memory: 312408 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/254 112224
/proc/meminfo: memFree=126541256/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=300680 memory=227132 CPUtime=341.27 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 80602 0 0 0 34054 73 0 0 20 0 1 0 141336259 307896320 56783 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 75170 56783 4448 2834 0 57375 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 300680 KiB
Current children cumulated memory: 227132 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/253 112226
/proc/meminfo: memFree=126542764/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=319648 memory=235328 CPUtime=401.07 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 80886 0 0 0 39981 126 0 0 20 0 1 0 141336259 327319552 58832 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 79912 58832 4448 2834 0 62117 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 319648 KiB
Current children cumulated memory: 235328 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/253 112229
/proc/meminfo: memFree=126496800/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=319648 memory=245340 CPUtime=460.88 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 81070 0 0 0 45929 159 0 0 20 0 1 0 141336259 327319552 61335 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 79912 61335 4448 2834 0 62117 0
Current children cumulated CPU time: 460.88 s
################
# More data... #
################
Current children cumulated memory: 284252 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/251 112345
/proc/meminfo: memFree=126340020/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=350468 memory=284252 CPUtime=2854.37 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 82130 0 0 0 284722 715 0 0 20 0 1 0 141336259 358879232 71063 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 87617 71063 4448 2834 0 69822 0
Current children cumulated CPU time: 2854.37 s
Current children cumulated vsize: 350468 KiB
Current children cumulated memory: 284252 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.11 4.09 6/251 112347
/proc/meminfo: memFree=126331980/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=350468 memory=284252 CPUtime=2914.21 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 82138 0 0 0 290693 728 0 0 20 0 1 0 141336259 358879232 71063 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 87617 71063 4448 2834 0 69822 0
Current children cumulated CPU time: 2914.21 s
Current children cumulated vsize: 350468 KiB
Current children cumulated memory: 284252 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/251 112349
/proc/meminfo: memFree=126331168/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=350468 memory=284252 CPUtime=2974.04 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 82142 0 0 0 296665 739 0 0 20 0 1 0 141336259 358879232 71063 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 87617 71063 4448 2834 0 69822 0
Current children cumulated CPU time: 2974.04 s
Current children cumulated vsize: 350468 KiB
Current children cumulated memory: 284252 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.10 6/249 112353
/proc/meminfo: memFree=126331596/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=350468 memory=284252 CPUtime=3033.88 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 82142 0 0 0 302635 753 0 0 20 0 1 0 141336259 358879232 71063 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 87617 71063 4448 2834 0 69822 0
Current children cumulated CPU time: 3033.88 s
Current children cumulated vsize: 350468 KiB
Current children cumulated memory: 284252 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.10 6/251 112361
/proc/meminfo: memFree=126336532/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=350468 memory=284252 CPUtime=3093.72 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 82143 0 0 0 308608 764 0 0 20 0 1 0 141336259 358879232 71063 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 87617 71063 4448 2834 0 69822 0
Current children cumulated CPU time: 3093.72 s
Current children cumulated vsize: 350468 KiB
Current children cumulated memory: 284252 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/251 112363
/proc/meminfo: memFree=126335920/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=350468 memory=284252 CPUtime=3153.56 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 82143 0 0 0 314579 777 0 0 20 0 1 0 141336259 358879232 71063 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 87617 71063 4448 2834 0 69822 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 350468 KiB
Current children cumulated memory: 284252 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 6/251 112365
/proc/meminfo: memFree=126327544/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=350468 memory=284252 CPUtime=3213.4 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 82143 0 0 0 320550 790 0 0 20 0 1 0 141336259 358879232 71063 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 87617 71063 4448 2834 0 69822 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 350468 KiB
Current children cumulated memory: 284252 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/251 112367
/proc/meminfo: memFree=126322248/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=350468 memory=286300 CPUtime=3273.24 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 82145 0 0 0 326524 800 0 0 20 0 1 0 141336259 358879232 71575 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 87617 71575 4448 2834 0 69822 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 350468 KiB
Current children cumulated memory: 286300 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/251 112369
/proc/meminfo: memFree=126322400/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=350468 memory=286300 CPUtime=3333.08 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 82145 0 0 0 332493 815 0 0 20 0 1 0 141336259 358879232 71575 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 87617 71575 4448 2834 0 69822 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 350468 KiB
Current children cumulated memory: 286300 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/249 112371
/proc/meminfo: memFree=126321968/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=350468 memory=286300 CPUtime=3392.92 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 82145 0 0 0 338467 825 0 0 20 0 1 0 141336259 358879232 71575 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 87617 71575 4448 2834 0 69822 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 350468 KiB
Current children cumulated memory: 286300 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.10 6/250 112374
/proc/meminfo: memFree=126317624/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=350468 memory=288348 CPUtime=3452.75 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 82146 0 0 0 344440 835 0 0 20 0 1 0 141336259 358879232 72087 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 87617 72087 4448 2834 0 69822 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 350468 KiB
Current children cumulated memory: 288348 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.15 4.10 6/250 112376
/proc/meminfo: memFree=126312732/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=350468 memory=288348 CPUtime=3512.59 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 82146 0 0 0 350411 848 0 0 20 0 1 0 141336259 358879232 72087 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 87617 72087 4448 2834 0 69822 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 350468 KiB
Current children cumulated memory: 288348 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.10 6/250 112378
/proc/meminfo: memFree=126311580/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=350468 memory=288348 CPUtime=3572.42 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 82146 0 0 0 356382 860 0 0 20 0 1 0 141336259 358879232 72087 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 87617 72087 4448 2834 0 69822 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 350468 KiB
Current children cumulated memory: 288348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.10 4.12 4.09 6/251 112383
/proc/meminfo: memFree=126312424/131382120 swapFree=33010416/33010684
[pid=112189] ppid=112177 vsize=350468 memory=288348 CPUtime=3600.05 cores=0,2
/proc/112189/stat : 112189 (mixed-bag) R 112177 112189 112124 0 -1 4194304 82146 0 0 0 359141 864 0 0 20 0 1 0 141336259 358879232 72087 18446744073709551615 4235264 15840557 140732848789968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 24154112 140732848794010 140732848794087 140732848794087 140732848799691 0
/proc/112189/statm: 87617 72087 4448 2834 0 69822 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 350468 KiB
Current children cumulated memory: 288348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 112189 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.42 s, system=8.65038 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.07
CPU user time (s): 3591.42
CPU system time (s): 8.65038
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 391148
Max. memory (cumulated for all children) (KiB): 313328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.42
system time used= 8.65038
maximum resident set size= 313328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82175
page faults= 1
swaps= 0
block input operations= 152
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 174
involuntary context switches= 9037
# summary of solver processes directly reported to runsolver:
# pid: 112189
# total CPU time (s): 3600.07
# total CPU user time (s): 3591.42
# total CPU system time (s): 8.65038
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2591 second user time and 34.3174 second system time
The end
Begin job on nodeC006 at 2025-07-11 19:56:09
IDJOB=4528911
IDBENCH=147544
IDSOLVER=3386
FILE ID=nodeC006/4528911-1752256569
RUNJOBID= nodeC006-1752256569-112134
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_14.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528911-1752256569/watcher-4528911-1752256569 -o /tmp/evaluation-result-4528911-1752256569/solver-4528911-1752256569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752256569-112134 --watchdog 3760 mixed-bag HOME/instance-4528911-1752256569.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c9dbdd12375057f4b915bf781d219fad
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