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