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