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