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