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