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