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