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