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