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