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