(1,21) (4,29) (5,26) (6,27) (7,24) (8,30) (9,23) (10,16) (11,25) (12,20) (13,17) (14,18) (15,28) 
nodes: 5913  conflicts: 24  modelTime: 663  solveTime: 17824  totalTime: 18494  modelSize: 41292  readTime: 7 size: 13