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