(3,16) (4,26) (6,27) (7,10) (9,11) (12,23) (13,24) (14,20) (17,25) (19,22) (28,30) 
nodes: 1065  conflicts: 75  modelTime: 941  solveTime: 4002  totalTime: 4963  modelSize: 72266  readTime: 19 size: 11