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