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