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