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