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