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