(1,9) (2,21) (3,30) (4,25) (5,19) (6,27) (7,29) (10,20) (11,24) (12,22) (13,16) (14,15) (17,23) (26,28) 
nodes: 193053  conflicts: 69  modelTime: 1696  solveTime: 754399  totalTime: 756115  modelSize: 72269  readTime: 20 size: 14