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