(3,21) (4,30) (5,24) (6,16) (7,22) (8,29) (9,25) (10,18) (11,28) (12,17) (13,26) (14,20) (15,23) 
nodes: 3064  conflicts: 40  modelTime: 659  solveTime: 4362  totalTime: 5028  modelSize: 41292  readTime: 7 size: 13