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