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