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