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