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