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