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