(1,29) (2,19) (3,18) (4,21) (5,20) (6,24) (7,17) (8,27) (9,28) (10,23) (11,16) (12,22) (14,25) (15,30) 
nodes: 3344  conflicts: 32  modelTime: 657  solveTime: 4829  totalTime: 5492  modelSize: 41298  readTime: 6 size: 14