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