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