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.27/300.13 c [STEP] preprocessing done, loading into solver
299.27/300.13 c [STEP] solving
299.27/300.13 c #variables 469 #constraints 468
299.27/300.13 c SMALL=int, LARGE=long long
299.27/300.13 d SCIPUB 188
299.27/300.13 c bounds - >= 0 @ 299.128
299.27/300.13 c stratification level: 0
316.41/317.40 c bounds - >= 46 @ 299.13
316.41/317.40 c bounds - >= 47 @ 299.13
316.41/317.40 c bounds - >= 48 @ 299.13
316.41/317.40 c bounds - >= 49 @ 299.13
316.41/317.40 c bounds - >= 50 @ 299.13
316.41/317.40 c bounds - >= 51 @ 299.13
316.41/317.40 c bounds - >= 52 @ 299.13
316.41/317.40 c bounds - >= 53 @ 299.131
316.41/317.40 c bounds - >= 54 @ 299.131
316.41/317.40 c bounds - >= 55 @ 299.131
316.41/317.40 c bounds - >= 56 @ 299.131
316.41/317.40 c bounds - >= 57 @ 299.131
316.41/317.40 c bounds - >= 58 @ 299.131
316.41/317.40 c bounds - >= 59 @ 299.131
316.41/317.40 c bounds - >= 60 @ 299.131
316.41/317.40 c bounds - >= 61 @ 299.131
316.41/317.40 c bounds - >= 62 @ 299.131
316.41/317.40 c bounds - >= 63 @ 299.132
316.41/317.40 c bounds - >= 64 @ 299.132
316.41/317.40 c bounds - >= 65 @ 299.132
316.41/317.40 c bounds - >= 66 @ 299.132
316.41/317.40 c bounds - >= 67 @ 299.132
316.41/317.40 c bounds - >= 68 @ 299.132
316.41/317.40 c bounds - >= 69 @ 299.132
316.41/317.40 c bounds - >= 70 @ 299.132
316.41/317.40 c bounds - >= 71 @ 299.132
316.41/317.40 c bounds - >= 72 @ 299.132
316.41/317.40 c bounds - >= 73 @ 299.132
316.41/317.40 c bounds - >= 74 @ 299.132
316.41/317.40 c bounds - >= 75 @ 299.132
316.41/317.40 c bounds - >= 76 @ 299.132
316.41/317.40 c bounds - >= 77 @ 299.132
316.41/317.40 c bounds - >= 78 @ 299.132
316.41/317.40 c bounds - >= 79 @ 299.132
316.41/317.40 c bounds - >= 80 @ 299.132
316.41/317.40 c bounds - >= 81 @ 299.132
316.41/317.40 c bounds - >= 82 @ 299.132
316.41/317.40 c bounds - >= 83 @ 299.132
316.41/317.40 c bounds - >= 84 @ 299.132
316.41/317.40 c bounds - >= 85 @ 299.132
316.41/317.40 c bounds - >= 86 @ 299.132
316.41/317.40 c bounds - >= 87 @ 299.132
316.41/317.40 c bounds - >= 88 @ 299.132
316.41/317.40 c bounds - >= 89 @ 299.132
316.41/317.40 c bounds - >= 90 @ 299.133
316.41/317.40 c bounds - >= 91 @ 299.133
316.41/317.40 c bounds - >= 92 @ 299.133
316.41/317.40 c bounds - >= 93 @ 299.133
316.41/317.40 c bounds - >= 94 @ 299.133
316.41/317.40 c bounds - >= 95 @ 299.133
316.41/317.40 c bounds - >= 96 @ 299.133
316.41/317.40 c bounds - >= 97 @ 299.133
316.41/317.40 c bounds - >= 98 @ 299.134
316.41/317.40 c bounds - >= 99 @ 299.134
316.41/317.40 c bounds - >= 100 @ 299.134
316.41/317.40 c bounds - >= 101 @ 299.134
316.41/317.40 c bounds - >= 102 @ 299.134
316.41/317.40 c bounds - >= 103 @ 299.134
316.41/317.40 c bounds - >= 104 @ 299.134
316.41/317.40 c bounds - >= 105 @ 299.135
316.41/317.40 c bounds - >= 106 @ 299.135
316.41/317.40 c bounds - >= 107 @ 299.135
316.41/317.40 c bounds - >= 108 @ 299.135
316.41/317.40 c bounds - >= 109 @ 299.135
316.41/317.40 c bounds - >= 110 @ 299.135
316.41/317.40 c bounds - >= 111 @ 299.135
316.41/317.40 c bounds - >= 112 @ 299.135
316.41/317.40 c bounds - >= 113 @ 299.135
316.41/317.40 c bounds - >= 114 @ 299.135
316.41/317.40 c bounds - >= 115 @ 299.135
316.41/317.40 c bounds - >= 116 @ 299.135
316.41/317.40 c bounds - >= 117 @ 299.136
316.41/317.40 c bounds - >= 118 @ 299.136
316.41/317.40 c bounds - >= 119 @ 299.136
316.41/317.40 c bounds - >= 120 @ 299.136
316.41/317.40 c bounds - >= 121 @ 299.136
316.41/317.40 c bounds - >= 122 @ 299.136
316.41/317.40 c bounds - >= 123 @ 299.136
316.41/317.40 c bounds - >= 124 @ 299.136
316.41/317.40 c bounds - >= 125 @ 299.137
316.41/317.40 c bounds - >= 126 @ 299.137
316.41/317.40 c bounds - >= 127 @ 299.137
316.41/317.40 c #Conflicts: 1000 | #Constraints: 1608
316.41/317.40 c #Conflicts: 2000 | #Constraints: 2608
316.41/317.40 c INPROCESSING
316.41/317.40 c GARBAGE COLLECT
316.41/317.40 c #Conflicts: 3000 | #Constraints: 2529
316.41/317.40 c #Conflicts: 4000 | #Constraints: 3529
316.41/317.40 c INPROCESSING
316.41/317.40 c GARBAGE COLLECT
316.41/317.40 c #Conflicts: 5000 | #Constraints: 2928
316.41/317.40 c #Conflicts: 6000 | #Constraints: 3928
316.41/317.40 c INPROCESSING
316.41/317.40 c GARBAGE COLLECT
316.41/317.40 c #Conflicts: 7000 | #Constraints: 2929
316.41/317.40 c #Conflicts: 8000 | #Constraints: 3929
316.41/317.40 c #Conflicts: 9000 | #Constraints: 4929
316.41/317.40 c INPROCESSING
316.41/317.40 c GARBAGE COLLECT
316.41/317.40 c #Conflicts: 10000 | #Constraints: 3629
316.41/317.40 c #Conflicts: 11000 | #Constraints: 4629
316.41/317.40 c #Conflicts: 12000 | #Constraints: 5629
316.41/317.40 c INPROCESSING
316.41/317.40 c GARBAGE COLLECT
316.41/317.40 c #Conflicts: 13000 | #Constraints: 4079
316.41/317.40 c #Conflicts: 14000 | #Constraints: 5079
316.41/317.40 c #Conflicts: 15000 | #Constraints: 6079
316.41/317.40 c INPROCESSING
316.41/317.40 c GARBAGE COLLECT
316.41/317.40 c #Conflicts: 16000 | #Constraints: 4304
316.41/317.40 c #Conflicts: 17000 | #Constraints: 5304
316.41/317.40 c #Conflicts: 18000 | #Constraints: 6304
316.41/317.40 c INPROCESSING
316.41/317.40 c GARBAGE COLLECT
316.41/317.40 c #Conflicts: 19000 | #Constraints: 4324
316.41/317.40 c #Conflicts: 20000 | #Constraints: 5324
316.41/317.40 c #Conflicts: 21000 | #Constraints: 6324
316.41/317.40 c INPROCESSING
316.41/317.40 c GARBAGE COLLECT
316.41/317.40 c #Conflicts: 22000 | #Constraints: 4127
316.41/317.40 c #Conflicts: 23000 | #Constraints: 5127
316.41/317.40 c #Conflicts: 24000 | #Constraints: 6127
316.41/317.40 c #Conflicts: 25000 | #Constraints: 7127
316.41/317.40 c INPROCESSING
316.41/317.40 c GARBAGE COLLECT
316.41/317.40 c #Conflicts: 26000 | #Constraints: 4731
316.41/317.40 c #Conflicts: 27000 | #Constraints: 5731
316.41/317.40 c #Conflicts: 28000 | #Constraints: 6731
316.41/317.40 c #Conflicts: 29000 | #Constraints: 7731
316.41/317.40 c INPROCESSING
316.41/317.40 c GARBAGE COLLECT
316.41/317.40 c #Conflicts: 30000 | #Constraints: 5132
419.09/420.31 c #Conflicts: 31000 | #Constraints: 6132
419.09/420.31 c #Conflicts: 32000 | #Constraints: 7132
419.09/420.31 c #Conflicts: 33000 | #Constraints: 8132
419.09/420.31 c INPROCESSING
419.09/420.31 c GARBAGE COLLECT
419.09/420.31 c #Conflicts: 34000 | #Constraints: 5329
419.09/420.31 c #Conflicts: 35000 | #Constraints: 6329
419.09/420.31 c #Conflicts: 36000 | #Constraints: 7329
419.09/420.31 c #Conflicts: 37000 | #Constraints: 8329
419.09/420.31 c INPROCESSING
419.09/420.31 c GARBAGE COLLECT
419.09/420.31 c #Conflicts: 38000 | #Constraints: 5331
419.09/420.31 c #Conflicts: 39000 | #Constraints: 6331
419.09/420.31 c #Conflicts: 40000 | #Constraints: 7331
419.09/420.31 c #Conflicts: 41000 | #Constraints: 8331
419.09/420.31 c INPROCESSING
419.09/420.31 c GARBAGE COLLECT
419.09/420.31 c #Conflicts: 42000 | #Constraints: 5131
419.09/420.31 c #Conflicts: 43000 | #Constraints: 6131
419.09/420.31 c #Conflicts: 44000 | #Constraints: 7131
419.09/420.31 c #Conflicts: 45000 | #Constraints: 8131
419.09/420.31 c #Conflicts: 46000 | #Constraints: 9131
419.09/420.31 c INPROCESSING
419.09/420.31 c GARBAGE COLLECT
419.09/420.31 c #Conflicts: 47000 | #Constraints: 5731
419.09/420.31 c #Conflicts: 48000 | #Constraints: 6731
419.09/420.31 c #Conflicts: 49000 | #Constraints: 7731
419.09/420.31 c #Conflicts: 50000 | #Constraints: 8731
419.09/420.31 c #Conflicts: 51000 | #Constraints: 9731
419.09/420.31 c INPROCESSING
419.09/420.31 c GARBAGE COLLECT
419.09/420.31 c #Conflicts: 52000 | #Constraints: 6127
419.09/420.31 c #Conflicts: 53000 | #Constraints: 7127
419.09/420.31 c #Conflicts: 54000 | #Constraints: 8127
419.09/420.31 c #Conflicts: 55000 | #Constraints: 9127
419.09/420.31 c #Conflicts: 56000 | #Constraints: 10127
419.09/420.31 c INPROCESSING
419.09/420.31 c GARBAGE COLLECT
419.09/420.31 c #Conflicts: 57000 | #Constraints: 6329
419.09/420.31 c #Conflicts: 58000 | #Constraints: 7329
419.09/420.31 c #Conflicts: 59000 | #Constraints: 8329
419.09/420.31 c #Conflicts: 60000 | #Constraints: 9329
419.09/420.31 c #Conflicts: 61000 | #Constraints: 10329
419.09/420.31 c INPROCESSING
419.09/420.31 c GARBAGE COLLECT
419.09/420.31 c #Conflicts: 62000 | #Constraints: 6331
419.09/420.31 c #Conflicts: 63000 | #Constraints: 7331
419.09/420.31 c #Conflicts: 64000 | #Constraints: 8331
419.09/420.31 c #Conflicts: 65000 | #Constraints: 9331
419.09/420.31 c #Conflicts: 66000 | #Constraints: 10331
419.09/420.31 c INPROCESSING
419.09/420.31 c GARBAGE COLLECT
419.09/420.31 c #Conflicts: 67000 | #Constraints: 6127
419.09/420.31 c #Conflicts: 68000 | #Constraints: 7127
419.09/420.31 c #Conflicts: 69000 | #Constraints: 8127
419.09/420.31 c #Conflicts: 70000 | #Constraints: 9127
419.09/420.31 c #Conflicts: 71000 | #Constraints: 10127
419.09/420.31 c #Conflicts: 72000 | #Constraints: 11127
419.09/420.31 c INPROCESSING
419.09/420.31 c GARBAGE COLLECT
419.09/420.31 c #Conflicts: 73000 | #Constraints: 6729
419.09/420.31 c #Conflicts: 74000 | #Constraints: 7729
419.09/420.31 c #Conflicts: 75000 | #Constraints: 8729
419.09/420.31 c #Conflicts: 76000 | #Constraints: 9729
419.09/420.31 c #Conflicts: 77000 | #Constraints: 10729
419.09/420.31 c #Conflicts: 78000 | #Constraints: 11729
419.09/420.31 c INPROCESSING
419.09/420.31 c GARBAGE COLLECT
419.09/420.31 c #Conflicts: 79000 | #Constraints: 7130
419.09/420.31 c #Conflicts: 80000 | #Constraints: 8130
419.09/420.31 c #Conflicts: 81000 | #Constraints: 9130
419.09/420.31 c #Conflicts: 82000 | #Constraints: 10130
419.09/420.31 c #Conflicts: 83000 | #Constraints: 11130
419.09/420.31 c #Conflicts: 84000 | #Constraints: 12130
419.09/420.31 c INPROCESSING
419.09/420.31 c GARBAGE COLLECT
419.09/420.31 c #Conflicts: 85000 | #Constraints: 7337
419.09/420.31 c #Conflicts: 86000 | #Constraints: 8337
419.09/420.31 c #Conflicts: 87000 | #Constraints: 9337
419.09/420.31 c #Conflicts: 88000 | #Constraints: 10337
419.09/420.31 c #Conflicts: 89000 | #Constraints: 11337
419.09/420.31 c #Conflicts: 90000 | #Constraints: 12337
419.09/420.31 c INPROCESSING
419.09/420.31 c GARBAGE COLLECT
419.09/420.31 c #Conflicts: 91000 | #Constraints: 7335
419.09/420.31 c #Conflicts: 92000 | #Constraints: 8335
419.09/420.31 c #Conflicts: 93000 | #Constraints: 9335
419.09/420.31 c #Conflicts: 94000 | #Constraints: 10335
419.09/420.31 c #Conflicts: 95000 | #Constraints: 11335
419.09/420.31 c #Conflicts: 96000 | #Constraints: 12335
419.09/420.31 c INPROCESSING
419.09/420.31 c GARBAGE COLLECT
419.09/420.31 c #Conflicts: 97000 | #Constraints: 7135
419.09/420.31 c #Conflicts: 98000 | #Constraints: 8135
419.09/420.31 c #Conflicts: 99000 | #Constraints: 9135
419.09/420.31 c #Conflicts: 100000 | #Constraints: 10135
553.36/555.04 c #Conflicts: 101000 | #Constraints: 11135
553.36/555.04 c #Conflicts: 102000 | #Constraints: 12135
553.36/555.04 c #Conflicts: 103000 | #Constraints: 13135
553.36/555.04 c INPROCESSING
553.36/555.04 c GARBAGE COLLECT
553.36/555.04 c #Conflicts: 104000 | #Constraints: 7731
553.36/555.04 c #Conflicts: 105000 | #Constraints: 8731
553.36/555.04 c #Conflicts: 106000 | #Constraints: 9731
553.36/555.04 c #Conflicts: 107000 | #Constraints: 10731
553.36/555.04 c #Conflicts: 108000 | #Constraints: 11731
553.36/555.04 c #Conflicts: 109000 | #Constraints: 12731
553.36/555.04 c #Conflicts: 110000 | #Constraints: 13731
553.36/555.04 c INPROCESSING
553.36/555.04 c GARBAGE COLLECT
553.36/555.04 c #Conflicts: 111000 | #Constraints: 8133
553.36/555.04 c #Conflicts: 112000 | #Constraints: 9133
553.36/555.04 c #Conflicts: 113000 | #Constraints: 10133
553.36/555.04 c #Conflicts: 114000 | #Constraints: 11133
553.36/555.04 c #Conflicts: 115000 | #Constraints: 12133
553.36/555.04 c #Conflicts: 116000 | #Constraints: 13133
553.36/555.04 c #Conflicts: 117000 | #Constraints: 14133
553.36/555.04 c INPROCESSING
553.36/555.04 c GARBAGE COLLECT
553.36/555.04 c #Conflicts: 118000 | #Constraints: 8329
553.36/555.04 c #Conflicts: 119000 | #Constraints: 9329
553.36/555.04 c #Conflicts: 120000 | #Constraints: 10329
553.36/555.04 c #Conflicts: 121000 | #Constraints: 11329
553.36/555.04 c #Conflicts: 122000 | #Constraints: 12329
553.36/555.04 c #Conflicts: 123000 | #Constraints: 13329
553.36/555.04 c #Conflicts: 124000 | #Constraints: 14329
553.36/555.04 c INPROCESSING
553.36/555.04 c GARBAGE COLLECT
553.36/555.04 c #Conflicts: 125000 | #Constraints: 8331
553.36/555.04 c #Conflicts: 126000 | #Constraints: 9331
553.36/555.04 c #Conflicts: 127000 | #Constraints: 10331
553.36/555.04 c #Conflicts: 128000 | #Constraints: 11331
553.36/555.04 c #Conflicts: 129000 | #Constraints: 12331
553.36/555.04 c #Conflicts: 130000 | #Constraints: 13331
553.36/555.04 c #Conflicts: 131000 | #Constraints: 14331
553.36/555.04 c INPROCESSING
553.36/555.04 c GARBAGE COLLECT
553.36/555.04 c #Conflicts: 132000 | #Constraints: 8130
553.36/555.04 c #Conflicts: 133000 | #Constraints: 9130
553.36/555.04 c #Conflicts: 134000 | #Constraints: 10130
553.36/555.04 c #Conflicts: 135000 | #Constraints: 11130
553.36/555.04 c #Conflicts: 136000 | #Constraints: 12130
553.36/555.04 c #Conflicts: 137000 | #Constraints: 13130
553.36/555.04 c #Conflicts: 138000 | #Constraints: 14130
553.36/555.04 c #Conflicts: 139000 | #Constraints: 15130
553.36/555.04 c INPROCESSING
553.36/555.04 c GARBAGE COLLECT
553.36/555.04 c #Conflicts: 140000 | #Constraints: 8730
553.36/555.04 c #Conflicts: 141000 | #Constraints: 9730
553.36/555.04 c #Conflicts: 142000 | #Constraints: 10730
553.36/555.04 c #Conflicts: 143000 | #Constraints: 11730
553.36/555.04 c #Conflicts: 144000 | #Constraints: 12730
553.36/555.04 c #Conflicts: 145000 | #Constraints: 13730
553.36/555.04 c #Conflicts: 146000 | #Constraints: 14730
553.36/555.04 c #Conflicts: 147000 | #Constraints: 15730
553.36/555.04 c INPROCESSING
553.36/555.04 c GARBAGE COLLECT
553.36/555.04 c #Conflicts: 148000 | #Constraints: 9130
553.36/555.04 c #Conflicts: 149000 | #Constraints: 10130
553.36/555.04 c #Conflicts: 150000 | #Constraints: 11130
553.36/555.04 c #Conflicts: 151000 | #Constraints: 12130
553.36/555.04 c #Conflicts: 152000 | #Constraints: 13130
553.36/555.04 c #Conflicts: 153000 | #Constraints: 14130
553.36/555.04 c #Conflicts: 154000 | #Constraints: 15130
553.36/555.04 c #Conflicts: 155000 | #Constraints: 16130
553.36/555.04 c INPROCESSING
553.36/555.04 c GARBAGE COLLECT
553.36/555.04 c #Conflicts: 156000 | #Constraints: 9336
553.36/555.04 c #Conflicts: 157000 | #Constraints: 10336
553.36/555.04 c #Conflicts: 158000 | #Constraints: 11336
553.36/555.04 c #Conflicts: 159000 | #Constraints: 12336
553.36/555.04 c #Conflicts: 160000 | #Constraints: 13336
553.36/555.04 c #Conflicts: 161000 | #Constraints: 14336
553.36/555.04 c #Conflicts: 162000 | #Constraints: 15336
553.36/555.04 c #Conflicts: 163000 | #Constraints: 16336
553.36/555.04 c INPROCESSING
553.36/555.04 c GARBAGE COLLECT
553.36/555.04 c #Conflicts: 164000 | #Constraints: 9333
553.36/555.04 c #Conflicts: 165000 | #Constraints: 10333
553.36/555.04 c #Conflicts: 166000 | #Constraints: 11333
553.36/555.04 c #Conflicts: 167000 | #Constraints: 12333
553.36/555.04 c #Conflicts: 168000 | #Constraints: 13333
553.36/555.04 c #Conflicts: 169000 | #Constraints: 14333
553.36/555.04 c #Conflicts: 170000 | #Constraints: 15333
553.36/555.04 c #Conflicts: 171000 | #Constraints: 16333
553.36/555.04 c INPROCESSING
553.36/555.04 c GARBAGE COLLECT
553.36/555.04 c #Conflicts: 172000 | #Constraints: 9133
553.36/555.04 c #Conflicts: 173000 | #Constraints: 10133
756.18/758.58 c #Conflicts: 174000 | #Constraints: 11133
756.18/758.58 c #Conflicts: 175000 | #Constraints: 12133
756.18/758.58 c #Conflicts: 176000 | #Constraints: 13133
756.18/758.58 c #Conflicts: 177000 | #Constraints: 14133
756.18/758.58 c #Conflicts: 178000 | #Constraints: 15133
756.18/758.58 c #Conflicts: 179000 | #Constraints: 16133
756.18/758.58 c #Conflicts: 180000 | #Constraints: 17133
756.18/758.58 c INPROCESSING
756.18/758.58 c GARBAGE COLLECT
756.18/758.58 c #Conflicts: 181000 | #Constraints: 9729
756.18/758.58 c #Conflicts: 182000 | #Constraints: 10729
756.18/758.58 c #Conflicts: 183000 | #Constraints: 11729
756.18/758.58 c #Conflicts: 184000 | #Constraints: 12729
756.18/758.58 c #Conflicts: 185000 | #Constraints: 13729
756.18/758.58 c #Conflicts: 186000 | #Constraints: 14729
756.18/758.58 c #Conflicts: 187000 | #Constraints: 15729
756.18/758.58 c #Conflicts: 188000 | #Constraints: 16729
756.18/758.58 c #Conflicts: 189000 | #Constraints: 17729
756.18/758.58 c INPROCESSING
756.18/758.58 c GARBAGE COLLECT
756.18/758.58 c #Conflicts: 190000 | #Constraints: 10137
756.18/758.58 c #Conflicts: 191000 | #Constraints: 11137
756.18/758.58 c #Conflicts: 192000 | #Constraints: 12137
756.18/758.58 c #Conflicts: 193000 | #Constraints: 13137
756.18/758.58 c #Conflicts: 194000 | #Constraints: 14137
756.18/758.58 c #Conflicts: 195000 | #Constraints: 15137
756.18/758.58 c #Conflicts: 196000 | #Constraints: 16137
756.18/758.58 c #Conflicts: 197000 | #Constraints: 17137
756.18/758.58 c #Conflicts: 198000 | #Constraints: 18137
756.18/758.58 c INPROCESSING
756.18/758.58 c GARBAGE COLLECT
756.18/758.58 c #Conflicts: 199000 | #Constraints: 10344
756.18/758.58 c #Conflicts: 200000 | #Constraints: 11344
756.18/758.58 c #Conflicts: 201000 | #Constraints: 12344
756.18/758.58 c #Conflicts: 202000 | #Constraints: 13344
756.18/758.58 c #Conflicts: 203000 | #Constraints: 14344
756.18/758.58 c #Conflicts: 204000 | #Constraints: 15344
756.18/758.58 c #Conflicts: 205000 | #Constraints: 16344
756.18/758.58 c #Conflicts: 206000 | #Constraints: 17344
756.18/758.58 c #Conflicts: 207000 | #Constraints: 18344
756.18/758.58 c INPROCESSING
756.18/758.58 c GARBAGE COLLECT
756.18/758.58 c #Conflicts: 208000 | #Constraints: 10339
756.18/758.58 c #Conflicts: 209000 | #Constraints: 11339
756.18/758.58 c #Conflicts: 210000 | #Constraints: 12339
756.18/758.58 c #Conflicts: 211000 | #Constraints: 13339
756.18/758.58 c #Conflicts: 212000 | #Constraints: 14339
756.18/758.58 c #Conflicts: 213000 | #Constraints: 15339
756.18/758.58 c #Conflicts: 214000 | #Constraints: 16339
756.18/758.58 c #Conflicts: 215000 | #Constraints: 17339
756.18/758.58 c #Conflicts: 216000 | #Constraints: 18339
756.18/758.58 c INPROCESSING
756.18/758.58 c GARBAGE COLLECT
756.18/758.58 c #Conflicts: 217000 | #Constraints: 10138
756.18/758.58 c #Conflicts: 218000 | #Constraints: 11138
756.18/758.58 c #Conflicts: 219000 | #Constraints: 12138
756.18/758.58 c #Conflicts: 220000 | #Constraints: 13138
756.18/758.58 c #Conflicts: 221000 | #Constraints: 14138
756.18/758.58 c #Conflicts: 222000 | #Constraints: 15138
756.18/758.58 c #Conflicts: 223000 | #Constraints: 16138
756.18/758.58 c #Conflicts: 224000 | #Constraints: 17138
756.18/758.58 c #Conflicts: 225000 | #Constraints: 18138
756.18/758.58 c #Conflicts: 226000 | #Constraints: 19138
756.18/758.58 c INPROCESSING
756.18/758.58 c GARBAGE COLLECT
756.18/758.58 c #Conflicts: 227000 | #Constraints: 10738
756.18/758.58 c #Conflicts: 228000 | #Constraints: 11738
756.18/758.58 c #Conflicts: 229000 | #Constraints: 12738
756.18/758.58 c #Conflicts: 230000 | #Constraints: 13738
756.18/758.58 c #Conflicts: 231000 | #Constraints: 14738
756.18/758.58 c #Conflicts: 232000 | #Constraints: 15738
756.18/758.58 c #Conflicts: 233000 | #Constraints: 16738
756.18/758.58 c #Conflicts: 234000 | #Constraints: 17738
756.18/758.58 c #Conflicts: 235000 | #Constraints: 18738
756.18/758.58 c #Conflicts: 236000 | #Constraints: 19738
756.18/758.58 c INPROCESSING
756.18/758.58 c GARBAGE COLLECT
756.18/758.58 c #Conflicts: 237000 | #Constraints: 11134
756.18/758.58 c #Conflicts: 238000 | #Constraints: 12134
756.18/758.58 c #Conflicts: 239000 | #Constraints: 13134
756.18/758.58 c #Conflicts: 240000 | #Constraints: 14134
756.18/758.58 c #Conflicts: 241000 | #Constraints: 15134
756.18/758.58 c #Conflicts: 242000 | #Constraints: 16134
756.18/758.58 c #Conflicts: 243000 | #Constraints: 17134
756.18/758.58 c #Conflicts: 244000 | #Constraints: 18134
756.18/758.58 c #Conflicts: 245000 | #Constraints: 19134
756.18/758.58 c #Conflicts: 246000 | #Constraints: 20134
756.18/758.58 c INPROCESSING
756.18/758.58 c GARBAGE COLLECT
756.18/758.58 c #Conflicts: 247000 | #Constraints: 11334
1007.47/1010.61 c #Conflicts: 248000 | #Constraints: 12334
1007.47/1010.61 c #Conflicts: 249000 | #Constraints: 13334
1007.47/1010.61 c #Conflicts: 250000 | #Constraints: 14334
1007.47/1010.61 c #Conflicts: 251000 | #Constraints: 15334
1007.47/1010.61 c #Conflicts: 252000 | #Constraints: 16334
1007.47/1010.61 c #Conflicts: 253000 | #Constraints: 17334
1007.47/1010.61 c #Conflicts: 254000 | #Constraints: 18334
1007.47/1010.61 c #Conflicts: 255000 | #Constraints: 19334
1007.47/1010.61 c #Conflicts: 256000 | #Constraints: 20334
1007.47/1010.61 c INPROCESSING
1007.47/1010.61 c GARBAGE COLLECT
1007.47/1010.61 c #Conflicts: 257000 | #Constraints: 11330
1007.47/1010.61 c #Conflicts: 258000 | #Constraints: 12330
1007.47/1010.61 c #Conflicts: 259000 | #Constraints: 13330
1007.47/1010.61 c #Conflicts: 260000 | #Constraints: 14330
1007.47/1010.61 c #Conflicts: 261000 | #Constraints: 15330
1007.47/1010.61 c #Conflicts: 262000 | #Constraints: 16330
1007.47/1010.61 c #Conflicts: 263000 | #Constraints: 17330
1007.47/1010.61 c #Conflicts: 264000 | #Constraints: 18330
1007.47/1010.61 c #Conflicts: 265000 | #Constraints: 19330
1007.47/1010.61 c #Conflicts: 266000 | #Constraints: 20330
1007.47/1010.61 c INPROCESSING
1007.47/1010.61 c GARBAGE COLLECT
1007.47/1010.61 c #Conflicts: 267000 | #Constraints: 11133
1007.47/1010.61 c #Conflicts: 268000 | #Constraints: 12133
1007.47/1010.61 c #Conflicts: 269000 | #Constraints: 13133
1007.47/1010.61 c #Conflicts: 270000 | #Constraints: 14133
1007.47/1010.61 c #Conflicts: 271000 | #Constraints: 15133
1007.47/1010.61 c #Conflicts: 272000 | #Constraints: 16133
1007.47/1010.61 c #Conflicts: 273000 | #Constraints: 17133
1007.47/1010.61 c #Conflicts: 274000 | #Constraints: 18133
1007.47/1010.61 c #Conflicts: 275000 | #Constraints: 19133
1007.47/1010.61 c #Conflicts: 276000 | #Constraints: 20133
1007.47/1010.61 c #Conflicts: 277000 | #Constraints: 21133
1007.47/1010.61 c INPROCESSING
1007.47/1010.61 c GARBAGE COLLECT
1007.47/1010.61 c #Conflicts: 278000 | #Constraints: 11732
1007.47/1010.61 c #Conflicts: 279000 | #Constraints: 12732
1007.47/1010.61 c #Conflicts: 280000 | #Constraints: 13732
1007.47/1010.61 c #Conflicts: 281000 | #Constraints: 14732
1007.47/1010.61 c #Conflicts: 282000 | #Constraints: 15732
1007.47/1010.61 c #Conflicts: 283000 | #Constraints: 16732
1007.47/1010.61 c #Conflicts: 284000 | #Constraints: 17732
1007.47/1010.61 c #Conflicts: 285000 | #Constraints: 18732
1007.47/1010.61 c #Conflicts: 286000 | #Constraints: 19732
1007.47/1010.61 c #Conflicts: 287000 | #Constraints: 20732
1007.47/1010.61 c #Conflicts: 288000 | #Constraints: 21732
1007.47/1010.61 c INPROCESSING
1007.47/1010.61 c GARBAGE COLLECT
1007.47/1010.61 c #Conflicts: 289000 | #Constraints: 12128
1007.47/1010.61 c #Conflicts: 290000 | #Constraints: 13128
1007.47/1010.61 c #Conflicts: 291000 | #Constraints: 14128
1007.47/1010.61 c #Conflicts: 292000 | #Constraints: 15128
1007.47/1010.61 c #Conflicts: 293000 | #Constraints: 16128
1007.47/1010.61 c #Conflicts: 294000 | #Constraints: 17128
1007.47/1010.61 c #Conflicts: 295000 | #Constraints: 18128
1007.47/1010.61 c #Conflicts: 296000 | #Constraints: 19128
1007.47/1010.61 c #Conflicts: 297000 | #Constraints: 20128
1007.47/1010.61 c #Conflicts: 298000 | #Constraints: 21128
1007.47/1010.61 c #Conflicts: 299000 | #Constraints: 22128
1007.47/1010.61 c INPROCESSING
1007.47/1010.61 c GARBAGE COLLECT
1007.47/1010.61 c #Conflicts: 300000 | #Constraints: 12326
1007.47/1010.61 c #Conflicts: 301000 | #Constraints: 13326
1007.47/1010.61 c #Conflicts: 302000 | #Constraints: 14326
1007.47/1010.61 c #Conflicts: 303000 | #Constraints: 15326
1007.47/1010.61 c #Conflicts: 304000 | #Constraints: 16326
1007.47/1010.61 c #Conflicts: 305000 | #Constraints: 17326
1007.47/1010.61 c #Conflicts: 306000 | #Constraints: 18326
1007.47/1010.61 c #Conflicts: 307000 | #Constraints: 19326
1007.47/1010.61 c #Conflicts: 308000 | #Constraints: 20326
1007.47/1010.61 c #Conflicts: 309000 | #Constraints: 21326
1007.47/1010.61 c #Conflicts: 310000 | #Constraints: 22326
1007.47/1010.61 c INPROCESSING
1007.47/1010.61 c GARBAGE COLLECT
1007.47/1010.61 c #Conflicts: 311000 | #Constraints: 12333
1007.47/1010.61 c #Conflicts: 312000 | #Constraints: 13333
1007.47/1010.61 c #Conflicts: 313000 | #Constraints: 14333
1007.47/1010.61 c #Conflicts: 314000 | #Constraints: 15333
1007.47/1010.61 c #Conflicts: 315000 | #Constraints: 16333
1007.47/1010.61 c #Conflicts: 316000 | #Constraints: 17333
1007.47/1010.61 c #Conflicts: 317000 | #Constraints: 18333
1007.47/1010.61 c #Conflicts: 318000 | #Constraints: 19333
1007.47/1010.61 c #Conflicts: 319000 | #Constraints: 20333
1007.47/1010.61 c #Conflicts: 320000 | #Constraints: 21333
1007.47/1010.61 c #Conflicts: 321000 | #Constraints: 22333
1007.47/1010.61 c INPROCESSING
1499.38/1503.90 c GARBAGE COLLECT
1499.38/1503.90 c #Conflicts: 322000 | #Constraints: 12130
1499.38/1503.90 c #Conflicts: 323000 | #Constraints: 13130
1499.38/1503.90 c #Conflicts: 324000 | #Constraints: 14130
1499.38/1503.90 c #Conflicts: 325000 | #Constraints: 15130
1499.38/1503.90 c #Conflicts: 326000 | #Constraints: 16130
1499.38/1503.90 c #Conflicts: 327000 | #Constraints: 17130
1499.38/1503.90 c #Conflicts: 328000 | #Constraints: 18130
1499.38/1503.90 c #Conflicts: 329000 | #Constraints: 19130
1499.38/1503.90 c #Conflicts: 330000 | #Constraints: 20130
1499.38/1503.90 c #Conflicts: 331000 | #Constraints: 21130
1499.38/1503.90 c #Conflicts: 332000 | #Constraints: 22130
1499.38/1503.90 c #Conflicts: 333000 | #Constraints: 23130
1499.38/1503.90 c INPROCESSING
1499.38/1503.90 c GARBAGE COLLECT
1499.38/1503.90 c #Conflicts: 334000 | #Constraints: 12726
1499.38/1503.90 c #Conflicts: 335000 | #Constraints: 13726
1499.38/1503.90 c #Conflicts: 336000 | #Constraints: 14726
1499.38/1503.90 c #Conflicts: 337000 | #Constraints: 15726
1499.38/1503.90 c #Conflicts: 338000 | #Constraints: 16726
1499.38/1503.90 c #Conflicts: 339000 | #Constraints: 17726
1499.38/1503.90 c #Conflicts: 340000 | #Constraints: 18726
1499.38/1503.90 c #Conflicts: 341000 | #Constraints: 19726
1499.38/1503.90 c #Conflicts: 342000 | #Constraints: 20726
1499.38/1503.90 c #Conflicts: 343000 | #Constraints: 21726
1499.38/1503.90 c #Conflicts: 344000 | #Constraints: 22726
1499.38/1503.90 c #Conflicts: 345000 | #Constraints: 23726
1499.38/1503.90 c INPROCESSING
1499.38/1503.90 c GARBAGE COLLECT
1499.38/1503.90 c #Conflicts: 346000 | #Constraints: 13127
1499.38/1503.90 c #Conflicts: 347000 | #Constraints: 14127
1499.38/1503.90 c #Conflicts: 348000 | #Constraints: 15127
1499.38/1503.90 c #Conflicts: 349000 | #Constraints: 16127
1499.38/1503.90 c #Conflicts: 350000 | #Constraints: 17127
1499.38/1503.90 c #Conflicts: 351000 | #Constraints: 18127
1499.38/1503.90 c #Conflicts: 352000 | #Constraints: 19127
1499.38/1503.90 c #Conflicts: 353000 | #Constraints: 20127
1499.38/1503.90 c #Conflicts: 354000 | #Constraints: 21127
1499.38/1503.90 c #Conflicts: 355000 | #Constraints: 22127
1499.38/1503.90 c #Conflicts: 356000 | #Constraints: 23127
1499.38/1503.90 c #Conflicts: 357000 | #Constraints: 24127
1499.38/1503.90 c INPROCESSING
1499.38/1503.90 c GARBAGE COLLECT
1499.38/1503.90 c #Conflicts: 358000 | #Constraints: 13336
1499.38/1503.90 c #Conflicts: 359000 | #Constraints: 14336
1499.38/1503.90 c #Conflicts: 360000 | #Constraints: 15336
1499.38/1503.90 c #Conflicts: 361000 | #Constraints: 16336
1499.38/1503.90 c #Conflicts: 362000 | #Constraints: 17336
1499.38/1503.90 c #Conflicts: 363000 | #Constraints: 18336
1499.38/1503.90 c #Conflicts: 364000 | #Constraints: 19336
1499.38/1503.90 c #Conflicts: 365000 | #Constraints: 20336
1499.38/1503.90 c #Conflicts: 366000 | #Constraints: 21336
1499.38/1503.90 c #Conflicts: 367000 | #Constraints: 22336
1499.38/1503.90 c #Conflicts: 368000 | #Constraints: 23336
1499.38/1503.90 c #Conflicts: 369000 | #Constraints: 24336
1499.38/1503.90 c INPROCESSING
1499.38/1503.90 c GARBAGE COLLECT
1499.38/1503.90 c #Conflicts: 370000 | #Constraints: 13334
1499.38/1503.90 c #Conflicts: 371000 | #Constraints: 14334
1499.38/1503.90 c #Conflicts: 372000 | #Constraints: 15334
1499.38/1503.90 c #Conflicts: 373000 | #Constraints: 16334
1499.38/1503.90 c #Conflicts: 374000 | #Constraints: 17334
1499.38/1503.90 c #Conflicts: 375000 | #Constraints: 18334
1499.38/1503.90 c #Conflicts: 376000 | #Constraints: 19334
1499.38/1503.90 c #Conflicts: 377000 | #Constraints: 20334
1499.38/1503.90 c #Conflicts: 378000 | #Constraints: 21334
1499.38/1503.90 c #Conflicts: 379000 | #Constraints: 22334
1499.38/1503.90 c #Conflicts: 380000 | #Constraints: 23334
1499.38/1503.90 c #Conflicts: 381000 | #Constraints: 24334
1499.38/1503.90 c INPROCESSING
1499.38/1503.90 c GARBAGE COLLECT
1499.38/1503.90 c #Conflicts: 382000 | #Constraints: 13129
1499.38/1503.90 c #Conflicts: 383000 | #Constraints: 14129
1499.38/1503.90 c #Conflicts: 384000 | #Constraints: 15129
1499.38/1503.90 c #Conflicts: 385000 | #Constraints: 16129
1499.38/1503.90 c #Conflicts: 386000 | #Constraints: 17129
1499.38/1503.90 c #Conflicts: 387000 | #Constraints: 18129
1499.38/1503.90 c #Conflicts: 388000 | #Constraints: 19129
1499.38/1503.90 c #Conflicts: 389000 | #Constraints: 20129
1499.38/1503.90 c #Conflicts: 390000 | #Constraints: 21129
1499.38/1503.90 c #Conflicts: 391000 | #Constraints: 22129
1499.38/1503.90 c #Conflicts: 392000 | #Constraints: 23129
1499.38/1503.90 c #Conflicts: 393000 | #Constraints: 24129
1499.38/1503.90 c #Conflicts: 394000 | #Constraints: 25129
1499.38/1503.90 c INPROCESSING
1499.38/1503.90 c GARBAGE COLLECT
1499.38/1503.90 c #Conflicts: 395000 | #Constraints: 13728
1499.38/1503.90 c #Conflicts: 396000 | #Constraints: 14728
2203.96/2210.30 c #Conflicts: 397000 | #Constraints: 15728
2203.96/2210.30 c #Conflicts: 398000 | #Constraints: 16728
2203.96/2210.30 c #Conflicts: 399000 | #Constraints: 17728
2203.96/2210.30 c #Conflicts: 400000 | #Constraints: 18728
2203.96/2210.30 c #Conflicts: 401000 | #Constraints: 19728
2203.96/2210.30 c #Conflicts: 402000 | #Constraints: 20728
2203.96/2210.30 c #Conflicts: 403000 | #Constraints: 21728
2203.96/2210.30 c #Conflicts: 404000 | #Constraints: 22728
2203.96/2210.30 c #Conflicts: 405000 | #Constraints: 23728
2203.96/2210.30 c #Conflicts: 406000 | #Constraints: 24728
2203.96/2210.30 c #Conflicts: 407000 | #Constraints: 25728
2203.96/2210.30 c INPROCESSING
2203.96/2210.30 c GARBAGE COLLECT
2203.96/2210.30 c #Conflicts: 408000 | #Constraints: 14127
2203.96/2210.30 c #Conflicts: 409000 | #Constraints: 15127
2203.96/2210.30 c #Conflicts: 410000 | #Constraints: 16127
2203.96/2210.30 c #Conflicts: 411000 | #Constraints: 17127
2203.96/2210.30 c #Conflicts: 412000 | #Constraints: 18127
2203.96/2210.30 c #Conflicts: 413000 | #Constraints: 19127
2203.96/2210.30 c #Conflicts: 414000 | #Constraints: 20127
2203.96/2210.30 c #Conflicts: 415000 | #Constraints: 21127
2203.96/2210.30 c #Conflicts: 416000 | #Constraints: 22127
2203.96/2210.30 c #Conflicts: 417000 | #Constraints: 23127
2203.96/2210.30 c #Conflicts: 418000 | #Constraints: 24127
2203.96/2210.30 c #Conflicts: 419000 | #Constraints: 25127
2203.96/2210.30 c #Conflicts: 420000 | #Constraints: 26127
2203.96/2210.30 c INPROCESSING
2203.96/2210.30 c GARBAGE COLLECT
2203.96/2210.30 c #Conflicts: 421000 | #Constraints: 14330
2203.96/2210.30 c #Conflicts: 422000 | #Constraints: 15330
2203.96/2210.30 c #Conflicts: 423000 | #Constraints: 16330
2203.96/2210.30 c #Conflicts: 424000 | #Constraints: 17330
2203.96/2210.30 c #Conflicts: 425000 | #Constraints: 18330
2203.96/2210.30 c #Conflicts: 426000 | #Constraints: 19330
2203.96/2210.30 c #Conflicts: 427000 | #Constraints: 20330
2203.96/2210.30 c #Conflicts: 428000 | #Constraints: 21330
2203.96/2210.30 c #Conflicts: 429000 | #Constraints: 22330
2203.96/2210.30 c #Conflicts: 430000 | #Constraints: 23330
2203.96/2210.30 c #Conflicts: 431000 | #Constraints: 24330
2203.96/2210.30 c #Conflicts: 432000 | #Constraints: 25330
2203.96/2210.30 c #Conflicts: 433000 | #Constraints: 26330
2203.96/2210.30 c INPROCESSING
2203.96/2210.30 c GARBAGE COLLECT
2203.96/2210.30 c #Conflicts: 434000 | #Constraints: 14335
2203.96/2210.30 c #Conflicts: 435000 | #Constraints: 15335
2203.96/2210.30 c #Conflicts: 436000 | #Constraints: 16335
2203.96/2210.30 c #Conflicts: 437000 | #Constraints: 17335
2203.96/2210.30 c #Conflicts: 438000 | #Constraints: 18335
2203.96/2210.30 c #Conflicts: 439000 | #Constraints: 19335
2203.96/2210.30 c #Conflicts: 440000 | #Constraints: 20335
2203.96/2210.30 c #Conflicts: 441000 | #Constraints: 21335
2203.96/2210.30 c #Conflicts: 442000 | #Constraints: 22335
2203.96/2210.30 c #Conflicts: 443000 | #Constraints: 23335
2203.96/2210.30 c #Conflicts: 444000 | #Constraints: 24335
2203.96/2210.30 c #Conflicts: 445000 | #Constraints: 25335
2203.96/2210.30 c #Conflicts: 446000 | #Constraints: 26335
2203.96/2210.30 c INPROCESSING
2203.96/2210.30 c GARBAGE COLLECT
2203.96/2210.30 c #Conflicts: 447000 | #Constraints: 14135
2203.96/2210.30 c #Conflicts: 448000 | #Constraints: 15135
2203.96/2210.30 c #Conflicts: 449000 | #Constraints: 16135
2203.96/2210.30 c #Conflicts: 450000 | #Constraints: 17135
2203.96/2210.30 c #Conflicts: 451000 | #Constraints: 18135
2203.96/2210.30 c #Conflicts: 452000 | #Constraints: 19135
2203.96/2210.30 c #Conflicts: 453000 | #Constraints: 20135
2203.96/2210.30 c #Conflicts: 454000 | #Constraints: 21135
2203.96/2210.30 c #Conflicts: 455000 | #Constraints: 22135
2203.96/2210.30 c #Conflicts: 456000 | #Constraints: 23135
2203.96/2210.30 c #Conflicts: 457000 | #Constraints: 24135
2203.96/2210.30 c #Conflicts: 458000 | #Constraints: 25135
2203.96/2210.30 c #Conflicts: 459000 | #Constraints: 26135
2203.96/2210.30 c #Conflicts: 460000 | #Constraints: 27135
2203.96/2210.30 c INPROCESSING
2203.96/2210.30 c GARBAGE COLLECT
2203.96/2210.30 c #Conflicts: 461000 | #Constraints: 14737
2203.96/2210.30 c #Conflicts: 462000 | #Constraints: 15737
2203.96/2210.30 c #Conflicts: 463000 | #Constraints: 16737
2203.96/2210.30 c #Conflicts: 464000 | #Constraints: 17737
2203.96/2210.30 c #Conflicts: 465000 | #Constraints: 18737
2203.96/2210.30 c #Conflicts: 466000 | #Constraints: 19737
2203.96/2210.30 c #Conflicts: 467000 | #Constraints: 20737
2203.96/2210.30 c #Conflicts: 468000 | #Constraints: 21737
2203.96/2210.30 c #Conflicts: 469000 | #Constraints: 22737
2203.96/2210.30 c #Conflicts: 470000 | #Constraints: 23737
2203.96/2210.30 c #Conflicts: 471000 | #Constraints: 24737
3113.25/3121.92 c #Conflicts: 472000 | #Constraints: 25737
3113.25/3121.92 c #Conflicts: 473000 | #Constraints: 26737
3113.25/3121.92 c #Conflicts: 474000 | #Constraints: 27737
3113.25/3121.92 c INPROCESSING
3113.25/3121.92 c GARBAGE COLLECT
3113.25/3121.92 c #Conflicts: 475000 | #Constraints: 15136
3113.25/3121.92 c #Conflicts: 476000 | #Constraints: 16136
3113.25/3121.92 c #Conflicts: 477000 | #Constraints: 17136
3113.25/3121.92 c #Conflicts: 478000 | #Constraints: 18136
3113.25/3121.92 c #Conflicts: 479000 | #Constraints: 19136
3113.25/3121.92 c #Conflicts: 480000 | #Constraints: 20136
3113.25/3121.92 c #Conflicts: 481000 | #Constraints: 21136
3113.25/3121.92 c #Conflicts: 482000 | #Constraints: 22136
3113.25/3121.92 c #Conflicts: 483000 | #Constraints: 23136
3113.25/3121.92 c #Conflicts: 484000 | #Constraints: 24136
3113.25/3121.92 c #Conflicts: 485000 | #Constraints: 25136
3113.25/3121.92 c #Conflicts: 486000 | #Constraints: 26136
3113.25/3121.92 c #Conflicts: 487000 | #Constraints: 27136
3113.25/3121.92 c #Conflicts: 488000 | #Constraints: 28136
3113.25/3121.92 c INPROCESSING
3113.25/3121.92 c GARBAGE COLLECT
3113.25/3121.92 c #Conflicts: 489000 | #Constraints: 15334
3113.25/3121.92 c #Conflicts: 490000 | #Constraints: 16334
3113.25/3121.92 c #Conflicts: 491000 | #Constraints: 17334
3113.25/3121.92 c #Conflicts: 492000 | #Constraints: 18334
3113.25/3121.92 c #Conflicts: 493000 | #Constraints: 19334
3113.25/3121.92 c #Conflicts: 494000 | #Constraints: 20334
3113.25/3121.92 c #Conflicts: 495000 | #Constraints: 21334
3113.25/3121.92 c #Conflicts: 496000 | #Constraints: 22334
3113.25/3121.92 c #Conflicts: 497000 | #Constraints: 23334
3113.25/3121.92 c #Conflicts: 498000 | #Constraints: 24334
3113.25/3121.92 c #Conflicts: 499000 | #Constraints: 25334
3113.25/3121.92 c #Conflicts: 500000 | #Constraints: 26334
3113.25/3121.92 c #Conflicts: 501000 | #Constraints: 27334
3113.25/3121.92 c #Conflicts: 502000 | #Constraints: 28334
3113.25/3121.92 c INPROCESSING
3113.25/3121.92 c GARBAGE COLLECT
3113.25/3121.92 c #Conflicts: 503000 | #Constraints: 15335
3113.25/3121.92 c #Conflicts: 504000 | #Constraints: 16335
3113.25/3121.92 c #Conflicts: 505000 | #Constraints: 17335
3113.25/3121.92 c #Conflicts: 506000 | #Constraints: 18335
3113.25/3121.92 c #Conflicts: 507000 | #Constraints: 19335
3113.25/3121.92 c #Conflicts: 508000 | #Constraints: 20335
3113.25/3121.92 c #Conflicts: 509000 | #Constraints: 21335
3113.25/3121.92 c #Conflicts: 510000 | #Constraints: 22335
3113.25/3121.92 c #Conflicts: 511000 | #Constraints: 23335
3113.25/3121.92 c #Conflicts: 512000 | #Constraints: 24335
3113.25/3121.92 c #Conflicts: 513000 | #Constraints: 25335
3113.25/3121.92 c #Conflicts: 514000 | #Constraints: 26335
3113.25/3121.92 c #Conflicts: 515000 | #Constraints: 27335
3113.25/3121.92 c #Conflicts: 516000 | #Constraints: 28335
3113.25/3121.92 c INPROCESSING
3113.25/3121.92 c GARBAGE COLLECT
3113.25/3121.92 c #Conflicts: 517000 | #Constraints: 15138
3113.25/3121.92 c #Conflicts: 518000 | #Constraints: 16138
3113.25/3121.92 c #Conflicts: 519000 | #Constraints: 17138
3113.25/3121.92 c #Conflicts: 520000 | #Constraints: 18138
3113.25/3121.92 c #Conflicts: 521000 | #Constraints: 19138
3113.25/3121.92 c #Conflicts: 522000 | #Constraints: 20138
3113.25/3121.92 c #Conflicts: 523000 | #Constraints: 21138
3113.25/3121.92 c #Conflicts: 524000 | #Constraints: 22138
3113.25/3121.92 c #Conflicts: 525000 | #Constraints: 23138
3113.25/3121.92 c #Conflicts: 526000 | #Constraints: 24138
3113.25/3121.92 c #Conflicts: 527000 | #Constraints: 25138
3113.25/3121.92 c #Conflicts: 528000 | #Constraints: 26138
3113.25/3121.92 c #Conflicts: 529000 | #Constraints: 27138
3113.25/3121.92 c #Conflicts: 530000 | #Constraints: 28138
3113.25/3121.92 c #Conflicts: 531000 | #Constraints: 29138
3113.25/3121.92 c INPROCESSING
3113.25/3121.92 c GARBAGE COLLECT
3113.25/3121.92 c #Conflicts: 532000 | #Constraints: 15742
3113.25/3121.92 c #Conflicts: 533000 | #Constraints: 16742
3113.25/3121.92 c #Conflicts: 534000 | #Constraints: 17742
3113.25/3121.92 c #Conflicts: 535000 | #Constraints: 18742
3113.25/3121.92 c #Conflicts: 536000 | #Constraints: 19742
3113.25/3121.92 c #Conflicts: 537000 | #Constraints: 20742
3113.25/3121.92 c #Conflicts: 538000 | #Constraints: 21742
3113.25/3121.92 c #Conflicts: 539000 | #Constraints: 22742
3113.25/3121.92 c #Conflicts: 540000 | #Constraints: 23742
3113.25/3121.92 c #Conflicts: 541000 | #Constraints: 24742
3113.25/3121.92 c #Conflicts: 542000 | #Constraints: 25742
3113.25/3121.92 c #Conflicts: 543000 | #Constraints: 26742
3113.25/3121.92 c #Conflicts: 544000 | #Constraints: 27742
3113.25/3121.92 c #Conflicts: 545000 | #Constraints: 28742
3113.25/3121.92 c #Conflicts: 546000 | #Constraints: 29742
3113.25/3121.92 c INPROCESSING
3113.25/3121.92 c GARBAGE COLLECT
3600.03/3609.90 c #Conflicts: 547000 | #Constraints: 16138
3600.03/3609.90 c #Conflicts: 548000 | #Constraints: 17138
3600.03/3609.90 c #Conflicts: 549000 | #Constraints: 18138
3600.03/3609.90 c #Conflicts: 550000 | #Constraints: 19138
3600.03/3609.90 c #Conflicts: 551000 | #Constraints: 20138
3600.03/3609.90 c #Conflicts: 552000 | #Constraints: 21138
3600.03/3609.90 c #Conflicts: 553000 | #Constraints: 22138
3600.03/3609.90 c #Conflicts: 554000 | #Constraints: 23138
3600.03/3609.90 c #Conflicts: 555000 | #Constraints: 24138
3600.03/3609.90 c #Conflicts: 556000 | #Constraints: 25138
3600.03/3609.90 c #Conflicts: 557000 | #Constraints: 26138
3600.03/3609.90 c #Conflicts: 558000 | #Constraints: 27138
3600.03/3609.90 c #Conflicts: 559000 | #Constraints: 28138
3600.03/3609.90 c #Conflicts: 560000 | #Constraints: 29138
3600.03/3609.90 c #Conflicts: 561000 | #Constraints: 30138
3600.03/3609.90 c INPROCESSING
3600.03/3609.90 c GARBAGE COLLECT
3600.03/3609.90 c #Conflicts: 562000 | #Constraints: 16333
3600.03/3609.90 c #Conflicts: 563000 | #Constraints: 17333
3600.03/3609.90 c #Conflicts: 564000 | #Constraints: 18333
3600.03/3609.90 c #Conflicts: 565000 | #Constraints: 19333
3600.03/3609.90 c #Conflicts: 566000 | #Constraints: 20333
3600.03/3609.90 c #Conflicts: 567000 | #Constraints: 21333
3600.03/3609.90 c #Conflicts: 568000 | #Constraints: 22333
3600.03/3609.90 c #Conflicts: 569000 | #Constraints: 23333
3600.03/3609.90 c #Conflicts: 570000 | #Constraints: 24333
3600.03/3609.90 c #Conflicts: 571000 | #Constraints: 25333
3600.03/3609.90 c #Conflicts: 572000 | #Constraints: 26333
3600.03/3609.90 c #Conflicts: 573000 | #Constraints: 27333
3600.03/3609.90 c #Conflicts: 574000 | #Constraints: 28333
3600.03/3609.90 c #Conflicts: 575000 | #Constraints: 29333
3600.03/3609.90 c #Conflicts: 576000 | #Constraints: 30333
3600.03/3609.90 c INPROCESSING
3600.03/3609.90 c GARBAGE COLLECT
3600.03/3609.90 c #Conflicts: 577000 | #Constraints: 16331
3600.03/3609.90 c #Conflicts: 578000 | #Constraints: 17331
3600.03/3609.90 c #Conflicts: 579000 | #Constraints: 18331
3600.03/3609.90 c #Conflicts: 580000 | #Constraints: 19331
3600.03/3609.90 c #Conflicts: 581000 | #Constraints: 20331
3600.03/3609.90 c #Conflicts: 582000 | #Constraints: 21331
3600.03/3609.90 c #Conflicts: 583000 | #Constraints: 22331
3600.03/3609.90 c #Conflicts: 584000 | #Constraints: 23331
3600.03/3609.90 c #Conflicts: 585000 | #Constraints: 24331
3600.03/3609.90 c #Conflicts: 586000 | #Constraints: 25331
3600.03/3609.90 c #Conflicts: 587000 | #Constraints: 26331
3600.03/3609.90 c #Conflicts: 588000 | #Constraints: 27331
3600.03/3609.90 c #Conflicts: 589000 | #Constraints: 28331
3600.03/3609.90 c #Conflicts: 590000 | #Constraints: 29331
3600.03/3609.90 c #Conflicts: 591000 | #Constraints: 30331
3600.03/3609.90 c INPROCESSING
3600.03/3609.90 c GARBAGE COLLECT
3600.03/3609.90 c #Conflicts: 592000 | #Constraints: 16140
3600.03/3609.90 c #Conflicts: 593000 | #Constraints: 17140
3600.03/3609.90 c #Conflicts: 594000 | #Constraints: 18140
3600.03/3609.90 c #Conflicts: 595000 | #Constraints: 19140
3600.03/3609.90 c #Conflicts: 596000 | #Constraints: 20140
3600.03/3609.90 c #Conflicts: 597000 | #Constraints: 21140
3600.03/3609.90 c #Conflicts: 598000 | #Constraints: 22140
3600.03/3609.90 c #Conflicts: 599000 | #Constraints: 23140
3600.03/3609.90 c #Conflicts: 600000 | #Constraints: 24140
3600.03/3609.90 c Program interrupted by user.
3600.03/3609.90 c cpu time 3590.12 s
3600.03/3609.90 c deterministic time 331061609302 3.31e+11
3600.03/3609.90 c optimization time 38.1096 s
3600.03/3609.90 c total solve time 3252.88 s
3600.03/3609.90 c core-guided solve time 3252.88 s
3600.03/3609.90 c propagation time 3022.77 s
3600.03/3609.90 c conflict analysis time 229.599 s
3600.03/3609.90 c propagations 47618835
3600.03/3609.90 c resolve steps 2733684
3600.03/3609.90 c decisions 6522457
3600.03/3609.90 c conflicts 600357
3600.03/3609.90 c restarts 1276
3600.03/3609.90 c inprocessing phases 68
3600.03/3609.90 c input clauses 49
3600.03/3609.90 c input cardinalities 83
3600.03/3609.90 c input general constraints 464
3600.03/3609.90 c input average constraint length 72.48
3600.03/3609.90 c input average constraint degree 34.66
3600.03/3609.90 c learned clauses 81453
3600.03/3609.90 c learned cardinalities 98
3600.03/3609.90 c learned general constraints 518819
3600.03/3609.90 c learned average constraint length 325.37
3600.03/3609.90 c learned average constraint degree 336638.23
3600.03/3609.90 c watched constraints 412892
3600.03/3609.90 c counting constraints 106391
3600.03/3609.90 c gcd simplifications 66068
3600.03/3609.90 c detected cardinalities 69
3600.03/3609.90 c weakened non-implied lits 12233673
3600.03/3609.90 c weakened non-implying lits 30499
3600.03/3609.90 c original variables 468
3600.03/3609.90 c clausal propagations 700806
3600.03/3609.90 c cardinality propagations 28350
3600.03/3609.90 c watched propagations 24226925
3600.03/3609.90 c counting propagations 22271222
3600.03/3609.90 c watch lookups 64360854086
3600.03/3609.90 c watch backjump lookups 62187782098
3600.03/3609.90 c watch checks 197990346094
3600.03/3609.90 c propagation checks 5832143022
3600.03/3609.90 c constraint additions 581601369
3600.03/3609.90 c trail pops 54741340
3600.03/3609.90 c formula constraints 468
3600.03/3609.90 c learned constraints 600370
3600.03/3609.90 c bound constraints 83
3600.03/3609.90 c core-guided constraints 45
3600.03/3609.90 c encountered formula constraints 1688982
3600.03/3609.90 c encountered learned constraints 1607352
3600.03/3609.90 c encountered bound constraints 731
3600.03/3609.90 c encountered core-guided constraints 36976
3600.03/3609.90 c LP total time 0 s
3600.03/3609.90 c LP solve time 0 s
3600.03/3609.90 c LP constraints added 0
3600.03/3609.90 c LP constraints removed 0
3600.03/3609.90 c LP pivots internal 0
3600.03/3609.90 c LP pivots root 0
3600.03/3609.90 c LP calls 0
3600.03/3609.90 c LP optimalities 0
3600.03/3609.90 c LP no pivot count 0
3600.03/3609.90 c LP infeasibilities 0
3600.03/3609.90 c LP valid Farkas constraints 0
3600.03/3609.90 c LP learned Farkas constraints 0
3600.03/3609.90 c LP basis resets 0
3600.03/3609.90 c LP cycling count 0
3600.03/3609.90 c LP singular count 0
3600.03/3609.90 c LP no primal count 0
3600.03/3609.90 c LP no farkas count 0
3600.03/3609.90 c LP other issue count 0
3600.03/3609.90 c LP Gomory cuts 0
3600.03/3609.90 c LP learned cuts 0
3600.03/3609.90 c LP deleted cuts 0
3600.03/3609.90 c LP encountered Gomory constraints 0
3600.03/3609.90 c LP encountered Farkas constraints 0
3600.03/3609.90 c LP encountered learned Farkas constraints 0
3600.03/3609.90 c CG auxiliary variables introduced 45
3600.03/3609.90 c CG solutions found 0
3600.03/3609.90 c CG cores constructed 82
3600.03/3609.90 c CG core cardinality constraints returned 0
3600.03/3609.90 c CG unit cores 0
3600.03/3609.90 c CG single cores 82
3600.03/3609.90 c CG blocks removed during cardinality reduction 0
3600.03/3609.90 c CG first core best 0
3600.03/3609.90 c CG decision core best 0
3600.03/3609.90 c CG core reduction tie 0
3600.03/3609.90 c CG core degree average 1.00
3600.03/3609.90 c CG core slack average 2.78
3600.03/3609.90 c CG exhausted 0
3600.03/3609.90 c CG exhaust time 0 s
3600.03/3609.90 c CG trimmed 1
3600.03/3609.90 c CG trim time 0.00046 s
3600.03/3609.90 c CG minimized 0
3600.03/3609.90 c CG minimize time 0 s
3600.03/3609.90 c CG am1 prop time 0.000751 s
3600.03/3609.90 c CG # am1s reformulated 45
3600.03/3609.90 c CG lower bound derived from am1s 45
3600.03/3609.90 c CG # clausal cores 21
3600.03/3609.90 c CG # cardinality cores 0
3600.03/3609.90 c CG # pb cores 61
3600.03/3609.90 c CG # pb reforms 0
3600.03/3609.90 c CG # cores discarded because of pb reform 0
3600.03/3609.90 d LOWERBOUND 127
3600.03/3609.90 d NCORES 82
3600.03/3609.90 d NPBCORES 61
3600.03/3609.90 d NPBREFORM 0
3600.03/3609.90 d NTRIMMED 1
3600.03/3609.90 d NEXHAUSTED 0
3600.03/3609.90 d NAM1S 45
3600.03/3609.90 d AM1LB 45
3600.03/3609.90 c [Papilo Statistics]
3600.03/3609.90 c prepro time 0.00409801s
3600.03/3609.90 c # tsx applied 20
3600.03/3609.90 c # tsx conflicts 0
3600.03/3609.90 c # bound changes 0
3600.03/3609.90 c # side changes 0
3600.03/3609.90 c # coef changes 47
3600.03/3609.90 c # rounds 3
3600.03/3609.90 c # deted vars 0
3600.03/3609.90 c # deted constrs 0
3600.03/3609.90 c # consecutive rounds of only bound changes 0
3600.03/3609.90 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 (60714 MiB free)
memory of node 1: 64507 MiB (59569 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489267-1751353208/watcher-4489267-1751353208 -o /tmp/evaluation-result-4489267-1751353208/solver-4489267-1751353208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50711 --watchdog 3760 mixed-bag HOME/instance-4489267-1751353208.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
Current StackSize limit: 8192 KiB
solver pid=51082, runsolver pid=51071
[startup+0.10007 s]*
/proc/loadavg: 4.12 4.11 4.09 3/246 51090
/proc/meminfo: memFree=123157188/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=99440 memory=24756 CPUtime=0.09 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 2584 0 0 0 7 2 0 0 20 0 1 0 51000602 101826560 6189 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 24860 6189 4128 2842 0 6554 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 99440 KiB
Current children cumulated memory: 24756 KiB
[startup+0.215291 s]*
/proc/loadavg: 4.12 4.11 4.09 4/245 51096
/proc/meminfo: memFree=123149140/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=101368 memory=27316 CPUtime=0.2 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 3079 0 0 0 18 2 0 0 20 0 1 0 51000602 103800832 6829 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 25342 6829 4288 2842 0 7036 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 101368 KiB
Current children cumulated memory: 27316 KiB
[startup+0.31498 s]*
/proc/loadavg: 4.12 4.11 4.09 3/248 51112
/proc/meminfo: memFree=123148980/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=101540 memory=27444 CPUtime=0.29 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 3121 0 0 0 27 2 0 0 20 0 1 0 51000602 103976960 6861 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 25385 6861 4288 2842 0 7079 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101540 KiB
Current children cumulated memory: 27444 KiB
[startup+0.700221 s]
/proc/loadavg: 4.12 4.11 4.09 4/248 51121
/proc/meminfo: memFree=123152580/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=101540 memory=27444 CPUtime=0.65 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 3133 0 0 0 62 3 0 0 20 0 1 0 51000602 103976960 6861 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 25385 6861 4288 2842 0 7079 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 101540 KiB
Current children cumulated memory: 27444 KiB
[startup+1.50031 s]
/proc/loadavg: 4.12 4.11 4.09 6/252 51130
/proc/meminfo: memFree=123144604/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=117628 memory=43444 CPUtime=1.45 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 7128 0 0 0 141 4 0 0 20 0 1 0 51000602 120451072 10861 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 29407 10861 4320 2842 0 11101 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 117628 KiB
Current children cumulated memory: 43444 KiB
[startup+3.11332 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 51130
/proc/meminfo: memFree=122687500/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=227220 memory=149772 CPUtime=3.06 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 35252 0 0 0 297 9 0 0 20 0 1 0 51000602 232673280 37443 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 56805 37443 4320 2842 0 38499 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 227220 KiB
Current children cumulated memory: 149772 KiB
[startup+6.30027 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 51130
/proc/meminfo: memFree=122623304/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=231540 memory=152716 CPUtime=6.24 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 35963 0 0 0 615 9 0 0 20 0 1 0 51000602 237096960 38179 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 57885 38179 4320 2842 0 39579 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 231540 KiB
Current children cumulated memory: 152716 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.12 4.10 5/252 51130
/proc/meminfo: memFree=122623308/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=234972 memory=157324 CPUtime=12.62 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 37120 0 0 0 1253 9 0 0 20 0 1 0 51000602 240611328 39331 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 58743 39331 4320 2842 0 40437 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 234972 KiB
Current children cumulated memory: 157324 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 51130
/proc/meminfo: memFree=122290604/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=336252 memory=256124 CPUtime=25.39 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 63112 0 0 0 2526 13 0 0 20 0 1 0 51000602 344322048 64031 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 84063 64031 4320 2842 0 65757 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 336252 KiB
Current children cumulated memory: 256124 KiB
[startup+51.1125 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 51131
/proc/meminfo: memFree=122219784/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=347984 memory=267536 CPUtime=50.94 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 66231 0 0 0 5080 14 0 0 20 0 1 0 51000602 356335616 66884 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 86996 66884 4320 2842 0 68690 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 347984 KiB
Current children cumulated memory: 267536 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/252 51143
/proc/meminfo: memFree=122141252/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=360032 memory=281992 CPUtime=101.99 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 70779 0 0 0 10185 14 0 0 20 0 1 0 51000602 368672768 70498 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 90008 70498 4320 2842 0 71702 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 360032 KiB
Current children cumulated memory: 281992 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/252 51145
/proc/meminfo: memFree=121952868/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=383956 memory=306360 CPUtime=161.84 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 77379 0 0 0 16168 16 0 0 20 0 1 0 51000602 393170944 76590 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 95989 76590 4320 2842 0 77683 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 383956 KiB
Current children cumulated memory: 306360 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/252 51147
/proc/meminfo: memFree=121954508/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=387024 memory=309560 CPUtime=221.67 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 78164 0 0 0 22151 16 0 0 20 0 1 0 51000602 396312576 77390 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 96756 77390 4320 2842 0 78450 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 387024 KiB
Current children cumulated memory: 309560 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/252 51149
/proc/meminfo: memFree=121953200/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=387024 memory=310712 CPUtime=281.51 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 78186 0 0 0 28135 16 0 0 20 0 1 0 51000602 396312576 77678 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 96756 77678 4320 2842 0 78450 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 387024 KiB
Current children cumulated memory: 310712 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 51151
/proc/meminfo: memFree=122113556/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=355716 memory=281936 CPUtime=341.34 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 80519 0 0 0 34061 73 0 0 20 0 1 0 51000602 364253184 70484 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 88929 70484 4480 2842 0 70623 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 355716 KiB
Current children cumulated memory: 281936 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/249 51153
/proc/meminfo: memFree=122070960/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=374684 memory=293072 CPUtime=401.15 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 80828 0 0 0 39992 123 0 0 20 0 1 0 51000602 383676416 73268 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 93671 73268 4480 2842 0 75365 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 374684 KiB
Current children cumulated memory: 293072 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/249 51155
/proc/meminfo: memFree=122043940/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=374684 memory=298488 CPUtime=460.96 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 81129 0 0 0 45933 163 0 0 20 0 1 0 51000602 383676416 74622 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 93671 74622 4480 2842 0 75365 0
Current children cumulated CPU time: 460.96 s
Current children cumulated vsize: 374684 KiB
################
# More data... #
################
Current children cumulated memory: 337400 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 51268
/proc/meminfo: memFree=121874576/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=405504 memory=337400 CPUtime=2914.14 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 82157 0 0 0 290566 848 0 0 20 0 1 0 51000602 415236096 84350 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 101376 84350 4480 2842 0 83070 0
Current children cumulated CPU time: 2914.14 s
Current children cumulated vsize: 405504 KiB
Current children cumulated memory: 337400 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/249 51270
/proc/meminfo: memFree=121877052/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=405504 memory=337400 CPUtime=2974 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 82157 0 0 0 296538 862 0 0 20 0 1 0 51000602 415236096 84350 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 101376 84350 4480 2842 0 83070 0
Current children cumulated CPU time: 2974 s
Current children cumulated vsize: 405504 KiB
Current children cumulated memory: 337400 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 51279
/proc/meminfo: memFree=121879828/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=405504 memory=337400 CPUtime=3033.84 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 82157 0 0 0 302510 874 0 0 20 0 1 0 51000602 415236096 84350 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 101376 84350 4480 2842 0 83070 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 405504 KiB
Current children cumulated memory: 337400 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 51281
/proc/meminfo: memFree=121876720/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=405504 memory=337400 CPUtime=3093.69 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 82157 0 0 0 308480 889 0 0 20 0 1 0 51000602 415236096 84350 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 101376 84350 4480 2842 0 83070 0
Current children cumulated CPU time: 3093.69 s
Current children cumulated vsize: 405504 KiB
Current children cumulated memory: 337400 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/250 51283
/proc/meminfo: memFree=121875472/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=405504 memory=337400 CPUtime=3153.55 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 82157 0 0 0 314452 903 0 0 20 0 1 0 51000602 415236096 84350 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 101376 84350 4480 2842 0 83070 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 405504 KiB
Current children cumulated memory: 337400 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 51285
/proc/meminfo: memFree=121875472/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=405504 memory=337400 CPUtime=3213.4 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 82157 0 0 0 320424 916 0 0 20 0 1 0 51000602 415236096 84350 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 101376 84350 4480 2842 0 83070 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 405504 KiB
Current children cumulated memory: 337400 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 51287
/proc/meminfo: memFree=121871376/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=405504 memory=337400 CPUtime=3273.26 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 82157 0 0 0 326399 927 0 0 20 0 1 0 51000602 415236096 84350 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 101376 84350 4480 2842 0 83070 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 405504 KiB
Current children cumulated memory: 337400 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 51289
/proc/meminfo: memFree=121867280/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=405504 memory=339448 CPUtime=3333.11 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 82158 0 0 0 332374 937 0 0 20 0 1 0 51000602 415236096 84862 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 101376 84862 4480 2842 0 83070 0
Current children cumulated CPU time: 3333.11 s
Current children cumulated vsize: 405504 KiB
Current children cumulated memory: 339448 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/249 51291
/proc/meminfo: memFree=121867280/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=405504 memory=339448 CPUtime=3392.96 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 82158 0 0 0 338343 953 0 0 20 0 1 0 51000602 415236096 84862 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 101376 84862 4480 2842 0 83070 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 405504 KiB
Current children cumulated memory: 339448 KiB
[startup+3462.3 s]
/proc/loadavg: 4.38 4.15 4.11 5/249 51293
/proc/meminfo: memFree=121867028/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=405504 memory=339448 CPUtime=3452.8 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 82158 0 0 0 344316 964 0 0 20 0 1 0 51000602 415236096 84862 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 101376 84862 4480 2842 0 83070 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 405504 KiB
Current children cumulated memory: 339448 KiB
[startup+3522.3 s]
/proc/loadavg: 4.61 4.28 4.16 5/249 51295
/proc/meminfo: memFree=121860088/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=405504 memory=341496 CPUtime=3512.66 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 82235 0 0 0 350290 976 0 0 20 0 1 0 51000602 415236096 85374 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 101376 85374 4480 2842 0 83070 0
Current children cumulated CPU time: 3512.66 s
Current children cumulated vsize: 405504 KiB
Current children cumulated memory: 341496 KiB
[startup+3582.3 s]
/proc/loadavg: 4.26 4.24 4.15 5/249 51297
/proc/meminfo: memFree=121855720/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=405504 memory=341496 CPUtime=3572.51 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 82261 0 0 0 356263 988 0 0 20 0 1 0 51000602 415236096 85374 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 101376 85374 4480 2842 0 83070 0
Current children cumulated CPU time: 3572.51 s
Current children cumulated vsize: 405504 KiB
Current children cumulated memory: 341496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.23 4.23 4.15 5/250 51306
/proc/meminfo: memFree=121854964/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=405504 memory=341496 CPUtime=3600.03 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 82261 0 0 0 359011 992 0 0 20 0 1 0 51000602 415236096 85374 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 101376 85374 4480 2842 0 83070 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 405504 KiB
Current children cumulated memory: 341496 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 51082 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.12 s, system=9.9306 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.23 4.23 4.15 5/250 51306
/proc/meminfo: memFree=121854964/131382112 swapFree=33010684/33010684
[pid=51082] ppid=51071 vsize=405504 memory=341496 CPUtime=3600.03 cores=1,3
/proc/51082/stat : 51082 (mixed-bag) R 51071 51082 50699 0 -1 4194304 82261 0 0 0 359011 992 0 0 20 0 1 0 51000602 415236096 85374 18446744073709551615 4235264 15874749 140730967907440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 30744576 140730967914908 140730967914985 140730967914985 140730967920587 0
/proc/51082/statm: 101376 85374 4480 2842 0 83070 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 405504 KiB
Current children cumulated memory: 341496 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.05
CPU user time (s): 3590.12
CPU system time (s): 9.9306
CPU usage (%): 99.7271
Max. virtual memory (cumulated for all children) (KiB): 405504
Max. memory (cumulated for all children) (KiB): 341496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.12
system time used= 9.9306
maximum resident set size= 342136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82290
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187
involuntary context switches= 1153
# summary of solver processes directly reported to runsolver:
# pid: 51082
# total CPU time (s): 3600.05
# total CPU user time (s): 3590.12
# total CPU system time (s): 9.9306
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3408 second user time and 34.8953 second system time
The end
Begin job on nodeC009 at 2025-07-01 09:00:08
IDJOB=4489267
IDBENCH=147544
IDSOLVER=3340
FILE ID=nodeC009/4489267-1751353208
RUNJOBID= nodeC009-1751349596-50711
SLURM_JOB_ID= 9598132
Free space on /tmp= 432628 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_14.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489267-1751353208/watcher-4489267-1751353208 -o /tmp/evaluation-result-4489267-1751353208/solver-4489267-1751353208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50711 --watchdog 3760 mixed-bag HOME/instance-4489267-1751353208.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c9dbdd12375057f4b915bf781d219fad
RANDOM SEED=541342985
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.570
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.786
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.122
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.306
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.551
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 : 1197.614
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 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.385
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.539
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: 123168728 kB
MemAvailable: 129911908 kB
Buffers: 3280 kB
Cached: 7514908 kB
SwapCached: 0 kB
Active: 370124 kB
Inactive: 7215292 kB
Active(anon): 84220 kB
Inactive(anon): 968 kB
Active(file): 285904 kB
Inactive(file): 7214324 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31404 kB
Writeback: 0 kB
AnonPages: 70304 kB
Mapped: 103048 kB
Shmem: 17960 kB
KReclaimable: 164772 kB
Slab: 248632 kB
SReclaimable: 164772 kB
SUnreclaim: 83860 kB
KernelStack: 3872 kB
PageTables: 2856 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 334616 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149320 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 10:00:18