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