(1,19) (2,20) (3,22) (4,26) (5,25) (6,21) (7,16) (8,23) (9,30) (10,18) (11,27) (12,24) (14,28) (15,17) 
nodes: 5241  conflicts: 15  modelTime: 663  solveTime: 11351  totalTime: 12021  modelSize: 41292  readTime: 6 size: 14