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