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