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