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