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