(1,13) (2,5) (3,23) (7,10) (8,12) (9,22) (14,20) (15,30) (17,29) (18,26) (19,24) (21,25) (27,28) 
nodes: 1160  conflicts: 59  modelTime: 1011  solveTime: 4583  totalTime: 5614  modelSize: 72262  readTime: 20 size: 13