(1,6) (2,16) (3,23) (4,15) (5,26) (7,22) (8,25) (9,21) (10,14) (12,18) (13,17) (19,29) (20,30) (27,28) 
nodes: 1181016  conflicts: 37  modelTime: 963  solveTime: 5657256  totalTime: 5658231  modelSize: 72266  readTime: 12 size: 14