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