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