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