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