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