(1,6) (2,19) (3,13) (5,10) (7,24) (8,9) (11,22) (12,15) (14,25) (16,21) (17,20) (23,26) (27,30) (28,29) 
nodes: 44990  conflicts: 54  modelTime: 1713  solveTime: 175909  totalTime: 177641  modelSize: 72264  readTime: 19 size: 14