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