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