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