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