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