(1,12) (3,27) (4,22) (5,6) (7,26) (8,19) (9,29) (10,28) (11,17) (14,18) (15,24) (16,21) (20,23) (25,30) 
nodes: 35836  conflicts: 40  modelTime: 970  solveTime: 106505  totalTime: 107486  modelSize: 72265  readTime: 11 size: 14