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