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