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