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