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