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