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