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