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