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