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