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