(1,9) (2,17) (3,14) (4,18) (5,16) (7,12) (8,26) (10,25) (11,19) (13,30) (21,24) (22,27) (23,29) 
nodes: 268  conflicts: 64  modelTime: 944  solveTime: 2377  totalTime: 3332  modelSize: 72266  readTime: 11 size: 13