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