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