(1,3) (2,24) (4,27) (5,23) (6,29) (7,16) (8,17) (9,18) (10,15) (11,30) (12,25) (13,14) (19,26) (20,28) (21,22) 
nodes: 255591  conflicts: 34  modelTime: 960  solveTime: 1016479  totalTime: 1017453  modelSize: 72269  readTime: 14 size: 15