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