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