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