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