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