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