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