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