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