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