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