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