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