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