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