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