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