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