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