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