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