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