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