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