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