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