(1,2) (3,13) (4,16) (5,11) (6,20) (7,23) (8,27) (9,30) (10,28) (14,29) (15,19) (18,22) (21,25) (24,26) 
nodes: 20096  conflicts: 60  modelTime: 943  solveTime: 56949  totalTime: 57903  modelSize: 72263  readTime: 11 size: 14