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