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