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