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