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