(2,19) (3,17) (4,20) (5,22) (6,24) (7,23) (8,28) (9,25) (10,16) (11,18) (12,29) (13,21) (14,26) (15,27) 
nodes: 4724  conflicts: 38  modelTime: 654  solveTime: 7902  totalTime: 8562  modelSize: 41292  readTime: 6 size: 14