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