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