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