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