(1,12) (2,20) (3,27) (4,21) (5,11) (6,13) (7,17) (8,28) (9,29) (10,19) (14,25) (16,24) (18,23) (22,26) 
nodes: 100209  conflicts: 30  modelTime: 946  solveTime: 276825  totalTime: 277782  modelSize: 72264  readTime: 11 size: 14