(2,20) (3,6) (4,5) (7,11) (8,24) (9,27) (10,14) (12,13) (15,19) (16,23) (17,25) (21,30) (22,28) (26,29) 
nodes: 19034  conflicts: 88  modelTime: 952  solveTime: 58620  totalTime: 59583  modelSize: 72262  readTime: 11 size: 14