(1,23) (2,21) (4,27) (5,9) (6,16) (7,8) (10,14) (11,12) (13,20) (15,29) (17,19) (18,28) (22,25) (24,30) 
nodes: 10023  conflicts: 32  modelTime: 981  solveTime: 60311  totalTime: 61303  modelSize: 72275  readTime: 11 size: 14