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