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