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