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