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