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