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