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