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