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