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