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