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