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