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