(1,23) (2,10) (3,18) (4,20) (5,17) (7,28) (8,12) (9,30) (13,16) (14,27) (15,22) (19,26) (21,25) (24,29) 
nodes: 56686  conflicts: 36  modelTime: 963  solveTime: 195730  totalTime: 196713  modelSize: 72266  readTime: 19 size: 14