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