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