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