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