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