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