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