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