(1,4) (2,15) (3,18) (5,14) (6,12) (7,21) (8,9) (11,27) (16,25) (17,28) (19,30) (20,24) (22,29) (23,26) 
nodes: 162107  conflicts: 41  modelTime: 1699  solveTime: 781761  totalTime: 783479  modelSize: 72264  readTime: 19 size: 14