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