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