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