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