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