(1,26) (2,30) (3,17) (4,19) (5,25) (6,18) (7,22) (8,23) (9,16) (11,29) (12,28) (13,27) (14,24) (15,21) 
nodes: 3052  conflicts: 22  modelTime: 1193  solveTime: 7798  totalTime: 9001  modelSize: 41292  readTime: 10 size: 14