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