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