(1,29) (2,28) (3,11) (4,19) (5,23) (6,21) (7,17) (8,13) (9,26) (10,22) (14,18) (15,27) (16,25) (24,30) 
nodes: 364  conflicts: 46  modelTime: 1363  solveTime: 2110  totalTime: 3484  modelSize: 72263  readTime: 11 size: 14