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