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