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