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