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