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