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