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