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