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