(1,25) (2,20) (3,7) (4,15) (5,10) (6,12) (8,29) (11,21) (13,18) (14,28) (17,22) (19,24) (23,27) (26,30) 
nodes: 10237  conflicts: 50  modelTime: 972  solveTime: 33658  totalTime: 34641  modelSize: 72264  readTime: 11 size: 14