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