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