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