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