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