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