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