(1,22) (2,6) (3,17) (4,14) (5,12) (7,8) (9,18) (10,27) (11,13) (15,23) (16,26) (19,29) (20,24) (21,25) (28,30) 
nodes: 298694  conflicts: 35  modelTime: 1720  solveTime: 1218529  totalTime: 1220268  modelSize: 72263  readTime: 19 size: 15