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