(1,3) (2,15) (4,10) (5,14) (6,17) (7,18) (8,24) (9,29) (11,20) (12,21) (13,23) (16,25) (19,30) (22,28) (26,27) 
nodes: 14579  conflicts: 47  modelTime: 938  solveTime: 50640  totalTime: 51590  modelSize: 72262  readTime: 11 size: 15