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