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