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