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