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