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