(1,2) (3,26) (4,13) (5,6) (7,16) (8,17) (9,22) (10,24) (11,21) (12,15) (14,18) (19,23) (20,25) (27,29) (28,30) 
nodes: 246248  conflicts: 29  modelTime: 1704  solveTime: 1120566  totalTime: 1122288  modelSize: 72285  readTime: 18 size: 15