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