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