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