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