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