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