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