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