(1,24) (2,21) (3,17) (4,27) (5,16) (6,19) (7,22) (9,25) (10,26) (11,23) (12,30) (13,29) (14,20) (15,18) 
nodes: 3920  conflicts: 38  modelTime: 662  solveTime: 6096  totalTime: 6765  modelSize: 41292  readTime: 6 size: 14