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