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