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