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