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