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