(1,25) (2,30) (3,11) (4,22) (5,29) (6,24) (7,8) (9,20) (10,13) (12,15) (14,18) (16,26) (17,27) (19,23) (21,28) 
nodes: 320614  conflicts: 32  modelTime: 948  solveTime: 1030922  totalTime: 1031889  modelSize: 72265  readTime: 19 size: 15