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