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