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