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