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