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