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