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