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