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